test/Transforms/LoopStrengthReduce/dont_insert_redundant_ops.ll

   1 ; Check that this test makes INDVAR and related stuff dead.
   2 ; RUN: llvm-as < %s | opt -loop-reduce | llvm-dis | grep phi | wc -l | grep 2
   3
   4 declare bool %pred()
   5
   6 void %test1({ int, int }* %P) {
   7         br label %Loop
   8 Loop:
   9         %INDVAR = phi int [0, %0], [%INDVAR2, %Loop]
  10
  11         %gep1 = getelementptr { int, int}* %P, int %INDVAR, uint 0
  12         store int 0, int* %gep1
  13
  14         %gep2 = getelementptr { int, int}* %P, int %INDVAR, uint 1
  15         store int 0, int* %gep2
  16
  17         %INDVAR2 = add int %INDVAR, 1
  18         %cond = call bool %pred()
  19         br bool %cond, label %Loop, label %Out
  20 Out:
  21         ret void
  22 }
  23
  24 void %test2([2 x int]* %P) {
  25         br label %Loop
  26 Loop:
  27         %INDVAR = phi int [0, %0], [%INDVAR2, %Loop]
  28
  29         %gep1 = getelementptr [2 x int]* %P, int %INDVAR, uint 0
  30         store int 0, int* %gep1
  31
  32         %gep2 = getelementptr [2 x int]* %P, int %INDVAR, uint 1
  33         store int 0, int* %gep2
  34
  35         %INDVAR2 = add int %INDVAR, 1
  36         %cond = call bool %pred()
  37         br bool %cond, label %Loop, label %Out
  38 Out:
  39         ret void
  40 }