1f5b5ccf2SYuanfang Chen //===---------- MachinePassManager.cpp ------------------------------------===//
2f5b5ccf2SYuanfang Chen //
3f5b5ccf2SYuanfang Chen // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4f5b5ccf2SYuanfang Chen // See https://llvm.org/LICENSE.txt for license information.
5f5b5ccf2SYuanfang Chen // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6f5b5ccf2SYuanfang Chen //
7f5b5ccf2SYuanfang Chen //===----------------------------------------------------------------------===//
8f5b5ccf2SYuanfang Chen //
9f5b5ccf2SYuanfang Chen // This file contains the pass management machinery for machine functions.
10f5b5ccf2SYuanfang Chen //
11f5b5ccf2SYuanfang Chen //===----------------------------------------------------------------------===//
12f5b5ccf2SYuanfang Chen
13f5b5ccf2SYuanfang Chen #include "llvm/CodeGen/MachinePassManager.h"
14a5ed20b5SYuanfang Chen #include "llvm/CodeGen/MachineFunction.h"
15f5b5ccf2SYuanfang Chen #include "llvm/CodeGen/MachineModuleInfo.h"
16f5b5ccf2SYuanfang Chen #include "llvm/IR/PassManagerImpl.h"
17f5b5ccf2SYuanfang Chen
18f5b5ccf2SYuanfang Chen using namespace llvm;
19f5b5ccf2SYuanfang Chen
20f5b5ccf2SYuanfang Chen namespace llvm {
21f5b5ccf2SYuanfang Chen template class AllAnalysesOn<MachineFunction>;
22f5b5ccf2SYuanfang Chen template class AnalysisManager<MachineFunction>;
23f5b5ccf2SYuanfang Chen template class PassManager<MachineFunction>;
24f5b5ccf2SYuanfang Chen
run(Module & M,MachineFunctionAnalysisManager & MFAM)25f5b5ccf2SYuanfang Chen Error MachineFunctionPassManager::run(Module &M,
26f5b5ccf2SYuanfang Chen MachineFunctionAnalysisManager &MFAM) {
27f5b5ccf2SYuanfang Chen // MachineModuleAnalysis is a module analysis pass that is never invalidated
28f5b5ccf2SYuanfang Chen // because we don't run any module pass in codegen pipeline. This is very
29f5b5ccf2SYuanfang Chen // important because the codegen state is stored in MMI which is the analysis
30f5b5ccf2SYuanfang Chen // result of MachineModuleAnalysis. MMI should not be recomputed.
31f5b5ccf2SYuanfang Chen auto &MMI = MFAM.getResult<MachineModuleAnalysis>(M);
32f5b5ccf2SYuanfang Chen
33f5b5ccf2SYuanfang Chen (void)RequireCodeGenSCCOrder;
34f5b5ccf2SYuanfang Chen assert(!RequireCodeGenSCCOrder && "not implemented");
35f5b5ccf2SYuanfang Chen
36a5ed20b5SYuanfang Chen // Add a PIC to verify machine functions.
37a5ed20b5SYuanfang Chen if (VerifyMachineFunction) {
38a5ed20b5SYuanfang Chen PassInstrumentation PI = MFAM.getResult<PassInstrumentationAnalysis>(M);
39a5ed20b5SYuanfang Chen
40a5ed20b5SYuanfang Chen // No need to pop this callback later since MIR pipeline is flat which means
41a5ed20b5SYuanfang Chen // current pipeline is the top-level pipeline. Callbacks are not used after
42a5ed20b5SYuanfang Chen // current pipeline.
43a5ed20b5SYuanfang Chen PI.pushBeforeNonSkippedPassCallback([&MFAM](StringRef PassID, Any IR) {
44a5ed20b5SYuanfang Chen assert(any_isa<const MachineFunction *>(IR));
45a5ed20b5SYuanfang Chen const MachineFunction *MF = any_cast<const MachineFunction *>(IR);
46a5ed20b5SYuanfang Chen assert(MF && "Machine function should be valid for printing");
47a5ed20b5SYuanfang Chen std::string Banner = std::string("After ") + std::string(PassID);
48a5ed20b5SYuanfang Chen verifyMachineFunction(&MFAM, Banner, *MF);
49a5ed20b5SYuanfang Chen });
50a5ed20b5SYuanfang Chen }
51a5ed20b5SYuanfang Chen
52f5b5ccf2SYuanfang Chen for (auto &F : InitializationFuncs) {
53f5b5ccf2SYuanfang Chen if (auto Err = F(M, MFAM))
54f5b5ccf2SYuanfang Chen return Err;
55f5b5ccf2SYuanfang Chen }
56f5b5ccf2SYuanfang Chen
57f5b5ccf2SYuanfang Chen unsigned Idx = 0;
58f5b5ccf2SYuanfang Chen size_t Size = Passes.size();
59f5b5ccf2SYuanfang Chen do {
60f5b5ccf2SYuanfang Chen // Run machine module passes
61f5b5ccf2SYuanfang Chen for (; MachineModulePasses.count(Idx) && Idx != Size; ++Idx) {
62f5b5ccf2SYuanfang Chen if (auto Err = MachineModulePasses.at(Idx)(M, MFAM))
63f5b5ccf2SYuanfang Chen return Err;
64f5b5ccf2SYuanfang Chen }
65f5b5ccf2SYuanfang Chen
66f5b5ccf2SYuanfang Chen // Finish running all passes.
67f5b5ccf2SYuanfang Chen if (Idx == Size)
68f5b5ccf2SYuanfang Chen break;
69f5b5ccf2SYuanfang Chen
70f5b5ccf2SYuanfang Chen // Run machine function passes
71f5b5ccf2SYuanfang Chen
72f5b5ccf2SYuanfang Chen // Get index range of machine function passes.
73f5b5ccf2SYuanfang Chen unsigned Begin = Idx;
74f5b5ccf2SYuanfang Chen for (; !MachineModulePasses.count(Idx) && Idx != Size; ++Idx)
75f5b5ccf2SYuanfang Chen ;
76f5b5ccf2SYuanfang Chen
77f5b5ccf2SYuanfang Chen for (Function &F : M) {
78f5b5ccf2SYuanfang Chen // Do not codegen any 'available_externally' functions at all, they have
79f5b5ccf2SYuanfang Chen // definitions outside the translation unit.
80f5b5ccf2SYuanfang Chen if (F.hasAvailableExternallyLinkage())
81f5b5ccf2SYuanfang Chen continue;
82f5b5ccf2SYuanfang Chen
83f5b5ccf2SYuanfang Chen MachineFunction &MF = MMI.getOrCreateMachineFunction(F);
84f5b5ccf2SYuanfang Chen PassInstrumentation PI = MFAM.getResult<PassInstrumentationAnalysis>(MF);
85f5b5ccf2SYuanfang Chen
86f5b5ccf2SYuanfang Chen for (unsigned I = Begin, E = Idx; I != E; ++I) {
87f5b5ccf2SYuanfang Chen auto *P = Passes[I].get();
88f5b5ccf2SYuanfang Chen
89f5b5ccf2SYuanfang Chen if (!PI.runBeforePass<MachineFunction>(*P, MF))
90f5b5ccf2SYuanfang Chen continue;
91f5b5ccf2SYuanfang Chen
92f5b5ccf2SYuanfang Chen // TODO: EmitSizeRemarks
93f5b5ccf2SYuanfang Chen PreservedAnalyses PassPA = P->run(MF, MFAM);
94*18bc400fSYevgeny Rouban PI.runAfterPass(*P, MF, PassPA);
95f5b5ccf2SYuanfang Chen MFAM.invalidate(MF, PassPA);
96f5b5ccf2SYuanfang Chen }
97f5b5ccf2SYuanfang Chen }
98f5b5ccf2SYuanfang Chen } while (true);
99f5b5ccf2SYuanfang Chen
100f5b5ccf2SYuanfang Chen for (auto &F : FinalizationFuncs) {
101f5b5ccf2SYuanfang Chen if (auto Err = F(M, MFAM))
102f5b5ccf2SYuanfang Chen return Err;
103f5b5ccf2SYuanfang Chen }
104f5b5ccf2SYuanfang Chen
105f5b5ccf2SYuanfang Chen return Error::success();
106f5b5ccf2SYuanfang Chen }
107f5b5ccf2SYuanfang Chen
108f5b5ccf2SYuanfang Chen } // namespace llvm
109