; RUN: llvm-upgrade < %s | llvm-as | opt -reassociate -instcombine | llvm-dis | not grep sub

; Test that we can turn things like X*-(Y*Z) -> X*-1*Y*Z.

int %test1(int %a, int %b, int %z) {
	%c = sub int 0, %z
	%d = mul int %a, %b
	%e = mul int %c, %d
	%f = mul int %e, 12345
	%g = sub int 0, %f
	ret int %g
}

int %test2(int %a, int %b, int %z) {
	%d = mul int %z, 40
	%c = sub int 0, %d
	%e = mul int %a, %c
	%f = sub int 0, %e
	ret int %f
}