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 A*B + X - A*B -> X. 4*9880d681SAndroid Build Coastguard Worker 5*9880d681SAndroid Build Coastguard Workerdefine i32 @test1(i32 %a, i32 %b, i32 %x) { 6*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: test1 7*9880d681SAndroid Build Coastguard Worker; CHECK: ret i32 %x 8*9880d681SAndroid Build Coastguard Worker 9*9880d681SAndroid Build Coastguard Worker %c = mul i32 %a, %b 10*9880d681SAndroid Build Coastguard Worker %d = add i32 %c, %x 11*9880d681SAndroid Build Coastguard Worker %c1 = mul i32 %a, %b 12*9880d681SAndroid Build Coastguard Worker %f = sub i32 %d, %c1 13*9880d681SAndroid Build Coastguard Worker ret i32 %f 14*9880d681SAndroid Build Coastguard Worker} 15*9880d681SAndroid Build Coastguard Worker 16