1; RUN: opt %loadNPMPolly -pass-remarks-analysis="polly-scops" '-passes=print<polly-function-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 104target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n8:16:32-S64" 105target 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 111define void @foo(ptr nocapture readonly %indice, ptr nocapture %Output, ptr nocapture readonly %In1, ptr nocapture readonly %In2, i16 signext %var, i16 signext %var2) { 112entry: 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 123for.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 152if.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 390A0: ; preds = %if.entry 391 store i16 128, ptr %Output, align 2 392 br label %B0 393 394B0: ; 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 402A1: ; preds = %B 403 store i16 %add84, ptr %arrayidx74.1, align 2 404 br label %B1 405 406B1: ; 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 414A2: ; preds = %B1 415 store i16 %add84.1, ptr %arrayidx74.2, align 2 416 br label %B2 417 418B2: ; 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 426A3: ; preds = %B2 427 store i16 %add84.2, ptr %arrayidx74.3, align 2 428 br label %B3 429 430B3: ; 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 438A4: ; preds = %B3 439 store i16 %add84.3, ptr %arrayidx74.4, align 2 440 br label %B4 441 442B4: ; 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 450A5: ; preds = %B4 451 store i16 %add84.4, ptr %arrayidx74.5, align 2 452 br label %B5 453 454B5: ; 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 462A6: ; preds = %B5 463 store i16 %add84.5, ptr %arrayidx74.6, align 2 464 br label %B6 465 466B6: ; 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 474A7: ; preds = %B6 475 store i16 %add84.6, ptr %arrayidx74.7, align 2 476 br label %B7 477 478B7: ; 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 486A8: ; preds = %B7 487 store i16 %add84.7, ptr %arrayidx74.8, align 2 488 br label %B8 489 490B8: ; 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 496A9: ; 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 501B9: ; 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 507A10: ; 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 512B10: ; 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 518A11: ; 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 523B11: ; 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 529A12: ; 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 534B13: ; preds = %A12, %B13 535 ret void 536} 537