test/Transforms/Reassociate/mul-neg-add.ll


1
2
3
4
5
6
7
8
9
10

; RUN: opt %s -reassociate -instcombine -S |\
; RUN:   not grep {sub i32 0}

define i32 @test(i32 %X, i32 %Y, i32 %Z) {
	%A = sub i32 0, %X		; <i32> [#uses=1]
	%B = mul i32 %A, %Y		; <i32> [#uses=1]
        ; (-X)*Y + Z -> Z-X*Y
	%C = add i32 %B, %Z		; <i32> [#uses=1]
	ret i32 %C
}