1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -S -passes=ipsccp | FileCheck %s 3target 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: unreachable 11; 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.unreachable 18 19Flow5.pre.unreachable: 20 br label %Flow5 21 22Flow6: 23 br i1 %0, label %end1, label %end2 24 25Flow5.pre: 26 br label %Flow5 27 28Flow5: 29 %0 = phi i1 [ undef, %Flow5.pre ], [ false, %Flow5.pre.unreachable ] 30 br label %Flow6 31 32end1: 33 unreachable 34 35end2: 36 unreachable 37} 38