Lines Matching refs:X3
211 define i32 @test13(i32 %X1, i32 %X2, i32 %X3) {
213 ; CHECK-NEXT: [[REASS_ADD:%.*]] = sub i32 [[X3:%.*]], [[X2:%.*]]
219 %C = mul i32 %X1, %X3 ; X1*X3
220 %D = add i32 %B, %C ; -X1*X2 + X1*X3 -> X1*(X3-X2)
240 define i32 @test15(i32 %X1, i32 %X2, i32 %X3) {
243 ; CHECK-NEXT: [[B:%.*]] = icmp slt i32 [[X2:%.*]], [[X3:%.*]]
249 %B = icmp slt i32 %X2, %X3
282 define i32 @test17(i32 %X1, i32 %X2, i32 %X3, i32 %X4) {
284 ; CHECK-NEXT: [[A:%.*]] = mul i32 [[X4:%.*]], [[X3:%.*]]
290 %A = mul i32 %X3, %X1
291 %B = mul i32 %X3, %X2