diff options
author | Stephen Hines <srhines@google.com> | 2014-12-01 14:51:49 -0800 |
---|---|---|
committer | Stephen Hines <srhines@google.com> | 2014-12-02 16:08:10 -0800 |
commit | 37ed9c199ca639565f6ce88105f9e39e898d82d0 (patch) | |
tree | 8fb36d3910e3ee4c4e1b7422f4f017108efc52f5 /test/Transforms/JumpThreading/thread-loads.ll | |
parent | d2327b22152ced7bc46dc629fc908959e8a52d03 (diff) | |
download | external_llvm-37ed9c199ca639565f6ce88105f9e39e898d82d0.zip external_llvm-37ed9c199ca639565f6ce88105f9e39e898d82d0.tar.gz external_llvm-37ed9c199ca639565f6ce88105f9e39e898d82d0.tar.bz2 |
Update aosp/master LLVM for rebase to r222494.
Change-Id: Ic787f5e0124df789bd26f3f24680f45e678eef2d
Diffstat (limited to 'test/Transforms/JumpThreading/thread-loads.ll')
-rw-r--r-- | test/Transforms/JumpThreading/thread-loads.ll | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/test/Transforms/JumpThreading/thread-loads.ll b/test/Transforms/JumpThreading/thread-loads.ll index e5bf64b..b13b767 100644 --- a/test/Transforms/JumpThreading/thread-loads.ll +++ b/test/Transforms/JumpThreading/thread-loads.ll @@ -75,6 +75,37 @@ bb3: ; preds = %bb1 ret i32 %res.0 } +define i32 @test3(i8** %x, i1 %f) { +; Correctly thread loads of different (but compatible) types, placing bitcasts +; as necessary in the predecessors. This is especially tricky because the same +; predecessor ends up with two entries in the PHI node and they must share +; a single cast. +; CHECK-LABEL: @test3( +entry: + %0 = bitcast i8** %x to i32** + %1 = load i32** %0, align 8 + br i1 %f, label %if.end57, label %if.then56 +; CHECK: %[[LOAD:.*]] = load i32** +; CHECK: %[[CAST:.*]] = bitcast i32* %[[LOAD]] to i8* + +if.then56: + br label %if.end57 + +if.end57: + %2 = load i8** %x, align 8 + %tobool59 = icmp eq i8* %2, null + br i1 %tobool59, label %return, label %if.then60 +; CHECK: %[[PHI:.*]] = phi i8* [ %[[CAST]], %[[PRED:[^ ]+]] ], [ %[[CAST]], %[[PRED]] ] +; CHECK-NEXT: %[[CMP:.*]] = icmp eq i8* %[[PHI]], null +; CHECK-NEXT: br i1 %[[CMP]] + +if.then60: + ret i32 42 + +return: + ret i32 13 +} + !0 = metadata !{metadata !3, metadata !3, i64 0} !1 = metadata !{metadata !"omnipotent char", metadata !2} !2 = metadata !{metadata !"Simple C/C++ TBAA", null} |