1 ; RUN: opt -gvn-hoist -S < %s | FileCheck %s 2 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 3 target triple = "x86_64-unknown-linux-gnu" 4 5 @GlobalVar = internal global float 1.000000e+00 6 7 ; Check that all scalar expressions are hoisted. 8 ; 9 ; CHECK-LABEL: @scalarsHoisting 10 ; CHECK: fsub 11 ; CHECK: fmul 12 ; CHECK: fsub 13 ; CHECK: fmul 14 ; CHECK-NOT: fmul 15 ; CHECK-NOT: fsub 16 define float @scalarsHoisting(float %d, float %min, float %max, float %a) { 17 entry: 18 %div = fdiv float 1.000000e+00, %d 19 %cmp = fcmp oge float %div, 0.000000e+00 20 br i1 %cmp, label %if.then, label %if.else 21 22 if.then: ; preds = %entry 23 %sub = fsub float %min, %a 24 %mul = fmul float %sub, %div 25 %sub1 = fsub float %max, %a 26 %mul2 = fmul float %sub1, %div 27 br label %if.end 28 29 if.else: ; preds = %entry 30 %sub3 = fsub float %max, %a 31 %mul4 = fmul float %sub3, %div 32 %sub5 = fsub float %min, %a 33 %mul6 = fmul float %sub5, %div 34 br label %if.end 35 36 if.end: ; preds = %if.else, %if.then 37 %tmax.0 = phi float [ %mul2, %if.then ], [ %mul6, %if.else ] 38 %tmin.0 = phi float [ %mul, %if.then ], [ %mul4, %if.else ] 39 %add = fadd float %tmax.0, %tmin.0 40 ret float %add 41 } 42 43 ; Check that all loads and scalars depending on the loads are hoisted. 44 ; Check that getelementptr computation gets hoisted before the load. 45 ; 46 ; CHECK-LABEL: @readsAndScalarsHoisting 47 ; CHECK: load 48 ; CHECK: load 49 ; CHECK: load 50 ; CHECK: fsub 51 ; CHECK: fmul 52 ; CHECK: fsub 53 ; CHECK: fmul 54 ; CHECK-NOT: load 55 ; CHECK-NOT: fmul 56 ; CHECK-NOT: fsub 57 define float @readsAndScalarsHoisting(float %d, float* %min, float* %max, float* %a) { 58 entry: 59 %div = fdiv float 1.000000e+00, %d 60 %cmp = fcmp oge float %div, 0.000000e+00 61 br i1 %cmp, label %if.then, label %if.else 62 63 if.then: ; preds = %entry 64 %A = getelementptr float, float* %min, i32 1 65 %0 = load float, float* %A, align 4 66 %1 = load float, float* %a, align 4 67 %sub = fsub float %0, %1 68 %mul = fmul float %sub, %div 69 %2 = load float, float* %max, align 4 70 %sub1 = fsub float %2, %1 71 %mul2 = fmul float %sub1, %div 72 br label %if.end 73 74 if.else: ; preds = %entry 75 %3 = load float, float* %max, align 4 76 %4 = load float, float* %a, align 4 77 %sub3 = fsub float %3, %4 78 %mul4 = fmul float %sub3, %div 79 %B = getelementptr float, float* %min, i32 1 80 %5 = load float, float* %B, align 4 81 %sub5 = fsub float %5, %4 82 %mul6 = fmul float %sub5, %div 83 br label %if.end 84 85 if.end: ; preds = %if.else, %if.then 86 %tmax.0 = phi float [ %mul2, %if.then ], [ %mul6, %if.else ] 87 %tmin.0 = phi float [ %mul, %if.then ], [ %mul4, %if.else ] 88 %add = fadd float %tmax.0, %tmin.0 89 ret float %add 90 } 91 92 ; Check that we do not hoist loads after a store: the first two loads will be 93 ; hoisted, and then the third load will not be hoisted. 94 ; 95 ; CHECK-LABEL: @readsAndWrites 96 ; CHECK: load 97 ; CHECK: load 98 ; CHECK: fsub 99 ; CHECK: fmul 100 ; CHECK: store 101 ; CHECK: load 102 ; CHECK: fsub 103 ; CHECK: fmul 104 ; CHECK: load 105 ; CHECK: fsub 106 ; CHECK: fmul 107 ; CHECK-NOT: load 108 ; CHECK-NOT: fmul 109 ; CHECK-NOT: fsub 110 define float @readsAndWrites(float %d, float* %min, float* %max, float* %a) { 111 entry: 112 %div = fdiv float 1.000000e+00, %d 113 %cmp = fcmp oge float %div, 0.000000e+00 114 br i1 %cmp, label %if.then, label %if.else 115 116 if.then: ; preds = %entry 117 %0 = load float, float* %min, align 4 118 %1 = load float, float* %a, align 4 119 store float %0, float* @GlobalVar 120 %sub = fsub float %0, %1 121 %mul = fmul float %sub, %div 122 %2 = load float, float* %max, align 4 123 %sub1 = fsub float %2, %1 124 %mul2 = fmul float %sub1, %div 125 br label %if.end 126 127 if.else: ; preds = %entry 128 %3 = load float, float* %max, align 4 129 %4 = load float, float* %a, align 4 130 %sub3 = fsub float %3, %4 131 %mul4 = fmul float %sub3, %div 132 %5 = load float, float* %min, align 4 133 %sub5 = fsub float %5, %4 134 %mul6 = fmul float %sub5, %div 135 br label %if.end 136 137 if.end: ; preds = %if.else, %if.then 138 %tmax.0 = phi float [ %mul2, %if.then ], [ %mul6, %if.else ] 139 %tmin.0 = phi float [ %mul, %if.then ], [ %mul4, %if.else ] 140 %add = fadd float %tmax.0, %tmin.0 141 ret float %add 142 } 143 144 ; Check that we do hoist loads when the store is above the insertion point. 145 ; 146 ; CHECK-LABEL: @readsAndWriteAboveInsertPt 147 ; CHECK: load 148 ; CHECK: load 149 ; CHECK: load 150 ; CHECK: fsub 151 ; CHECK: fmul 152 ; CHECK: fsub 153 ; CHECK: fmul 154 ; CHECK-NOT: load 155 ; CHECK-NOT: fmul 156 ; CHECK-NOT: fsub 157 define float @readsAndWriteAboveInsertPt(float %d, float* %min, float* %max, float* %a) { 158 entry: 159 %div = fdiv float 1.000000e+00, %d 160 store float 0.000000e+00, float* @GlobalVar 161 %cmp = fcmp oge float %div, 0.000000e+00 162 br i1 %cmp, label %if.then, label %if.else 163 164 if.then: ; preds = %entry 165 %0 = load float, float* %min, align 4 166 %1 = load float, float* %a, align 4 167 %sub = fsub float %0, %1 168 %mul = fmul float %sub, %div 169 %2 = load float, float* %max, align 4 170 %sub1 = fsub float %2, %1 171 %mul2 = fmul float %sub1, %div 172 br label %if.end 173 174 if.else: ; preds = %entry 175 %3 = load float, float* %max, align 4 176 %4 = load float, float* %a, align 4 177 %sub3 = fsub float %3, %4 178 %mul4 = fmul float %sub3, %div 179 %5 = load float, float* %min, align 4 180 %sub5 = fsub float %5, %4 181 %mul6 = fmul float %sub5, %div 182 br label %if.end 183 184 if.end: ; preds = %if.else, %if.then 185 %tmax.0 = phi float [ %mul2, %if.then ], [ %mul6, %if.else ] 186 %tmin.0 = phi float [ %mul, %if.then ], [ %mul4, %if.else ] 187 %add = fadd float %tmax.0, %tmin.0 188 ret float %add 189 } 190 191 ; Check that dependent expressions are hoisted. 192 ; CHECK-LABEL: @dependentScalarsHoisting 193 ; CHECK: fsub 194 ; CHECK: fadd 195 ; CHECK: fdiv 196 ; CHECK: fmul 197 ; CHECK-NOT: fsub 198 ; CHECK-NOT: fadd 199 ; CHECK-NOT: fdiv 200 ; CHECK-NOT: fmul 201 define float @dependentScalarsHoisting(float %a, float %b, i1 %c) { 202 entry: 203 br i1 %c, label %if.then, label %if.else 204 205 if.then: 206 %d = fsub float %b, %a 207 %e = fadd float %d, %a 208 %f = fdiv float %e, %a 209 %g = fmul float %f, %a 210 br label %if.end 211 212 if.else: 213 %h = fsub float %b, %a 214 %i = fadd float %h, %a 215 %j = fdiv float %i, %a 216 %k = fmul float %j, %a 217 br label %if.end 218 219 if.end: 220 %r = phi float [ %g, %if.then ], [ %k, %if.else ] 221 ret float %r 222 } 223 224 ; Check that all independent expressions are hoisted. 225 ; CHECK-LABEL: @independentScalarsHoisting 226 ; CHECK: fsub 227 ; CHECK: fdiv 228 ; CHECK: fmul 229 ; CHECK: fadd 230 ; CHECK-NOT: fsub 231 ; CHECK-NOT: fdiv 232 ; CHECK-NOT: fmul 233 define float @independentScalarsHoisting(float %a, float %b, i1 %c) { 234 entry: 235 br i1 %c, label %if.then, label %if.else 236 237 if.then: 238 %d = fadd float %b, %a 239 %e = fsub float %b, %a 240 %f = fdiv float %b, %a 241 %g = fmul float %b, %a 242 br label %if.end 243 244 if.else: 245 %i = fadd float %b, %a 246 %h = fsub float %b, %a 247 %j = fdiv float %b, %a 248 %k = fmul float %b, %a 249 br label %if.end 250 251 if.end: 252 %p = phi float [ %d, %if.then ], [ %i, %if.else ] 253 %q = phi float [ %e, %if.then ], [ %h, %if.else ] 254 %r = phi float [ %f, %if.then ], [ %j, %if.else ] 255 %s = phi float [ %g, %if.then ], [ %k, %if.else ] 256 %t = fadd float %p, %q 257 %u = fadd float %r, %s 258 %v = fadd float %t, %u 259 ret float %v 260 } 261 262 ; Check that we hoist load and scalar expressions in triangles. 263 ; CHECK-LABEL: @triangleHoisting 264 ; CHECK: load 265 ; CHECK: load 266 ; CHECK: load 267 ; CHECK: fsub 268 ; CHECK: fmul 269 ; CHECK: fsub 270 ; CHECK: fmul 271 ; CHECK-NOT: load 272 ; CHECK-NOT: fmul 273 ; CHECK-NOT: fsub 274 define float @triangleHoisting(float %d, float* %min, float* %max, float* %a) { 275 entry: 276 %div = fdiv float 1.000000e+00, %d 277 %cmp = fcmp oge float %div, 0.000000e+00 278 br i1 %cmp, label %if.then, label %if.end 279 280 if.then: ; preds = %entry 281 %0 = load float, float* %min, align 4 282 %1 = load float, float* %a, align 4 283 %sub = fsub float %0, %1 284 %mul = fmul float %sub, %div 285 %2 = load float, float* %max, align 4 286 %sub1 = fsub float %2, %1 287 %mul2 = fmul float %sub1, %div 288 br label %if.end 289 290 if.end: ; preds = %entry 291 %p1 = phi float [ %mul2, %if.then ], [ 0.000000e+00, %entry ] 292 %p2 = phi float [ %mul, %if.then ], [ 0.000000e+00, %entry ] 293 %3 = load float, float* %max, align 4 294 %4 = load float, float* %a, align 4 295 %sub3 = fsub float %3, %4 296 %mul4 = fmul float %sub3, %div 297 %5 = load float, float* %min, align 4 298 %sub5 = fsub float %5, %4 299 %mul6 = fmul float %sub5, %div 300 301 %x = fadd float %p1, %mul6 302 %y = fadd float %p2, %mul4 303 %z = fadd float %x, %y 304 ret float %z 305 } 306 307 ; Check that we do not hoist loads past stores within a same basic block. 308 ; CHECK-LABEL: @noHoistInSingleBBWithStore 309 ; CHECK: load 310 ; CHECK: store 311 ; CHECK: load 312 ; CHECK: store 313 define i32 @noHoistInSingleBBWithStore() { 314 entry: 315 %D = alloca i32, align 4 316 %0 = bitcast i32* %D to i8* 317 %bf = load i8, i8* %0, align 4 318 %bf.clear = and i8 %bf, -3 319 store i8 %bf.clear, i8* %0, align 4 320 %bf1 = load i8, i8* %0, align 4 321 %bf.clear1 = and i8 %bf1, 1 322 store i8 %bf.clear1, i8* %0, align 4 323 ret i32 0 324 } 325 326 ; Check that we do not hoist loads past calls within a same basic block. 327 ; CHECK-LABEL: @noHoistInSingleBBWithCall 328 ; CHECK: load 329 ; CHECK: call 330 ; CHECK: load 331 declare void @foo() 332 define i32 @noHoistInSingleBBWithCall() { 333 entry: 334 %D = alloca i32, align 4 335 %0 = bitcast i32* %D to i8* 336 %bf = load i8, i8* %0, align 4 337 %bf.clear = and i8 %bf, -3 338 call void @foo() 339 %bf1 = load i8, i8* %0, align 4 340 %bf.clear1 = and i8 %bf1, 1 341 ret i32 0 342 } 343 344 ; Check that we do not hoist loads past stores in any branch of a diamond. 345 ; CHECK-LABEL: @noHoistInDiamondWithOneStore1 346 ; CHECK: fdiv 347 ; CHECK: fcmp 348 ; CHECK: br 349 define float @noHoistInDiamondWithOneStore1(float %d, float* %min, float* %max, float* %a) { 350 entry: 351 %div = fdiv float 1.000000e+00, %d 352 %cmp = fcmp oge float %div, 0.000000e+00 353 br i1 %cmp, label %if.then, label %if.else 354 355 if.then: ; preds = %entry 356 store float 0.000000e+00, float* @GlobalVar 357 %0 = load float, float* %min, align 4 358 %1 = load float, float* %a, align 4 359 %sub = fsub float %0, %1 360 %mul = fmul float %sub, %div 361 %2 = load float, float* %max, align 4 362 %sub1 = fsub float %2, %1 363 %mul2 = fmul float %sub1, %div 364 br label %if.end 365 366 if.else: ; preds = %entry 367 ; There are no side effects on the if.else branch. 368 %3 = load float, float* %max, align 4 369 %4 = load float, float* %a, align 4 370 %sub3 = fsub float %3, %4 371 %mul4 = fmul float %sub3, %div 372 %5 = load float, float* %min, align 4 373 %sub5 = fsub float %5, %4 374 %mul6 = fmul float %sub5, %div 375 br label %if.end 376 377 if.end: ; preds = %if.else, %if.then 378 %tmax.0 = phi float [ %mul2, %if.then ], [ %mul6, %if.else ] 379 %tmin.0 = phi float [ %mul, %if.then ], [ %mul4, %if.else ] 380 381 %6 = load float, float* %max, align 4 382 %7 = load float, float* %a, align 4 383 %sub6 = fsub float %6, %7 384 %mul7 = fmul float %sub6, %div 385 %8 = load float, float* %min, align 4 386 %sub8 = fsub float %8, %7 387 %mul9 = fmul float %sub8, %div 388 389 %add = fadd float %tmax.0, %tmin.0 390 ret float %add 391 } 392 393 ; Check that we do not hoist loads past stores from half diamond. 394 ; CHECK-LABEL: @noHoistInHalfDiamondPastStore 395 ; CHECK: load 396 ; CHECK-NEXT: load 397 ; CHECK-NEXT: store 398 ; CHECK-NEXT: br 399 ; CHECK: load 400 ; CHECK: load 401 ; CHECK: load 402 ; CHECK: br 403 define float @noHoistInHalfDiamondPastStore(float %d, float* %min, float* %max, float* %a) { 404 entry: 405 %div = fdiv float 1.000000e+00, %d 406 %cmp = fcmp oge float %div, 0.000000e+00 407 %0 = load float, float* %min, align 4 408 %1 = load float, float* %a, align 4 409 410 ; Loads should not be hoisted above this store. 411 store float 0.000000e+00, float* @GlobalVar 412 413 br i1 %cmp, label %if.then, label %if.end 414 415 if.then: 416 ; There are no side effects on the if.then branch. 417 %2 = load float, float* %max, align 4 418 %3 = load float, float* %a, align 4 419 %sub3 = fsub float %2, %3 420 %mul4 = fmul float %sub3, %div 421 %4 = load float, float* %min, align 4 422 %sub5 = fsub float %4, %3 423 %mul6 = fmul float %sub5, %div 424 br label %if.end 425 426 if.end: 427 %tmax.0 = phi float [ %mul4, %if.then ], [ %0, %entry ] 428 %tmin.0 = phi float [ %mul6, %if.then ], [ %1, %entry ] 429 430 %add = fadd float %tmax.0, %tmin.0 431 ret float %add 432 } 433 434 ; Check that we do not hoist loads past a store in any branch of a diamond. 435 ; CHECK-LABEL: @noHoistInDiamondWithOneStore2 436 ; CHECK: fdiv 437 ; CHECK: fcmp 438 ; CHECK: br 439 define float @noHoistInDiamondWithOneStore2(float %d, float* %min, float* %max, float* %a) { 440 entry: 441 %div = fdiv float 1.000000e+00, %d 442 %cmp = fcmp oge float %div, 0.000000e+00 443 br i1 %cmp, label %if.then, label %if.else 444 445 if.then: ; preds = %entry 446 ; There are no side effects on the if.then branch. 447 %0 = load float, float* %min, align 4 448 %1 = load float, float* %a, align 4 449 %sub = fsub float %0, %1 450 %mul = fmul float %sub, %div 451 %2 = load float, float* %max, align 4 452 %sub1 = fsub float %2, %1 453 %mul2 = fmul float %sub1, %div 454 br label %if.end 455 456 if.else: ; preds = %entry 457 store float 0.000000e+00, float* @GlobalVar 458 %3 = load float, float* %max, align 4 459 %4 = load float, float* %a, align 4 460 %sub3 = fsub float %3, %4 461 %mul4 = fmul float %sub3, %div 462 %5 = load float, float* %min, align 4 463 %sub5 = fsub float %5, %4 464 %mul6 = fmul float %sub5, %div 465 br label %if.end 466 467 if.end: ; preds = %if.else, %if.then 468 %tmax.0 = phi float [ %mul2, %if.then ], [ %mul6, %if.else ] 469 %tmin.0 = phi float [ %mul, %if.then ], [ %mul4, %if.else ] 470 471 %6 = load float, float* %max, align 4 472 %7 = load float, float* %a, align 4 473 %sub6 = fsub float %6, %7 474 %mul7 = fmul float %sub6, %div 475 %8 = load float, float* %min, align 4 476 %sub8 = fsub float %8, %7 477 %mul9 = fmul float %sub8, %div 478 479 %add = fadd float %tmax.0, %tmin.0 480 ret float %add 481 } 482 483 ; Check that we do not hoist loads outside a loop containing stores. 484 ; CHECK-LABEL: @noHoistInLoopsWithStores 485 ; CHECK: fdiv 486 ; CHECK: fcmp 487 ; CHECK: br 488 define float @noHoistInLoopsWithStores(float %d, float* %min, float* %max, float* %a) { 489 entry: 490 %div = fdiv float 1.000000e+00, %d 491 %cmp = fcmp oge float %div, 0.000000e+00 492 br i1 %cmp, label %do.body, label %if.else 493 494 do.body: 495 %0 = load float, float* %min, align 4 496 %1 = load float, float* %a, align 4 497 498 ; It is unsafe to hoist the loads outside the loop because of the store. 499 store float 0.000000e+00, float* @GlobalVar 500 501 %sub = fsub float %0, %1 502 %mul = fmul float %sub, %div 503 %2 = load float, float* %max, align 4 504 %sub1 = fsub float %2, %1 505 %mul2 = fmul float %sub1, %div 506 br label %while.cond 507 508 while.cond: 509 %cmp1 = fcmp oge float %mul2, 0.000000e+00 510 br i1 %cmp1, label %if.end, label %do.body 511 512 if.else: 513 %3 = load float, float* %max, align 4 514 %4 = load float, float* %a, align 4 515 %sub3 = fsub float %3, %4 516 %mul4 = fmul float %sub3, %div 517 %5 = load float, float* %min, align 4 518 %sub5 = fsub float %5, %4 519 %mul6 = fmul float %sub5, %div 520 br label %if.end 521 522 if.end: 523 %tmax.0 = phi float [ %mul2, %while.cond ], [ %mul6, %if.else ] 524 %tmin.0 = phi float [ %mul, %while.cond ], [ %mul4, %if.else ] 525 526 %add = fadd float %tmax.0, %tmin.0 527 ret float %add 528 } 529 530 ; Check that we hoist stores: all the instructions from the then branch 531 ; should be hoisted. 532 ; CHECK-LABEL: @hoistStores 533 ; CHECK: zext 534 ; CHECK-NEXT: trunc 535 ; CHECK-NEXT: getelementptr 536 ; CHECK-NEXT: load 537 ; CHECK-NEXT: getelementptr 538 ; CHECK-NEXT: getelementptr 539 ; CHECK-NEXT: store 540 ; CHECK-NEXT: load 541 ; CHECK-NEXT: load 542 ; CHECK-NEXT: zext 543 ; CHECK-NEXT: add 544 ; CHECK-NEXT: store 545 ; CHECK-NEXT: br 546 ; CHECK: if.then 547 ; CHECK: br 548 549 %struct.foo = type { i16* } 550 551 define void @hoistStores(%struct.foo* %s, i32* %coord, i1 zeroext %delta) { 552 entry: 553 %frombool = zext i1 %delta to i8 554 %tobool = trunc i8 %frombool to i1 555 br i1 %tobool, label %if.then, label %if.else 556 557 if.then: ; preds = %entry 558 %p = getelementptr inbounds %struct.foo, %struct.foo* %s, i32 0, i32 0 559 %0 = load i16*, i16** %p, align 8 560 %incdec.ptr = getelementptr inbounds i16, i16* %0, i32 1 561 store i16* %incdec.ptr, i16** %p, align 8 562 %1 = load i16, i16* %0, align 2 563 %conv = zext i16 %1 to i32 564 %2 = load i32, i32* %coord, align 4 565 %add = add i32 %2, %conv 566 store i32 %add, i32* %coord, align 4 567 br label %if.end 568 569 if.else: ; preds = %entry 570 %p1 = getelementptr inbounds %struct.foo, %struct.foo* %s, i32 0, i32 0 571 %3 = load i16*, i16** %p1, align 8 572 %incdec.ptr2 = getelementptr inbounds i16, i16* %3, i32 1 573 store i16* %incdec.ptr2, i16** %p1, align 8 574 %4 = load i16, i16* %3, align 2 575 %conv3 = zext i16 %4 to i32 576 %5 = load i32, i32* %coord, align 4 577 %add4 = add i32 %5, %conv3 578 store i32 %add4, i32* %coord, align 4 579 %6 = load i16*, i16** %p1, align 8 580 %incdec.ptr6 = getelementptr inbounds i16, i16* %6, i32 1 581 store i16* %incdec.ptr6, i16** %p1, align 8 582 %7 = load i16, i16* %6, align 2 583 %conv7 = zext i16 %7 to i32 584 %shl = shl i32 %conv7, 8 585 %8 = load i32, i32* %coord, align 4 586 %add8 = add i32 %8, %shl 587 store i32 %add8, i32* %coord, align 4 588 br label %if.end 589 590 if.end: ; preds = %if.else, %if.then 591 ret void 592 } 593 594 define i32 @mergeAlignments(i1 %b, i32* %y) { 595 entry: 596 br i1 %b, label %if.then, label %if.end 597 598 if.then: ; preds = %entry 599 %l1 = load i32, i32* %y, align 4 600 br label %return 601 602 if.end: ; preds = %entry 603 %l2 = load i32, i32* %y, align 1 604 br label %return 605 606 return: ; preds = %if.end, %if.then 607 %retval.0 = phi i32 [ %l1, %if.then ], [ %l2, %if.end ] 608 ret i32 %retval.0 609 } 610 ; CHECK-LABEL: define i32 @mergeAlignments( 611 ; CHECK: %[[load:.*]] = load i32, i32* %y, align 1 612 ; CHECK: %[[phi:.*]] = phi i32 [ %[[load]], %{{.*}} ], [ %[[load]], %{{.*}} ] 613 ; CHECK: i32 %[[phi]] 614 615 616 declare i8 @pr30991_f() nounwind readonly 617 declare void @pr30991_f1(i8) 618 define i8 @pr30991(i8* %sp, i8* %word, i1 %b1, i1 %b2) { 619 entry: 620 br i1 %b1, label %a, label %b 621 622 a: 623 %r0 = load i8, i8* %word, align 1 624 %incdec.ptr = getelementptr i8, i8* %sp, i32 1 625 %rr0 = call i8 @pr30991_f() nounwind readonly 626 call void @pr30991_f1(i8 %r0) 627 ret i8 %rr0 628 629 b: 630 br i1 %b2, label %c, label %x 631 632 c: 633 %r1 = load i8, i8* %word, align 1 634 %incdec.ptr115 = getelementptr i8, i8* %sp, i32 1 635 %rr1 = call i8 @pr30991_f() nounwind readonly 636 call void @pr30991_f1(i8 %r1) 637 ret i8 %rr1 638 639 x: 640 %r2 = load i8, i8* %word, align 1 641 ret i8 %r2 642 } 643 644 ; CHECK-LABEL: define i8 @pr30991 645 ; CHECK: %r0 = load i8, i8* %word, align 1 646 ; CHECK-NEXT: br i1 %b1, label %a, label %b 647
