--- /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
+; RUN: if as < %s | opt -pinodes -instcombine -die | dis | grep add
+; RUN: then exit 1
+; RUN: else exit 0
+; RUN: fi
+
+int "test"(int %i, int %j) {
+ %c = seteq int %i, 0
+ br bool %c, label %iIsZero, label %iIsNotZero
+
+iIsZero:
+ %j2 = add int %j, %i ; This is always equal to j
+ ret int %j2
+
+iIsNotZero:
+ ret int 1
+}
--- /dev/null
+
+int "test"(int %i) {
+ %c = seteq int %i, 0
+ br bool %c, label %iIsZero, label %iIsNotZero
+
+iIsZero:
+ ret int %i
+
+iIsZero2:
+ ret int 0
+iIsNotZero:
+ %d = setne int %i, 0
+ br bool %d, label %Quit, label %iIsZero2
+
+Quit:
+ ret int 1
+}