38 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -S -passes=ipsccp | FileCheck %s3target triple = "x86_64-unknown-linux-gnu"4 5define void @test() {6; CHECK-LABEL: @test(7; CHECK-NEXT: entry:8; CHECK-NEXT: br label [[FLOW5_PRE:%.*]]9; CHECK: Flow6:10; CHECK-NEXT: unreachable11; CHECK: Flow5.pre:12; CHECK-NEXT: br label [[FLOW5:%.*]]13; CHECK: Flow5:14; CHECK-NEXT: br label [[FLOW6:%.*]]15;16entry:17 br i1 true, label %Flow5.pre, label %Flow5.pre.unreachable18 19Flow5.pre.unreachable:20 br label %Flow521 22Flow6:23 br i1 %0, label %end1, label %end224 25Flow5.pre:26 br label %Flow527 28Flow5:29 %0 = phi i1 [ undef, %Flow5.pre ], [ false, %Flow5.pre.unreachable ]30 br label %Flow631 32end1:33 unreachable34 35end2:36 unreachable37}38