1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2 ; RUN: opt < %s -S -ipsccp | FileCheck %s 3 target triple = "x86_64-unknown-linux-gnu" 4 5 define void @test() { 6 ; CHECK-LABEL: @test( 7 ; CHECK-NEXT: entry: 8 ; CHECK-NEXT: br label %Flow5.pre 9 ; CHECK: Flow6: 10 ; CHECK-NEXT: br i1 undef, label %end1, label %end2 11 ; CHECK: Flow5.pre: 12 ; CHECK-NEXT: br label %Flow5 13 ; CHECK: Flow5: 14 ; CHECK-NEXT: br label %Flow6 15 ; CHECK: end1: 16 ; CHECK-NEXT: unreachable 17 ; CHECK: end2: 18 ; CHECK-NEXT: unreachable 19 ; 20 entry: 21 br i1 true, label %Flow5.pre, label %Flow5.pre.unreachable 22 23 Flow5.pre.unreachable: 24 br label %Flow5 25 26 Flow6: 27 br i1 %0, label %end1, label %end2 28 29 Flow5.pre: 30 br label %Flow5 31 32 Flow5: 33 %0 = phi i1 [ undef, %Flow5.pre ], [ false, %Flow5.pre.unreachable ] 34 br label %Flow6 35 36 end1: 37 unreachable 38 39 end2: 40 unreachable 41 } 42
