1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -reassociate -die -S | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker 3*9880d681SAndroid Build Coastguard Workerdefine i32 @test1(i32 %a, i32 %b) { 4*9880d681SAndroid Build Coastguard Worker %tmp.2 = and i32 %b, %a 5*9880d681SAndroid Build Coastguard Worker %tmp.4 = xor i32 %a, -1 6*9880d681SAndroid Build Coastguard Worker ; (A&B)&~A == 0 7*9880d681SAndroid Build Coastguard Worker %tmp.5 = and i32 %tmp.2, %tmp.4 8*9880d681SAndroid Build Coastguard Worker ret i32 %tmp.5 9*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test1( 10*9880d681SAndroid Build Coastguard Worker; CHECK: ret i32 0 11*9880d681SAndroid Build Coastguard Worker} 12*9880d681SAndroid Build Coastguard Worker 13*9880d681SAndroid Build Coastguard Workerdefine i32 @test2(i32 %a, i32 %b) { 14*9880d681SAndroid Build Coastguard Worker %tmp.1 = and i32 %a, 1234 15*9880d681SAndroid Build Coastguard Worker %tmp.2 = and i32 %b, %tmp.1 16*9880d681SAndroid Build Coastguard Worker %tmp.4 = xor i32 %a, -1 17*9880d681SAndroid Build Coastguard Worker ; A&~A == 0 18*9880d681SAndroid Build Coastguard Worker %tmp.5 = and i32 %tmp.2, %tmp.4 19*9880d681SAndroid Build Coastguard Worker ret i32 %tmp.5 20*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test2( 21*9880d681SAndroid Build Coastguard Worker; CHECK: ret i32 0 22*9880d681SAndroid Build Coastguard Worker} 23*9880d681SAndroid Build Coastguard Worker 24*9880d681SAndroid Build Coastguard Workerdefine i32 @test3(i32 %b, i32 %a) { 25*9880d681SAndroid Build Coastguard Worker %tmp.1 = add i32 %a, 1234 26*9880d681SAndroid Build Coastguard Worker %tmp.2 = add i32 %b, %tmp.1 27*9880d681SAndroid Build Coastguard Worker %tmp.4 = sub i32 0, %a 28*9880d681SAndroid Build Coastguard Worker ; (b+(a+1234))+-a -> b+1234 29*9880d681SAndroid Build Coastguard Worker %tmp.5 = add i32 %tmp.2, %tmp.4 30*9880d681SAndroid Build Coastguard Worker ret i32 %tmp.5 31*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test3( 32*9880d681SAndroid Build Coastguard Worker; CHECK: %tmp.5 = add i32 %b, 1234 33*9880d681SAndroid Build Coastguard Worker; CHECK: ret i32 %tmp.5 34*9880d681SAndroid Build Coastguard Worker} 35*9880d681SAndroid Build Coastguard Worker 36*9880d681SAndroid Build Coastguard Workerdefine i32 @test4(i32 %b, i32 %a) { 37*9880d681SAndroid Build Coastguard Worker %tmp.1 = add i32 %a, 1234 38*9880d681SAndroid Build Coastguard Worker %tmp.2 = add i32 %b, %tmp.1 39*9880d681SAndroid Build Coastguard Worker %tmp.4 = xor i32 %a, -1 40*9880d681SAndroid Build Coastguard Worker ; (b+(a+1234))+~a -> b+1233 41*9880d681SAndroid Build Coastguard Worker %tmp.5 = add i32 %tmp.2, %tmp.4 42*9880d681SAndroid Build Coastguard Worker ret i32 %tmp.5 43*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test4( 44*9880d681SAndroid Build Coastguard Worker; CHECK: %tmp.5 = add i32 %b, 1233 45*9880d681SAndroid Build Coastguard Worker; CHECK: ret i32 %tmp.5 46*9880d681SAndroid Build Coastguard Worker} 47