1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -reassociate -instcombine -S | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker 3*9880d681SAndroid Build Coastguard Worker; Test that we can turn things like X*-(Y*Z) -> X*-1*Y*Z. 4*9880d681SAndroid Build Coastguard Worker 5*9880d681SAndroid Build Coastguard Workerdefine i32 @test1(i32 %a, i32 %b, i32 %z) { 6*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: test1 7*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: %e = mul i32 %a, 12345 8*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: %f = mul i32 %e, %b 9*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: %g = mul i32 %f, %z 10*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: ret i32 %g 11*9880d681SAndroid Build Coastguard Worker 12*9880d681SAndroid Build Coastguard Worker %c = sub i32 0, %z 13*9880d681SAndroid Build Coastguard Worker %d = mul i32 %a, %b 14*9880d681SAndroid Build Coastguard Worker %e = mul i32 %c, %d 15*9880d681SAndroid Build Coastguard Worker %f = mul i32 %e, 12345 16*9880d681SAndroid Build Coastguard Worker %g = sub i32 0, %f 17*9880d681SAndroid Build Coastguard Worker ret i32 %g 18*9880d681SAndroid Build Coastguard Worker} 19*9880d681SAndroid Build Coastguard Worker 20*9880d681SAndroid Build Coastguard Workerdefine i32 @test2(i32 %a, i32 %b, i32 %z) { 21*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: test2 22*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: %e = mul i32 %a, 40 23*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: %f = mul i32 %e, %z 24*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: ret i32 %f 25*9880d681SAndroid Build Coastguard Worker 26*9880d681SAndroid Build Coastguard Worker %d = mul i32 %z, 40 27*9880d681SAndroid Build Coastguard Worker %c = sub i32 0, %d 28*9880d681SAndroid Build Coastguard Worker %e = mul i32 %a, %c 29*9880d681SAndroid Build Coastguard Worker %f = sub i32 0, %e 30*9880d681SAndroid Build Coastguard Worker ret i32 %f 31*9880d681SAndroid Build Coastguard Worker} 32