1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -passes=partial-inliner -S < %s | FileCheck %s 3declare i1 @llvm.public.type.test(ptr, metadata) 4 5define void @dummy() { 6; CHECK-LABEL: @dummy( 7; CHECK-NEXT: entry: 8; CHECK-NEXT: br i1 false, label [[WHILE_END:%.*]], label [[WHILE_BODY:%.*]] 9; CHECK: while.body: 10; CHECK-NEXT: call void @dummy.1.while.body() 11; CHECK-NEXT: br label [[WHILE_END]] 12; CHECK: while.end: 13; CHECK-NEXT: ret void 14; 15entry: 16 br i1 false, label %while.end, label %while.body 17 18while.body: ; preds = %entry 19 call void @dummy() 20 br label %while.end 21 22unreachable.block: ; No predecessors! 23 %0 = tail call i1 @llvm.public.type.test(ptr null, metadata !"test-function") 24 %result = getelementptr ptr, ptr null, i64 1 25 br label %while.end 26 27while.end: ; preds = %unreachable.block, %while.body, %entry 28 ret void 29} 30