; RUN: opt < %s -reassociate -instcombine -constprop -die -S | 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
}