-; RUN: if as < %s | opt -reassociate -instcombine -constprop -die | dis | grep 5
-; RUN: then exit 1
-; RUN: else exit 0
-; RUN: fi
+; RUN: opt < %s -reassociate -instcombine -S | FileCheck %s
-int "test"(int %A, int %B) {
- %W = add int %B, -5
- %Y = add int %A, 5
- %Z = add int %W, %Y
- ret int %Z
+define i32 @test1(i32 %A, i32 %B) {
+; CHECK-LABEL: test1
+; CHECK: %Z = add i32 %B, %A
+; CHECK: ret i32 %Z
+ %W = add i32 %B, -5
+ %Y = add i32 %A, 5
+ %Z = add i32 %W, %Y
+ ret i32 %Z
}