; This bug has to do with the fact that constant propagation was implemented in ; terms of _logical_ not (! in C) instead of _bitwise_ not (~ in C). This was ; due to a spec change. ; Fix #2: The unary not instruction now no longer exists. Change to xor. ; RUN: opt < %s -constprop -S | \ ; RUN: not grep "i32 0" define i32 @test1() { %R = xor i32 123, -1 ; <i32> [#uses=1] ret i32 %R } define i32 @test2() { %R = xor i32 -123, -1 ; <i32> [#uses=1] ret i32 %R }