diff options
Diffstat (limited to 'test/Transforms/InstCombine/or.ll')
| -rw-r--r-- | test/Transforms/InstCombine/or.ll | 109 |
1 files changed, 0 insertions, 109 deletions
diff --git a/test/Transforms/InstCombine/or.ll b/test/Transforms/InstCombine/or.ll index bfafd66ebb415..764fe4503b5e1 100644 --- a/test/Transforms/InstCombine/or.ll +++ b/test/Transforms/InstCombine/or.ll @@ -3,115 +3,6 @@ target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" -define i32 @test1(i32 %A) { -; CHECK-LABEL: @test1( -; CHECK-NEXT: ret i32 %A -; - %B = or i32 %A, 0 - ret i32 %B -} - -define i32 @test2(i32 %A) { -; CHECK-LABEL: @test2( -; CHECK-NEXT: ret i32 -1 -; - %B = or i32 %A, -1 - ret i32 %B -} - -define i8 @test2a(i8 %A) { -; CHECK-LABEL: @test2a( -; CHECK-NEXT: ret i8 -1 -; - %B = or i8 %A, -1 - ret i8 %B -} - -define i1 @test3(i1 %A) { -; CHECK-LABEL: @test3( -; CHECK-NEXT: ret i1 %A -; - %B = or i1 %A, false - ret i1 %B -} - -define i1 @test4(i1 %A) { -; CHECK-LABEL: @test4( -; CHECK-NEXT: ret i1 true -; - %B = or i1 %A, true - ret i1 %B -} - -define i1 @test5(i1 %A) { -; CHECK-LABEL: @test5( -; CHECK-NEXT: ret i1 %A -; - %B = or i1 %A, %A - ret i1 %B -} - -define i32 @test6(i32 %A) { -; CHECK-LABEL: @test6( -; CHECK-NEXT: ret i32 %A -; - %B = or i32 %A, %A - ret i32 %B -} - -; A | ~A == -1 -define i32 @test7(i32 %A) { -; CHECK-LABEL: @test7( -; CHECK-NEXT: ret i32 -1 -; - %NotA = xor i32 -1, %A - %B = or i32 %A, %NotA - ret i32 %B -} - -define i8 @test8(i8 %A) { -; CHECK-LABEL: @test8( -; CHECK-NEXT: ret i8 -1 -; - %B = or i8 %A, -2 - %C = or i8 %B, 1 - ret i8 %C -} - -; Test that (A|c1)|(B|c2) == (A|B)|(c1|c2) -define i8 @test9(i8 %A, i8 %B) { -; CHECK-LABEL: @test9( -; CHECK-NEXT: ret i8 -1 -; - %C = or i8 %A, 1 - %D = or i8 %B, -2 - %E = or i8 %C, %D - ret i8 %E -} - -define i8 @test10(i8 %A) { -; CHECK-LABEL: @test10( -; CHECK-NEXT: ret i8 -2 -; - %B = or i8 %A, 1 - %C = and i8 %B, -2 - ; (X & C1) | C2 --> (X | C2) & (C1|C2) - %D = or i8 %C, -2 - ret i8 %D -} - -define i8 @test11(i8 %A) { -; CHECK-LABEL: @test11( -; CHECK-NEXT: ret i8 -1 -; - %B = or i8 %A, -2 - %C = xor i8 %B, 13 - ; (X ^ C1) | C2 --> (X | C2) ^ (C1&~C2) - %D = or i8 %C, 1 - %E = xor i8 %D, 12 - ret i8 %E -} - define i32 @test12(i32 %A) { ; Should be eliminated ; CHECK-LABEL: @test12( |
