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