[llvm-commits] CVS: llvm/test/Regression/Transforms/PredicateSimplifier/2006-08-07-LeaderOffByOne.ll
Nick Lewycky
nicholas at mxc.ca
Sat Sep 9 19:27:22 PDT 2006
Changes in directory llvm/test/Regression/Transforms/PredicateSimplifier:
2006-08-07-LeaderOffByOne.ll added (r1.1)
---
Log message:
Replace EquivalenceClasses with a custom-built data structure. Many common
operations (like findProperties) should be faster, at the expense of
unionSets being slower in cases that are rare in practise.
Don't erase a dead Instruction. This fixes a memory corruption issue.
---
Diffs of the changes: (+28 -0)
2006-08-07-LeaderOffByOne.ll | 28 ++++++++++++++++++++++++++++
1 files changed, 28 insertions(+)
Index: llvm/test/Regression/Transforms/PredicateSimplifier/2006-08-07-LeaderOffByOne.ll
diff -c /dev/null llvm/test/Regression/Transforms/PredicateSimplifier/2006-08-07-LeaderOffByOne.ll:1.1
*** /dev/null Sat Sep 9 21:27:17 2006
--- llvm/test/Regression/Transforms/PredicateSimplifier/2006-08-07-LeaderOffByOne.ll Sat Sep 9 21:27:07 2006
***************
*** 0 ****
--- 1,28 ----
+ ; RUN: llvm-as < %s | 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
+ }
More information about the llvm-commits
mailing list