1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2 ; RUN: opt < %s -S -ipsccp | FileCheck %s 3 4 define void @main() { 5 ; CHECK-LABEL: @main( 6 ; CHECK: %call = call i1 @patatino(i1 undef) 7 ; CHECK-NEXT: ret void 8 ; 9 %call = call i1 @patatino(i1 undef) 10 ret void 11 } 12 13 define internal i1 @patatino(i1 %a) { 14 ; CHECK-LABEL: define internal i1 @patatino( 15 ; CHECK-NEXT: br label [[ONFALSE:%.*]] 16 ; CHECK-EMPTY: 17 ; CHECK-NEXT: onfalse: 18 ; CHECK-NEXT: ret i1 undef 19 br i1 %a, label %ontrue, label %onfalse 20 ontrue: 21 ret i1 false 22 onfalse: 23 ret i1 false 24 } 25
