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