[llvm-commits] CVS: llvm/test/Regression/Transforms/SCCP/2004-12-10-UndefBranchBug.ll

Chris Lattner lattner at cs.uiuc.edu
Fri Dec 10 12:10:38 PST 2004



Changes in directory llvm/test/Regression/Transforms/SCCP:

2004-12-10-UndefBranchBug.ll added (r1.1)
---
Log message:

New testcase that SCCP miscompiles.  Luckily this is extremely unlikely to
happen in practice, but IP-SCCP can trigger it.


---
Diffs of the changes:  (+11 -0)

Index: llvm/test/Regression/Transforms/SCCP/2004-12-10-UndefBranchBug.ll
diff -c /dev/null llvm/test/Regression/Transforms/SCCP/2004-12-10-UndefBranchBug.ll:1.1
*** /dev/null	Fri Dec 10 14:10:34 2004
--- llvm/test/Regression/Transforms/SCCP/2004-12-10-UndefBranchBug.ll	Fri Dec 10 14:10:23 2004
***************
*** 0 ****
--- 1,11 ----
+ ; RUN: llvm-as < %s | opt -sccp | llvm-dis | grep 'ret int 1'
+ 
+ ; This function definitely returns 1, even if we don't know the direction
+ ; of the branch.
+ 
+ int %foo() {
+ 	br bool undef, label %T, label %T
+ T:
+ 	%X = add int 0, 1
+ 	ret int %X
+ }






More information about the llvm-commits mailing list