1 files changed, 38 insertions, 0 deletions
diff --git a/test/Transforms/GVNPRE/basic.ll b/test/Transforms/GVNPRE/basic.ll
new file mode 100644
index 0000000..b746873
--- /dev/null
+++ b/test/Transforms/GVNPRE/basic.ll
@@ -0,0 +1,38 @@
+; RUN: llvm-as < %s | opt -gvnpre | llvm-dis | not grep {%z3 =}
+; RUN: llvm-as < %s | opt -gvnpre | llvm-dis | not grep {%z9 =}
+
+define i32 @main() {
+block1:
+	%z1 = bitcast i32 0 to i32		; <i32> [#uses=5]
+	br label %block2
+
+block2:		; preds = %block6, %block1
+	%z2 = phi i32 [ %z1, %block1 ], [ %z3, %block6 ]		; <i32> [#uses=3]
+	%z3 = add i32 %z2, 1		; <i32> [#uses=5]
+	br i1 false, label %block3, label %block7
+
+block3:		; preds = %block2
+	br i1 true, label %block4, label %block5
+
+block4:		; preds = %block3
+	%z4 = add i32 %z2, %z3		; <i32> [#uses=1]
+	%z5 = bitcast i32 %z4 to i32		; <i32> [#uses=1]
+	%z6 = add i32 %z1, %z5		; <i32> [#uses=0]
+	br label %block6
+
+block5:		; preds = %block3
+	%z7 = add i32 %z3, 1		; <i32> [#uses=1]
+	br label %block6
+
+block6:		; preds = %block5, %block4
+	%z8 = phi i32 [ %z1, %block4 ], [ %z7, %block5 ]		; <i32> [#uses=1]
+	%z9 = add i32 %z2, %z3		; <i32> [#uses=2]
+	%z10 = add i32 %z9, %z8		; <i32> [#uses=0]
+	%z11 = bitcast i32 12 to i32		; <i32> [#uses=1]
+	%z12 = add i32 %z9, %z11		; <i32> [#uses=1]
+	%z13 = add i32 %z12, %z3		; <i32> [#uses=0]
+	br label %block2
+
+block7:		; preds = %block2
+	ret i32 %z1
+}