polly/test/ScopInfo/complex-successor-structure.ll

   1 ; RUN: opt %loadPolly -pass-remarks-analysis="polly-scops" -polly-print-scops \
   2 ; RUN:     -polly-invariant-load-hoisting=true \
   3 ; RUN:     -disable-output < %s 2>&1 | FileCheck %s
   4
   5 ; We build a scop from the region for.body->B13. The CFG is of the
   6 ; following form. The test checks that the condition construction does not take
   7 ; a huge amount of time. While we can propagate the domain constraints from
   8 ; B(X) to B(X+1) the conditions in B(X+1) will exponentially grow the number
   9 ; of needed constraints (it is basically the condition of B(X) + one smax),
  10 ; thus we should bail out at some point.
  11 ;
  12 ; CHECK: Low complexity assumption: {  : false }
  13
  14 ;      |
  15 ;    for.body <--+
  16 ;      |         |
  17 ;      |---------+
  18 ;      |
  19 ;     \ /
  20 ;    if.entry --+
  21 ;      |        |
  22 ;      A0       |
  23 ;      |        |
  24 ;      B0 <-----+
  25 ;      |  \
  26 ;      |   \
  27 ;      A1   \
  28 ;      |    |
  29 ;      |    |
  30 ;      B1<--+
  31 ;      |  \
  32 ;      |   \
  33 ;      A2   \
  34 ;      |    |
  35 ;      |    |
  36 ;      B2<--+
  37 ;      |  \
  38 ;      |   \
  39 ;      A3   \
  40 ;      |    |
  41 ;      |    |
  42 ;      B3<--+
  43 ;      |  \
  44 ;      |   \
  45 ;      A4   \
  46 ;      |    |
  47 ;      |    |
  48 ;      B4<--+
  49 ;      |  \
  50 ;      |   \
  51 ;      A5   \
  52 ;      |    |
  53 ;      |    |
  54 ;      B5<--+
  55 ;      |  \
  56 ;      |   \
  57 ;      A6   \
  58 ;      |    |
  59 ;      |    |
  60 ;      B6<--+
  61 ;      |  \
  62 ;      |   \
  63 ;      A7   \
  64 ;      |    |
  65 ;      |    |
  66 ;      B7<--+
  67 ;      |  \
  68 ;      |   \
  69 ;      A8   \
  70 ;      |    |
  71 ;      |    |
  72 ;      B8<--+
  73 ;      |  \
  74 ;      |   \
  75 ;      A9   \
  76 ;      |    |
  77 ;      |    |
  78 ;      B9<--+
  79 ;      |  \
  80 ;      |   \
  81 ;      A10  \
  82 ;      |    |
  83 ;      |    |
  84 ;      B10<-+
  85 ;      |  \
  86 ;      |   \
  87 ;      A11  \
  88 ;      |    |
  89 ;      |    |
  90 ;      B11<-+
  91 ;      |  \
  92 ;      |   \
  93 ;      A12  \
  94 ;      |    |
  95 ;      |    |
  96 ;      B12<-+
  97 ;      |  \
  98 ;      |   \
  99 ;      A13  \
 100 ;      |    |
 101 ;      |    |
 102 ;      B13<-+
 103
 104 target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n8:16:32-S64"
 105 target triple = "thumbv7--linux-android"
 106
 107 @Table1 = external global [2304 x i16], align 2
 108 @Table2 = external global [1792 x i16], align 2
 109 @Table3 = external global [16 x i16], align 2
 110
 111 define void @foo(ptr nocapture readonly %indice, ptr nocapture %Output, ptr nocapture readonly %In1, ptr nocapture readonly %In2, i16 signext %var, i16 signext %var2) {
 112 entry:
 113   %.reg2mem158 = alloca i16
 114   %.reg2mem156 = alloca i16
 115   %.reg2mem154 = alloca i16
 116   %.reg2mem152 = alloca i16
 117   %.reg2mem150 = alloca i16
 118   %.reg2mem = alloca i16
 119   %Temp_Ref = alloca [16 x i16], align 2
 120   %cmp = icmp eq i16 %var, 0
 121   br label %for.body
 122
 123 for.body:                                       ; preds = %for.body, %entry
 124   %i.2138 = phi i32 [ %inc47, %for.body ], [ 0, %entry ]
 125   %arrayidx28 = getelementptr inbounds [16 x i16], ptr @Table3, i32 0, i32 %i.2138
 126   %0 = load i16, ptr %arrayidx28, align 2
 127   %conv29 = sext i16 %0 to i32
 128   %arrayidx36 = getelementptr inbounds i16, ptr %In2, i32 %i.2138
 129   %1 = load i16, ptr %arrayidx36, align 2
 130   %conv37 = sext i16 %1 to i32
 131   %shl38147 = add nsw i32 %conv37, %conv29
 132   %add35.1 = add nuw nsw i32 %i.2138, 16
 133   %arrayidx36.1 = getelementptr inbounds i16, ptr %In2, i32 %add35.1
 134   %2 = load i16, ptr %arrayidx36.1, align 2
 135   %conv37.1 = sext i16 %2 to i32
 136   %shl38.1148 = add nsw i32 %conv37.1, %shl38147
 137   %add35.2 = add nuw nsw i32 %i.2138, 32
 138   %arrayidx36.2 = getelementptr inbounds i16, ptr %In2, i32 %add35.2
 139   %3 = load i16, ptr %arrayidx36.2, align 2
 140   %conv37.2 = sext i16 %3 to i32
 141   %shl38.2149 = add nsw i32 %conv37.2, %shl38.1148
 142   %add39.2 = shl i32 %shl38.2149, 14
 143   %add43 = add nsw i32 %add39.2, 32768
 144   %shr129 = lshr i32 %add43, 16
 145   %conv44 = trunc i32 %shr129 to i16
 146   %arrayidx45 = getelementptr inbounds [16 x i16], ptr %Temp_Ref, i32 0, i32 %i.2138
 147   store i16 %conv44, ptr %arrayidx45, align 2
 148   %inc47 = add nuw nsw i32 %i.2138, 1
 149   %exitcond144 = icmp eq i32 %i.2138, 15
 150   br i1 %exitcond144, label %if.entry, label %for.body
 151
 152 if.entry:                             ; preds = %for.body
 153   %4 = load i16, ptr %In1, align 2
 154   %conv54 = sext i16 %4 to i32
 155   %mul55 = mul nsw i32 %conv54, 29491
 156   %shr56127 = lshr i32 %mul55, 15
 157   %5 = load i16, ptr %Temp_Ref, align 2
 158   %conv58 = sext i16 %5 to i32
 159   %mul59 = mul nsw i32 %conv58, 3277
 160   %shr60128 = lshr i32 %mul59, 15
 161   %add61 = add nuw nsw i32 %shr60128, %shr56127
 162   %conv62 = trunc i32 %add61 to i16
 163   store i16 %conv62, ptr %Output, align 2
 164   %arrayidx53.1 = getelementptr inbounds i16, ptr %In1, i32 1
 165   %6 = load i16, ptr %arrayidx53.1, align 2
 166   %conv54.1 = sext i16 %6 to i32
 167   %mul55.1 = mul nsw i32 %conv54.1, 29491
 168   %shr56127.1 = lshr i32 %mul55.1, 15
 169   %arrayidx57.1 = getelementptr inbounds [16 x i16], ptr %Temp_Ref, i32 0, i32 1
 170   %7 = load i16, ptr %arrayidx57.1, align 2
 171   %conv58.1 = sext i16 %7 to i32
 172   %mul59.1 = mul nsw i32 %conv58.1, 3277
 173   %shr60128.1 = lshr i32 %mul59.1, 15
 174   %add61.1 = add nuw nsw i32 %shr60128.1, %shr56127.1
 175   %conv62.1 = trunc i32 %add61.1 to i16
 176   %arrayidx63.1 = getelementptr inbounds i16, ptr %Output, i32 1
 177   store i16 %conv62.1, ptr %arrayidx63.1, align 2
 178   %arrayidx53.2 = getelementptr inbounds i16, ptr %In1, i32 2
 179   %8 = load i16, ptr %arrayidx53.2, align 2
 180   %conv54.2 = sext i16 %8 to i32
 181   %mul55.2 = mul nsw i32 %conv54.2, 29491
 182   %shr56127.2 = lshr i32 %mul55.2, 15
 183   %arrayidx57.2 = getelementptr inbounds [16 x i16], ptr %Temp_Ref, i32 0, i32 2
 184   %9 = load i16, ptr %arrayidx57.2, align 2
 185   %conv58.2 = sext i16 %9 to i32
 186   %mul59.2 = mul nsw i32 %conv58.2, 3277
 187   %shr60128.2 = lshr i32 %mul59.2, 15
 188   %add61.2 = add nuw nsw i32 %shr60128.2, %shr56127.2
 189   %conv62.2 = trunc i32 %add61.2 to i16
 190   %arrayidx63.2 = getelementptr inbounds i16, ptr %Output, i32 2
 191   store i16 %conv62.2, ptr %arrayidx63.2, align 2
 192   %arrayidx53.3 = getelementptr inbounds i16, ptr %In1, i32 3
 193   %10 = load i16, ptr %arrayidx53.3, align 2
 194   %conv54.3 = sext i16 %10 to i32
 195   %mul55.3 = mul nsw i32 %conv54.3, 29491
 196   %shr56127.3 = lshr i32 %mul55.3, 15
 197   %arrayidx57.3 = getelementptr inbounds [16 x i16], ptr %Temp_Ref, i32 0, i32 3
 198   %11 = load i16, ptr %arrayidx57.3, align 2
 199   %conv58.3 = sext i16 %11 to i32
 200   %mul59.3 = mul nsw i32 %conv58.3, 3277
 201   %shr60128.3 = lshr i32 %mul59.3, 15
 202   %add61.3 = add nuw nsw i32 %shr60128.3, %shr56127.3
 203   %conv62.3 = trunc i32 %add61.3 to i16
 204   %arrayidx63.3 = getelementptr inbounds i16, ptr %Output, i32 3
 205   store i16 %conv62.3, ptr %arrayidx63.3, align 2
 206   %arrayidx53.4 = getelementptr inbounds i16, ptr %In1, i32 4
 207   %12 = load i16, ptr %arrayidx53.4, align 2
 208   %conv54.4 = sext i16 %12 to i32
 209   %mul55.4 = mul nsw i32 %conv54.4, 29491
 210   %shr56127.4 = lshr i32 %mul55.4, 15
 211   %arrayidx57.4 = getelementptr inbounds [16 x i16], ptr %Temp_Ref, i32 0, i32 4
 212   %13 = load i16, ptr %arrayidx57.4, align 2
 213   %conv58.4 = sext i16 %13 to i32
 214   %mul59.4 = mul nsw i32 %conv58.4, 3277
 215   %shr60128.4 = lshr i32 %mul59.4, 15
 216   %add61.4 = add nuw nsw i32 %shr60128.4, %shr56127.4
 217   %conv62.4 = trunc i32 %add61.4 to i16
 218   %arrayidx63.4 = getelementptr inbounds i16, ptr %Output, i32 4
 219   store i16 %conv62.4, ptr %arrayidx63.4, align 2
 220   %arrayidx53.5 = getelementptr inbounds i16, ptr %In1, i32 5
 221   %14 = load i16, ptr %arrayidx53.5, align 2
 222   %conv54.5 = sext i16 %14 to i32
 223   %mul55.5 = mul nsw i32 %conv54.5, 29491
 224   %shr56127.5 = lshr i32 %mul55.5, 15
 225   %arrayidx57.5 = getelementptr inbounds [16 x i16], ptr %Temp_Ref, i32 0, i32 5
 226   %15 = load i16, ptr %arrayidx57.5, align 2
 227   %conv58.5 = sext i16 %15 to i32
 228   %mul59.5 = mul nsw i32 %conv58.5, 3277
 229   %shr60128.5 = lshr i32 %mul59.5, 15
 230   %add61.5 = add nuw nsw i32 %shr60128.5, %shr56127.5
 231   %conv62.5 = trunc i32 %add61.5 to i16
 232   %arrayidx63.5 = getelementptr inbounds i16, ptr %Output, i32 5
 233   store i16 %conv62.5, ptr %arrayidx63.5, align 2
 234   %arrayidx53.6 = getelementptr inbounds i16, ptr %In1, i32 6
 235   %16 = load i16, ptr %arrayidx53.6, align 2
 236   %conv54.6 = sext i16 %16 to i32
 237   %mul55.6 = mul nsw i32 %conv54.6, 29491
 238   %shr56127.6 = lshr i32 %mul55.6, 15
 239   %arrayidx57.6 = getelementptr inbounds [16 x i16], ptr %Temp_Ref, i32 0, i32 6
 240   %17 = load i16, ptr %arrayidx57.6, align 2
 241   %conv58.6 = sext i16 %17 to i32
 242   %mul59.6 = mul nsw i32 %conv58.6, 3277
 243   %shr60128.6 = lshr i32 %mul59.6, 15
 244   %add61.6 = add nuw nsw i32 %shr60128.6, %shr56127.6
 245   %conv62.6 = trunc i32 %add61.6 to i16
 246   %arrayidx63.6 = getelementptr inbounds i16, ptr %Output, i32 6
 247   store i16 %conv62.6, ptr %arrayidx63.6, align 2
 248   %arrayidx53.7 = getelementptr inbounds i16, ptr %In1, i32 7
 249   %18 = load i16, ptr %arrayidx53.7, align 2
 250   %conv54.7 = sext i16 %18 to i32
 251   %mul55.7 = mul nsw i32 %conv54.7, 29491
 252   %shr56127.7 = lshr i32 %mul55.7, 15
 253   %arrayidx57.7 = getelementptr inbounds [16 x i16], ptr %Temp_Ref, i32 0, i32 7
 254   %19 = load i16, ptr %arrayidx57.7, align 2
 255   %conv58.7 = sext i16 %19 to i32
 256   %mul59.7 = mul nsw i32 %conv58.7, 3277
 257   %shr60128.7 = lshr i32 %mul59.7, 15
 258   %add61.7 = add nuw nsw i32 %shr60128.7, %shr56127.7
 259   %conv62.7 = trunc i32 %add61.7 to i16
 260   %arrayidx63.7 = getelementptr inbounds i16, ptr %Output, i32 7
 261   store i16 %conv62.7, ptr %arrayidx63.7, align 2
 262   %arrayidx53.8 = getelementptr inbounds i16, ptr %In1, i32 8
 263   %20 = load i16, ptr %arrayidx53.8, align 2
 264   %conv54.8 = sext i16 %20 to i32
 265   %mul55.8 = mul nsw i32 %conv54.8, 29491
 266   %shr56127.8 = lshr i32 %mul55.8, 15
 267   %arrayidx57.8 = getelementptr inbounds [16 x i16], ptr %Temp_Ref, i32 0, i32 8
 268   %21 = load i16, ptr %arrayidx57.8, align 2
 269   %conv58.8 = sext i16 %21 to i32
 270   %mul59.8 = mul nsw i32 %conv58.8, 3277
 271   %shr60128.8 = lshr i32 %mul59.8, 15
 272   %add61.8 = add nuw nsw i32 %shr60128.8, %shr56127.8
 273   %conv62.8 = trunc i32 %add61.8 to i16
 274   %arrayidx63.8 = getelementptr inbounds i16, ptr %Output, i32 8
 275   store i16 %conv62.8, ptr %arrayidx63.8, align 2
 276   %arrayidx53.9 = getelementptr inbounds i16, ptr %In1, i32 9
 277   %22 = load i16, ptr %arrayidx53.9, align 2
 278   %conv54.9 = sext i16 %22 to i32
 279   %mul55.9 = mul nsw i32 %conv54.9, 29491
 280   %shr56127.9 = lshr i32 %mul55.9, 15
 281   %arrayidx57.9 = getelementptr inbounds [16 x i16], ptr %Temp_Ref, i32 0, i32 9
 282   %23 = load i16, ptr %arrayidx57.9, align 2
 283   %conv58.9 = sext i16 %23 to i32
 284   %mul59.9 = mul nsw i32 %conv58.9, 3277
 285   %shr60128.9 = lshr i32 %mul59.9, 15
 286   %add61.9 = add nuw nsw i32 %shr60128.9, %shr56127.9
 287   %conv62.9 = trunc i32 %add61.9 to i16
 288   %arrayidx63.9 = getelementptr inbounds i16, ptr %Output, i32 9
 289   store i16 %conv62.9, ptr %arrayidx63.9, align 2
 290   %arrayidx53.10 = getelementptr inbounds i16, ptr %In1, i32 10
 291   %24 = load i16, ptr %arrayidx53.10, align 2
 292   %conv54.10 = sext i16 %24 to i32
 293   %mul55.10 = mul nsw i32 %conv54.10, 29491
 294   %shr56127.10 = lshr i32 %mul55.10, 15
 295   %arrayidx57.10 = getelementptr inbounds [16 x i16], ptr %Temp_Ref, i32 0, i32 10
 296   %25 = load i16, ptr %arrayidx57.10, align 2
 297   %conv58.10 = sext i16 %25 to i32
 298   %mul59.10 = mul nsw i32 %conv58.10, 3277
 299   %shr60128.10 = lshr i32 %mul59.10, 15
 300   %add61.10 = add nuw nsw i32 %shr60128.10, %shr56127.10
 301   %conv62.10 = trunc i32 %add61.10 to i16
 302   %arrayidx63.10 = getelementptr inbounds i16, ptr %Output, i32 10
 303   store i16 %conv62.10, ptr %arrayidx63.10, align 2
 304   %arrayidx53.11 = getelementptr inbounds i16, ptr %In1, i32 11
 305   %26 = load i16, ptr %arrayidx53.11, align 2
 306   %conv54.11 = sext i16 %26 to i32
 307   %mul55.11 = mul nsw i32 %conv54.11, 29491
 308   %shr56127.11 = lshr i32 %mul55.11, 15
 309   %arrayidx57.11 = getelementptr inbounds [16 x i16], ptr %Temp_Ref, i32 0, i32 11
 310   %27 = load i16, ptr %arrayidx57.11, align 2
 311   %conv58.11 = sext i16 %27 to i32
 312   %mul59.11 = mul nsw i32 %conv58.11, 3277
 313   %shr60128.11 = lshr i32 %mul59.11, 15
 314   %add61.11 = add nuw nsw i32 %shr60128.11, %shr56127.11
 315   %conv62.11 = trunc i32 %add61.11 to i16
 316   %arrayidx63.11 = getelementptr inbounds i16, ptr %Output, i32 11
 317   store i16 %conv62.11, ptr %arrayidx63.11, align 2
 318   %arrayidx53.12 = getelementptr inbounds i16, ptr %In1, i32 12
 319   %28 = load i16, ptr %arrayidx53.12, align 2
 320   %conv54.12 = sext i16 %28 to i32
 321   %mul55.12 = mul nsw i32 %conv54.12, 29491
 322   %shr56127.12 = lshr i32 %mul55.12, 15
 323   %arrayidx57.12 = getelementptr inbounds [16 x i16], ptr %Temp_Ref, i32 0, i32 12
 324   %29 = load i16, ptr %arrayidx57.12, align 2
 325   %conv58.12 = sext i16 %29 to i32
 326   %mul59.12 = mul nsw i32 %conv58.12, 3277
 327   %shr60128.12 = lshr i32 %mul59.12, 15
 328   %add61.12 = add nuw nsw i32 %shr60128.12, %shr56127.12
 329   %conv62.12 = trunc i32 %add61.12 to i16
 330   %arrayidx63.12 = getelementptr inbounds i16, ptr %Output, i32 12
 331   store i16 %conv62.12, ptr %arrayidx63.12, align 2
 332   %arrayidx53.13 = getelementptr inbounds i16, ptr %In1, i32 13
 333   %30 = load i16, ptr %arrayidx53.13, align 2
 334   %conv54.13 = sext i16 %30 to i32
 335   %mul55.13 = mul nsw i32 %conv54.13, 29491
 336   %shr56127.13 = lshr i32 %mul55.13, 15
 337   %arrayidx57.13 = getelementptr inbounds [16 x i16], ptr %Temp_Ref, i32 0, i32 13
 338   %31 = load i16, ptr %arrayidx57.13, align 2
 339   %conv58.13 = sext i16 %31 to i32
 340   %mul59.13 = mul nsw i32 %conv58.13, 3277
 341   %shr60128.13 = lshr i32 %mul59.13, 15
 342   %add61.13 = add nuw nsw i32 %shr60128.13, %shr56127.13
 343   %conv62.13 = trunc i32 %add61.13 to i16
 344   %arrayidx63.13 = getelementptr inbounds i16, ptr %Output, i32 13
 345   store i16 %conv62.13, ptr %arrayidx63.13, align 2
 346   %arrayidx53.14 = getelementptr inbounds i16, ptr %In1, i32 14
 347   %32 = load i16, ptr %arrayidx53.14, align 2
 348   %conv54.14 = sext i16 %32 to i32
 349   %mul55.14 = mul nsw i32 %conv54.14, 29491
 350   %shr56127.14 = lshr i32 %mul55.14, 15
 351   %arrayidx57.14 = getelementptr inbounds [16 x i16], ptr %Temp_Ref, i32 0, i32 14
 352   %33 = load i16, ptr %arrayidx57.14, align 2
 353   %conv58.14 = sext i16 %33 to i32
 354   %mul59.14 = mul nsw i32 %conv58.14, 3277
 355   %shr60128.14 = lshr i32 %mul59.14, 15
 356   %add61.14 = add nuw nsw i32 %shr60128.14, %shr56127.14
 357   %conv62.14 = trunc i32 %add61.14 to i16
 358   %arrayidx63.14 = getelementptr inbounds i16, ptr %Output, i32 14
 359   store i16 %conv62.14, ptr %arrayidx63.14, align 2
 360   %arrayidx53.15 = getelementptr inbounds i16, ptr %In1, i32 15
 361   %34 = load i16, ptr %arrayidx53.15, align 2
 362   %conv54.15 = sext i16 %34 to i32
 363   %mul55.15 = mul nsw i32 %conv54.15, 29491
 364   %shr56127.15 = lshr i32 %mul55.15, 15
 365   %arrayidx57.15 = getelementptr inbounds [16 x i16], ptr %Temp_Ref, i32 0, i32 15
 366   %35 = load i16, ptr %arrayidx57.15, align 2
 367   %conv58.15 = sext i16 %35 to i32
 368   %mul59.15 = mul nsw i32 %conv58.15, 3277
 369   %shr60128.15 = lshr i32 %mul59.15, 15
 370   %add61.15 = add nuw nsw i32 %shr60128.15, %shr56127.15
 371   %conv62.15 = trunc i32 %add61.15 to i16
 372   %arrayidx63.15 = getelementptr inbounds i16, ptr %Output, i32 15
 373   store i16 %conv62.15, ptr %arrayidx63.15, align 2
 374   store i16 %conv62.9, ptr %.reg2mem
 375   store i16 %conv62.10, ptr %.reg2mem150
 376   store i16 %conv62.11, ptr %.reg2mem152
 377   store i16 %conv62.12, ptr %.reg2mem154
 378   store i16 %conv62.13, ptr %.reg2mem156
 379   store i16 %conv62.14, ptr %.reg2mem158
 380   %.reload159 = load i16, ptr %.reg2mem158
 381   %.reload157 = load i16, ptr %.reg2mem156
 382   %.reload155 = load i16, ptr %.reg2mem154
 383   %.reload153 = load i16, ptr %.reg2mem152
 384   %.reload151 = load i16, ptr %.reg2mem150
 385   %.reload = load i16, ptr %.reg2mem
 386   %36 = load i16, ptr %In1, align 2
 387   %cmp77 = icmp slt i16 %36, 128
 388   br i1 %cmp77, label %A0, label %B0
 389
 390 A0:                                        ; preds = %if.entry
 391   store i16 128, ptr %Output, align 2
 392   br label %B0
 393
 394 B0:                                         ; preds = %A, %if.entry
 395   %37 = phi i16 [ 128, %A0 ], [ %36, %if.entry ]
 396   %add84 = add i16 %37, 128
 397   %arrayidx74.1 = getelementptr inbounds i16, ptr %Output, i32 1
 398   %38 = load i16, ptr %arrayidx74.1, align 2
 399   %cmp77.1 = icmp slt i16 %38, %add84
 400   br i1 %cmp77.1, label %A1, label %B1
 401
 402 A1:                                      ; preds = %B
 403   store i16 %add84, ptr %arrayidx74.1, align 2
 404   br label %B1
 405
 406 B1:                                       ; preds = %A1, %B
 407   %39 = phi i16 [ %add84, %A1 ], [ %38, %B0 ]
 408   %add84.1 = add i16 %39, 128
 409   %arrayidx74.2 = getelementptr inbounds i16, ptr %Output, i32 2
 410   %40 = load i16, ptr %arrayidx74.2, align 2
 411   %cmp77.2 = icmp slt i16 %40, %add84.1
 412   br i1 %cmp77.2, label %A2, label %B2
 413
 414 A2:                                      ; preds = %B1
 415   store i16 %add84.1, ptr %arrayidx74.2, align 2
 416   br label %B2
 417
 418 B2:                                       ; preds = %A2, %B1
 419   %41 = phi i16 [ %add84.1, %A2 ], [ %40, %B1 ]
 420   %add84.2 = add i16 %41, 128
 421   %arrayidx74.3 = getelementptr inbounds i16, ptr %Output, i32 3
 422   %42 = load i16, ptr %arrayidx74.3, align 2
 423   %cmp77.3 = icmp slt i16 %42, %add84.2
 424   br i1 %cmp77.3, label %A3, label %B3
 425
 426 A3:                                      ; preds = %B2
 427   store i16 %add84.2, ptr %arrayidx74.3, align 2
 428   br label %B3
 429
 430 B3:                                       ; preds = %A3, %B2
 431   %43 = phi i16 [ %add84.2, %A3 ], [ %42, %B2 ]
 432   %add84.3 = add i16 %43, 128
 433   %arrayidx74.4 = getelementptr inbounds i16, ptr %Output, i32 4
 434   %44 = load i16, ptr %arrayidx74.4, align 2
 435   %cmp77.4 = icmp slt i16 %44, %add84.3
 436   br i1 %cmp77.4, label %A4, label %B4
 437
 438 A4:                                      ; preds = %B3
 439   store i16 %add84.3, ptr %arrayidx74.4, align 2
 440   br label %B4
 441
 442 B4:                                       ; preds = %A4, %B3
 443   %45 = phi i16 [ %add84.3, %A4 ], [ %44, %B3 ]
 444   %add84.4 = add i16 %45, 128
 445   %arrayidx74.5 = getelementptr inbounds i16, ptr %Output, i32 5
 446   %46 = load i16, ptr %arrayidx74.5, align 2
 447   %cmp77.5 = icmp slt i16 %46, %add84.4
 448   br i1 %cmp77.5, label %A5, label %B5
 449
 450 A5:                                      ; preds = %B4
 451   store i16 %add84.4, ptr %arrayidx74.5, align 2
 452   br label %B5
 453
 454 B5:                                       ; preds = %A5, %B4
 455   %47 = phi i16 [ %add84.4, %A5 ], [ %46, %B4 ]
 456   %add84.5 = add i16 %47, 128
 457   %arrayidx74.6 = getelementptr inbounds i16, ptr %Output, i32 6
 458   %48 = load i16, ptr %arrayidx74.6, align 2
 459   %cmp77.6 = icmp slt i16 %48, %add84.5
 460   br i1 %cmp77.6, label %A6, label %B6
 461
 462 A6:                                      ; preds = %B5
 463   store i16 %add84.5, ptr %arrayidx74.6, align 2
 464   br label %B6
 465
 466 B6:                                       ; preds = %A6, %B5
 467   %49 = phi i16 [ %add84.5, %A6 ], [ %48, %B5 ]
 468   %add84.6 = add i16 %49, 128
 469   %arrayidx74.7 = getelementptr inbounds i16, ptr %Output, i32 7
 470   %50 = load i16, ptr %arrayidx74.7, align 2
 471   %cmp77.7 = icmp slt i16 %50, %add84.6
 472   br i1 %cmp77.7, label %A7, label %B7
 473
 474 A7:                                      ; preds = %B6
 475   store i16 %add84.6, ptr %arrayidx74.7, align 2
 476   br label %B7
 477
 478 B7:                                       ; preds = %A7, %B6
 479   %51 = phi i16 [ %add84.6, %A7 ], [ %50, %B6 ]
 480   %add84.7 = add i16 %51, 128
 481   %arrayidx74.8 = getelementptr inbounds i16, ptr %Output, i32 8
 482   %52 = load i16, ptr %arrayidx74.8, align 2
 483   %cmp77.8 = icmp slt i16 %52, %add84.7
 484   br i1 %cmp77.8, label %A8, label %B8
 485
 486 A8:                                      ; preds = %B7
 487   store i16 %add84.7, ptr %arrayidx74.8, align 2
 488   br label %B8
 489
 490 B8:                                       ; preds = %A8, %B7
 491   %53 = phi i16 [ %add84.7, %A8 ], [ %52, %B7 ]
 492   %add84.8 = add i16 %53, 128
 493   %cmp77.9 = icmp slt i16 %.reload, %add84.8
 494   br i1 %cmp77.9, label %A9, label %B9
 495
 496 A9:                                      ; preds = %B8
 497   %arrayidx74.9 = getelementptr inbounds i16, ptr %Output, i32 9
 498   store i16 %add84.8, ptr %arrayidx74.9, align 2
 499   br label %B9
 500
 501 B9:                                       ; preds = %A9, %B8
 502   %54 = phi i16 [ %add84.8, %A9 ], [ %.reload, %B8 ]
 503   %add84.9 = add i16 %54, 128
 504   %cmp77.10 = icmp slt i16 %.reload151, %add84.9
 505   br i1 %cmp77.10, label %A10, label %B10
 506
 507 A10:                                     ; preds = %B9
 508   %arrayidx74.10 = getelementptr inbounds i16, ptr %Output, i32 10
 509   store i16 %add84.9, ptr %arrayidx74.10, align 2
 510   br label %B10
 511
 512 B10:                                      ; preds = %A10, %B9
 513   %55 = phi i16 [ %add84.9, %A10 ], [ %.reload151, %B9 ]
 514   %add84.10 = add i16 %55, 128
 515   %cmp77.11 = icmp slt i16 %.reload153, %add84.10
 516   br i1 %cmp77.11, label %A11, label %B11
 517
 518 A11:                                     ; preds = %B10
 519   %arrayidx74.11 = getelementptr inbounds i16, ptr %Output, i32 11
 520   store i16 %add84.10, ptr %arrayidx74.11, align 2
 521   br label %B11
 522
 523 B11:                                      ; preds = %A11, %B10
 524   %56 = phi i16 [ %add84.10, %A11 ], [ %.reload153, %B10 ]
 525   %add84.11 = add i16 %56, 128
 526   %cmp77.12 = icmp slt i16 %.reload155, %add84.11
 527   br i1 %cmp77.12, label %A12, label %B13
 528
 529 A12:                                     ; preds = %B11
 530   %arrayidx74.12 = getelementptr inbounds i16, ptr %Output, i32 12
 531   store i16 %add84.11, ptr %arrayidx74.12, align 2
 532   br label %B13
 533
 534 B13:                                      ; preds = %A12, %B13
 535   ret void
 536 }