[llvm-commits] CVS: llvm/test/Regression/Transforms/LoopStrengthReduce/exit_compare_live_range.ll related_indvars.ll

[Chris Lattner]

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

exit_compare_live_range.ll added (r1.1)
related_indvars.ll added (r1.1)
---
Log message:

two simple testcases loopreduce should handle but does not yet currently


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

 exit_compare_live_range.ll |   21 +++++++++++++++++++++
 related_indvars.ll         |   29 +++++++++++++++++++++++++++++
 2 files changed, 50 insertions(+)


Index: llvm/test/Regression/Transforms/LoopStrengthReduce/exit_compare_live_range.ll
diff -c /dev/null llvm/test/Regression/Transforms/LoopStrengthReduce/exit_compare_live_range.ll:1.1
*** /dev/null	Fri Aug  5 14:47:49 2005
--- llvm/test/Regression/Transforms/LoopStrengthReduce/exit_compare_live_range.ll	Fri Aug  5 14:47:39 2005
***************
*** 0 ****
--- 1,21 ----
+ ; Make sure that the compare instruction occurs after the increment to avoid
+ ; having overlapping live ranges that result in copies.  We want the setcc instruction
+ ; immediately before the conditional branch.
+ ;
+ ; RUN: llvm-as < %s | opt -loop-reduce | llvm-dis | %prcontext 'br bool' 1 | grep set
+ ; XFAIL: *
+ 
+ void %foo(float* %D, uint %E) {
+ entry:
+ 	br label %no_exit
+ 
+ no_exit:
+ 	%indvar = phi uint [ 0, %entry ], [ %indvar.next, %no_exit ]
+ 	volatile store float 0.0, float* %D
+ 	%indvar.next = add uint %indvar, 1		; <uint> [#uses=2]
+ 	%exitcond = seteq uint %indvar.next, %E		; <bool> [#uses=1]
+ 	br bool %exitcond, label %loopexit, label %no_exit
+ 
+ loopexit:
+ 	ret void
+ }


Index: llvm/test/Regression/Transforms/LoopStrengthReduce/related_indvars.ll
diff -c /dev/null llvm/test/Regression/Transforms/LoopStrengthReduce/related_indvars.ll:1.1
*** /dev/null	Fri Aug  5 14:47:51 2005
--- llvm/test/Regression/Transforms/LoopStrengthReduce/related_indvars.ll	Fri Aug  5 14:47:39 2005
***************
*** 0 ****
--- 1,29 ----
+ ; RUN: llvm-as < %s | opt -loop-reduce | llvm-dis | grep phi | wc -l | grep 1
+ 
+ ; This should only result in one PHI node!
+ ; XFAIL: *
+ 
+ ; void foo(double *D, double *E, double F) {
+ ;   while (D != E)
+ ;     *D++ = F;
+ ; }
+ 
+ void %foo(double* %D, double* %E, double %F) {
+ entry:
+ 	%tmp.24 = seteq double* %D, %E		; <bool> [#uses=1]
+ 	br bool %tmp.24, label %return, label %no_exit
+ 
+ no_exit:		; preds = %no_exit, %entry
+ 	%indvar = phi uint [ 0, %entry ], [ %indvar.next, %no_exit ]		; <uint> [#uses=3]
+ 	%D_addr.0.0.rec = cast uint %indvar to int		; <int> [#uses=1]
+ 	%D_addr.0.0 = getelementptr double* %D, uint %indvar		; <double*> [#uses=1]
+ 	%inc.rec = add int %D_addr.0.0.rec, 1		; <int> [#uses=1]
+ 	%inc = getelementptr double* %D, int %inc.rec		; <double*> [#uses=1]
+ 	store double %F, double* %D_addr.0.0
+ 	%tmp.2 = seteq double* %inc, %E		; <bool> [#uses=1]
+ 	%indvar.next = add uint %indvar, 1		; <uint> [#uses=1]
+ 	br bool %tmp.2, label %return, label %no_exit
+ 
+ return:		; preds = %no_exit, %entry
+ 	ret void
+ }