new testcases for PR557
llvm-svn: 21782
diff --git a/llvm/test/Regression/Transforms/Reassociate/basictest3.ll b/llvm/test/Regression/Transforms/Reassociate/basictest3.ll
new file mode 100644
index 0000000..c82b017
--- /dev/null
+++ b/llvm/test/Regression/Transforms/Reassociate/basictest3.ll
@@ -0,0 +1,50 @@
+; RUN: llvm-as < %s | opt -reassociate -gcse | llvm-dis | grep add | wc -l | grep 6
+; Each of these functions should turn into two adds each.
+
+%e = external global int
+%a = external global int
+%b = external global int
+%c = external global int
+%f = external global int
+
+implementation
+
+void %test1() {
+ %A = load int* %a
+ %B = load int* %b
+ %C = load int* %c
+ %t1 = add int %A, %B
+ %t2 = add int %t1, %C
+ %t3 = add int %C, %A
+ %t4 = add int %t3, %B
+ store int %t2, int* %e ; e = (a+b)+c;
+ store int %t4, int* %f ; f = (a+c)+b
+ ret void
+}
+
+void %test2() {
+ %A = load int* %a
+ %B = load int* %b
+ %C = load int* %c
+ %t1 = add int %A, %B
+ %t2 = add int %t1, %C
+ %t3 = add int %C, %A
+ %t4 = add int %t3, %B
+ store int %t2, int* %e ; e = c+(a+b)
+ store int %t4, int* %f ; f = (c+a)+b
+ ret void
+}
+
+void %test3() {
+ %A = load int* %a
+ %B = load int* %b
+ %C = load int* %c
+ %t1 = add int %B, %A
+ %t2 = add int %t1, %C
+ %t3 = add int %C, %A
+ %t4 = add int %t3, %B
+ store int %t2, int* %e ; e = c+(b+a)
+ store int %t4, int* %f ; f = (c+a)+b
+ ret void
+}
+