Compiler projects using llvm
; RUN: llc -march=hexagon < %s
; REQUIRES: asserts

; This test used to fail with;
;  Assertion `ScavengingFrameIndex >= 0 && "Cannot scavenge register without an
;             emergency spill slot!"' failed.

target triple = "hexagon-unknown-linux-gnu"

; Function Attrs: nounwind
define hidden fastcc void @f0(i8* nocapture %a0, i32 %a1, i32 %a2, i32 %a3, i32 %a4, i8* nocapture %a5) #0 {
b0:
  %v0 = add i32 %a3, -4
  %v1 = icmp ult i32 %v0, %a1
  %v2 = add i32 %a2, -2
  br i1 %v1, label %b2, label %b1

b1:                                               ; preds = %b0
  %v3 = add i32 %a4, -9
  %v4 = icmp ugt i32 %v2, %v3
  br i1 %v4, label %b2, label %b3

b2:                                               ; preds = %b1, %b0
  %v5 = add nsw i32 %a4, -1
  %v6 = add nsw i32 %a3, -1
  %v7 = add i32 %a2, 1
  %v8 = add i32 %a2, 2
  %v9 = icmp slt i32 %v7, 0
  %v10 = icmp slt i32 %v7, %a4
  %v11 = select i1 %v10, i32 %v7, i32 %v5
  %v12 = select i1 %v9, i32 0, i32 %v11
  %v13 = mul i32 %v12, %a3
  %v14 = add i32 %a2, -1
  %v15 = icmp slt i32 %v2, 0
  %v16 = icmp slt i32 %v2, %a4
  %v17 = select i1 %v16, i32 %v2, i32 %v5
  %v18 = select i1 %v15, i32 0, i32 %v17
  %v19 = mul i32 %v18, %a3
  %v20 = icmp slt i32 %v14, 0
  %v21 = icmp slt i32 %v14, %a4
  %v22 = select i1 %v21, i32 %v14, i32 %v5
  %v23 = select i1 %v20, i32 0, i32 %v22
  %v24 = mul i32 %v23, %a3
  %v25 = icmp slt i32 %a2, 0
  %v26 = icmp slt i32 %a2, %a4
  %v27 = select i1 %v26, i32 %a2, i32 %v5
  %v28 = select i1 %v25, i32 0, i32 %v27
  %v29 = mul i32 %v28, %a3
  %v30 = add i32 %a2, 3
  %v31 = icmp slt i32 %v8, 0
  %v32 = icmp slt i32 %v8, %a4
  %v33 = select i1 %v32, i32 %v8, i32 %v5
  %v34 = select i1 %v31, i32 0, i32 %v33
  %v35 = mul i32 %v34, %a3
  %v36 = icmp slt i32 %v30, 0
  %v37 = icmp slt i32 %v30, %a4
  %v38 = select i1 %v37, i32 %v30, i32 %v5
  %v39 = select i1 %v36, i32 0, i32 %v38
  %v40 = mul i32 %v39, %a3
  %v41 = add i32 %a2, 4
  %v42 = icmp slt i32 %v41, 0
  %v43 = icmp slt i32 %v41, %a4
  %v44 = select i1 %v43, i32 %v41, i32 %v5
  %v45 = select i1 %v42, i32 0, i32 %v44
  %v46 = mul i32 %v45, %a3
  %v47 = add i32 %a2, 5
  %v48 = icmp slt i32 %v47, 0
  %v49 = icmp slt i32 %v47, %a4
  %v50 = select i1 %v49, i32 %v47, i32 %v5
  %v51 = select i1 %v48, i32 0, i32 %v50
  %v52 = mul i32 %v51, %a3
  %v53 = add i32 %a2, 6
  %v54 = icmp slt i32 %v53, 0
  %v55 = icmp slt i32 %v53, %a4
  %v56 = select i1 %v55, i32 %v53, i32 %v5
  %v57 = select i1 %v54, i32 0, i32 %v56
  %v58 = mul i32 %v57, %a3
  br label %b5

b3:                                               ; preds = %b1
  %v59 = mul i32 %a3, %a2
  %v60 = add i32 %v59, %a1
  %v61 = getelementptr inbounds i8, i8* %a5, i32 %v60
  %v62 = shl i32 %a3, 1
  %v63 = sub i32 0, %v62
  %v64 = sub i32 %a3, %v62
  %v65 = add i32 %v64, %a3
  %v66 = add i32 %v65, %a3
  %v67 = add i32 %v66, %a3
  %v68 = add i32 %v67, %a3
  %v69 = add i32 %v68, %a3
  %v70 = add i32 %v69, %a3
  %v71 = add i32 %v70, %a3
  br label %b4

b4:                                               ; preds = %b4, %b3
  %v72 = phi i8* [ %a0, %b3 ], [ %v165, %b4 ]
  %v73 = phi i8* [ %v61, %b3 ], [ %v164, %b4 ]
  %v74 = phi i32 [ 4, %b3 ], [ %v166, %b4 ]
  %v75 = getelementptr inbounds i8, i8* %v73, i32 %v63
  %v76 = load i8, i8* %v75, align 1, !tbaa !0
  %v77 = zext i8 %v76 to i32
  %v78 = getelementptr inbounds i8, i8* %v73, i32 %v64
  %v79 = load i8, i8* %v78, align 1, !tbaa !0
  %v80 = zext i8 %v79 to i32
  %v81 = load i8, i8* %v73, align 1, !tbaa !0
  %v82 = zext i8 %v81 to i32
  %v83 = getelementptr inbounds i8, i8* %v73, i32 %v66
  %v84 = load i8, i8* %v83, align 1, !tbaa !0
  %v85 = zext i8 %v84 to i32
  %v86 = getelementptr inbounds i8, i8* %v73, i32 %v67
  %v87 = load i8, i8* %v86, align 1, !tbaa !0
  %v88 = zext i8 %v87 to i32
  %v89 = getelementptr inbounds i8, i8* %v73, i32 %v68
  %v90 = load i8, i8* %v89, align 1, !tbaa !0
  %v91 = zext i8 %v90 to i32
  %v92 = getelementptr inbounds i8, i8* %v73, i32 %v69
  %v93 = load i8, i8* %v92, align 1, !tbaa !0
  %v94 = zext i8 %v93 to i32
  %v95 = getelementptr inbounds i8, i8* %v73, i32 %v70
  %v96 = load i8, i8* %v95, align 1, !tbaa !0
  %v97 = zext i8 %v96 to i32
  %v98 = getelementptr inbounds i8, i8* %v73, i32 %v71
  %v99 = load i8, i8* %v98, align 1, !tbaa !0
  %v100 = zext i8 %v99 to i32
  %v101 = add nsw i32 %v88, %v80
  %v102 = mul i32 %v101, -5
  %v103 = add nsw i32 %v85, %v82
  %v104 = mul nsw i32 %v103, 20
  %v105 = add i32 %v77, 16
  %v106 = add i32 %v105, %v104
  %v107 = add i32 %v106, %v91
  %v108 = add i32 %v107, %v102
  %v109 = ashr i32 %v108, 5
  %v110 = and i32 %v109, 256
  %v111 = icmp ne i32 %v110, 0
  %v112 = lshr i32 %v108, 31
  %v113 = add i32 %v112, 255
  %v114 = select i1 %v111, i32 %v113, i32 %v109
  %v115 = trunc i32 %v114 to i8
  store i8 %v115, i8* %v72, align 1, !tbaa !0
  %v116 = add nsw i32 %v91, %v82
  %v117 = mul i32 %v116, -5
  %v118 = add nsw i32 %v88, %v85
  %v119 = mul nsw i32 %v118, 20
  %v120 = add i32 %v80, 16
  %v121 = add i32 %v120, %v119
  %v122 = add i32 %v121, %v94
  %v123 = add i32 %v122, %v117
  %v124 = ashr i32 %v123, 5
  %v125 = and i32 %v124, 256
  %v126 = icmp ne i32 %v125, 0
  %v127 = lshr i32 %v123, 31
  %v128 = add i32 %v127, 255
  %v129 = select i1 %v126, i32 %v128, i32 %v124
  %v130 = trunc i32 %v129 to i8
  %v131 = getelementptr inbounds i8, i8* %v72, i32 4
  store i8 %v130, i8* %v131, align 1, !tbaa !0
  %v132 = add nsw i32 %v94, %v85
  %v133 = mul i32 %v132, -5
  %v134 = add nsw i32 %v91, %v88
  %v135 = mul nsw i32 %v134, 20
  %v136 = add i32 %v82, 16
  %v137 = add i32 %v136, %v135
  %v138 = add i32 %v137, %v97
  %v139 = add i32 %v138, %v133
  %v140 = ashr i32 %v139, 5
  %v141 = and i32 %v140, 256
  %v142 = icmp ne i32 %v141, 0
  %v143 = lshr i32 %v139, 31
  %v144 = add i32 %v143, 255
  %v145 = select i1 %v142, i32 %v144, i32 %v140
  %v146 = trunc i32 %v145 to i8
  %v147 = getelementptr inbounds i8, i8* %v72, i32 8
  store i8 %v146, i8* %v147, align 1, !tbaa !0
  %v148 = add nsw i32 %v97, %v88
  %v149 = mul i32 %v148, -5
  %v150 = add nsw i32 %v94, %v91
  %v151 = mul nsw i32 %v150, 20
  %v152 = add i32 %v85, 16
  %v153 = add i32 %v152, %v151
  %v154 = add i32 %v153, %v100
  %v155 = add i32 %v154, %v149
  %v156 = ashr i32 %v155, 5
  %v157 = and i32 %v156, 256
  %v158 = icmp ne i32 %v157, 0
  %v159 = lshr i32 %v155, 31
  %v160 = add i32 %v159, 255
  %v161 = select i1 %v158, i32 %v160, i32 %v156
  %v162 = trunc i32 %v161 to i8
  %v163 = getelementptr inbounds i8, i8* %v72, i32 12
  store i8 %v162, i8* %v163, align 1, !tbaa !0
  %v164 = getelementptr inbounds i8, i8* %v73, i32 1
  %v165 = getelementptr inbounds i8, i8* %v72, i32 1
  %v166 = add i32 %v74, -1
  %v167 = icmp eq i32 %v166, 0
  br i1 %v167, label %b7, label %b4

b5:                                               ; preds = %b5, %b2
  %v168 = phi i8* [ %a0, %b2 ], [ %v312, %b5 ]
  %v169 = phi i32 [ 0, %b2 ], [ %v313, %b5 ]
  %v170 = add i32 %v169, %a1
  %v171 = icmp slt i32 %v170, 0
  %v172 = icmp slt i32 %v170, %a3
  %v173 = select i1 %v172, i32 %v170, i32 %v6
  %v174 = select i1 %v171, i32 0, i32 %v173
  %v175 = add i32 %v19, %v174
  %v176 = getelementptr inbounds i8, i8* %a5, i32 %v175
  %v177 = load i8, i8* %v176, align 1, !tbaa !0
  %v178 = zext i8 %v177 to i32
  %v179 = add i32 %v24, %v174
  %v180 = getelementptr inbounds i8, i8* %a5, i32 %v179
  %v181 = load i8, i8* %v180, align 1, !tbaa !0
  %v182 = zext i8 %v181 to i32
  %v183 = mul nsw i32 %v182, -5
  %v184 = add nsw i32 %v183, %v178
  %v185 = add i32 %v29, %v174
  %v186 = getelementptr inbounds i8, i8* %a5, i32 %v185
  %v187 = load i8, i8* %v186, align 1, !tbaa !0
  %v188 = zext i8 %v187 to i32
  %v189 = mul nsw i32 %v188, 20
  %v190 = add nsw i32 %v189, %v184
  %v191 = add i32 %v13, %v174
  %v192 = getelementptr inbounds i8, i8* %a5, i32 %v191
  %v193 = load i8, i8* %v192, align 1, !tbaa !0
  %v194 = zext i8 %v193 to i32
  %v195 = mul nsw i32 %v194, 20
  %v196 = add nsw i32 %v195, %v190
  %v197 = add i32 %v35, %v174
  %v198 = getelementptr inbounds i8, i8* %a5, i32 %v197
  %v199 = load i8, i8* %v198, align 1, !tbaa !0
  %v200 = zext i8 %v199 to i32
  %v201 = mul nsw i32 %v200, -5
  %v202 = add nsw i32 %v201, %v196
  %v203 = add i32 %v40, %v174
  %v204 = getelementptr inbounds i8, i8* %a5, i32 %v203
  %v205 = load i8, i8* %v204, align 1, !tbaa !0
  %v206 = zext i8 %v205 to i32
  %v207 = add nsw i32 %v206, %v202
  %v208 = add nsw i32 %v207, 16
  %v209 = ashr i32 %v208, 5
  %v210 = and i32 %v209, 256
  %v211 = icmp ne i32 %v210, 0
  %v212 = lshr i32 %v208, 31
  %v213 = add i32 %v212, 255
  %v214 = select i1 %v211, i32 %v213, i32 %v209
  %v215 = trunc i32 %v214 to i8
  store i8 %v215, i8* %v168, align 1, !tbaa !0
  %v216 = getelementptr inbounds i8, i8* %v168, i32 4
  %v217 = load i8, i8* %v180, align 1, !tbaa !0
  %v218 = zext i8 %v217 to i32
  %v219 = load i8, i8* %v186, align 1, !tbaa !0
  %v220 = zext i8 %v219 to i32
  %v221 = mul nsw i32 %v220, -5
  %v222 = add nsw i32 %v221, %v218
  %v223 = load i8, i8* %v192, align 1, !tbaa !0
  %v224 = zext i8 %v223 to i32
  %v225 = mul nsw i32 %v224, 20
  %v226 = add nsw i32 %v225, %v222
  %v227 = load i8, i8* %v198, align 1, !tbaa !0
  %v228 = zext i8 %v227 to i32
  %v229 = mul nsw i32 %v228, 20
  %v230 = add nsw i32 %v229, %v226
  %v231 = load i8, i8* %v204, align 1, !tbaa !0
  %v232 = zext i8 %v231 to i32
  %v233 = mul nsw i32 %v232, -5
  %v234 = add nsw i32 %v233, %v230
  %v235 = add i32 %v46, %v174
  %v236 = getelementptr inbounds i8, i8* %a5, i32 %v235
  %v237 = load i8, i8* %v236, align 1, !tbaa !0
  %v238 = zext i8 %v237 to i32
  %v239 = add nsw i32 %v238, %v234
  %v240 = add nsw i32 %v239, 16
  %v241 = ashr i32 %v240, 5
  %v242 = and i32 %v241, 256
  %v243 = icmp ne i32 %v242, 0
  %v244 = lshr i32 %v240, 31
  %v245 = add i32 %v244, 255
  %v246 = select i1 %v243, i32 %v245, i32 %v241
  %v247 = trunc i32 %v246 to i8
  store i8 %v247, i8* %v216, align 1, !tbaa !0
  %v248 = getelementptr inbounds i8, i8* %v168, i32 8
  %v249 = load i8, i8* %v186, align 1, !tbaa !0
  %v250 = zext i8 %v249 to i32
  %v251 = load i8, i8* %v192, align 1, !tbaa !0
  %v252 = zext i8 %v251 to i32
  %v253 = mul nsw i32 %v252, -5
  %v254 = add nsw i32 %v253, %v250
  %v255 = load i8, i8* %v198, align 1, !tbaa !0
  %v256 = zext i8 %v255 to i32
  %v257 = mul nsw i32 %v256, 20
  %v258 = add nsw i32 %v257, %v254
  %v259 = load i8, i8* %v204, align 1, !tbaa !0
  %v260 = zext i8 %v259 to i32
  %v261 = mul nsw i32 %v260, 20
  %v262 = add nsw i32 %v261, %v258
  %v263 = load i8, i8* %v236, align 1, !tbaa !0
  %v264 = zext i8 %v263 to i32
  %v265 = mul nsw i32 %v264, -5
  %v266 = add nsw i32 %v265, %v262
  %v267 = add i32 %v52, %v174
  %v268 = getelementptr inbounds i8, i8* %a5, i32 %v267
  %v269 = load i8, i8* %v268, align 1, !tbaa !0
  %v270 = zext i8 %v269 to i32
  %v271 = add nsw i32 %v270, %v266
  %v272 = add nsw i32 %v271, 16
  %v273 = ashr i32 %v272, 5
  %v274 = and i32 %v273, 256
  %v275 = icmp ne i32 %v274, 0
  %v276 = lshr i32 %v272, 31
  %v277 = add i32 %v276, 255
  %v278 = select i1 %v275, i32 %v277, i32 %v273
  %v279 = trunc i32 %v278 to i8
  store i8 %v279, i8* %v248, align 1, !tbaa !0
  %v280 = getelementptr inbounds i8, i8* %v168, i32 12
  %v281 = load i8, i8* %v192, align 1, !tbaa !0
  %v282 = zext i8 %v281 to i32
  %v283 = load i8, i8* %v198, align 1, !tbaa !0
  %v284 = zext i8 %v283 to i32
  %v285 = mul nsw i32 %v284, -5
  %v286 = add nsw i32 %v285, %v282
  %v287 = load i8, i8* %v204, align 1, !tbaa !0
  %v288 = zext i8 %v287 to i32
  %v289 = mul nsw i32 %v288, 20
  %v290 = add nsw i32 %v289, %v286
  %v291 = load i8, i8* %v236, align 1, !tbaa !0
  %v292 = zext i8 %v291 to i32
  %v293 = mul nsw i32 %v292, 20
  %v294 = add nsw i32 %v293, %v290
  %v295 = load i8, i8* %v268, align 1, !tbaa !0
  %v296 = zext i8 %v295 to i32
  %v297 = mul nsw i32 %v296, -5
  %v298 = add nsw i32 %v297, %v294
  %v299 = add i32 %v58, %v174
  %v300 = getelementptr inbounds i8, i8* %a5, i32 %v299
  %v301 = load i8, i8* %v300, align 1, !tbaa !0
  %v302 = zext i8 %v301 to i32
  %v303 = add nsw i32 %v302, %v298
  %v304 = add nsw i32 %v303, 16
  %v305 = ashr i32 %v304, 5
  %v306 = and i32 %v305, 256
  %v307 = icmp ne i32 %v306, 0
  %v308 = lshr i32 %v304, 31
  %v309 = add i32 %v308, 255
  %v310 = select i1 %v307, i32 %v309, i32 %v305
  %v311 = trunc i32 %v310 to i8
  store i8 %v311, i8* %v280, align 1, !tbaa !0
  %v312 = getelementptr inbounds i8, i8* %v168, i32 1
  %v313 = add i32 %v169, 1
  %v314 = icmp eq i32 %v313, 4
  br i1 %v314, label %b6, label %b5

b6:                                               ; preds = %b5
  br label %b8

b7:                                               ; preds = %b4
  br label %b8

b8:                                               ; preds = %b7, %b6
  ret void
}

attributes #0 = { nounwind }

!0 = !{!1, !1, i64 0}
!1 = !{!"omnipotent char", !2}
!2 = !{!"Simple C/C++ TBAA"}