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_sle 6 ; CHECK: bdnz 7 ; a < b 8 define void @test_pos1_ir_sle(i8* nocapture %p, i32 %a, i32 %b) nounwind { 9 entry: 10 %cmp3 = icmp sle i32 28395, %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 [ 28395, %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 sle 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_sle 35 ; FIXME: Support this loop! 36 ; CHECK-NOT: bdnz 37 ; a < b 38 define void @test_pos2_ir_sle(i8* nocapture %p, i32 %a, i32 %b) nounwind { 39 entry: 40 %cmp3 = icmp sle i32 9073, %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 [ 9073, %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 sle 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_sle 65 ; FIXME: Support this loop! 66 ; CHECK-NOT: bdnz 67 ; a < b 68 define void @test_pos4_ir_sle(i8* nocapture %p, i32 %a, i32 %b) nounwind { 69 entry: 70 %cmp3 = icmp sle i32 21956, %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 [ 21956, %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 sle 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_sle 95 ; FIXME: Support this loop! 96 ; CHECK-NOT: bdnz 97 ; a < b 98 define void @test_pos8_ir_sle(i8* nocapture %p, i32 %a, i32 %b) nounwind { 99 entry: 100 %cmp3 = icmp sle i32 16782, %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 [ 16782, %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 sle 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_sle 125 ; FIXME: Support this loop! 126 ; CHECK-NOT: bdnz 127 ; a < b 128 define void @test_pos16_ir_sle(i8* nocapture %p, i32 %a, i32 %b) nounwind { 129 entry: 130 %cmp3 = icmp sle i32 19097, %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 [ 19097, %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 sle 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_sle 155 ; CHECK: bdnz 156 ; a < b 157 define void @test_pos1_ri_sle(i8* nocapture %p, i32 %a, i32 %b) nounwind { 158 entry: 159 %cmp3 = icmp sle i32 %a, 14040 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 sle i32 %inc, 14040 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_sle 184 ; CHECK: bdnz 185 ; a < b 186 define void @test_pos2_ri_sle(i8* nocapture %p, i32 %a, i32 %b) nounwind { 187 entry: 188 %cmp3 = icmp sle i32 %a, 13710 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 sle i32 %inc, 13710 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_sle 213 ; CHECK: bdnz 214 ; a < b 215 define void @test_pos4_ri_sle(i8* nocapture %p, i32 %a, i32 %b) nounwind { 216 entry: 217 %cmp3 = icmp sle i32 %a, 9920 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 sle i32 %inc, 9920 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_sle 242 ; CHECK: bdnz 243 ; a < b 244 define void @test_pos8_ri_sle(i8* nocapture %p, i32 %a, i32 %b) nounwind { 245 entry: 246 %cmp3 = icmp sle i32 %a, 18924 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 sle i32 %inc, 18924 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_sle 271 ; CHECK: bdnz 272 ; a < b 273 define void @test_pos16_ri_sle(i8* nocapture %p, i32 %a, i32 %b) nounwind { 274 entry: 275 %cmp3 = icmp sle i32 %a, 11812 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 sle i32 %inc, 11812 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_sle 300 ; FIXME: Support this loop! 301 ; CHECK-NOT: bdnz 302 ; a < b 303 define void @test_pos1_rr_sle(i8* nocapture %p, i32 %a, i32 %b) nounwind { 304 entry: 305 %cmp3 = icmp sle i32 %a, %b 306 br i1 %cmp3, label %for.body.lr.ph, label %for.end 307 308 for.body.lr.ph: ; preds = %entry 309 br label %for.body 310 311 for.body: ; preds = %for.body.lr.ph, %for.body 312 %i.04 = phi i32 [ %a, %for.body.lr.ph ], [ %inc, %for.body ] 313 %arrayidx = getelementptr inbounds i8* %p, i32 %i.04 314 %0 = load 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, 1 320 %cmp = icmp sle i32 %inc, %b 321 br i1 %cmp, label %for.body, label %for.end 322 323 for.end: ; preds = %for.body, %entry 324 ret void 325 } 326 327 328 329 ; CHECK: test_pos2_rr_sle 330 ; FIXME: Support this loop! 331 ; CHECK-NOT: bdnz 332 ; a < b 333 define void @test_pos2_rr_sle(i8* nocapture %p, i32 %a, i32 %b) nounwind { 334 entry: 335 %cmp3 = icmp sle i32 %a, %b 336 br i1 %cmp3, label %for.body.lr.ph, label %for.end 337 338 for.body.lr.ph: ; preds = %entry 339 br label %for.body 340 341 for.body: ; preds = %for.body.lr.ph, %for.body 342 %i.04 = phi i32 [ %a, %for.body.lr.ph ], [ %inc, %for.body ] 343 %arrayidx = getelementptr inbounds i8* %p, i32 %i.04 344 %0 = load i8* %arrayidx, align 1 345 %conv = zext i8 %0 to i32 346 %add = add nsw i32 %conv, 1 347 %conv1 = trunc i32 %add to i8 348 store i8 %conv1, i8* %arrayidx, align 1 349 %inc = add nsw i32 %i.04, 2 350 %cmp = icmp sle i32 %inc, %b 351 br i1 %cmp, label %for.body, label %for.end 352 353 for.end: ; preds = %for.body, %entry 354 ret void 355 } 356 357 358 359 ; CHECK: test_pos4_rr_sle 360 ; FIXME: Support this loop! 361 ; CHECK-NOT: bdnz 362 ; a < b 363 define void @test_pos4_rr_sle(i8* nocapture %p, i32 %a, i32 %b) nounwind { 364 entry: 365 %cmp3 = icmp sle i32 %a, %b 366 br i1 %cmp3, label %for.body.lr.ph, label %for.end 367 368 for.body.lr.ph: ; preds = %entry 369 br label %for.body 370 371 for.body: ; preds = %for.body.lr.ph, %for.body 372 %i.04 = phi i32 [ %a, %for.body.lr.ph ], [ %inc, %for.body ] 373 %arrayidx = getelementptr inbounds i8* %p, i32 %i.04 374 %0 = load i8* %arrayidx, align 1 375 %conv = zext i8 %0 to i32 376 %add = add nsw i32 %conv, 1 377 %conv1 = trunc i32 %add to i8 378 store i8 %conv1, i8* %arrayidx, align 1 379 %inc = add nsw i32 %i.04, 4 380 %cmp = icmp sle i32 %inc, %b 381 br i1 %cmp, label %for.body, label %for.end 382 383 for.end: ; preds = %for.body, %entry 384 ret void 385 } 386 387 388 389 ; CHECK: test_pos8_rr_sle 390 ; FIXME: Support this loop! 391 ; CHECK-NOT: bdnz 392 ; a < b 393 define void @test_pos8_rr_sle(i8* nocapture %p, i32 %a, i32 %b) nounwind { 394 entry: 395 %cmp3 = icmp sle i32 %a, %b 396 br i1 %cmp3, label %for.body.lr.ph, label %for.end 397 398 for.body.lr.ph: ; preds = %entry 399 br label %for.body 400 401 for.body: ; preds = %for.body.lr.ph, %for.body 402 %i.04 = phi i32 [ %a, %for.body.lr.ph ], [ %inc, %for.body ] 403 %arrayidx = getelementptr inbounds i8* %p, i32 %i.04 404 %0 = load i8* %arrayidx, align 1 405 %conv = zext i8 %0 to i32 406 %add = add nsw i32 %conv, 1 407 %conv1 = trunc i32 %add to i8 408 store i8 %conv1, i8* %arrayidx, align 1 409 %inc = add nsw i32 %i.04, 8 410 %cmp = icmp sle i32 %inc, %b 411 br i1 %cmp, label %for.body, label %for.end 412 413 for.end: ; preds = %for.body, %entry 414 ret void 415 } 416 417 418 419 ; CHECK: test_pos16_rr_sle 420 ; FIXME: Support this loop! 421 ; CHECK-NOT: bdnz 422 ; a < b 423 define void @test_pos16_rr_sle(i8* nocapture %p, i32 %a, i32 %b) nounwind { 424 entry: 425 %cmp3 = icmp sle i32 %a, %b 426 br i1 %cmp3, label %for.body.lr.ph, label %for.end 427 428 for.body.lr.ph: ; preds = %entry 429 br label %for.body 430 431 for.body: ; preds = %for.body.lr.ph, %for.body 432 %i.04 = phi i32 [ %a, %for.body.lr.ph ], [ %inc, %for.body ] 433 %arrayidx = getelementptr inbounds i8* %p, i32 %i.04 434 %0 = load i8* %arrayidx, align 1 435 %conv = zext i8 %0 to i32 436 %add = add nsw i32 %conv, 1 437 %conv1 = trunc i32 %add to i8 438 store i8 %conv1, i8* %arrayidx, align 1 439 %inc = add nsw i32 %i.04, 16 440 %cmp = icmp sle i32 %inc, %b 441 br i1 %cmp, label %for.body, label %for.end 442 443 for.end: ; preds = %for.body, %entry 444 ret void 445 } 446 447
