diff options
author | Chris Lattner <sabre@nondot.org> | 2011-02-17 22:21:26 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2011-02-17 22:21:26 +0000 |
commit | 4bd8217af3cf38f9fcce378fbc687162e28a7cf8 (patch) | |
tree | 2563d191093c4e023a03f0970a0e5591bf43bdf2 /test | |
parent | 093399cbf3bcdb31d04b3bf5c5691fc88c25da48 (diff) | |
download | llvm-4bd8217af3cf38f9fcce378fbc687162e28a7cf8.tar.gz llvm-4bd8217af3cf38f9fcce378fbc687162e28a7cf8.tar.bz2 llvm-4bd8217af3cf38f9fcce378fbc687162e28a7cf8.tar.xz |
fix instcombine merging GEPs through a PHI to only make the
result inbounds if all of the inputs are inbounds.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@125785 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
-rw-r--r-- | test/Transforms/InstCombine/phi.ll | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/test/Transforms/InstCombine/phi.ll b/test/Transforms/InstCombine/phi.ll index ad71ba6833..e93666fbf8 100644 --- a/test/Transforms/InstCombine/phi.ll +++ b/test/Transforms/InstCombine/phi.ll @@ -125,7 +125,7 @@ Exit: ; preds = %Loop define i32* @test8({ i32, i32 } *%A, i1 %b) { BB0: - %X = getelementptr { i32, i32 } *%A, i32 0, i32 1 + %X = getelementptr inbounds { i32, i32 } *%A, i32 0, i32 1 br i1 %b, label %BB1, label %BB2 BB1: @@ -139,7 +139,7 @@ BB2: ; CHECK: @test8 ; CHECK-NOT: phi ; CHECK: BB2: -; CHECK-NEXT: %B = getelementptr +; CHECK-NEXT: %B = getelementptr %0 ; CHECK-NEXT: ret i32* %B } @@ -525,3 +525,4 @@ Exit: ; preds = %Loop ; CHECK: Exit: ; CHECK-NEXT: ret i32 %B } + |