1; RUN: llc -mtriple=thumbv7-apple-darwin10 -mcpu=cortex-a8 -enable-lsr-nested < %s | FileCheck %s 2 3; LSR should recognize that this is an unrolled loop which can use 4; constant offset addressing, so that each of the following stores 5; uses the same register. 6 7; CHECK: vstr.32 s{{.*}}, [{{(r[0-9]+)|(lr)}}, #32] 8; CHECK: vstr.32 s{{.*}}, [{{(r[0-9]+)|(lr)}}, #64] 9; CHECK: vstr.32 s{{.*}}, [{{(r[0-9]+)|(lr)}}, #96] 10 11; We can also save a register in the outer loop, but that requires 12; performing LSR on the outer loop. 13 14target datalayout = "e-p:32:32:32-i1:8:32-i8:8:32-i16:16:32-i32:32:32-i64:32:32-f32:32:32-f64:32:32-v64:64:64-v128:128:128-a0:0:32-n32" 15 16%0 = type { %1*, %3*, %6*, i8*, i32, i32, %8*, i32, i32, i32, i32, i32, i32, i32, double, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i8**, i32, i32, i32, i32, i32, [64 x i32]*, [4 x %9*], [4 x %10*], [4 x %10*], i32, %11*, i32, i32, [16 x i8], [16 x i8], [16 x i8], i32, i32, i8, i8, i8, i16, i16, i32, i8, i32, %12*, i32, i32, i32, i32, i8*, i32, [4 x %11*], i32, i32, i32, [10 x i32], i32, i32, i32, i32, i32, %13*, %14*, %15*, %16*, %17*, %18*, %19*, %20*, %21*, %22*, %23* } 17%1 = type { void (%2*)*, void (%2*, i32)*, void (%2*)*, void (%2*, i8*)*, void (%2*)*, i32, %7, i32, i32, i8**, i32, i8**, i32, i32 } 18%2 = type { %1*, %3*, %6*, i8*, i32, i32 } 19%3 = type { i8* (%2*, i32, i32)*, i8* (%2*, i32, i32)*, i8** (%2*, i32, i32, i32)*, [64 x i16]** (%2*, i32, i32, i32)*, %4* (%2*, i32, i32, i32, i32, i32)*, %5* (%2*, i32, i32, i32, i32, i32)*, void (%2*)*, i8** (%2*, %4*, i32, i32, i32)*, [64 x i16]** (%2*, %5*, i32, i32, i32)*, void (%2*, i32)*, void (%2*)*, i32, i32 } 20%4 = type opaque 21%5 = type opaque 22%6 = type { void (%2*)*, i32, i32, i32, i32 } 23%7 = type { [8 x i32], [12 x i32] } 24%8 = type { i8*, i32, void (%0*)*, i32 (%0*)*, void (%0*, i32)*, i32 (%0*, i32)*, void (%0*)* } 25%9 = type { [64 x i16], i32 } 26%10 = type { [17 x i8], [256 x i8], i32 } 27%11 = type { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, %9*, i8* } 28%12 = type { %12*, i8, i32, i32, i8* } 29%13 = type { void (%0*)*, void (%0*)*, i32 } 30%14 = type { void (%0*, i32)*, void (%0*, i8**, i32*, i32)* } 31%15 = type { void (%0*)*, i32 (%0*)*, void (%0*)*, i32 (%0*, i8***)*, %5** } 32%16 = type { void (%0*, i32)*, void (%0*, i8***, i32*, i32, i8**, i32*, i32)* } 33%17 = type { i32 (%0*)*, void (%0*)*, void (%0*)*, void (%0*)*, i32, i32 } 34%18 = type { void (%0*)*, i32 (%0*)*, i32 (%0*)*, i32, i32, i32, i32 } 35%19 = type { void (%0*)*, i32 (%0*, [64 x i16]**)*, i32 } 36%20 = type { void (%0*)*, [10 x void (%0*, %11*, i16*, i8**, i32)*] } 37%21 = type { void (%0*)*, void (%0*, i8***, i32*, i32, i8**, i32*, i32)*, i32 } 38%22 = type { void (%0*)*, void (%0*, i8***, i32, i8**, i32)* } 39%23 = type { void (%0*, i32)*, void (%0*, i8**, i8**, i32)*, void (%0*)*, void (%0*)* } 40 41define void @test(%0* nocapture %a0, %11* nocapture %a1, i16* nocapture %a2, i8** nocapture %a3, i32 %a4) nounwind { 42bb: 43 %t = alloca [64 x float], align 4 44 %t5 = getelementptr inbounds %0* %a0, i32 0, i32 65 45 %t6 = load i8** %t5, align 4 46 %t7 = getelementptr inbounds %11* %a1, i32 0, i32 20 47 %t8 = load i8** %t7, align 4 48 br label %bb9 49 50bb9: 51 %t10 = phi i32 [ 0, %bb ], [ %t157, %bb156 ] 52 %t11 = add i32 %t10, 8 53 %t12 = getelementptr [64 x float]* %t, i32 0, i32 %t11 54 %t13 = add i32 %t10, 16 55 %t14 = getelementptr [64 x float]* %t, i32 0, i32 %t13 56 %t15 = add i32 %t10, 24 57 %t16 = getelementptr [64 x float]* %t, i32 0, i32 %t15 58 %t17 = add i32 %t10, 32 59 %t18 = getelementptr [64 x float]* %t, i32 0, i32 %t17 60 %t19 = add i32 %t10, 40 61 %t20 = getelementptr [64 x float]* %t, i32 0, i32 %t19 62 %t21 = add i32 %t10, 48 63 %t22 = getelementptr [64 x float]* %t, i32 0, i32 %t21 64 %t23 = add i32 %t10, 56 65 %t24 = getelementptr [64 x float]* %t, i32 0, i32 %t23 66 %t25 = getelementptr [64 x float]* %t, i32 0, i32 %t10 67 %t26 = shl i32 %t10, 5 68 %t27 = or i32 %t26, 8 69 %t28 = getelementptr i8* %t8, i32 %t27 70 %t29 = bitcast i8* %t28 to float* 71 %t30 = or i32 %t26, 16 72 %t31 = getelementptr i8* %t8, i32 %t30 73 %t32 = bitcast i8* %t31 to float* 74 %t33 = or i32 %t26, 24 75 %t34 = getelementptr i8* %t8, i32 %t33 76 %t35 = bitcast i8* %t34 to float* 77 %t36 = or i32 %t26, 4 78 %t37 = getelementptr i8* %t8, i32 %t36 79 %t38 = bitcast i8* %t37 to float* 80 %t39 = or i32 %t26, 12 81 %t40 = getelementptr i8* %t8, i32 %t39 82 %t41 = bitcast i8* %t40 to float* 83 %t42 = or i32 %t26, 20 84 %t43 = getelementptr i8* %t8, i32 %t42 85 %t44 = bitcast i8* %t43 to float* 86 %t45 = or i32 %t26, 28 87 %t46 = getelementptr i8* %t8, i32 %t45 88 %t47 = bitcast i8* %t46 to float* 89 %t48 = getelementptr i8* %t8, i32 %t26 90 %t49 = bitcast i8* %t48 to float* 91 %t50 = shl i32 %t10, 3 92 %t51 = or i32 %t50, 1 93 %t52 = getelementptr i16* %a2, i32 %t51 94 %t53 = or i32 %t50, 2 95 %t54 = getelementptr i16* %a2, i32 %t53 96 %t55 = or i32 %t50, 3 97 %t56 = getelementptr i16* %a2, i32 %t55 98 %t57 = or i32 %t50, 4 99 %t58 = getelementptr i16* %a2, i32 %t57 100 %t59 = or i32 %t50, 5 101 %t60 = getelementptr i16* %a2, i32 %t59 102 %t61 = or i32 %t50, 6 103 %t62 = getelementptr i16* %a2, i32 %t61 104 %t63 = or i32 %t50, 7 105 %t64 = getelementptr i16* %a2, i32 %t63 106 %t65 = getelementptr i16* %a2, i32 %t50 107 %t66 = load i16* %t52, align 2 108 %t67 = icmp eq i16 %t66, 0 109 %t68 = load i16* %t54, align 2 110 %t69 = icmp eq i16 %t68, 0 111 %t70 = and i1 %t67, %t69 112 br i1 %t70, label %bb71, label %bb91 113 114bb71: 115 %t72 = load i16* %t56, align 2 116 %t73 = icmp eq i16 %t72, 0 117 br i1 %t73, label %bb74, label %bb91 118 119bb74: 120 %t75 = load i16* %t58, align 2 121 %t76 = icmp eq i16 %t75, 0 122 br i1 %t76, label %bb77, label %bb91 123 124bb77: 125 %t78 = load i16* %t60, align 2 126 %t79 = icmp eq i16 %t78, 0 127 br i1 %t79, label %bb80, label %bb91 128 129bb80: 130 %t81 = load i16* %t62, align 2 131 %t82 = icmp eq i16 %t81, 0 132 br i1 %t82, label %bb83, label %bb91 133 134bb83: 135 %t84 = load i16* %t64, align 2 136 %t85 = icmp eq i16 %t84, 0 137 br i1 %t85, label %bb86, label %bb91 138 139bb86: 140 %t87 = load i16* %t65, align 2 141 %t88 = sitofp i16 %t87 to float 142 %t89 = load float* %t49, align 4 143 %t90 = fmul float %t88, %t89 144 store float %t90, float* %t25, align 4 145 store float %t90, float* %t12, align 4 146 store float %t90, float* %t14, align 4 147 store float %t90, float* %t16, align 4 148 store float %t90, float* %t18, align 4 149 store float %t90, float* %t20, align 4 150 store float %t90, float* %t22, align 4 151 store float %t90, float* %t24, align 4 152 br label %bb156 153 154bb91: 155 %t92 = load i16* %t65, align 2 156 %t93 = sitofp i16 %t92 to float 157 %t94 = load float* %t49, align 4 158 %t95 = fmul float %t93, %t94 159 %t96 = sitofp i16 %t68 to float 160 %t97 = load float* %t29, align 4 161 %t98 = fmul float %t96, %t97 162 %t99 = load i16* %t58, align 2 163 %t100 = sitofp i16 %t99 to float 164 %t101 = load float* %t32, align 4 165 %t102 = fmul float %t100, %t101 166 %t103 = load i16* %t62, align 2 167 %t104 = sitofp i16 %t103 to float 168 %t105 = load float* %t35, align 4 169 %t106 = fmul float %t104, %t105 170 %t107 = fadd float %t95, %t102 171 %t108 = fsub float %t95, %t102 172 %t109 = fadd float %t98, %t106 173 %t110 = fsub float %t98, %t106 174 %t111 = fmul float %t110, 0x3FF6A09E60000000 175 %t112 = fsub float %t111, %t109 176 %t113 = fadd float %t107, %t109 177 %t114 = fsub float %t107, %t109 178 %t115 = fadd float %t108, %t112 179 %t116 = fsub float %t108, %t112 180 %t117 = sitofp i16 %t66 to float 181 %t118 = load float* %t38, align 4 182 %t119 = fmul float %t117, %t118 183 %t120 = load i16* %t56, align 2 184 %t121 = sitofp i16 %t120 to float 185 %t122 = load float* %t41, align 4 186 %t123 = fmul float %t121, %t122 187 %t124 = load i16* %t60, align 2 188 %t125 = sitofp i16 %t124 to float 189 %t126 = load float* %t44, align 4 190 %t127 = fmul float %t125, %t126 191 %t128 = load i16* %t64, align 2 192 %t129 = sitofp i16 %t128 to float 193 %t130 = load float* %t47, align 4 194 %t131 = fmul float %t129, %t130 195 %t132 = fadd float %t127, %t123 196 %t133 = fsub float %t127, %t123 197 %t134 = fadd float %t119, %t131 198 %t135 = fsub float %t119, %t131 199 %t136 = fadd float %t134, %t132 200 %t137 = fsub float %t134, %t132 201 %t138 = fmul float %t137, 0x3FF6A09E60000000 202 %t139 = fadd float %t133, %t135 203 %t140 = fmul float %t139, 0x3FFD906BC0000000 204 %t141 = fmul float %t135, 0x3FF1517A80000000 205 %t142 = fsub float %t141, %t140 206 %t143 = fmul float %t133, 0xC004E7AEA0000000 207 %t144 = fadd float %t143, %t140 208 %t145 = fsub float %t144, %t136 209 %t146 = fsub float %t138, %t145 210 %t147 = fadd float %t142, %t146 211 %t148 = fadd float %t113, %t136 212 store float %t148, float* %t25, align 4 213 %t149 = fsub float %t113, %t136 214 store float %t149, float* %t24, align 4 215 %t150 = fadd float %t115, %t145 216 store float %t150, float* %t12, align 4 217 %t151 = fsub float %t115, %t145 218 store float %t151, float* %t22, align 4 219 %t152 = fadd float %t116, %t146 220 store float %t152, float* %t14, align 4 221 %t153 = fsub float %t116, %t146 222 store float %t153, float* %t20, align 4 223 %t154 = fadd float %t114, %t147 224 store float %t154, float* %t18, align 4 225 %t155 = fsub float %t114, %t147 226 store float %t155, float* %t16, align 4 227 br label %bb156 228 229bb156: 230 %t157 = add i32 %t10, 1 231 %t158 = icmp eq i32 %t157, 8 232 br i1 %t158, label %bb159, label %bb9 233 234bb159: 235 %t160 = add i32 %a4, 7 236 %t161 = add i32 %a4, 1 237 %t162 = add i32 %a4, 6 238 %t163 = add i32 %a4, 2 239 %t164 = add i32 %a4, 5 240 %t165 = add i32 %a4, 4 241 %t166 = add i32 %a4, 3 242 br label %bb167 243 244bb167: 245 %t168 = phi i32 [ 0, %bb159 ], [ %t293, %bb167 ] 246 %t169 = getelementptr i8** %a3, i32 %t168 247 %t170 = shl i32 %t168, 3 248 %t171 = or i32 %t170, 4 249 %t172 = getelementptr [64 x float]* %t, i32 0, i32 %t171 250 %t173 = or i32 %t170, 2 251 %t174 = getelementptr [64 x float]* %t, i32 0, i32 %t173 252 %t175 = or i32 %t170, 6 253 %t176 = getelementptr [64 x float]* %t, i32 0, i32 %t175 254 %t177 = or i32 %t170, 5 255 %t178 = getelementptr [64 x float]* %t, i32 0, i32 %t177 256 %t179 = or i32 %t170, 3 257 %t180 = getelementptr [64 x float]* %t, i32 0, i32 %t179 258 %t181 = or i32 %t170, 1 259 %t182 = getelementptr [64 x float]* %t, i32 0, i32 %t181 260 %t183 = or i32 %t170, 7 261 %t184 = getelementptr [64 x float]* %t, i32 0, i32 %t183 262 %t185 = getelementptr [64 x float]* %t, i32 0, i32 %t170 263 %t186 = load i8** %t169, align 4 264 %t187 = getelementptr inbounds i8* %t186, i32 %a4 265 %t188 = load float* %t185, align 4 266 %t189 = load float* %t172, align 4 267 %t190 = fadd float %t188, %t189 268 %t191 = fsub float %t188, %t189 269 %t192 = load float* %t174, align 4 270 %t193 = load float* %t176, align 4 271 %t194 = fadd float %t192, %t193 272 %t195 = fsub float %t192, %t193 273 %t196 = fmul float %t195, 0x3FF6A09E60000000 274 %t197 = fsub float %t196, %t194 275 %t198 = fadd float %t190, %t194 276 %t199 = fsub float %t190, %t194 277 %t200 = fadd float %t191, %t197 278 %t201 = fsub float %t191, %t197 279 %t202 = load float* %t178, align 4 280 %t203 = load float* %t180, align 4 281 %t204 = fadd float %t202, %t203 282 %t205 = fsub float %t202, %t203 283 %t206 = load float* %t182, align 4 284 %t207 = load float* %t184, align 4 285 %t208 = fadd float %t206, %t207 286 %t209 = fsub float %t206, %t207 287 %t210 = fadd float %t208, %t204 288 %t211 = fsub float %t208, %t204 289 %t212 = fmul float %t211, 0x3FF6A09E60000000 290 %t213 = fadd float %t205, %t209 291 %t214 = fmul float %t213, 0x3FFD906BC0000000 292 %t215 = fmul float %t209, 0x3FF1517A80000000 293 %t216 = fsub float %t215, %t214 294 %t217 = fmul float %t205, 0xC004E7AEA0000000 295 %t218 = fadd float %t217, %t214 296 %t219 = fsub float %t218, %t210 297 %t220 = fsub float %t212, %t219 298 %t221 = fadd float %t216, %t220 299 %t222 = fadd float %t198, %t210 300 %t223 = fptosi float %t222 to i32 301 %t224 = add nsw i32 %t223, 4 302 %t225 = lshr i32 %t224, 3 303 %t226 = and i32 %t225, 1023 304 %t227 = add i32 %t226, 128 305 %t228 = getelementptr inbounds i8* %t6, i32 %t227 306 %t229 = load i8* %t228, align 1 307 store i8 %t229, i8* %t187, align 1 308 %t230 = fsub float %t198, %t210 309 %t231 = fptosi float %t230 to i32 310 %t232 = add nsw i32 %t231, 4 311 %t233 = lshr i32 %t232, 3 312 %t234 = and i32 %t233, 1023 313 %t235 = add i32 %t234, 128 314 %t236 = getelementptr inbounds i8* %t6, i32 %t235 315 %t237 = load i8* %t236, align 1 316 %t238 = getelementptr inbounds i8* %t186, i32 %t160 317 store i8 %t237, i8* %t238, align 1 318 %t239 = fadd float %t200, %t219 319 %t240 = fptosi float %t239 to i32 320 %t241 = add nsw i32 %t240, 4 321 %t242 = lshr i32 %t241, 3 322 %t243 = and i32 %t242, 1023 323 %t244 = add i32 %t243, 128 324 %t245 = getelementptr inbounds i8* %t6, i32 %t244 325 %t246 = load i8* %t245, align 1 326 %t247 = getelementptr inbounds i8* %t186, i32 %t161 327 store i8 %t246, i8* %t247, align 1 328 %t248 = fsub float %t200, %t219 329 %t249 = fptosi float %t248 to i32 330 %t250 = add nsw i32 %t249, 4 331 %t251 = lshr i32 %t250, 3 332 %t252 = and i32 %t251, 1023 333 %t253 = add i32 %t252, 128 334 %t254 = getelementptr inbounds i8* %t6, i32 %t253 335 %t255 = load i8* %t254, align 1 336 %t256 = getelementptr inbounds i8* %t186, i32 %t162 337 store i8 %t255, i8* %t256, align 1 338 %t257 = fadd float %t201, %t220 339 %t258 = fptosi float %t257 to i32 340 %t259 = add nsw i32 %t258, 4 341 %t260 = lshr i32 %t259, 3 342 %t261 = and i32 %t260, 1023 343 %t262 = add i32 %t261, 128 344 %t263 = getelementptr inbounds i8* %t6, i32 %t262 345 %t264 = load i8* %t263, align 1 346 %t265 = getelementptr inbounds i8* %t186, i32 %t163 347 store i8 %t264, i8* %t265, align 1 348 %t266 = fsub float %t201, %t220 349 %t267 = fptosi float %t266 to i32 350 %t268 = add nsw i32 %t267, 4 351 %t269 = lshr i32 %t268, 3 352 %t270 = and i32 %t269, 1023 353 %t271 = add i32 %t270, 128 354 %t272 = getelementptr inbounds i8* %t6, i32 %t271 355 %t273 = load i8* %t272, align 1 356 %t274 = getelementptr inbounds i8* %t186, i32 %t164 357 store i8 %t273, i8* %t274, align 1 358 %t275 = fadd float %t199, %t221 359 %t276 = fptosi float %t275 to i32 360 %t277 = add nsw i32 %t276, 4 361 %t278 = lshr i32 %t277, 3 362 %t279 = and i32 %t278, 1023 363 %t280 = add i32 %t279, 128 364 %t281 = getelementptr inbounds i8* %t6, i32 %t280 365 %t282 = load i8* %t281, align 1 366 %t283 = getelementptr inbounds i8* %t186, i32 %t165 367 store i8 %t282, i8* %t283, align 1 368 %t284 = fsub float %t199, %t221 369 %t285 = fptosi float %t284 to i32 370 %t286 = add nsw i32 %t285, 4 371 %t287 = lshr i32 %t286, 3 372 %t288 = and i32 %t287, 1023 373 %t289 = add i32 %t288, 128 374 %t290 = getelementptr inbounds i8* %t6, i32 %t289 375 %t291 = load i8* %t290, align 1 376 %t292 = getelementptr inbounds i8* %t186, i32 %t166 377 store i8 %t291, i8* %t292, align 1 378 %t293 = add nsw i32 %t168, 1 379 %t294 = icmp eq i32 %t293, 8 380 br i1 %t294, label %bb295, label %bb167 381 382bb295: 383 ret void 384} 385 386%struct.ct_data_s = type { %union.anon, %union.anon } 387%struct.gz_header = type { i32, i32, i32, i32, i8*, i32, i32, i8*, i32, i8*, i32, i32, i32 } 388%struct.internal_state = type { %struct.z_stream*, i32, i8*, i32, i8*, i32, i32, %struct.gz_header*, i32, i8, i32, i32, i32, i32, i8*, i32, i16*, i16*, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, [573 x %struct.ct_data_s], [61 x %struct.ct_data_s], [39 x %struct.ct_data_s], %struct.tree_desc_s, %struct.tree_desc_s, %struct.tree_desc_s, [16 x i16], [573 x i32], i32, i32, [573 x i8], i8*, i32, i32, i16*, i32, i32, i32, i32, i16, i32 } 389%struct.static_tree_desc = type { i32 } 390%struct.tree_desc_s = type { %struct.ct_data_s*, i32, %struct.static_tree_desc* } 391%struct.z_stream = type { i8*, i32, i32, i8*, i32, i32, i8*, %struct.internal_state*, i8* (i8*, i32, i32)*, void (i8*, i8*)*, i8*, i32, i32, i32 } 392%union.anon = type { i16 } 393 394define i32 @longest_match(%struct.internal_state* %s, i32 %cur_match) nounwind optsize { 395entry: 396 %0 = getelementptr inbounds %struct.internal_state* %s, i32 0, i32 31 ; <i32*> [#uses=1] 397 %1 = load i32* %0, align 4 ; <i32> [#uses=2] 398 %2 = getelementptr inbounds %struct.internal_state* %s, i32 0, i32 14 ; <i8**> [#uses=1] 399 %3 = load i8** %2, align 4 ; <i8*> [#uses=27] 400 %4 = getelementptr inbounds %struct.internal_state* %s, i32 0, i32 27 ; <i32*> [#uses=1] 401 %5 = load i32* %4, align 4 ; <i32> [#uses=17] 402 %6 = getelementptr inbounds i8* %3, i32 %5 ; <i8*> [#uses=1] 403 %7 = getelementptr inbounds %struct.internal_state* %s, i32 0, i32 30 ; <i32*> [#uses=1] 404 %8 = load i32* %7, align 4 ; <i32> [#uses=4] 405 %9 = getelementptr inbounds %struct.internal_state* %s, i32 0, i32 36 ; <i32*> [#uses=1] 406 %10 = load i32* %9, align 4 ; <i32> [#uses=2] 407 %11 = getelementptr inbounds %struct.internal_state* %s, i32 0, i32 11 ; <i32*> [#uses=1] 408 %12 = load i32* %11, align 4 ; <i32> [#uses=2] 409 %13 = add i32 %12, -262 ; <i32> [#uses=1] 410 %14 = icmp ugt i32 %5, %13 ; <i1> [#uses=1] 411 br i1 %14, label %bb, label %bb2 412 413bb: ; preds = %entry 414 %15 = add i32 %5, 262 ; <i32> [#uses=1] 415 %16 = sub i32 %15, %12 ; <i32> [#uses=1] 416 br label %bb2 417 418bb2: ; preds = %bb, %entry 419 %iftmp.48.0 = phi i32 [ %16, %bb ], [ 0, %entry ] ; <i32> [#uses=1] 420 %17 = getelementptr inbounds %struct.internal_state* %s, i32 0, i32 16 ; <i16**> [#uses=1] 421 %18 = load i16** %17, align 4 ; <i16*> [#uses=1] 422 %19 = getelementptr inbounds %struct.internal_state* %s, i32 0, i32 13 ; <i32*> [#uses=1] 423 %20 = load i32* %19, align 4 ; <i32> [#uses=1] 424 %.sum = add i32 %5, 258 ; <i32> [#uses=2] 425 %21 = getelementptr inbounds i8* %3, i32 %.sum ; <i8*> [#uses=1] 426 %22 = add nsw i32 %5, -1 ; <i32> [#uses=1] 427 %.sum30 = add i32 %22, %8 ; <i32> [#uses=1] 428 %23 = getelementptr inbounds i8* %3, i32 %.sum30 ; <i8*> [#uses=1] 429 %24 = load i8* %23, align 1 ; <i8> [#uses=1] 430 %.sum31 = add i32 %8, %5 ; <i32> [#uses=1] 431 %25 = getelementptr inbounds i8* %3, i32 %.sum31 ; <i8*> [#uses=1] 432 %26 = load i8* %25, align 1 ; <i8> [#uses=1] 433 %27 = getelementptr inbounds %struct.internal_state* %s, i32 0, i32 35 ; <i32*> [#uses=1] 434 %28 = load i32* %27, align 4 ; <i32> [#uses=1] 435 %29 = lshr i32 %1, 2 ; <i32> [#uses=1] 436 %30 = icmp ult i32 %8, %28 ; <i1> [#uses=1] 437 %. = select i1 %30, i32 %1, i32 %29 ; <i32> [#uses=1] 438 %31 = getelementptr inbounds %struct.internal_state* %s, i32 0, i32 29 ; <i32*> [#uses=1] 439 %32 = load i32* %31, align 4 ; <i32> [#uses=4] 440 %33 = icmp ugt i32 %10, %32 ; <i1> [#uses=1] 441 %nice_match.0.ph = select i1 %33, i32 %32, i32 %10 ; <i32> [#uses=1] 442 %34 = getelementptr inbounds %struct.internal_state* %s, i32 0, i32 28 ; <i32*> [#uses=1] 443 %35 = ptrtoint i8* %21 to i32 ; <i32> [#uses=1] 444 %36 = add nsw i32 %5, 257 ; <i32> [#uses=1] 445 %tmp81 = add i32 %., -1 ; <i32> [#uses=1] 446 br label %bb6 447 448bb6: ; preds = %bb24, %bb2 449 %indvar78 = phi i32 [ 0, %bb2 ], [ %indvar.next79, %bb24 ] ; <i32> [#uses=2] 450 %best_len.2 = phi i32 [ %8, %bb2 ], [ %best_len.0, %bb24 ] ; <i32> [#uses=8] 451 %scan_end1.1 = phi i8 [ %24, %bb2 ], [ %scan_end1.0, %bb24 ] ; <i8> [#uses=6] 452 %cur_match_addr.0 = phi i32 [ %cur_match, %bb2 ], [ %90, %bb24 ] ; <i32> [#uses=14] 453 %scan_end.1 = phi i8 [ %26, %bb2 ], [ %scan_end.0, %bb24 ] ; <i8> [#uses=6] 454 %37 = getelementptr inbounds i8* %3, i32 %cur_match_addr.0 ; <i8*> [#uses=1] 455 %.sum32 = add i32 %cur_match_addr.0, %best_len.2 ; <i32> [#uses=1] 456 %38 = getelementptr inbounds i8* %3, i32 %.sum32 ; <i8*> [#uses=1] 457 %39 = load i8* %38, align 1 ; <i8> [#uses=1] 458 %40 = icmp eq i8 %39, %scan_end.1 ; <i1> [#uses=1] 459 br i1 %40, label %bb7, label %bb23 460 461bb7: ; preds = %bb6 462 %41 = add nsw i32 %best_len.2, -1 ; <i32> [#uses=1] 463 %.sum33 = add i32 %41, %cur_match_addr.0 ; <i32> [#uses=1] 464 %42 = getelementptr inbounds i8* %3, i32 %.sum33 ; <i8*> [#uses=1] 465 %43 = load i8* %42, align 1 ; <i8> [#uses=1] 466 %44 = icmp eq i8 %43, %scan_end1.1 ; <i1> [#uses=1] 467 br i1 %44, label %bb8, label %bb23 468 469bb8: ; preds = %bb7 470 %45 = load i8* %37, align 1 ; <i8> [#uses=1] 471 %46 = load i8* %6, align 1 ; <i8> [#uses=1] 472 %47 = icmp eq i8 %45, %46 ; <i1> [#uses=1] 473 br i1 %47, label %bb9, label %bb23 474 475bb9: ; preds = %bb8 476 %.sum34 = add i32 %cur_match_addr.0, 1 ; <i32> [#uses=1] 477 %48 = getelementptr inbounds i8* %3, i32 %.sum34 ; <i8*> [#uses=1] 478 %49 = load i8* %48, align 1 ; <i8> [#uses=1] 479 %.sum88 = add i32 %5, 1 ; <i32> [#uses=1] 480 %50 = getelementptr inbounds i8* %3, i32 %.sum88 ; <i8*> [#uses=1] 481 %51 = load i8* %50, align 1 ; <i8> [#uses=1] 482 %52 = icmp eq i8 %49, %51 ; <i1> [#uses=1] 483 br i1 %52, label %bb10, label %bb23 484 485bb10: ; preds = %bb9 486 %tmp39 = add i32 %cur_match_addr.0, 10 ; <i32> [#uses=1] 487 %tmp41 = add i32 %cur_match_addr.0, 9 ; <i32> [#uses=1] 488 %tmp44 = add i32 %cur_match_addr.0, 8 ; <i32> [#uses=1] 489 %tmp47 = add i32 %cur_match_addr.0, 7 ; <i32> [#uses=1] 490 %tmp50 = add i32 %cur_match_addr.0, 6 ; <i32> [#uses=1] 491 %tmp53 = add i32 %cur_match_addr.0, 5 ; <i32> [#uses=1] 492 %tmp56 = add i32 %cur_match_addr.0, 4 ; <i32> [#uses=1] 493 %tmp59 = add i32 %cur_match_addr.0, 3 ; <i32> [#uses=1] 494 br label %bb11 495 496bb11: ; preds = %bb18, %bb10 497 %indvar = phi i32 [ %indvar.next, %bb18 ], [ 0, %bb10 ] ; <i32> [#uses=2] 498 %tmp = shl i32 %indvar, 3 ; <i32> [#uses=16] 499 %tmp40 = add i32 %tmp39, %tmp ; <i32> [#uses=1] 500 %scevgep = getelementptr i8* %3, i32 %tmp40 ; <i8*> [#uses=1] 501 %tmp42 = add i32 %tmp41, %tmp ; <i32> [#uses=1] 502 %scevgep43 = getelementptr i8* %3, i32 %tmp42 ; <i8*> [#uses=1] 503 %tmp45 = add i32 %tmp44, %tmp ; <i32> [#uses=1] 504 %scevgep46 = getelementptr i8* %3, i32 %tmp45 ; <i8*> [#uses=1] 505 %tmp48 = add i32 %tmp47, %tmp ; <i32> [#uses=1] 506 %scevgep49 = getelementptr i8* %3, i32 %tmp48 ; <i8*> [#uses=1] 507 %tmp51 = add i32 %tmp50, %tmp ; <i32> [#uses=1] 508 %scevgep52 = getelementptr i8* %3, i32 %tmp51 ; <i8*> [#uses=1] 509 %tmp54 = add i32 %tmp53, %tmp ; <i32> [#uses=1] 510 %scevgep55 = getelementptr i8* %3, i32 %tmp54 ; <i8*> [#uses=1] 511 %tmp60 = add i32 %tmp59, %tmp ; <i32> [#uses=1] 512 %scevgep61 = getelementptr i8* %3, i32 %tmp60 ; <i8*> [#uses=1] 513 %tmp62 = add i32 %tmp, 10 ; <i32> [#uses=1] 514 %.sum89 = add i32 %5, %tmp62 ; <i32> [#uses=2] 515 %scevgep63 = getelementptr i8* %3, i32 %.sum89 ; <i8*> [#uses=2] 516 %tmp64 = add i32 %tmp, 9 ; <i32> [#uses=1] 517 %.sum90 = add i32 %5, %tmp64 ; <i32> [#uses=1] 518 %scevgep65 = getelementptr i8* %3, i32 %.sum90 ; <i8*> [#uses=2] 519 %tmp66 = add i32 %tmp, 8 ; <i32> [#uses=1] 520 %.sum91 = add i32 %5, %tmp66 ; <i32> [#uses=1] 521 %scevgep67 = getelementptr i8* %3, i32 %.sum91 ; <i8*> [#uses=2] 522 %tmp6883 = or i32 %tmp, 7 ; <i32> [#uses=1] 523 %.sum92 = add i32 %5, %tmp6883 ; <i32> [#uses=1] 524 %scevgep69 = getelementptr i8* %3, i32 %.sum92 ; <i8*> [#uses=2] 525 %tmp7084 = or i32 %tmp, 6 ; <i32> [#uses=1] 526 %.sum93 = add i32 %5, %tmp7084 ; <i32> [#uses=1] 527 %scevgep71 = getelementptr i8* %3, i32 %.sum93 ; <i8*> [#uses=2] 528 %tmp7285 = or i32 %tmp, 5 ; <i32> [#uses=1] 529 %.sum94 = add i32 %5, %tmp7285 ; <i32> [#uses=1] 530 %scevgep73 = getelementptr i8* %3, i32 %.sum94 ; <i8*> [#uses=2] 531 %tmp7486 = or i32 %tmp, 4 ; <i32> [#uses=1] 532 %.sum95 = add i32 %5, %tmp7486 ; <i32> [#uses=1] 533 %scevgep75 = getelementptr i8* %3, i32 %.sum95 ; <i8*> [#uses=2] 534 %tmp7687 = or i32 %tmp, 3 ; <i32> [#uses=1] 535 %.sum96 = add i32 %5, %tmp7687 ; <i32> [#uses=1] 536 %scevgep77 = getelementptr i8* %3, i32 %.sum96 ; <i8*> [#uses=2] 537 %53 = load i8* %scevgep77, align 1 ; <i8> [#uses=1] 538 %54 = load i8* %scevgep61, align 1 ; <i8> [#uses=1] 539 %55 = icmp eq i8 %53, %54 ; <i1> [#uses=1] 540 br i1 %55, label %bb12, label %bb20 541 542bb12: ; preds = %bb11 543 %tmp57 = add i32 %tmp56, %tmp ; <i32> [#uses=1] 544 %scevgep58 = getelementptr i8* %3, i32 %tmp57 ; <i8*> [#uses=1] 545 %56 = load i8* %scevgep75, align 1 ; <i8> [#uses=1] 546 %57 = load i8* %scevgep58, align 1 ; <i8> [#uses=1] 547 %58 = icmp eq i8 %56, %57 ; <i1> [#uses=1] 548 br i1 %58, label %bb13, label %bb20 549 550bb13: ; preds = %bb12 551 %59 = load i8* %scevgep73, align 1 ; <i8> [#uses=1] 552 %60 = load i8* %scevgep55, align 1 ; <i8> [#uses=1] 553 %61 = icmp eq i8 %59, %60 ; <i1> [#uses=1] 554 br i1 %61, label %bb14, label %bb20 555 556bb14: ; preds = %bb13 557 %62 = load i8* %scevgep71, align 1 ; <i8> [#uses=1] 558 %63 = load i8* %scevgep52, align 1 ; <i8> [#uses=1] 559 %64 = icmp eq i8 %62, %63 ; <i1> [#uses=1] 560 br i1 %64, label %bb15, label %bb20 561 562bb15: ; preds = %bb14 563 %65 = load i8* %scevgep69, align 1 ; <i8> [#uses=1] 564 %66 = load i8* %scevgep49, align 1 ; <i8> [#uses=1] 565 %67 = icmp eq i8 %65, %66 ; <i1> [#uses=1] 566 br i1 %67, label %bb16, label %bb20 567 568bb16: ; preds = %bb15 569 %68 = load i8* %scevgep67, align 1 ; <i8> [#uses=1] 570 %69 = load i8* %scevgep46, align 1 ; <i8> [#uses=1] 571 %70 = icmp eq i8 %68, %69 ; <i1> [#uses=1] 572 br i1 %70, label %bb17, label %bb20 573 574bb17: ; preds = %bb16 575 %71 = load i8* %scevgep65, align 1 ; <i8> [#uses=1] 576 %72 = load i8* %scevgep43, align 1 ; <i8> [#uses=1] 577 %73 = icmp eq i8 %71, %72 ; <i1> [#uses=1] 578 br i1 %73, label %bb18, label %bb20 579 580bb18: ; preds = %bb17 581 %74 = load i8* %scevgep63, align 1 ; <i8> [#uses=1] 582 %75 = load i8* %scevgep, align 1 ; <i8> [#uses=1] 583 %76 = icmp eq i8 %74, %75 ; <i1> [#uses=1] 584 %77 = icmp slt i32 %.sum89, %.sum ; <i1> [#uses=1] 585 %or.cond = and i1 %76, %77 ; <i1> [#uses=1] 586 %indvar.next = add i32 %indvar, 1 ; <i32> [#uses=1] 587 br i1 %or.cond, label %bb11, label %bb20 588 589bb20: ; preds = %bb18, %bb17, %bb16, %bb15, %bb14, %bb13, %bb12, %bb11 590 %scan.3 = phi i8* [ %scevgep77, %bb11 ], [ %scevgep75, %bb12 ], [ %scevgep73, %bb13 ], [ %scevgep71, %bb14 ], [ %scevgep69, %bb15 ], [ %scevgep67, %bb16 ], [ %scevgep65, %bb17 ], [ %scevgep63, %bb18 ] ; <i8*> [#uses=1] 591 %78 = ptrtoint i8* %scan.3 to i32 ; <i32> [#uses=1] 592 %79 = sub nsw i32 %78, %35 ; <i32> [#uses=2] 593 %80 = add i32 %79, 258 ; <i32> [#uses=5] 594 %81 = icmp sgt i32 %80, %best_len.2 ; <i1> [#uses=1] 595 br i1 %81, label %bb21, label %bb23 596 597bb21: ; preds = %bb20 598 store i32 %cur_match_addr.0, i32* %34, align 4 599 %82 = icmp slt i32 %80, %nice_match.0.ph ; <i1> [#uses=1] 600 br i1 %82, label %bb22, label %bb25 601 602bb22: ; preds = %bb21 603 %.sum37 = add i32 %36, %79 ; <i32> [#uses=1] 604 %83 = getelementptr inbounds i8* %3, i32 %.sum37 ; <i8*> [#uses=1] 605 %84 = load i8* %83, align 1 ; <i8> [#uses=1] 606 %.sum38 = add i32 %80, %5 ; <i32> [#uses=1] 607 %85 = getelementptr inbounds i8* %3, i32 %.sum38 ; <i8*> [#uses=1] 608 %86 = load i8* %85, align 1 ; <i8> [#uses=1] 609 br label %bb23 610 611bb23: ; preds = %bb22, %bb20, %bb9, %bb8, %bb7, %bb6 612 %best_len.0 = phi i32 [ %best_len.2, %bb6 ], [ %best_len.2, %bb7 ], [ %best_len.2, %bb8 ], [ %best_len.2, %bb9 ], [ %80, %bb22 ], [ %best_len.2, %bb20 ] ; <i32> [#uses=3] 613 %scan_end1.0 = phi i8 [ %scan_end1.1, %bb6 ], [ %scan_end1.1, %bb7 ], [ %scan_end1.1, %bb8 ], [ %scan_end1.1, %bb9 ], [ %84, %bb22 ], [ %scan_end1.1, %bb20 ] ; <i8> [#uses=1] 614 %scan_end.0 = phi i8 [ %scan_end.1, %bb6 ], [ %scan_end.1, %bb7 ], [ %scan_end.1, %bb8 ], [ %scan_end.1, %bb9 ], [ %86, %bb22 ], [ %scan_end.1, %bb20 ] ; <i8> [#uses=1] 615 %87 = and i32 %cur_match_addr.0, %20 ; <i32> [#uses=1] 616 %88 = getelementptr inbounds i16* %18, i32 %87 ; <i16*> [#uses=1] 617 %89 = load i16* %88, align 2 ; <i16> [#uses=1] 618 %90 = zext i16 %89 to i32 ; <i32> [#uses=2] 619 %91 = icmp ugt i32 %90, %iftmp.48.0 ; <i1> [#uses=1] 620 br i1 %91, label %bb24, label %bb25 621 622bb24: ; preds = %bb23 623 624; LSR should use count-down iteration to avoid requiring the trip count 625; in a register. 626 627; CHECK: @ %bb24 628; CHECK: subs{{.*}} {{(r[0-9]+)|(lr)}}, #1 629; CHECK: bne.w 630 631 %92 = icmp eq i32 %tmp81, %indvar78 ; <i1> [#uses=1] 632 %indvar.next79 = add i32 %indvar78, 1 ; <i32> [#uses=1] 633 br i1 %92, label %bb25, label %bb6 634 635bb25: ; preds = %bb24, %bb23, %bb21 636 %best_len.1 = phi i32 [ %best_len.0, %bb23 ], [ %best_len.0, %bb24 ], [ %80, %bb21 ] ; <i32> [#uses=2] 637 %93 = icmp ugt i32 %best_len.1, %32 ; <i1> [#uses=1] 638 %merge = select i1 %93, i32 %32, i32 %best_len.1 ; <i32> [#uses=1] 639 ret i32 %merge 640} 641