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