-; RUN: if as < %s | opt -reassociate -instcombine | dis | grep add
-; RUN: then exit 1
-; RUN: else exit 0
-; RUN: fi
+; 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
}