| ; This test makes sure that these instructions are properly eliminated. |
| ; |
| ; RUN: opt < %s -instcombine -S | FileCheck %s |
| |
| ; PR1253 |
| define i1 @test0(i32 %A) { |
| ; CHECK: @test0 |
| ; CHECK: %C = icmp slt i32 %A, 0 |
| %B = xor i32 %A, -2147483648 |
| %C = icmp sgt i32 %B, -1 |
| ret i1 %C |
| } |
| |
| define i1 @test1(i32 %A) { |
| ; CHECK: @test1 |
| ; CHECK: %C = icmp slt i32 %A, 0 |
| %B = xor i32 %A, 12345 |
| %C = icmp slt i32 %B, 0 |
| ret i1 %C |
| } |
| |
| ; PR1014 |
| define i32 @test2(i32 %tmp1) { |
| ; CHECK: @test2 |
| ; CHECK-NEXT: and i32 %tmp1, 32 |
| ; CHECK-NEXT: or i32 %ovm, 8 |
| ; CHECK-NEXT: ret i32 |
| %ovm = and i32 %tmp1, 32 |
| %ov3 = add i32 %ovm, 145 |
| %ov110 = xor i32 %ov3, 153 |
| ret i32 %ov110 |
| } |
| |
| define i32 @test3(i32 %tmp1) { |
| ; CHECK: @test3 |
| ; CHECK-NEXT: and i32 %tmp1, 32 |
| ; CHECK-NEXT: or i32 %ovm, 8 |
| ; CHECK-NEXT: ret i32 |
| %ovm = or i32 %tmp1, 145 |
| %ov31 = and i32 %ovm, 177 |
| %ov110 = xor i32 %ov31, 153 |
| ret i32 %ov110 |
| } |
| |
| define i32 @test4(i32 %A, i32 %B) { |
| %1 = xor i32 %A, -1 |
| %2 = ashr i32 %1, %B |
| %3 = xor i32 %2, -1 |
| ret i32 %3 |
| ; CHECK: @test4 |
| ; CHECK: %1 = ashr i32 %A, %B |
| ; CHECK: ret i32 %1 |
| } |