invariant_value_first_arg.ll 683 B

123456789101112131415161718192021
  1. ; Check that the index of 'P[outer]' is pulled out of the loop.
  2. ; RUN: opt < %s -loop-reduce -S | \
  3. ; RUN: not grep "getelementptr.*%outer.*%INDVAR"
  4. target datalayout = "e-p:32:32:32-n32"
  5. declare i1 @pred()
  6. define void @test([10000 x i32]* %P, i32 %outer) {
  7. ; <label>:0
  8. br label %Loop
  9. Loop: ; preds = %Loop, %0
  10. %INDVAR = phi i32 [ 0, %0 ], [ %INDVAR2, %Loop ] ; <i32> [#uses=2]
  11. %STRRED = getelementptr [10000 x i32], [10000 x i32]* %P, i32 %outer, i32 %INDVAR ; <i32*> [#uses=1]
  12. store i32 0, i32* %STRRED
  13. %INDVAR2 = add i32 %INDVAR, 1 ; <i32> [#uses=1]
  14. %cond = call i1 @pred( ) ; <i1> [#uses=1]
  15. br i1 %cond, label %Loop, label %Out
  16. Out: ; preds = %Loop
  17. ret void
  18. }