vendor/llvm/llvm-r72732

1 files changed, 37 insertions, 0 deletions

diff --git a/test/Transforms/PredicateSimplifier/predsimplify.reg2.ll b/test/Transforms/PredicateSimplifier/predsimplify.reg2.ll
new file mode 100644
index 0000000000000..9c064eebe5841
--- /dev/null
+++ b/test/Transforms/PredicateSimplifier/predsimplify.reg2.ll
@@ -0,0 +1,37 @@
+; RUN: llvm-as < %s | opt -predsimplify -verify
+target datalayout = "e-p:32:32"
+target triple = "i686-pc-linux-gnu"
+deplibs = [ "c", "crtend" ]
+	%struct.anon = type { %struct.set_family*, %struct.set_family*, %struct.set_family*, i8*, i32, i32*, %struct.pair_struct*, i8**, %struct.symbolic_t*, %struct.symbolic_t* }
+	%struct.pair_struct = type { i32, i32*, i32* }
+	%struct.set_family = type { i32, i32, i32, i32, i32, i32*, %struct.set_family* }
+	%struct.symbolic_label_t = type { i8*, %struct.symbolic_label_t* }
+	%struct.symbolic_list_t = type { i32, i32, %struct.symbolic_list_t* }
+	%struct.symbolic_t = type { %struct.symbolic_list_t*, i32, %struct.symbolic_label_t*, i32, %struct.symbolic_t* }
+
+define void @find_pairing_cost(i32 %strategy) {
+entry:
+	br i1 false, label %cond_true299, label %bb314
+bb94:		; preds = %cond_true299
+	switch i32 %strategy, label %bb246 [
+		 i32 0, label %bb196
+		 i32 1, label %bb159
+	]
+cond_next113:		; preds = %cond_true299
+	switch i32 %strategy, label %bb246 [
+		 i32 0, label %bb196
+		 i32 1, label %bb159
+	]
+bb159:		; preds = %cond_next113, %bb94
+	ret void
+bb196:		; preds = %cond_next113, %bb94
+	%Rsave.0.3 = phi %struct.set_family* [ null, %bb94 ], [ null, %cond_next113 ]		; <%struct.set_family*> [#uses=0]
+	ret void
+bb246:		; preds = %cond_next113, %bb94
+	br label %bb314
+cond_true299:		; preds = %entry
+	%tmp55 = icmp sgt i32 %strategy, 0		; <i1> [#uses=1]
+	br i1 %tmp55, label %bb94, label %cond_next113
+bb314:		; preds = %bb246, %entry
+	ret void
+}