| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| ; RUN: opt -passes=partial-inliner -skip-partial-inlining-cost-analysis -S < %s | FileCheck %s |
| define void @_Z26recursive_partial_inliningi(i32 noundef %i) local_unnamed_addr { |
| ; CHECK-LABEL: @_Z26recursive_partial_inliningi( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[I:%.*]], 0 |
| ; CHECK-NEXT: br i1 [[CMP]], label [[COMMON_RET2:%.*]], label [[IF_END:%.*]] |
| ; CHECK: common.ret2: |
| ; CHECK-NEXT: ret void |
| ; CHECK: if.end: |
| ; CHECK-NEXT: [[SUB:%.*]] = add nsw i32 [[I]], -1 |
| ; CHECK-NEXT: [[CMP_I:%.*]] = icmp slt i32 [[SUB]], 0 |
| ; CHECK-NEXT: br i1 [[CMP_I]], label [[_Z26RECURSIVE_PARTIAL_INLININGI_1_EXIT:%.*]], label [[CODEREPL_I:%.*]] |
| ; CHECK: codeRepl.i: |
| ; CHECK-NEXT: call void @_Z26recursive_partial_inliningi.1.if.end(i32 [[SUB]]) |
| ; CHECK-NEXT: br label [[_Z26RECURSIVE_PARTIAL_INLININGI_1_EXIT]] |
| ; CHECK: _Z26recursive_partial_inliningi.1.exit: |
| ; CHECK-NEXT: br label [[COMMON_RET2]] |
| ; |
| entry: |
| %cmp = icmp slt i32 %i, 0 |
| br i1 %cmp, label %common.ret2, label %if.end |
| |
| common.ret2: ; preds = %entry, %if.end |
| ret void |
| |
| if.end: ; preds = %entry |
| %sub = add nsw i32 %i, -1 |
| tail call void @_Z26recursive_partial_inliningi(i32 noundef %sub) |
| br label %common.ret2 |
| } |