Merging r259798, r259835:
[oota-llvm.git] / test / Transforms / Reassociate / 2005-09-01-ArrayOutOfBounds.ll
index f66148bb4abcee2ba7f2911b3b9f63751de33490..f6cef35b1779064c5fc46474d17bc8d604e0981e 100644 (file)
@@ -1,23 +1,24 @@
-; RUN: opt < %s -reassociate -instcombine -S |\
-; RUN:   grep "ret i32 0"
+; RUN: opt < %s -reassociate -instcombine -S | FileCheck %s
 
-define i32 @f(i32 %a0, i32 %a1, i32 %a2, i32 %a3, i32 %a4) {
-       %tmp.2 = add i32 %a4, %a3               ; <i32> [#uses=1]
-       %tmp.4 = add i32 %tmp.2, %a2            ; <i32> [#uses=1]
-       %tmp.6 = add i32 %tmp.4, %a1            ; <i32> [#uses=1]
-       %tmp.8 = add i32 %tmp.6, %a0            ; <i32> [#uses=1]
-       %tmp.11 = add i32 %a3, %a2              ; <i32> [#uses=1]
-       %tmp.13 = add i32 %tmp.11, %a1          ; <i32> [#uses=1]
-       %tmp.15 = add i32 %tmp.13, %a0          ; <i32> [#uses=1]
-       %tmp.18 = add i32 %a2, %a1              ; <i32> [#uses=1]
-       %tmp.20 = add i32 %tmp.18, %a0          ; <i32> [#uses=1]
-       %tmp.23 = add i32 %a1, %a0              ; <i32> [#uses=1]
-       %tmp.26 = sub i32 %tmp.8, %tmp.15               ; <i32> [#uses=1]
-       %tmp.28 = add i32 %tmp.26, %tmp.20              ; <i32> [#uses=1]
-       %tmp.30 = sub i32 %tmp.28, %tmp.23              ; <i32> [#uses=1]
-       %tmp.32 = sub i32 %tmp.30, %a4          ; <i32> [#uses=1]
-       %tmp.34 = sub i32 %tmp.32, %a2          ; <i32> [#uses=2]
-       %T = mul i32 %tmp.34, %tmp.34           ; <i32> [#uses=1]
-       ret i32 %T
-}
+define i32 @f1(i32 %a0, i32 %a1, i32 %a2, i32 %a3, i32 %a4) {
+; CHECK-LABEL: f1
+; CHECK-NEXT: ret i32 0
 
+  %tmp.2 = add i32 %a4, %a3
+  %tmp.4 = add i32 %tmp.2, %a2
+  %tmp.6 = add i32 %tmp.4, %a1
+  %tmp.8 = add i32 %tmp.6, %a0
+  %tmp.11 = add i32 %a3, %a2
+  %tmp.13 = add i32 %tmp.11, %a1
+  %tmp.15 = add i32 %tmp.13, %a0
+  %tmp.18 = add i32 %a2, %a1
+  %tmp.20 = add i32 %tmp.18, %a0
+  %tmp.23 = add i32 %a1, %a0
+  %tmp.26 = sub i32 %tmp.8, %tmp.15
+  %tmp.28 = add i32 %tmp.26, %tmp.20
+  %tmp.30 = sub i32 %tmp.28, %tmp.23
+  %tmp.32 = sub i32 %tmp.30, %a4
+  %tmp.34 = sub i32 %tmp.32, %a2
+  %T = mul i32 %tmp.34, %tmp.34
+  ret i32 %T
+}