42 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 62; RUN: opt < %s -passes=gvn -S | FileCheck %s3 4define i32 @main(ptr %p, i32 %x, i32 %y) {5; CHECK-LABEL: define i32 @main(6; CHECK-SAME: ptr [[P:%.*]], i32 [[X:%.*]], i32 [[Y:%.*]]) {7; CHECK-NEXT: [[BLOCK1:.*:]]8; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[X]], [[Y]]9; CHECK-NEXT: br i1 [[CMP]], label %[[BLOCK2:.*]], label %[[BLOCK3:.*]]10; CHECK: [[BLOCK2]]:11; CHECK-NEXT: [[A:%.*]] = load ptr, ptr [[P]], align 812; CHECK-NEXT: br label %[[BLOCK4:.*]]13; CHECK: [[BLOCK3]]:14; CHECK-NEXT: [[B:%.*]] = load ptr, ptr [[P]], align 815; CHECK-NEXT: br label %[[BLOCK4]]16; CHECK: [[BLOCK4]]:17; CHECK-NEXT: [[DEAD:%.*]] = phi ptr [ [[A]], %[[BLOCK2]] ], [ [[B]], %[[BLOCK3]] ]18; CHECK-NEXT: [[C:%.*]] = load i32, ptr [[DEAD]], align 419; CHECK-NEXT: [[E:%.*]] = add i32 [[C]], [[C]]20; CHECK-NEXT: ret i32 [[E]]21;22block1:23 %cmp = icmp eq i32 %x, %y24 br i1 %cmp , label %block2, label %block325 26block2:27 %a = load ptr, ptr %p28 br label %block429 30block3:31 %b = load ptr, ptr %p32 br label %block433 34block4:35 %existingPHI = phi ptr [ %a, %block2 ], [ %b, %block3 ]36 %DEAD = load ptr, ptr %p37 %c = load i32, ptr %DEAD38 %d = load i32, ptr %existingPHI39 %e = add i32 %c, %d40 ret i32 %e41}42