536 lines · plain
1; RUN: opt %loadNPMPolly -pass-remarks-analysis=polly-scops '-passes=polly-custom<scops>' -polly-print-scops -polly-invariant-load-hoisting=true -disable-output < %s 2>&1 | FileCheck %s2 3; We build a scop for the region for.body->B13. The CFG is of the following4; form and the branch conditions are build from "smax" SCEVs. However, in5; contrast to complex-success-structure.ll the smax constraints do not grow6; anymore after B3. This will keep the condition construction bounded.7; Since we propagate the domains from one B(X) to the B(X+1) we can also keep8; the domains simple. We will bail anyway due to invalid required invariant9; loads.10;11; CHECK-NOT: Low complexity assumption12;13; |14; for.body <--+15; | |16; |---------+17; |18; \ /19; if.entry --+20; | |21; A0 |22; | |23; B0 <-----+24; | \25; | \26; A1 \27; | |28; | |29; B1<--+30; | \31; | \32; A2 \33; | |34; | |35; B2<--+36; | \37; | \38; A3 \39; | |40; | |41; B3<--+42; | \43; | \44; A4 \45; | |46; | |47; B4<--+48; | \49; | \50; A5 \51; | |52; | |53; B5<--+54; | \55; | \56; A6 \57; | |58; | |59; B6<--+60; | \61; | \62; A7 \63; | |64; | |65; B7<--+66; | \67; | \68; A8 \69; | |70; | |71; B8<--+72; | \73; | \74; A9 \75; | |76; | |77; B9<--+78; | \79; | \80; A10 \81; | |82; | |83; B10<-+84; | \85; | \86; A11 \87; | |88; | |89; B11<-+90; | \91; | \92; A12 \93; | |94; | |95; B12<-+96; | \97; | \98; A13 \99; | |100; | |101; B13<-+102 103target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n8:16:32-S64"104target triple = "thumbv7--linux-android"105 106@Table1 = external global [2304 x i16], align 2107@Table2 = external global [1792 x i16], align 2108@Table3 = external global [16 x i16], align 2109 110define void @foo(ptr nocapture readonly %indice, ptr nocapture %Output, ptr nocapture readonly %In1, ptr nocapture readonly %In2, i16 signext %var, i16 signext %var2) {111entry:112 %.reg2mem158 = alloca i16113 %.reg2mem156 = alloca i16114 %.reg2mem154 = alloca i16115 %.reg2mem152 = alloca i16116 %.reg2mem150 = alloca i16117 %.reg2mem = alloca i16118 %Temp_Ref = alloca [16 x i16], align 2119 %cmp = icmp eq i16 %var, 0120 br label %for.body121 122for.body: ; preds = %for.body, %entry123 %i.2138 = phi i32 [ %inc47, %for.body ], [ 0, %entry ]124 %arrayidx28 = getelementptr inbounds [16 x i16], ptr @Table3, i32 0, i32 %i.2138125 %0 = load i16, ptr %arrayidx28, align 2126 %conv29 = sext i16 %0 to i32127 %arrayidx36 = getelementptr inbounds i16, ptr %In2, i32 %i.2138128 %1 = load i16, ptr %arrayidx36, align 2129 %conv37 = sext i16 %1 to i32130 %shl38147 = add nsw i32 %conv37, %conv29131 %add35.1 = add nuw nsw i32 %i.2138, 16132 %arrayidx36.1 = getelementptr inbounds i16, ptr %In2, i32 %add35.1133 %2 = load i16, ptr %arrayidx36.1, align 2134 %conv37.1 = sext i16 %2 to i32135 %shl38.1148 = add nsw i32 %conv37.1, %shl38147136 %add35.2 = add nuw nsw i32 %i.2138, 32137 %arrayidx36.2 = getelementptr inbounds i16, ptr %In2, i32 %add35.2138 %3 = load i16, ptr %arrayidx36.2, align 2139 %conv37.2 = sext i16 %3 to i32140 %shl38.2149 = add nsw i32 %conv37.2, %shl38.1148141 %add39.2 = shl i32 %shl38.2149, 14142 %add43 = add nsw i32 %add39.2, 32768143 %shr129 = lshr i32 %add43, 16144 %conv44 = trunc i32 %shr129 to i16145 %arrayidx45 = getelementptr inbounds [16 x i16], ptr %Temp_Ref, i32 0, i32 %i.2138146 store i16 %conv44, ptr %arrayidx45, align 2147 %inc47 = add nuw nsw i32 %i.2138, 1148 %exitcond144 = icmp eq i32 %i.2138, 15149 br i1 %exitcond144, label %if.entry, label %for.body150 151if.entry: ; preds = %for.body152 %4 = load i16, ptr %In1, align 2153 %conv54 = sext i16 %4 to i32154 %mul55 = mul nsw i32 %conv54, 29491155 %shr56127 = lshr i32 %mul55, 15156 %5 = load i16, ptr %Temp_Ref, align 2157 %conv58 = sext i16 %5 to i32158 %mul59 = mul nsw i32 %conv58, 3277159 %shr60128 = lshr i32 %mul59, 15160 %add61 = add nuw nsw i32 %shr60128, %shr56127161 %conv62 = trunc i32 %add61 to i16162 store i16 %conv62, ptr %Output, align 2163 %arrayidx53.1 = getelementptr inbounds i16, ptr %In1, i32 1164 %6 = load i16, ptr %arrayidx53.1, align 2165 %conv54.1 = sext i16 %6 to i32166 %mul55.1 = mul nsw i32 %conv54.1, 29491167 %shr56127.1 = lshr i32 %mul55.1, 15168 %arrayidx57.1 = getelementptr inbounds [16 x i16], ptr %Temp_Ref, i32 0, i32 1169 %7 = load i16, ptr %arrayidx57.1, align 2170 %conv58.1 = sext i16 %7 to i32171 %mul59.1 = mul nsw i32 %conv58.1, 3277172 %shr60128.1 = lshr i32 %mul59.1, 15173 %add61.1 = add nuw nsw i32 %shr60128.1, %shr56127.1174 %conv62.1 = trunc i32 %add61.1 to i16175 %arrayidx63.1 = getelementptr inbounds i16, ptr %Output, i32 1176 store i16 %conv62.1, ptr %arrayidx63.1, align 2177 %arrayidx53.2 = getelementptr inbounds i16, ptr %In1, i32 2178 %8 = load i16, ptr %arrayidx53.2, align 2179 %conv54.2 = sext i16 %8 to i32180 %mul55.2 = mul nsw i32 %conv54.2, 29491181 %shr56127.2 = lshr i32 %mul55.2, 15182 %arrayidx57.2 = getelementptr inbounds [16 x i16], ptr %Temp_Ref, i32 0, i32 2183 %9 = load i16, ptr %arrayidx57.2, align 2184 %conv58.2 = sext i16 %9 to i32185 %mul59.2 = mul nsw i32 %conv58.2, 3277186 %shr60128.2 = lshr i32 %mul59.2, 15187 %add61.2 = add nuw nsw i32 %shr60128.2, %shr56127.2188 %conv62.2 = trunc i32 %add61.2 to i16189 %arrayidx63.2 = getelementptr inbounds i16, ptr %Output, i32 2190 store i16 %conv62.2, ptr %arrayidx63.2, align 2191 %arrayidx53.3 = getelementptr inbounds i16, ptr %In1, i32 3192 %10 = load i16, ptr %arrayidx53.3, align 2193 %conv54.3 = sext i16 %10 to i32194 %mul55.3 = mul nsw i32 %conv54.3, 29491195 %shr56127.3 = lshr i32 %mul55.3, 15196 %arrayidx57.3 = getelementptr inbounds [16 x i16], ptr %Temp_Ref, i32 0, i32 3197 %11 = load i16, ptr %arrayidx57.3, align 2198 %conv58.3 = sext i16 %11 to i32199 %mul59.3 = mul nsw i32 %conv58.3, 3277200 %shr60128.3 = lshr i32 %mul59.3, 15201 %add61.3 = add nuw nsw i32 %shr60128.3, %shr56127.3202 %conv62.3 = trunc i32 %add61.3 to i16203 %arrayidx63.3 = getelementptr inbounds i16, ptr %Output, i32 3204 store i16 %conv62.3, ptr %arrayidx63.3, align 2205 %arrayidx53.4 = getelementptr inbounds i16, ptr %In1, i32 4206 %12 = load i16, ptr %arrayidx53.4, align 2207 %conv54.4 = sext i16 %12 to i32208 %mul55.4 = mul nsw i32 %conv54.4, 29491209 %shr56127.4 = lshr i32 %mul55.4, 15210 %arrayidx57.4 = getelementptr inbounds [16 x i16], ptr %Temp_Ref, i32 0, i32 4211 %13 = load i16, ptr %arrayidx57.4, align 2212 %conv58.4 = sext i16 %13 to i32213 %mul59.4 = mul nsw i32 %conv58.4, 3277214 %shr60128.4 = lshr i32 %mul59.4, 15215 %add61.4 = add nuw nsw i32 %shr60128.4, %shr56127.4216 %conv62.4 = trunc i32 %add61.4 to i16217 %arrayidx63.4 = getelementptr inbounds i16, ptr %Output, i32 4218 store i16 %conv62.4, ptr %arrayidx63.4, align 2219 %arrayidx53.5 = getelementptr inbounds i16, ptr %In1, i32 5220 %14 = load i16, ptr %arrayidx53.5, align 2221 %conv54.5 = sext i16 %14 to i32222 %mul55.5 = mul nsw i32 %conv54.5, 29491223 %shr56127.5 = lshr i32 %mul55.5, 15224 %arrayidx57.5 = getelementptr inbounds [16 x i16], ptr %Temp_Ref, i32 0, i32 5225 %15 = load i16, ptr %arrayidx57.5, align 2226 %conv58.5 = sext i16 %15 to i32227 %mul59.5 = mul nsw i32 %conv58.5, 3277228 %shr60128.5 = lshr i32 %mul59.5, 15229 %add61.5 = add nuw nsw i32 %shr60128.5, %shr56127.5230 %conv62.5 = trunc i32 %add61.5 to i16231 %arrayidx63.5 = getelementptr inbounds i16, ptr %Output, i32 5232 store i16 %conv62.5, ptr %arrayidx63.5, align 2233 %arrayidx53.6 = getelementptr inbounds i16, ptr %In1, i32 6234 %16 = load i16, ptr %arrayidx53.6, align 2235 %conv54.6 = sext i16 %16 to i32236 %mul55.6 = mul nsw i32 %conv54.6, 29491237 %shr56127.6 = lshr i32 %mul55.6, 15238 %arrayidx57.6 = getelementptr inbounds [16 x i16], ptr %Temp_Ref, i32 0, i32 6239 %17 = load i16, ptr %arrayidx57.6, align 2240 %conv58.6 = sext i16 %17 to i32241 %mul59.6 = mul nsw i32 %conv58.6, 3277242 %shr60128.6 = lshr i32 %mul59.6, 15243 %add61.6 = add nuw nsw i32 %shr60128.6, %shr56127.6244 %conv62.6 = trunc i32 %add61.6 to i16245 %arrayidx63.6 = getelementptr inbounds i16, ptr %Output, i32 6246 store i16 %conv62.6, ptr %arrayidx63.6, align 2247 %arrayidx53.7 = getelementptr inbounds i16, ptr %In1, i32 7248 %18 = load i16, ptr %arrayidx53.7, align 2249 %conv54.7 = sext i16 %18 to i32250 %mul55.7 = mul nsw i32 %conv54.7, 29491251 %shr56127.7 = lshr i32 %mul55.7, 15252 %arrayidx57.7 = getelementptr inbounds [16 x i16], ptr %Temp_Ref, i32 0, i32 7253 %19 = load i16, ptr %arrayidx57.7, align 2254 %conv58.7 = sext i16 %19 to i32255 %mul59.7 = mul nsw i32 %conv58.7, 3277256 %shr60128.7 = lshr i32 %mul59.7, 15257 %add61.7 = add nuw nsw i32 %shr60128.7, %shr56127.7258 %conv62.7 = trunc i32 %add61.7 to i16259 %arrayidx63.7 = getelementptr inbounds i16, ptr %Output, i32 7260 store i16 %conv62.7, ptr %arrayidx63.7, align 2261 %arrayidx53.8 = getelementptr inbounds i16, ptr %In1, i32 8262 %20 = load i16, ptr %arrayidx53.8, align 2263 %conv54.8 = sext i16 %20 to i32264 %mul55.8 = mul nsw i32 %conv54.8, 29491265 %shr56127.8 = lshr i32 %mul55.8, 15266 %arrayidx57.8 = getelementptr inbounds [16 x i16], ptr %Temp_Ref, i32 0, i32 8267 %21 = load i16, ptr %arrayidx57.8, align 2268 %conv58.8 = sext i16 %21 to i32269 %mul59.8 = mul nsw i32 %conv58.8, 3277270 %shr60128.8 = lshr i32 %mul59.8, 15271 %add61.8 = add nuw nsw i32 %shr60128.8, %shr56127.8272 %conv62.8 = trunc i32 %add61.8 to i16273 %arrayidx63.8 = getelementptr inbounds i16, ptr %Output, i32 8274 store i16 %conv62.8, ptr %arrayidx63.8, align 2275 %arrayidx53.9 = getelementptr inbounds i16, ptr %In1, i32 9276 %22 = load i16, ptr %arrayidx53.9, align 2277 %conv54.9 = sext i16 %22 to i32278 %mul55.9 = mul nsw i32 %conv54.9, 29491279 %shr56127.9 = lshr i32 %mul55.9, 15280 %arrayidx57.9 = getelementptr inbounds [16 x i16], ptr %Temp_Ref, i32 0, i32 9281 %23 = load i16, ptr %arrayidx57.9, align 2282 %conv58.9 = sext i16 %23 to i32283 %mul59.9 = mul nsw i32 %conv58.9, 3277284 %shr60128.9 = lshr i32 %mul59.9, 15285 %add61.9 = add nuw nsw i32 %shr60128.9, %shr56127.9286 %conv62.9 = trunc i32 %add61.9 to i16287 %arrayidx63.9 = getelementptr inbounds i16, ptr %Output, i32 9288 store i16 %conv62.9, ptr %arrayidx63.9, align 2289 %arrayidx53.10 = getelementptr inbounds i16, ptr %In1, i32 10290 %24 = load i16, ptr %arrayidx53.10, align 2291 %conv54.10 = sext i16 %24 to i32292 %mul55.10 = mul nsw i32 %conv54.10, 29491293 %shr56127.10 = lshr i32 %mul55.10, 15294 %arrayidx57.10 = getelementptr inbounds [16 x i16], ptr %Temp_Ref, i32 0, i32 10295 %25 = load i16, ptr %arrayidx57.10, align 2296 %conv58.10 = sext i16 %25 to i32297 %mul59.10 = mul nsw i32 %conv58.10, 3277298 %shr60128.10 = lshr i32 %mul59.10, 15299 %add61.10 = add nuw nsw i32 %shr60128.10, %shr56127.10300 %conv62.10 = trunc i32 %add61.10 to i16301 %arrayidx63.10 = getelementptr inbounds i16, ptr %Output, i32 10302 store i16 %conv62.10, ptr %arrayidx63.10, align 2303 %arrayidx53.11 = getelementptr inbounds i16, ptr %In1, i32 11304 %26 = load i16, ptr %arrayidx53.11, align 2305 %conv54.11 = sext i16 %26 to i32306 %mul55.11 = mul nsw i32 %conv54.11, 29491307 %shr56127.11 = lshr i32 %mul55.11, 15308 %arrayidx57.11 = getelementptr inbounds [16 x i16], ptr %Temp_Ref, i32 0, i32 11309 %27 = load i16, ptr %arrayidx57.11, align 2310 %conv58.11 = sext i16 %27 to i32311 %mul59.11 = mul nsw i32 %conv58.11, 3277312 %shr60128.11 = lshr i32 %mul59.11, 15313 %add61.11 = add nuw nsw i32 %shr60128.11, %shr56127.11314 %conv62.11 = trunc i32 %add61.11 to i16315 %arrayidx63.11 = getelementptr inbounds i16, ptr %Output, i32 11316 store i16 %conv62.11, ptr %arrayidx63.11, align 2317 %arrayidx53.12 = getelementptr inbounds i16, ptr %In1, i32 12318 %28 = load i16, ptr %arrayidx53.12, align 2319 %conv54.12 = sext i16 %28 to i32320 %mul55.12 = mul nsw i32 %conv54.12, 29491321 %shr56127.12 = lshr i32 %mul55.12, 15322 %arrayidx57.12 = getelementptr inbounds [16 x i16], ptr %Temp_Ref, i32 0, i32 12323 %29 = load i16, ptr %arrayidx57.12, align 2324 %conv58.12 = sext i16 %29 to i32325 %mul59.12 = mul nsw i32 %conv58.12, 3277326 %shr60128.12 = lshr i32 %mul59.12, 15327 %add61.12 = add nuw nsw i32 %shr60128.12, %shr56127.12328 %conv62.12 = trunc i32 %add61.12 to i16329 %arrayidx63.12 = getelementptr inbounds i16, ptr %Output, i32 12330 store i16 %conv62.12, ptr %arrayidx63.12, align 2331 %arrayidx53.13 = getelementptr inbounds i16, ptr %In1, i32 13332 %30 = load i16, ptr %arrayidx53.13, align 2333 %conv54.13 = sext i16 %30 to i32334 %mul55.13 = mul nsw i32 %conv54.13, 29491335 %shr56127.13 = lshr i32 %mul55.13, 15336 %arrayidx57.13 = getelementptr inbounds [16 x i16], ptr %Temp_Ref, i32 0, i32 13337 %31 = load i16, ptr %arrayidx57.13, align 2338 %conv58.13 = sext i16 %31 to i32339 %mul59.13 = mul nsw i32 %conv58.13, 3277340 %shr60128.13 = lshr i32 %mul59.13, 15341 %add61.13 = add nuw nsw i32 %shr60128.13, %shr56127.13342 %conv62.13 = trunc i32 %add61.13 to i16343 %arrayidx63.13 = getelementptr inbounds i16, ptr %Output, i32 13344 store i16 %conv62.13, ptr %arrayidx63.13, align 2345 %arrayidx53.14 = getelementptr inbounds i16, ptr %In1, i32 14346 %32 = load i16, ptr %arrayidx53.14, align 2347 %conv54.14 = sext i16 %32 to i32348 %mul55.14 = mul nsw i32 %conv54.14, 29491349 %shr56127.14 = lshr i32 %mul55.14, 15350 %arrayidx57.14 = getelementptr inbounds [16 x i16], ptr %Temp_Ref, i32 0, i32 14351 %33 = load i16, ptr %arrayidx57.14, align 2352 %conv58.14 = sext i16 %33 to i32353 %mul59.14 = mul nsw i32 %conv58.14, 3277354 %shr60128.14 = lshr i32 %mul59.14, 15355 %add61.14 = add nuw nsw i32 %shr60128.14, %shr56127.14356 %conv62.14 = trunc i32 %add61.14 to i16357 %arrayidx63.14 = getelementptr inbounds i16, ptr %Output, i32 14358 store i16 %conv62.14, ptr %arrayidx63.14, align 2359 %arrayidx53.15 = getelementptr inbounds i16, ptr %In1, i32 15360 %34 = load i16, ptr %arrayidx53.15, align 2361 %conv54.15 = sext i16 %34 to i32362 %mul55.15 = mul nsw i32 %conv54.15, 29491363 %shr56127.15 = lshr i32 %mul55.15, 15364 %arrayidx57.15 = getelementptr inbounds [16 x i16], ptr %Temp_Ref, i32 0, i32 15365 %35 = load i16, ptr %arrayidx57.15, align 2366 %conv58.15 = sext i16 %35 to i32367 %mul59.15 = mul nsw i32 %conv58.15, 3277368 %shr60128.15 = lshr i32 %mul59.15, 15369 %add61.15 = add nuw nsw i32 %shr60128.15, %shr56127.15370 %conv62.15 = trunc i32 %add61.15 to i16371 %arrayidx63.15 = getelementptr inbounds i16, ptr %Output, i32 15372 store i16 %conv62.15, ptr %arrayidx63.15, align 2373 store i16 %conv62.9, ptr %.reg2mem374 store i16 %conv62.10, ptr %.reg2mem150375 store i16 %conv62.11, ptr %.reg2mem152376 store i16 %conv62.12, ptr %.reg2mem154377 store i16 %conv62.13, ptr %.reg2mem156378 store i16 %conv62.14, ptr %.reg2mem158379 %.reload159 = load i16, ptr %.reg2mem158380 %.reload157 = load i16, ptr %.reg2mem156381 %.reload155 = load i16, ptr %.reg2mem154382 %.reload153 = load i16, ptr %.reg2mem152383 %.reload151 = load i16, ptr %.reg2mem150384 %.reload = load i16, ptr %.reg2mem385 %36 = load i16, ptr %Output, align 2386 %cmp77 = icmp slt i16 %36, 128387 br i1 %cmp77, label %A0, label %B0388 389A0: ; preds = %if.entry390 store i16 128, ptr %Output, align 2391 br label %B0392 393B0: ; preds = %A, %if.entry394 %37 = phi i16 [ 128, %A0 ], [ %36, %if.entry ]395 %add84 = add i16 %37, 128396 %arrayidx74.1 = getelementptr inbounds i16, ptr %Output, i32 1397 %38 = load i16, ptr %arrayidx74.1, align 2398 %cmp77.1 = icmp slt i16 %38, %add84399 br i1 %cmp77.1, label %A1, label %B1400 401A1: ; preds = %B402 store i16 %add84, ptr %arrayidx74.1, align 2403 br label %B1404 405B1: ; preds = %A1, %B406 %39 = phi i16 [ %add84, %A1 ], [ %38, %B0 ]407 %add84.1 = add i16 %39, 128408 %arrayidx74.2 = getelementptr inbounds i16, ptr %Output, i32 2409 %40 = load i16, ptr %arrayidx74.2, align 2410 %cmp77.2 = icmp slt i16 %40, %add84.1411 br i1 %cmp77.2, label %A2, label %B2412 413A2: ; preds = %B1414 store i16 %add84.1, ptr %arrayidx74.2, align 2415 br label %B2416 417B2: ; preds = %A2, %B1418 %41 = phi i16 [ %add84.1, %A2 ], [ %40, %B1 ]419 %add84.2 = add i16 %41, 128420 %arrayidx74.3 = getelementptr inbounds i16, ptr %Output, i32 3421 %42 = load i16, ptr %arrayidx74.3, align 2422 %cmp77.3 = icmp slt i16 %42, %add84.2423 br i1 %cmp77.3, label %A3, label %B3424 425A3: ; preds = %B2426 store i16 %add84.2, ptr %arrayidx74.3, align 2427 br label %B3428 429B3: ; preds = %A3, %B2430 %43 = phi i16 [ %add84.2, %A3 ], [ %42, %B2 ]431 %add84.3 = add i16 %43, 128432 %arrayidx74.4 = getelementptr inbounds i16, ptr %Output, i32 4433 %44 = load i16, ptr %arrayidx74.4, align 2434 %cmp77.4 = icmp slt i16 %44, %add84.3435 br i1 %cmp77.4, label %A4, label %B4436 437A4: ; preds = %B3438 store i16 %add84.3, ptr %arrayidx74.4, align 2439 br label %B4440 441B4: ; preds = %A4, %B3442 %45 = phi i16 [ %add84.3, %A4 ], [ %44, %B3 ]443 %add84.4 = add i16 %43, 128444 %arrayidx74.5 = getelementptr inbounds i16, ptr %Output, i32 5445 %46 = load i16, ptr %arrayidx74.5, align 2446 %cmp77.5 = icmp slt i16 %46, %add84.4447 br i1 %cmp77.5, label %A5, label %B5448 449A5: ; preds = %B4450 store i16 %add84.4, ptr %arrayidx74.5, align 2451 br label %B5452 453B5: ; preds = %A5, %B4454 %47 = phi i16 [ %add84.4, %A5 ], [ %46, %B4 ]455 %add84.5 = add i16 %43, 128456 %arrayidx74.6 = getelementptr inbounds i16, ptr %Output, i32 6457 %48 = load i16, ptr %arrayidx74.6, align 2458 %cmp77.6 = icmp slt i16 %48, %add84.5459 br i1 %cmp77.6, label %A6, label %B6460 461A6: ; preds = %B5462 store i16 %add84.5, ptr %arrayidx74.6, align 2463 br label %B6464 465B6: ; preds = %A6, %B5466 %49 = phi i16 [ %add84.5, %A6 ], [ %48, %B5 ]467 %add84.6 = add i16 %43, 128468 %arrayidx74.7 = getelementptr inbounds i16, ptr %Output, i32 7469 %50 = load i16, ptr %arrayidx74.7, align 2470 %cmp77.7 = icmp slt i16 %50, %add84.6471 br i1 %cmp77.7, label %A7, label %B7472 473A7: ; preds = %B6474 store i16 %add84.6, ptr %arrayidx74.7, align 2475 br label %B7476 477B7: ; preds = %A7, %B6478 %51 = phi i16 [ %add84.6, %A7 ], [ %50, %B6 ]479 %add84.7 = add i16 %43, 128480 %arrayidx74.8 = getelementptr inbounds i16, ptr %Output, i32 8481 %52 = load i16, ptr %arrayidx74.8, align 2482 %cmp77.8 = icmp slt i16 %52, %add84.7483 br i1 %cmp77.8, label %A8, label %B8484 485A8: ; preds = %B7486 store i16 %add84.7, ptr %arrayidx74.8, align 2487 br label %B8488 489B8: ; preds = %A8, %B7490 %53 = phi i16 [ %add84.7, %A8 ], [ %52, %B7 ]491 %add84.8 = add i16 %43, 128492 %cmp77.9 = icmp slt i16 %.reload, %add84.8493 br i1 %cmp77.9, label %A9, label %B9494 495A9: ; preds = %B8496 %arrayidx74.9 = getelementptr inbounds i16, ptr %Output, i32 9497 store i16 %add84.8, ptr %arrayidx74.9, align 2498 br label %B9499 500B9: ; preds = %A9, %B8501 %54 = phi i16 [ %add84.8, %A9 ], [ %.reload, %B8 ]502 %add84.9 = add i16 %43, 128503 %cmp77.10 = icmp slt i16 %.reload151, %add84.9504 br i1 %cmp77.10, label %A10, label %B10505 506A10: ; preds = %B9507 %arrayidx74.10 = getelementptr inbounds i16, ptr %Output, i32 10508 store i16 %add84.9, ptr %arrayidx74.10, align 2509 br label %B10510 511B10: ; preds = %A10, %B9512 %55 = phi i16 [ %add84.9, %A10 ], [ %.reload151, %B9 ]513 %add84.10 = add i16 %43, 128514 %cmp77.11 = icmp slt i16 %.reload153, %add84.10515 br i1 %cmp77.11, label %A11, label %B11516 517A11: ; preds = %B10518 %arrayidx74.11 = getelementptr inbounds i16, ptr %Output, i32 11519 store i16 %add84.10, ptr %arrayidx74.11, align 2520 br label %B11521 522B11: ; preds = %A11, %B10523 %56 = phi i16 [ %add84.10, %A11 ], [ %.reload153, %B10 ]524 %add84.11 = add i16 %43, 128525 %cmp77.12 = icmp slt i16 %.reload155, %add84.11526 br i1 %cmp77.12, label %A12, label %B13527 528A12: ; preds = %B11529 %arrayidx74.12 = getelementptr inbounds i16, ptr %Output, i32 12530 store i16 %add84.11, ptr %arrayidx74.12, align 2531 br label %B13532 533B13: ; preds = %A12, %B13534 ret void535}536