diff options
author | Duncan P. N. Exon Smith <dexonsmith@apple.com> | 2014-02-02 22:43:55 +0000 |
---|---|---|
committer | Duncan P. N. Exon Smith <dexonsmith@apple.com> | 2014-02-02 22:43:55 +0000 |
commit | e6562c508858ac6c2003d912ccf289b45bc52b3a (patch) | |
tree | ec73267cf23f3d93324784413d6f0ac01e898d0a /test | |
parent | 25b48d54c643b74e6eb8415e4e22cbe91e095cf8 (diff) | |
download | llvm-e6562c508858ac6c2003d912ccf289b45bc52b3a.tar.gz llvm-e6562c508858ac6c2003d912ccf289b45bc52b3a.tar.bz2 llvm-e6562c508858ac6c2003d912ccf289b45bc52b3a.tar.xz |
Lower llvm.expect intrinsic correctly for i1
LowerExpectIntrinsic previously only understood the idiom of an expect
intrinsic followed by a comparison with zero. For llvm.expect.i1, the
comparison would be stripped by the early-cse pass.
Patch by Daniel Micay.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@200664 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
-rw-r--r-- | test/Transforms/LowerExpectIntrinsic/basic.ll | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/test/Transforms/LowerExpectIntrinsic/basic.ll b/test/Transforms/LowerExpectIntrinsic/basic.ll index 955209af14..e184cb05b9 100644 --- a/test/Transforms/LowerExpectIntrinsic/basic.ll +++ b/test/Transforms/LowerExpectIntrinsic/basic.ll @@ -245,6 +245,35 @@ return: ; preds = %if.end, %if.then declare i32 @llvm.expect.i32(i32, i32) nounwind readnone +; CHECK-LABEL: @test9( +define i32 @test9(i32 %x) nounwind uwtable ssp { +entry: + %retval = alloca i32, align 4 + %x.addr = alloca i32, align 4 + store i32 %x, i32* %x.addr, align 4 + %tmp = load i32* %x.addr, align 4 + %cmp = icmp sgt i32 %tmp, 1 + %expval = call i1 @llvm.expect.i1(i1 %cmp, i1 1) +; CHECK: !prof !0 +; CHECK-NOT: @llvm.expect + br i1 %expval, label %if.then, label %if.end + +if.then: ; preds = %entry + %call = call i32 (...)* @f() + store i32 %call, i32* %retval + br label %return + +if.end: ; preds = %entry + store i32 1, i32* %retval + br label %return + +return: ; preds = %if.end, %if.then + %0 = load i32* %retval + ret i32 %0 +} + +declare i1 @llvm.expect.i1(i1, i1) nounwind readnone + ; CHECK: !0 = metadata !{metadata !"branch_weights", i32 64, i32 4} ; CHECK: !1 = metadata !{metadata !"branch_weights", i32 4, i32 64} ; CHECK: !2 = metadata !{metadata !"branch_weights", i32 4, i32 64, i32 4} |