1; This test makes sure that these instructions are properly eliminated. 2; 3; RUN: opt < %s -instcombine -S | FileCheck %s 4 5; PR1253 6define i1 @test0(i32 %A) { 7; CHECK: @test0 8; CHECK: %C = icmp slt i32 %A, 0 9 %B = xor i32 %A, -2147483648 10 %C = icmp sgt i32 %B, -1 11 ret i1 %C 12} 13 14define i1 @test1(i32 %A) { 15; CHECK: @test1 16; CHECK: %C = icmp slt i32 %A, 0 17 %B = xor i32 %A, 12345 18 %C = icmp slt i32 %B, 0 19 ret i1 %C 20} 21 22; PR1014 23define i32 @test2(i32 %tmp1) { 24; CHECK: @test2 25; CHECK-NEXT: and i32 %tmp1, 32 26; CHECK-NEXT: or i32 %ovm, 8 27; CHECK-NEXT: ret i32 28 %ovm = and i32 %tmp1, 32 29 %ov3 = add i32 %ovm, 145 30 %ov110 = xor i32 %ov3, 153 31 ret i32 %ov110 32} 33 34define i32 @test3(i32 %tmp1) { 35; CHECK: @test3 36; CHECK-NEXT: and i32 %tmp1, 32 37; CHECK-NEXT: or i32 %ovm, 8 38; CHECK-NEXT: ret i32 39 %ovm = or i32 %tmp1, 145 40 %ov31 = and i32 %ovm, 177 41 %ov110 = xor i32 %ov31, 153 42 ret i32 %ov110 43} 44 45define i32 @test4(i32 %A, i32 %B) { 46 %1 = xor i32 %A, -1 47 %2 = ashr i32 %1, %B 48 %3 = xor i32 %2, -1 49 ret i32 %3 50; CHECK: @test4 51; CHECK: %1 = ashr i32 %A, %B 52; CHECK: ret i32 %1 53} 54