--- /dev/null
+
+LEVEL = ../../../..
+include $(LEVEL)/test/Makefile.tests
+
+TESTS := $(wildcard *.ll)
+
+all:: $(addprefix Output/, $(TESTS:%.ll=%.ll.out))
+
+Output/%.ll.out: %.ll Output/.dir $(LOPT)
+ -$(TESTRUNR) $<
--- /dev/null
+; 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
+}
--- /dev/null
+; 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
+}
--- /dev/null
+; 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
+}
+