[PATCH] D34456: Do not inline recursive direct calls in sample loader pass.
Dehao Chen via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Wed Jun 21 08:48:16 PDT 2017
danielcdh created this revision.
Herald added subscribers: eraman, sanjoy.
r305009 disables recursive inlining for indirect calls in sample loader pass. The same logic applies to direct recursive calls.
https://reviews.llvm.org/D34456
Files:
lib/Transforms/IPO/SampleProfile.cpp
test/Transforms/SampleProfile/Inputs/einline.prof
test/Transforms/SampleProfile/early-inline.ll
Index: test/Transforms/SampleProfile/early-inline.ll
===================================================================
--- test/Transforms/SampleProfile/early-inline.ll
+++ test/Transforms/SampleProfile/early-inline.ll
@@ -32,6 +32,19 @@
ret void
}
+; CHECK-LABEL: @recursive
+define void @recursive() !dbg !13 {
+; Recursive calls should not be early-inlined.
+; CHECK-NOT: call void @recursive
+; CHECK: call void @recursive
+; CHECK: call void @recursive
+; CHECK-NOT: call void @recursive
+; CHECK: ret
+ call void @recursive(), !dbg !14
+ call void @recursive(), !dbg !15
+ ret void
+}
+
declare i32 @__gxx_personality_v0(...)
!llvm.dbg.cu = !{!0}
@@ -46,3 +59,6 @@
!10 = !DILocation(line: 8, column: 5, scope: !11)
!11 = distinct !DILexicalBlock(scope: !6, file: !1, line: 7, column: 7)
!12 = distinct !DISubprogram(linkageName: "_ZL3barv", scope: !1, file: !1, line: 20, scopeLine: 20, unit: !0)
+!13 = distinct !DISubprogram(linkageName: "recursive", scope: !1, file: !1, line: 20, scopeLine: 20, unit: !0)
+!14 = !DILocation(line: 21, column: 3, scope: !13)
+!15 = !DILocation(line: 22, column: 3, scope: !13)
Index: test/Transforms/SampleProfile/Inputs/einline.prof
===================================================================
--- test/Transforms/SampleProfile/Inputs/einline.prof
+++ test/Transforms/SampleProfile/Inputs/einline.prof
@@ -1,3 +1,6 @@
_Z3foov:200:100
1: _Z3barv:0
3: _Z3barv:100
+recursive:200:100
+ 1: recursive:100
+ 2: recursive:100
Index: lib/Transforms/IPO/SampleProfile.cpp
===================================================================
--- lib/Transforms/IPO/SampleProfile.cpp
+++ lib/Transforms/IPO/SampleProfile.cpp
@@ -690,6 +690,9 @@
for (auto I : CIS) {
InlineFunctionInfo IFI(nullptr, ACT ? &GetAssumptionCache : nullptr);
Function *CalledFunction = CallSite(I).getCalledFunction();
+ // Do not inline recursive calls.
+ if (CalledFunction == &F)
+ continue;
Instruction *DI = I;
if (!CalledFunction && !PromotedInsns.count(I) &&
CallSite(I).isIndirectCall())
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D34456.103395.patch
Type: text/x-patch
Size: 2095 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170621/8c033a79/attachment.bin>
More information about the llvm-commits
mailing list