[llvm-commits] CVS: llvm/test/Regression/Transforms/PredicateSimplifier/2006-08-07-LeaderOffByOne.ll

[Nick Lewycky]

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
+ }