1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
; 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
}
|
