llvm/test/Transforms/LoopStrengthReduce/remove_scev_indvars.ll

   1 ; RUN: opt < %s -S -loop-reduce | FileCheck %s
   2
   3 define void @testIVNext(ptr nocapture %a, i64 signext %m, i64 signext %n) {
   4 entry:
   5   br label %for.body
   6
   7 for.body:
   8   %indvars.iv.prol = phi i64 [ %indvars.iv.next.prol, %for.body ], [ %m, %entry ]
   9   %i = phi i64 [ %i.next, %for.body ], [ 0, %entry ]
  10   %uglygep138 = getelementptr i64, ptr %a, i64 %i
  11   store i64 55, ptr %uglygep138, align 4
  12   %indvars.iv.next.prol = add nuw nsw i64 %indvars.iv.prol, 1
  13   %i.next = add i64 %i, 1
  14   %i.cmp.not = icmp eq i64 %i.next, %n
  15   br i1 %i.cmp.not, label %for.exit, label %for.body
  16
  17 ; CHECK: entry:
  18 ; CHECK: %0 = add i64 %n, %m
  19 ; CHECK-NOT: %indvars.iv.next.prol
  20 ; CHECK-NOT: %indvars.iv.prol
  21 ; CHECK: %indvars.iv.unr = phi i64 [ %0, %for.exit ]
  22 for.exit:
  23   %indvars.iv.next.prol.lcssa = phi i64 [ %indvars.iv.next.prol, %for.body ]
  24   br label %exit
  25
  26 exit:
  27   %indvars.iv.unr = phi i64 [ %indvars.iv.next.prol.lcssa, %for.exit ]
  28   ret void
  29 }
  30
  31 define void @testIV(ptr nocapture %a, i64 signext %m, i64 signext %n) {
  32 entry:
  33   br label %for.body
  34
  35 for.body:
  36   %iv.prol = phi i64 [ %iv.next.prol, %for.body ], [ %m, %entry ]
  37   %i = phi i64 [ %i.next, %for.body ], [ 0, %entry ]
  38   %uglygep138 = getelementptr i64, ptr %a, i64 %i
  39   store i64 55, ptr %uglygep138, align 4
  40   %iv.next.prol = add nuw nsw i64 %iv.prol, 1
  41   %i.next = add i64 %i, 1
  42   %i.cmp.not = icmp eq i64 %i.next, %n
  43   br i1 %i.cmp.not, label %for.exit, label %for.body
  44
  45 ; CHECK: entry:
  46 ; CHECK: %0 = add i64 %n, %m
  47 ; CHECK: %1 = add i64 %0, -1
  48 ; CHECK-NOT: %iv.next.prol
  49 ; CHECK-NOT: %iv.prol
  50 ; CHECK: %indvars.iv.unr = phi i64 [ %1, %for.exit ]
  51 for.exit:
  52   %iv.prol.lcssa = phi i64 [ %iv.prol, %for.body ]
  53   br label %exit
  54 exit:
  55   %indvars.iv.unr = phi i64 [%iv.prol.lcssa, %for.exit]
  56   ret void
  57 }
  58
  59 define void @testNonIndVarPhi() {
  60 cont5820:
  61   br label %for.cond5821
  62
  63 for.cond5821:                                     ; preds = %cont5825, %cont5820
  64   %0 = phi i32 [ 0, %cont5825 ], [ 1, %cont5820 ]
  65   br label %cont5825
  66
  67 cont5825:                                         ; preds = %for.cond5821
  68   br i1 false, label %for.cond5821, label %for.cond6403
  69
  70 for.cond6403:                                     ; preds = %dead, %cont5825
  71   %1 = phi i32 [ %.lcssa221, %dead ], [ 0, %cont5825 ]
  72   br label %for.cond6418
  73
  74 for.cond6418:                                     ; preds = %cont6497, %for.cond6403
  75   %2 = phi i32 [ %0, %cont6497 ], [ %1, %for.cond6403 ]
  76   %3 = phi i64 [ 1, %cont6497 ], [ 0, %for.cond6403 ]
  77   %cmp6419 = icmp ule i64 %3, 0
  78   br i1 %cmp6419, label %cont6497, label %for.end6730
  79
  80 cont6497:                                         ; preds = %for.cond6418
  81   %conv6498 = sext i32 %2 to i64
  82   br label %for.cond6418
  83
  84 for.end6730:                                      ; preds = %for.cond6418
  85 ; Check that we don't make changes for phis which are not considered
  86 ; induction variables
  87 ; CHECK: %.lcssa221 = phi i32 [ %2, %for.cond6418 ]
  88   %.lcssa221 = phi i32 [ %2, %for.cond6418 ]
  89   ret void
  90
  91 dead:                                             ; No predecessors!
  92   br label %for.cond6403
  93 }
  94
  95
  96 ; Check that this doesn't crash
  97 define void @kernfs_path_from_node() {
  98 entry:
  99   callbr void asm sideeffect "", "!i"()
 100           to label %asm.fallthrough [label %while.body]
 101
 102 asm.fallthrough:                                  ; preds = %entry
 103   br label %while.body
 104
 105 while.body:                                       ; preds = %while.body, %asm.fallthrough, %entry
 106   %depth.04 = phi i32 [ %inc, %while.body ], [ 0, %asm.fallthrough ], [ 0, %entry ]
 107   %inc = add i32 %depth.04, 1
 108   br i1 false, label %while.end, label %while.body
 109
 110 while.end:                                        ; preds = %while.body
 111   %inc.lcssa = phi i32 [ %depth.04, %while.body ]
 112   store i32 %inc.lcssa, ptr null, align 4
 113   ret void
 114 }