[llvm-commits] CVS: llvm/test/Regression/Transforms/CodeExtractor/2004-03-13-LoopExtractorCrash.ll

[Chris Lattner]

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

2004-03-13-LoopExtractorCrash.ll added (r1.1)

---
Log message:

New testcase that crashes the loop extractor



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

Index: llvm/test/Regression/Transforms/CodeExtractor/2004-03-13-LoopExtractorCrash.ll
diff -c /dev/null llvm/test/Regression/Transforms/CodeExtractor/2004-03-13-LoopExtractorCrash.ll:1.1
*** /dev/null	Sat Mar 13 21:04:09 2004
--- llvm/test/Regression/Transforms/CodeExtractor/2004-03-13-LoopExtractorCrash.ll	Sat Mar 13 21:03:59 2004
***************
*** 0 ****
--- 1,75 ----
+ ; RUN: llvm-as < %s | opt -loop-extract -disable-output
+ 
+ void %solve() {
+ entry:
+ 	br label %loopentry.0
+ 
+ loopentry.0:		; preds = %entry, %endif.0
+ 	br bool false, label %no_exit.0, label %loopexit.0
+ 
+ no_exit.0:		; preds = %loopentry.0
+ 	br bool false, label %then.0, label %endif.0
+ 
+ then.0:		; preds = %no_exit.0
+ 	br bool false, label %shortcirc_done, label %shortcirc_next
+ 
+ shortcirc_next:		; preds = %then.0
+ 	br label %shortcirc_done
+ 
+ shortcirc_done:		; preds = %then.0, %shortcirc_next
+ 	br bool false, label %then.1, label %endif.1
+ 
+ then.1:		; preds = %shortcirc_done
+ 	br bool false, label %cond_true, label %cond_false
+ 
+ cond_true:		; preds = %then.1
+ 	br label %cond_continue
+ 
+ cond_false:		; preds = %then.1
+ 	br label %cond_continue
+ 
+ cond_continue:		; preds = %cond_true, %cond_false
+ 	br label %return
+ 
+ after_ret.0:		; No predecessors!
+ 	br label %endif.1
+ 
+ endif.1:		; preds = %shortcirc_done, %after_ret.0
+ 	br label %endif.0
+ 
+ endif.0:		; preds = %no_exit.0, %endif.1
+ 	br label %loopentry.0
+ 
+ loopexit.0:		; preds = %loopentry.0
+ 	br bool false, label %then.2, label %endif.2
+ 
+ then.2:		; preds = %loopexit.0
+ 	br bool false, label %then.3, label %endif.3
+ 
+ then.3:		; preds = %then.2
+ 	br label %return
+ 
+ after_ret.1:		; No predecessors!
+ 	br label %endif.3
+ 
+ endif.3:		; preds = %then.2, %after_ret.1
+ 	br label %endif.2
+ 
+ endif.2:		; preds = %loopexit.0, %endif.3
+ 	br label %loopentry.1
+ 
+ loopentry.1:		; preds = %endif.2, %no_exit.1
+ 	br bool false, label %no_exit.1, label %loopexit.1
+ 
+ no_exit.1:		; preds = %loopentry.1
+ 	br label %loopentry.1
+ 
+ loopexit.1:		; preds = %loopentry.1
+ 	br label %return
+ 
+ after_ret.2:		; No predecessors!
+ 	br label %return
+ 
+ return:		; preds = %cond_continue, %then.3, %loopexit.1, %after_ret.2
+ 	ret void
+ }