30 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 62; RUN: opt -passes=gvn -S < %s | FileCheck %s3 4; Check that an unreachable predecessor to a PHI node doesn't cause a crash.5; PR21625. The first load should be removed, since it's ignored.6define i32 @f(ptr %f) {7; CHECK-LABEL: define i32 @f(8; CHECK-SAME: ptr [[F:%.*]]) {9; CHECK-NEXT: [[BB0:.*]]:10; CHECK-NEXT: br label %[[BB2:.*]]11; CHECK: [[BB1:.*]]:12; CHECK-NEXT: [[ZED:%.*]] = load ptr, ptr [[F]], align 813; CHECK-NEXT: br i1 false, label %[[BB1]], label %[[BB2]]14; CHECK: [[BB2]]:15; CHECK-NEXT: [[FOO:%.*]] = phi ptr [ null, %[[BB0]] ], [ [[ZED]], %[[BB1]] ]16; CHECK-NEXT: [[STOREMERGE:%.*]] = load i32, ptr [[FOO]], align 417; CHECK-NEXT: ret i32 [[STOREMERGE]]18;19bb0:20 %bar = load ptr, ptr %f21 br label %bb222bb1:23 %zed = load ptr, ptr %f24 br i1 false, label %bb1, label %bb225bb2:26 %foo = phi ptr [ null, %bb0 ], [ %zed, %bb1 ]27 %storemerge = load i32, ptr %foo28 ret i32 %storemerge29}30