1 ; RUN: llc -march=hexagon -O3 < %s | FileCheck %s 2 3 ; CHECK-LABEL: @test_pos1_ir_slt 4 ; CHECK: loop0 5 ; a < b 6 define void @test_pos1_ir_slt(i8* nocapture %p, i32 %a, i32 %b) nounwind { 7 entry: 8 %cmp3 = icmp slt i32 8531, %b 9 br i1 %cmp3, label %for.body.lr.ph, label %for.end 10 11 for.body.lr.ph: 12 br label %for.body 13 14 for.body: 15 %i.04 = phi i32 [ 8531, %for.body.lr.ph ], [ %inc, %for.body ] 16 %arrayidx = getelementptr inbounds i8, i8* %p, i32 %i.04 17 %0 = load i8, i8* %arrayidx, align 1 18 %conv = zext i8 %0 to i32 19 %add = add nsw i32 %conv, 1 20 %conv1 = trunc i32 %add to i8 21 store i8 %conv1, i8* %arrayidx, align 1 22 %inc = add nsw i32 %i.04, 1 23 %cmp = icmp slt i32 %inc, %b 24 br i1 %cmp, label %for.body, label %for.end 25 26 for.end: 27 ret void 28 } 29 30 ; CHECK-LABEL: @test_pos2_ir_slt 31 ; CHECK: loop0 32 ; a < b 33 define void @test_pos2_ir_slt(i8* nocapture %p, i32 %a, i32 %b) nounwind { 34 entry: 35 %cmp3 = icmp slt i32 9152, %b 36 br i1 %cmp3, label %for.body.lr.ph, label %for.end 37 38 for.body.lr.ph: 39 br label %for.body 40 41 for.body: 42 %i.04 = phi i32 [ 9152, %for.body.lr.ph ], [ %inc, %for.body ] 43 %arrayidx = getelementptr inbounds i8, i8* %p, i32 %i.04 44 %0 = load i8, i8* %arrayidx, align 1 45 %conv = zext i8 %0 to i32 46 %add = add nsw i32 %conv, 1 47 %conv1 = trunc i32 %add to i8 48 store i8 %conv1, i8* %arrayidx, align 1 49 %inc = add nsw i32 %i.04, 2 50 %cmp = icmp slt i32 %inc, %b 51 br i1 %cmp, label %for.body, label %for.end 52 53 for.end: 54 ret void 55 } 56 57 ; CHECK-LABEL: @test_pos4_ir_slt 58 ; CHECK: loop0 59 ; a < b 60 define void @test_pos4_ir_slt(i8* nocapture %p, i32 %a, i32 %b) nounwind { 61 entry: 62 %cmp3 = icmp slt i32 18851, %b 63 br i1 %cmp3, label %for.body.lr.ph, label %for.end 64 65 for.body.lr.ph: 66 br label %for.body 67 68 for.body: 69 %i.04 = phi i32 [ 18851, %for.body.lr.ph ], [ %inc, %for.body ] 70 %arrayidx = getelementptr inbounds i8, i8* %p, i32 %i.04 71 %0 = load i8, i8* %arrayidx, align 1 72 %conv = zext i8 %0 to i32 73 %add = add nsw i32 %conv, 1 74 %conv1 = trunc i32 %add to i8 75 store i8 %conv1, i8* %arrayidx, align 1 76 %inc = add nsw i32 %i.04, 4 77 %cmp = icmp slt i32 %inc, %b 78 br i1 %cmp, label %for.body, label %for.end 79 80 for.end: 81 ret void 82 } 83 84 ; CHECK-LABEL: @test_pos8_ir_slt 85 ; CHECK: loop0 86 ; a < b 87 define void @test_pos8_ir_slt(i8* nocapture %p, i32 %a, i32 %b) nounwind { 88 entry: 89 %cmp3 = icmp slt i32 25466, %b 90 br i1 %cmp3, label %for.body.lr.ph, label %for.end 91 92 for.body.lr.ph: 93 br label %for.body 94 95 for.body: 96 %i.04 = phi i32 [ 25466, %for.body.lr.ph ], [ %inc, %for.body ] 97 %arrayidx = getelementptr inbounds i8, i8* %p, i32 %i.04 98 %0 = load i8, i8* %arrayidx, align 1 99 %conv = zext i8 %0 to i32 100 %add = add nsw i32 %conv, 1 101 %conv1 = trunc i32 %add to i8 102 store i8 %conv1, i8* %arrayidx, align 1 103 %inc = add nsw i32 %i.04, 8 104 %cmp = icmp slt i32 %inc, %b 105 br i1 %cmp, label %for.body, label %for.end 106 107 for.end: 108 ret void 109 } 110 111 ; CHECK-LABEL: @test_pos16_ir_slt 112 ; CHECK: loop0 113 ; a < b 114 define void @test_pos16_ir_slt(i8* nocapture %p, i32 %a, i32 %b) nounwind { 115 entry: 116 %cmp3 = icmp slt i32 9295, %b 117 br i1 %cmp3, label %for.body.lr.ph, label %for.end 118 119 for.body.lr.ph: 120 br label %for.body 121 122 for.body: 123 %i.04 = phi i32 [ 9295, %for.body.lr.ph ], [ %inc, %for.body ] 124 %arrayidx = getelementptr inbounds i8, i8* %p, i32 %i.04 125 %0 = load i8, i8* %arrayidx, align 1 126 %conv = zext i8 %0 to i32 127 %add = add nsw i32 %conv, 1 128 %conv1 = trunc i32 %add to i8 129 store i8 %conv1, i8* %arrayidx, align 1 130 %inc = add nsw i32 %i.04, 16 131 %cmp = icmp slt i32 %inc, %b 132 br i1 %cmp, label %for.body, label %for.end 133 134 for.end: 135 ret void 136 } 137 138 ; CHECK-LABEL: @test_pos1_ri_slt 139 ; CHECK: loop0 140 ; a < b 141 define void @test_pos1_ri_slt(i8* nocapture %p, i32 %a, i32 %b) nounwind { 142 entry: 143 %cmp3 = icmp slt i32 %a, 31236 144 br i1 %cmp3, label %for.body.lr.ph, label %for.end 145 146 for.body.lr.ph: 147 br label %for.body 148 149 for.body: 150 %i.04 = phi i32 [ %a, %for.body.lr.ph ], [ %inc, %for.body ] 151 %arrayidx = getelementptr inbounds i8, i8* %p, i32 %i.04 152 %0 = load i8, i8* %arrayidx, align 1 153 %conv = zext i8 %0 to i32 154 %add = add nsw i32 %conv, 1 155 %conv1 = trunc i32 %add to i8 156 store i8 %conv1, i8* %arrayidx, align 1 157 %inc = add nsw i32 %i.04, 1 158 %cmp = icmp slt i32 %inc, 31236 159 br i1 %cmp, label %for.body, label %for.end 160 161 for.end: 162 ret void 163 } 164 165 ; CHECK-LABEL: @test_pos2_ri_slt 166 ; CHECK: loop0 167 ; a < b 168 define void @test_pos2_ri_slt(i8* nocapture %p, i32 %a, i32 %b) nounwind { 169 entry: 170 %cmp3 = icmp slt i32 %a, 22653 171 br i1 %cmp3, label %for.body.lr.ph, label %for.end 172 173 for.body.lr.ph: 174 br label %for.body 175 176 for.body: 177 %i.04 = phi i32 [ %a, %for.body.lr.ph ], [ %inc, %for.body ] 178 %arrayidx = getelementptr inbounds i8, i8* %p, i32 %i.04 179 %0 = load i8, i8* %arrayidx, align 1 180 %conv = zext i8 %0 to i32 181 %add = add nsw i32 %conv, 1 182 %conv1 = trunc i32 %add to i8 183 store i8 %conv1, i8* %arrayidx, align 1 184 %inc = add nsw i32 %i.04, 2 185 %cmp = icmp slt i32 %inc, 22653 186 br i1 %cmp, label %for.body, label %for.end 187 188 for.end: 189 ret void 190 } 191 192 ; CHECK-LABEL: @test_pos4_ri_slt 193 ; CHECK: loop0 194 ; a < b 195 define void @test_pos4_ri_slt(i8* nocapture %p, i32 %a, i32 %b) nounwind { 196 entry: 197 %cmp3 = icmp slt i32 %a, 1431 198 br i1 %cmp3, label %for.body.lr.ph, label %for.end 199 200 for.body.lr.ph: 201 br label %for.body 202 203 for.body: 204 %i.04 = phi i32 [ %a, %for.body.lr.ph ], [ %inc, %for.body ] 205 %arrayidx = getelementptr inbounds i8, i8* %p, i32 %i.04 206 %0 = load i8, i8* %arrayidx, align 1 207 %conv = zext i8 %0 to i32 208 %add = add nsw i32 %conv, 1 209 %conv1 = trunc i32 %add to i8 210 store i8 %conv1, i8* %arrayidx, align 1 211 %inc = add nsw i32 %i.04, 4 212 %cmp = icmp slt i32 %inc, 1431 213 br i1 %cmp, label %for.body, label %for.end 214 215 for.end: 216 ret void 217 } 218 219 ; CHECK-LABEL: @test_pos8_ri_slt 220 ; CHECK: loop0 221 ; a < b 222 define void @test_pos8_ri_slt(i8* nocapture %p, i32 %a, i32 %b) nounwind { 223 entry: 224 %cmp3 = icmp slt i32 %a, 22403 225 br i1 %cmp3, label %for.body.lr.ph, label %for.end 226 227 for.body.lr.ph: 228 br label %for.body 229 230 for.body: 231 %i.04 = phi i32 [ %a, %for.body.lr.ph ], [ %inc, %for.body ] 232 %arrayidx = getelementptr inbounds i8, i8* %p, i32 %i.04 233 %0 = load i8, i8* %arrayidx, align 1 234 %conv = zext i8 %0 to i32 235 %add = add nsw i32 %conv, 1 236 %conv1 = trunc i32 %add to i8 237 store i8 %conv1, i8* %arrayidx, align 1 238 %inc = add nsw i32 %i.04, 8 239 %cmp = icmp slt i32 %inc, 22403 240 br i1 %cmp, label %for.body, label %for.end 241 242 for.end: 243 ret void 244 } 245 246 ; CHECK-LABEL: @test_pos16_ri_slt 247 ; CHECK: loop0 248 ; a < b 249 define void @test_pos16_ri_slt(i8* nocapture %p, i32 %a, i32 %b) nounwind { 250 entry: 251 %cmp3 = icmp slt i32 %a, 21715 252 br i1 %cmp3, label %for.body.lr.ph, label %for.end 253 254 for.body.lr.ph: 255 br label %for.body 256 257 for.body: 258 %i.04 = phi i32 [ %a, %for.body.lr.ph ], [ %inc, %for.body ] 259 %arrayidx = getelementptr inbounds i8, i8* %p, i32 %i.04 260 %0 = load i8, i8* %arrayidx, align 1 261 %conv = zext i8 %0 to i32 262 %add = add nsw i32 %conv, 1 263 %conv1 = trunc i32 %add to i8 264 store i8 %conv1, i8* %arrayidx, align 1 265 %inc = add nsw i32 %i.04, 16 266 %cmp = icmp slt i32 %inc, 21715 267 br i1 %cmp, label %for.body, label %for.end 268 269 for.end: 270 ret void 271 } 272 273 ; CHECK-LABEL: @test_pos1_rr_slt 274 ; CHECK: loop0 275 ; a < b 276 define void @test_pos1_rr_slt(i8* nocapture %p, i32 %a, i32 %b) nounwind { 277 entry: 278 %cmp3 = icmp slt i32 %a, %b 279 br i1 %cmp3, label %for.body.lr.ph, label %for.end 280 281 for.body.lr.ph: 282 br label %for.body 283 284 for.body: 285 %i.04 = phi i32 [ %a, %for.body.lr.ph ], [ %inc, %for.body ] 286 %arrayidx = getelementptr inbounds i8, i8* %p, i32 %i.04 287 %0 = load i8, i8* %arrayidx, align 1 288 %conv = zext i8 %0 to i32 289 %add = add nsw i32 %conv, 1 290 %conv1 = trunc i32 %add to i8 291 store i8 %conv1, i8* %arrayidx, align 1 292 %inc = add nsw i32 %i.04, 1 293 %cmp = icmp slt i32 %inc, %b 294 br i1 %cmp, label %for.body, label %for.end 295 296 for.end: 297 ret void 298 } 299 300 ; CHECK-LABEL: @test_pos2_rr_slt 301 ; CHECK: loop0 302 ; a < b 303 define void @test_pos2_rr_slt(i8* nocapture %p, i32 %a, i32 %b) nounwind { 304 entry: 305 %cmp3 = icmp slt i32 %a, %b 306 br i1 %cmp3, label %for.body.lr.ph, label %for.end 307 308 for.body.lr.ph: 309 br label %for.body 310 311 for.body: 312 %i.04 = phi i32 [ %a, %for.body.lr.ph ], [ %inc, %for.body ] 313 %arrayidx = getelementptr inbounds i8, i8* %p, i32 %i.04 314 %0 = load i8, i8* %arrayidx, align 1 315 %conv = zext i8 %0 to i32 316 %add = add nsw i32 %conv, 1 317 %conv1 = trunc i32 %add to i8 318 store i8 %conv1, i8* %arrayidx, align 1 319 %inc = add nsw i32 %i.04, 2 320 %cmp = icmp slt i32 %inc, %b 321 br i1 %cmp, label %for.body, label %for.end 322 323 for.end: 324 ret void 325 } 326 327 ; CHECK-LABEL: @test_pos4_rr_slt 328 ; CHECK: loop0 329 ; a < b 330 define void @test_pos4_rr_slt(i8* nocapture %p, i32 %a, i32 %b) nounwind { 331 entry: 332 %cmp3 = icmp slt i32 %a, %b 333 br i1 %cmp3, label %for.body.lr.ph, label %for.end 334 335 for.body.lr.ph: 336 br label %for.body 337 338 for.body: 339 %i.04 = phi i32 [ %a, %for.body.lr.ph ], [ %inc, %for.body ] 340 %arrayidx = getelementptr inbounds i8, i8* %p, i32 %i.04 341 %0 = load i8, i8* %arrayidx, align 1 342 %conv = zext i8 %0 to i32 343 %add = add nsw i32 %conv, 1 344 %conv1 = trunc i32 %add to i8 345 store i8 %conv1, i8* %arrayidx, align 1 346 %inc = add nsw i32 %i.04, 4 347 %cmp = icmp slt i32 %inc, %b 348 br i1 %cmp, label %for.body, label %for.end 349 350 for.end: 351 ret void 352 } 353 354 ; CHECK-LABEL: @test_pos8_rr_slt 355 ; CHECK: loop0 356 ; a < b 357 define void @test_pos8_rr_slt(i8* nocapture %p, i32 %a, i32 %b) nounwind { 358 entry: 359 %cmp3 = icmp slt i32 %a, %b 360 br i1 %cmp3, label %for.body.lr.ph, label %for.end 361 362 for.body.lr.ph: 363 br label %for.body 364 365 for.body: 366 %i.04 = phi i32 [ %a, %for.body.lr.ph ], [ %inc, %for.body ] 367 %arrayidx = getelementptr inbounds i8, i8* %p, i32 %i.04 368 %0 = load i8, i8* %arrayidx, align 1 369 %conv = zext i8 %0 to i32 370 %add = add nsw i32 %conv, 1 371 %conv1 = trunc i32 %add to i8 372 store i8 %conv1, i8* %arrayidx, align 1 373 %inc = add nsw i32 %i.04, 8 374 %cmp = icmp slt i32 %inc, %b 375 br i1 %cmp, label %for.body, label %for.end 376 377 for.end: 378 ret void 379 } 380 381 ; CHECK-LABEL: @test_pos16_rr_slt 382 ; CHECK: loop0 383 ; a < b 384 define void @test_pos16_rr_slt(i8* nocapture %p, i32 %a, i32 %b) nounwind { 385 entry: 386 %cmp3 = icmp slt i32 %a, %b 387 br i1 %cmp3, label %for.body.lr.ph, label %for.end 388 389 for.body.lr.ph: 390 br label %for.body 391 392 for.body: 393 %i.04 = phi i32 [ %a, %for.body.lr.ph ], [ %inc, %for.body ] 394 %arrayidx = getelementptr inbounds i8, i8* %p, i32 %i.04 395 %0 = load i8, i8* %arrayidx, align 1 396 %conv = zext i8 %0 to i32 397 %add = add nsw i32 %conv, 1 398 %conv1 = trunc i32 %add to i8 399 store i8 %conv1, i8* %arrayidx, align 1 400 %inc = add nsw i32 %i.04, 16 401 %cmp = icmp slt i32 %inc, %b 402 br i1 %cmp, label %for.body, label %for.end 403 404 for.end: 405 ret void 406 } 407 408 409 410
