[clang] [llvm] [Clang]: Enable speculative devirtualization (PR #159685)
Hassnaa Hamdi via llvm-commits
llvm-commits at lists.llvm.org
Wed Nov 26 17:06:47 PST 2025
================
@@ -1641,6 +1642,24 @@ PassBuilder::buildModuleOptimizationPipeline(OptimizationLevel Level,
if (!LTOPreLink)
MPM.addPass(RelLookupTableConverterPass());
+ if (PTO.DevirtualizeSpeculatively && LTOPhase == ThinOrFullLTOPhase::None) {
+ MPM.addPass(WholeProgramDevirtPass(
+ /*ExportSummary*/ nullptr,
+ /*ImportSummary*/ nullptr,
+ /*DevirtSpeculatively*/ PTO.DevirtualizeSpeculatively));
+ MPM.addPass(LowerTypeTestsPass(nullptr, nullptr,
+ lowertypetests::DropTestKind::Assume));
+ if (EnableModuleInliner) {
----------------
hassnaaHamdi wrote:
> Can you clarify what vtable GV optimization is needed to expose these opportunities?
I mean optimisation passes like GlobalOpt.cpp pass which eliminates the unused GVs, and then when devirtualization works, it finds a single GV that is refering to the virtual function, so it can devirtualize.
https://github.com/llvm/llvm-project/pull/159685
More information about the llvm-commits
mailing list