1 files changed, 28 insertions, 0 deletions
diff --git a/test/Transforms/PredicateSimplifier/2006-08-07-LeaderOffByOne.ll b/test/Transforms/PredicateSimplifier/2006-08-07-LeaderOffByOne.ll
new file mode 100644
index 0000000..1322b90
--- /dev/null
+++ b/test/Transforms/PredicateSimplifier/2006-08-07-LeaderOffByOne.ll
@@ -0,0 +1,28 @@
+; RUN: llvm-upgrade < %s | llvm-as | opt -predsimplify -disable-output
+
+void %safe_strcpy(uint %size1) {
+entry:
+	%tmp = seteq uint %size1, 0		; <bool> [#uses=1]
+	br bool %tmp, label %return, label %strlen.exit
+
+strlen.exit:		; preds = %entry
+	%tmp = cast ulong 0 to uint		; <uint> [#uses=2]
+	%tmp6 = setlt uint %tmp, %size1		; <bool> [#uses=1]
+	br bool %tmp6, label %cond_true7, label %cond_false19
+
+cond_true7:		; preds = %strlen.exit
+	%tmp9 = seteq uint %tmp, 0		; <bool> [#uses=1]
+	br bool %tmp9, label %cond_next15, label %cond_true10
+
+cond_true10:		; preds = %cond_true7
+	ret void
+
+cond_next15:		; preds = %cond_true7
+	ret void
+
+cond_false19:		; preds = %strlen.exit
+	ret void
+
+return:		; preds = %entry
+	ret void
+}