1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -passes=partial-inliner -skip-partial-inlining-cost-analysis -S < %s | FileCheck %s 3define void @_Z26recursive_partial_inliningi(i32 noundef %i) local_unnamed_addr { 4; CHECK-LABEL: @_Z26recursive_partial_inliningi( 5; CHECK-NEXT: entry: 6; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[I:%.*]], 0 7; CHECK-NEXT: br i1 [[CMP]], label [[COMMON_RET2:%.*]], label [[IF_END:%.*]] 8; CHECK: common.ret2: 9; CHECK-NEXT: ret void 10; CHECK: if.end: 11; CHECK-NEXT: [[SUB:%.*]] = add nsw i32 [[I]], -1 12; CHECK-NEXT: [[CMP_I:%.*]] = icmp slt i32 [[SUB]], 0 13; CHECK-NEXT: br i1 [[CMP_I]], label [[_Z26RECURSIVE_PARTIAL_INLININGI_1_EXIT:%.*]], label [[CODEREPL_I:%.*]] 14; CHECK: codeRepl.i: 15; CHECK-NEXT: call void @_Z26recursive_partial_inliningi.1.if.end(i32 [[SUB]]) 16; CHECK-NEXT: br label [[_Z26RECURSIVE_PARTIAL_INLININGI_1_EXIT]] 17; CHECK: _Z26recursive_partial_inliningi.1.exit: 18; CHECK-NEXT: br label [[COMMON_RET2]] 19; 20entry: 21 %cmp = icmp slt i32 %i, 0 22 br i1 %cmp, label %common.ret2, label %if.end 23 24common.ret2: ; preds = %entry, %if.end 25 ret void 26 27if.end: ; preds = %entry 28 %sub = add nsw i32 %i, -1 29 tail call void @_Z26recursive_partial_inliningi(i32 noundef %sub) 30 br label %common.ret2 31} 32