maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[PM] Teach the PGO instrumentation pasess to run GlobalDCE before 

instrumenting code.

This is important in the new pass manager. The old pass manager's
inliner has a small DCE routine embedded within it. The new pass manager
relies on the actual GlobalDCE pass for this.

Without this patch, instrumentation profiling with the new PM results in
massive code bloat in the object files because the instrumentation
itself ends up preventing DCE from working to remove the code.

We should probably change the instrumentation (and/or DCE) so that we
can eliminate dead code even if instrumented, but we shouldn't even
spend the time generating instrumentation for that code so this still
seems like a good patch.

Differential Revision: https://reviews.llvm.org/D33535

llvm-svn: 303845
This commit is contained in:
Chandler Carruth 2017-05-25 07:15:09 +00:00
parent c1e4611754
commit f4d62c480c
2 changed files with 19 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
llvm/lib/Passes/PassBuilder.cpp
View File

@ -437,6 +437,11 @@ static void addPGOInstrPasses(ModulePassManager &MPM, bool DebugLogging,
MPM.addPass(createModuleToPostOrderCGSCCPassAdaptor(std::move(CGPipeline)));
}
// Delete anything that is now dead to make sure that we don't instrument
// dead code. Instrumentation can end up keeping dead code around and
// dramatically increase code size.
MPM.addPass(GlobalDCEPass());
if (RunProfileGen) {
MPM.addPass(PGOInstrumentationGen());

19
llvm/test/Transforms/GlobalDCE/externally_available.ll
View File

@ -1,12 +1,21 @@
; RUN: opt < %s -globaldce -S | FileCheck %s
; test_global should not be emitted to the .s file.
; CHECK-NOT: @test_global =
@test_global = available_externally global i32 4
; test_global2 is a normal global using an available externally function.
; CHECK: @test_global2 =
@test_global2 = global i32 ()* @test_function2
; test_function should not be emitted to the .s file.
; CHECK-NOT: test_function
; CHECK-NOT: define {{.*}} @test_function()
define available_externally i32 @test_function() {
ret i32 4
}
; test_global should not be emitted to the .s file.
; CHECK-NOT: test_global
@test_global = available_externally global i32 4
; test_function2 isn't actually dead even though it's available externally.
; CHECK: define available_externally i32 @test_function2()
define available_externally i32 @test_function2() {
ret i32 4
}