32 lines
1.4 KiB
LLVM
32 lines
1.4 KiB
LLVM
; 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
|
|
}
|