Index: docs/LangRef.rst =================================================================== --- docs/LangRef.rst +++ docs/LangRef.rst @@ -15819,8 +15819,7 @@ """""""""" The ``llvm.expect`` intrinsic takes two arguments. The first argument is -a value. The second argument is an expected value, this needs to be a -constant value, variables are not allowed. +a value. The second argument is an expected value. Semantics: """""""""" Index: include/llvm/IR/Intrinsics.td =================================================================== --- include/llvm/IR/Intrinsics.td +++ include/llvm/IR/Intrinsics.td @@ -689,13 +689,13 @@ llvm_metadata_ty ]>; } // FIXME: Add intrinsics for fcmp, fptrunc, fpext, fptoui and fptosi. -// FIXME: Add intrinsics for fabs and copysign? +// FIXME: Add intrinsics for fabs and copysign? //===------------------------- Expect Intrinsics --------------------------===// // def int_expect : Intrinsic<[llvm_anyint_ty], - [LLVMMatchType<0>, LLVMMatchType<0>], [IntrNoMem, ImmArg<1>]>; + [LLVMMatchType<0>, LLVMMatchType<0>], [IntrNoMem]>; //===-------------------- Bit Manipulation Intrinsics ---------------------===// // Index: test/Transforms/LowerExpectIntrinsic/PR33346.ll =================================================================== --- test/Transforms/LowerExpectIntrinsic/PR33346.ll +++ test/Transforms/LowerExpectIntrinsic/PR33346.ll @@ -7,12 +7,12 @@ store i64 %arg, i64* %tmp, align 8 %tmp1 = load i64, i64* %tmp, align 8 %tmp2 = load i64, i64* %tmp, align 8 - %tmp3 = call i64 @llvm.expect.i64(i64 %tmp1, i64 123) + %tmp3 = call i64 @llvm.expect.i64(i64 %tmp1, i64 %tmp2) ret i64 %tmp3 } ; Function Attrs: nounwind readnone -declare i64 @llvm.expect.i64(i64, i64 immarg) +declare i64 @llvm.expect.i64(i64, i64) !llvm.module.flags = !{!0} Index: test/Verifier/intrinsic-immarg.ll =================================================================== --- test/Verifier/intrinsic-immarg.ll +++ test/Verifier/intrinsic-immarg.ll @@ -65,15 +65,6 @@ ret void } -declare i8 @llvm.expect.i8(i8, i8) -define i8 @expect(i8 %arg0, i8 %arg1) { - ; CHECK: immarg operand has non-immediate parameter - ; CHECK-NEXT: i8 %arg1 - ; CHECK-NEXT: %ret = call i8 @llvm.expect.i8(i8 %arg0, i8 %arg1) - %ret = call i8 @llvm.expect.i8(i8 %arg0, i8 %arg1) - ret i8 %ret -} - declare i64 @llvm.smul.fix.i64(i64, i64, i32) define i64 @smul_fix(i64 %arg0, i64 %arg1, i32 %arg2) { ; CHECK: immarg operand has non-immediate parameter