30 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt < %s -passes=ipsccp -S | FileCheck %s3 4define internal i101 @bar(i101 %A) {5; CHECK-LABEL: define internal i101 @bar(6; CHECK-SAME: i101 [[A:%.*]]) {7; CHECK-NEXT: br label %[[T:.*]]8; CHECK: [[T]]:9; CHECK-NEXT: [[B:%.*]] = call i101 @bar(i101 0)10; CHECK-NEXT: ret i101 poison11;12 %x = icmp eq i101 %A, 013 br i1 %x, label %T, label %F14T:15 %B = call i101 @bar(i101 0)16 ret i101 017F: ; unreachable18 %C = call i101 @bar(i101 1)19 ret i101 %C20}21 22define i101 @foo() {23; CHECK-LABEL: define i101 @foo() {24; CHECK-NEXT: [[X:%.*]] = call i101 @bar(i101 0)25; CHECK-NEXT: ret i101 026;27 %X = call i101 @bar(i101 0)28 ret i101 %X29}30