test/Transforms/LoopStrengthReduce/invariant_value_first_arg.ll

   1 ; Check that the index of 'P[outer]' is pulled out of the loop.
   2 ; RUN: llvm-as < %s | opt -loop-reduce | llvm-dis | not grep 'getelementptr.*%outer.*%INDVAR'
   3
   4 declare bool %pred()
   5
   6 void %test([10000 x int]* %P, int %outer) {
   7         br label %Loop
   8 Loop:
   9         %INDVAR = phi int [0, %0], [%INDVAR2, %Loop]
  10
  11         %STRRED = getelementptr [10000 x int]* %P, int %outer, int %INDVAR
  12         store int 0, int* %STRRED
  13
  14         %INDVAR2 = add int %INDVAR, 1
  15         %cond = call bool %pred()
  16         br bool %cond, label %Loop, label %Out
  17 Out:
  18         ret void
  19 }