New testcase for GCSE

llvm-svn: 2342

llvm/test/Regression/Transforms/GCSE/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/GCSE/gcsetests.ll

@@ -0,0 +1,57 @@
+; Various test cases to ensure basic functionality is working for GCSE
+
+; RUN: as < %s | opt -gcse
+
+implementation
+
+void "testinsts"(int %i, int %j, int* %p)
+begin
+	%A = cast int %i to uint
+	%B = cast int %i to uint
+	
+	%C = shl int %i, ubyte 1
+	%D = shl int %i, ubyte 1
+
+	%E = getelementptr int* %p, uint 12
+	%F = getelementptr int* %p, uint 12
+	%G = getelementptr int* %p, uint 13
+	ret void
+end
+
+
+; Test different combinations of domination properties...
+void "sameBBtest"(int %i, int %j)
+begin
+	%A = add int %i, %j
+	%B = add int %i, %j
+
+	%C = not int %A
+	%D = not int %B
+	%E = not int %j
+
+	ret void
+end
+
+int "dominates"(int %i, int %j)
+begin
+	%A = add int %i, %j
+	br label %BB2
+
+BB2:
+	%B = add int %i, %j
+	ret int %B
+end
+
+int "hascommondominator"(int %i, int %j)
+begin
+	br bool true, label %BB1, label %BB2
+
+BB1:
+	%A = add int %i, %j
+	ret int %A
+
+BB2:
+	%B = add int %i, %j
+	ret int %B
+end
+