diff options
| author | Matt Arsenault <Matthew.Arsenault@amd.com> | 2013-08-19 21:40:31 +0000 |
|---|---|---|
| committer | Matt Arsenault <Matthew.Arsenault@amd.com> | 2013-08-19 21:40:31 +0000 |
| commit | 89062b838789d61460886c5c4c3838690a800de7 (patch) | |
| tree | b19350c449b2781c7a3c594763cea8e874e0b447 /test/Transforms/InstCombine/load-cmp.ll | |
| parent | 8227d0f1857c03349f0c5f8ee17e809cee66b217 (diff) | |
| download | llvm-89062b838789d61460886c5c4c3838690a800de7.tar.gz llvm-89062b838789d61460886c5c4c3838690a800de7.tar.bz2 llvm-89062b838789d61460886c5c4c3838690a800de7.tar.xz | |
Revert non-test parts of r188507
Re-add the inboundsless tests I didn't add originally
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@188710 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/InstCombine/load-cmp.ll')
| -rw-r--r-- | test/Transforms/InstCombine/load-cmp.ll | 66 |
1 files changed, 65 insertions, 1 deletions
diff --git a/test/Transforms/InstCombine/load-cmp.ll b/test/Transforms/InstCombine/load-cmp.ll index a69283cc14..27ee2e3881 100644 --- a/test/Transforms/InstCombine/load-cmp.ll +++ b/test/Transforms/InstCombine/load-cmp.ll @@ -39,7 +39,21 @@ define i1 @test1_noinbounds(i32 %X) { ; NODL-NEXT: %P = getelementptr [10 x i16]* @G16, i32 0, i32 %X ; P32-LABEL: @test1_noinbounds( -; P32-NEXT: %P = getelementptr [10 x i16]* @G16, i32 0, i32 %X +; P32-NEXT: %R = icmp eq i32 %X, 9 +; P32-NEXT: ret i1 %R +} + +define i1 @test1_noinbounds_i64(i64 %X) { + %P = getelementptr [10 x i16]* @G16, i64 0, i64 %X + %Q = load i16* %P + %R = icmp eq i16 %Q, 0 + ret i1 %R +; NODL-LABEL: @test1_noinbounds_i64( +; NODL-NEXT: %P = getelementptr [10 x i16]* @G16, i64 0, i64 %X + +; P32-LABEL: @test1_noinbounds_i64( +; P32: %R = icmp eq i32 %1, 9 +; P32-NEXT: ret i1 %R } define i1 @test2(i32 %X) { @@ -249,6 +263,19 @@ define i1 @test10_struct_i64(i64 %x){ ret i1 %r } +define i1 @test10_struct_noinbounds_i16(i16 %x) { +; NODL-LABEL: @test10_struct_noinbounds_i16( +; NODL: getelementptr %Foo* @GS, i16 %x, i32 0 + +; P32-LABEL: @test10_struct_noinbounds_i16( +; P32: %1 = sext i16 %x to i32 +; P32: getelementptr %Foo* @GS, i32 %1, i32 0 + %p = getelementptr %Foo* @GS, i16 %x, i32 0 + %q = load i32* %p + %r = icmp eq i32 %q, 0 + ret i1 %r +} + define i1 @test10_struct_arr(i32 %x) { ; NODL-LABEL: @test10_struct_arr( ; NODL-NEXT: %r = icmp ne i32 %x, 1 @@ -263,6 +290,18 @@ define i1 @test10_struct_arr(i32 %x) { ret i1 %r } +define i1 @test10_struct_arr_noinbounds(i32 %x) { +; NODL-LABEL: @test10_struct_arr_noinbounds( +; NODL-NEXT %p = getelementptr [4 x %Foo]* @GStructArr, i32 0, i32 %x, i32 2 + +; P32-LABEL: @test10_struct_arr_noinbounds( +; P32-NEXT %p = getelementptr [4 x %Foo]* @GStructArr, i32 0, i32 %x, i32 2 + %p = getelementptr [4 x %Foo]* @GStructArr, i32 0, i32 %x, i32 2 + %q = load i32* %p + %r = icmp eq i32 %q, 9 + ret i1 %r +} + define i1 @test10_struct_arr_i16(i16 %x) { ; NODL-LABEL: @test10_struct_arr_i16( ; NODL-NEXT: %r = icmp ne i16 %x, 1 @@ -292,3 +331,28 @@ define i1 @test10_struct_arr_i64(i64 %x) { ret i1 %r } +define i1 @test10_struct_arr_noinbounds_i16(i16 %x) { +; NODL-LABEL: @test10_struct_arr_noinbounds_i16( +; NODL-NEXT: %p = getelementptr [4 x %Foo]* @GStructArr, i32 0, i16 %x, i32 2 + +; P32-LABEL: @test10_struct_arr_noinbounds_i16( +; P32-NEXT: %r = icmp ne i16 %x, 1 + %p = getelementptr [4 x %Foo]* @GStructArr, i32 0, i16 %x, i32 2 + %q = load i32* %p + %r = icmp eq i32 %q, 9 + ret i1 %r +} + +define i1 @test10_struct_arr_noinbounds_i64(i64 %x) { +; FIXME: Should be no trunc? +; NODL-LABEL: @test10_struct_arr_noinbounds_i64( +; NODL-NEXT: %p = getelementptr [4 x %Foo]* @GStructArr, i32 0, i64 %x, i32 2 + +; P32-LABEL: @test10_struct_arr_noinbounds_i64( +; P32: %r = icmp ne i32 %1, 1 +; P32-NEXT: ret i1 %r + %p = getelementptr [4 x %Foo]* @GStructArr, i32 0, i64 %x, i32 2 + %q = load i32* %p + %r = icmp eq i32 %q, 9 + ret i1 %r +} |