Add some simple test of reassociation

llvm-svn: 2555

llvm/test/Regression/Transforms/Reassociate/Makefile

@@ -0,0 +1,10 @@
+
+LEVEL = ../../../..
+include $(LEVEL)/test/Makefile.tests
+
+TESTS := $(wildcard *.ll)
+
+all:: $(addprefix Output/, $(TESTS:%.ll=%.ll.out))
+
+Output/%.ll.out: %.ll Output/.dir $(LOPT)
+	-$(TESTRUNR) $<

llvm/test/Regression/Transforms/Reassociate/basictest.ll

@@ -0,0 +1,12 @@
+; With reassociation, constant folding can eliminate the 12 and -12 constants.
+;
+; RUN: if as < %s | opt -reassociate -constprop -instcombine -die | dis | grep add
+; RUN: then exit 1
+; RUN: else exit 0
+; RUN: fi
+
+int "test"(int %arg) {
+	%tmp1 = sub int -12, %arg
+	%tmp2 = add int %tmp1, 12
+	ret int %tmp2
+}

llvm/test/Regression/Transforms/Reassociate/basictest2.ll

@@ -0,0 +1,13 @@
+; With reassociation, constant folding can eliminate the +/- 30 constants.
+;
+; RUN: if as < %s | opt -reassociate -constprop -instcombine -die | dis | grep 30
+; RUN: then exit 1
+; RUN: else exit 0
+; RUN: fi
+
+int "test"(int %reg109, int %reg1111) {
+        %reg115 = add int %reg109, -30           ; <int> [#uses=1]
+        %reg116 = add int %reg115, %reg1111             ; <int> [#uses=1]
+        %reg117 = add int %reg116, 30           ; <int> [#uses=1]
+        ret int %reg117
+}

llvm/test/Regression/Transforms/Reassociate/otherops.ll

@@ -0,0 +1,31 @@
+; Reassociation should apply to Add, Mul, And, Or, & Xor
+;
+; RUN: if as < %s | opt -reassociate -constprop -instcombine -die | dis | grep 12
+; RUN: then exit 1
+; RUN: else exit 0
+; RUN: fi
+
+int "test_mul"(int %arg) {
+        %tmp1 = mul int 12, %arg
+        %tmp2 = mul int %tmp1, 12
+        ret int %tmp2
+}
+
+int "test_and"(int %arg) {
+	%tmp1 = and int 14, %arg
+	%tmp2 = and int %tmp1, 14
+	ret int %tmp2
+}
+
+int "test_or"(int %arg) {
+        %tmp1 = or int 14, %arg
+        %tmp2 = or int %tmp1, 14
+        ret int %tmp2
+}
+
+int "test_xor"(int %arg) {
+        %tmp1 = xor int 12, %arg
+        %tmp2 = xor int %tmp1, 12
+        ret int %tmp2
+}
+