test/Analysis/ScalarEvolution/trip-count14.ll

   1 ; RUN: opt -S -analyze -scalar-evolution < %s | FileCheck %s
   2
   3 define void @s32_max1(i32 %n, i32* %p) {
   4 entry:
   5   %add = add i32 %n, 1
   6   br label %do.body
   7
   8 do.body:
   9   %i.0 = phi i32 [ %n, %entry ], [ %inc, %do.body ]
  10   %arrayidx = getelementptr i32, i32* %p, i32 %i.0
  11   store i32 %i.0, i32* %arrayidx, align 4
  12   %inc = add i32 %i.0, 1
  13   %cmp = icmp slt i32 %i.0, %add
  14   br i1 %cmp, label %do.body, label %do.end ; taken either 0 or 1 times
  15
  16 ; CHECK-LABEL: Determining loop execution counts for: @s32_max1
  17 ; CHECK-NEXT: Loop %do.body: backedge-taken count is ((-1 * %n) + ((1 + %n) smax %n))
  18 ; CHECK-NEXT: Loop %do.body: max backedge-taken count is 1, actual taken count either this or zero.
  19
  20 do.end:
  21   ret void
  22 }
  23
  24 define void @s32_max2(i32 %n, i32* %p) {
  25 entry:
  26   %add = add i32 %n, 2
  27   br label %do.body
  28
  29 do.body:
  30   %i.0 = phi i32 [ %n, %entry ], [ %inc, %do.body ]
  31   %arrayidx = getelementptr i32, i32* %p, i32 %i.0
  32   store i32 %i.0, i32* %arrayidx, align 4
  33   %inc = add i32 %i.0, 1
  34   %cmp = icmp slt i32 %i.0, %add
  35   br i1 %cmp, label %do.body, label %do.end ; taken either 0 or 2 times
  36
  37 ; CHECK-LABEL: Determining loop execution counts for: @s32_max2
  38 ; CHECK-NEXT: Loop %do.body: backedge-taken count is ((-1 * %n) + ((2 + %n) smax %n))
  39 ; CHECK-NEXT: Loop %do.body: max backedge-taken count is 2, actual taken count either this or zero.
  40
  41 do.end:
  42   ret void
  43 }
  44
  45 define void @s32_maxx(i32 %n, i32 %x, i32* %p) {
  46 entry:
  47   %add = add i32 %x, %n
  48   br label %do.body
  49
  50 do.body:
  51   %i.0 = phi i32 [ %n, %entry ], [ %inc, %do.body ]
  52   %arrayidx = getelementptr i32, i32* %p, i32 %i.0
  53   store i32 %i.0, i32* %arrayidx, align 4
  54   %inc = add i32 %i.0, 1
  55   %cmp = icmp slt i32 %i.0, %add
  56   br i1 %cmp, label %do.body, label %do.end ; taken either 0 or x times
  57
  58 ; CHECK-LABEL: Determining loop execution counts for: @s32_maxx
  59 ; CHECK-NEXT: Loop %do.body: backedge-taken count is ((-1 * %n) + ((%n + %x) smax %n))
  60 ; CHECK-NEXT: Loop %do.body: max backedge-taken count is -1{{$}}
  61
  62 do.end:
  63   ret void
  64 }
  65
  66 define void @s32_max2_unpredictable_exit(i32 %n, i32 %x, i32* %p) {
  67 entry:
  68   %add = add i32 %n, 2
  69   br label %do.body
  70
  71 do.body:
  72   %i.0 = phi i32 [ %n, %entry ], [ %inc, %if.end ]
  73   %cmp = icmp eq i32 %i.0, %x
  74   br i1 %cmp, label %do.end, label %if.end ; unpredictable
  75
  76 if.end:
  77   %arrayidx = getelementptr i32, i32* %p, i32 %i.0
  78   store i32 %i.0, i32* %arrayidx, align 4
  79   %inc = add i32 %i.0, 1
  80   %cmp1 = icmp slt i32 %i.0, %add
  81   br i1 %cmp1, label %do.body, label %do.end ; taken either 0 or 2 times
  82
  83 ; CHECK-LABEL: Determining loop execution counts for: @s32_max2_unpredictable_exit
  84 ; CHECK-NEXT: Loop %do.body: <multiple exits> backedge-taken count is (((-1 * %n) + ((2 + %n) smax %n)) umin ((-1 * %n) + %x))
  85 ; CHECK-NEXT:   exit count for do.body: ((-1 * %n) + %x)
  86 ; CHECK-NEXT:   exit count for if.end: ((-1 * %n) + ((2 + %n) smax %n))
  87 ; CHECK-NEXT: Loop %do.body: max backedge-taken count is 2{{$}}
  88
  89 do.end:
  90   ret void
  91 }
  92
  93 define void @u32_max1(i32 %n, i32* %p) {
  94 entry:
  95   %add = add i32 %n, 1
  96   br label %do.body
  97
  98 do.body:
  99   %i.0 = phi i32 [ %n, %entry ], [ %inc, %do.body ]
 100   %arrayidx = getelementptr i32, i32* %p, i32 %i.0
 101   store i32 %i.0, i32* %arrayidx, align 4
 102   %inc = add i32 %i.0, 1
 103   %cmp = icmp ult i32 %i.0, %add
 104   br i1 %cmp, label %do.body, label %do.end ; taken either 0 or 1 times
 105
 106 ; CHECK-LABEL: Determining loop execution counts for: @u32_max1
 107 ; CHECK-NEXT: Loop %do.body: backedge-taken count is ((-1 * %n) + ((1 + %n) umax %n))
 108 ; CHECK-NEXT: Loop %do.body: max backedge-taken count is 1, actual taken count either this or zero.
 109
 110 do.end:
 111   ret void
 112 }
 113
 114 define void @u32_max2(i32 %n, i32* %p) {
 115 entry:
 116   %add = add i32 %n, 2
 117   br label %do.body
 118
 119 do.body:
 120   %i.0 = phi i32 [ %n, %entry ], [ %inc, %do.body ]
 121   %arrayidx = getelementptr i32, i32* %p, i32 %i.0
 122   store i32 %i.0, i32* %arrayidx, align 4
 123   %inc = add i32 %i.0, 1
 124   %cmp = icmp ult i32 %i.0, %add
 125   br i1 %cmp, label %do.body, label %do.end ; taken either 0 or 2 times
 126
 127 ; CHECK-LABEL: Determining loop execution counts for: @u32_max2
 128 ; CHECK-NEXT: Loop %do.body: backedge-taken count is ((-1 * %n) + ((2 + %n) umax %n))
 129 ; CHECK-NEXT: Loop %do.body: max backedge-taken count is 2, actual taken count either this or zero.
 130
 131 do.end:
 132   ret void
 133 }
 134
 135 define void @u32_maxx(i32 %n, i32 %x, i32* %p) {
 136 entry:
 137   %add = add i32 %x, %n
 138   br label %do.body
 139
 140 do.body:
 141   %i.0 = phi i32 [ %n, %entry ], [ %inc, %do.body ]
 142   %arrayidx = getelementptr i32, i32* %p, i32 %i.0
 143   store i32 %i.0, i32* %arrayidx, align 4
 144   %inc = add i32 %i.0, 1
 145   %cmp = icmp ult i32 %i.0, %add
 146   br i1 %cmp, label %do.body, label %do.end ; taken either 0 or x times
 147
 148 ; CHECK-LABEL: Determining loop execution counts for: @u32_maxx
 149 ; CHECK-NEXT: Loop %do.body: backedge-taken count is ((-1 * %n) + ((%n + %x) umax %n))
 150 ; CHECK-NEXT: Loop %do.body: max backedge-taken count is -1{{$}}
 151
 152 do.end:
 153   ret void
 154 }
 155
 156 define void @u32_max2_unpredictable_exit(i32 %n, i32 %x, i32* %p) {
 157 entry:
 158   %add = add i32 %n, 2
 159   br label %do.body
 160
 161 do.body:
 162   %i.0 = phi i32 [ %n, %entry ], [ %inc, %if.end ]
 163   %cmp = icmp eq i32 %i.0, %x
 164   br i1 %cmp, label %do.end, label %if.end ; unpredictable
 165
 166 if.end:
 167   %arrayidx = getelementptr i32, i32* %p, i32 %i.0
 168   store i32 %i.0, i32* %arrayidx, align 4
 169   %inc = add i32 %i.0, 1
 170   %cmp1 = icmp ult i32 %i.0, %add
 171   br i1 %cmp1, label %do.body, label %do.end ; taken either 0 or 2 times
 172
 173 ; CHECK-LABEL: Determining loop execution counts for: @u32_max2_unpredictable_exit
 174 ; CHECK-NEXT: Loop %do.body: <multiple exits> backedge-taken count is (((-1 * %n) + ((2 + %n) umax %n)) umin ((-1 * %n) + %x))
 175 ; CHECK-NEXT:   exit count for do.body: ((-1 * %n) + %x)
 176 ; CHECK-NEXT:   exit count for if.end: ((-1 * %n) + ((2 + %n) umax %n))
 177 ; CHECK-NEXT: Loop %do.body: max backedge-taken count is 2{{$}}
 178
 179 do.end:
 180   ret void
 181 }