-; RUN: llvm-as < %s | opt -reassociate -instcombine -constprop -dce | llvm-dis | not grep add
+; RUN: opt < %s -reassociate -S | FileCheck %s
-int %test(int %A) {
- %X = add int %A, 1
- %Y = add int %A, 1
- %r = sub int %X, %Y
- ret int %r ; Should be equal to 0!
+define i32 @test1(i32 %A) {
+; CHECK-LABEL: test1
+; CHECK: ret i32 0
+ %X = add i32 %A, 1
+ %Y = add i32 %A, 1
+ %r = sub i32 %X, %Y
+ ret i32 %r
}