; RUN: llvm-as < %s | opt -reassociate -instcombine -constprop -die | llvm-dis | not grep 5

define i32 @test(i32 %A, i32 %B) {
	%W = add i32 %B, -5		; <i32> [#uses=1]
	%Y = add i32 %A, 5		; <i32> [#uses=1]
	%Z = add i32 %W, %Y		; <i32> [#uses=1]
	ret i32 %Z
}