mirror of
https://github.com/FEX-Emu/FEX.git
synced 2026-10-14 12:00:43 +02:00
Ryan Houdek
17402aa02d
RA Pass and passmanager compaction pass don't need to be independent. This saves some memory. In the future we should allow passes to fetch passes by name, that will be part of the PassManager improvement in the future
51 lines
1.6 KiB
C++
51 lines
1.6 KiB
C++
#include "Interface/IR/Passes.h"
|
|
#include "Interface/IR/Passes/RegisterAllocationPass.h"
|
|
#include "Interface/IR/PassManager.h"
|
|
|
|
namespace FEXCore::IR {
|
|
|
|
void PassManager::AddDefaultPasses(bool InlineConstants) {
|
|
InsertPass(CreateContextLoadStoreElimination());
|
|
InsertPass(CreateConstProp(InlineConstants));
|
|
////// InsertPass(CreateDeadFlagCalculationEliminination());
|
|
InsertPass(CreateDeadFlagStoreElimination());
|
|
InsertPass(CreateDeadGPRStoreElimination());
|
|
InsertPass(CreateSyscallOptimization());
|
|
InsertPass(CreatePassDeadCodeElimination());
|
|
|
|
// If the IR is compacted post-RA then the node indexing gets messed up and the backend isn't able to find the register assigned to a node
|
|
// Compact before IR, don't worry about RA generating spills/fills
|
|
CompactionPass = CreateIRCompaction();
|
|
InsertPass(CompactionPass);
|
|
}
|
|
|
|
void PassManager::AddDefaultValidationPasses() {
|
|
#if defined(ASSERTIONS_ENABLED) && ASSERTIONS_ENABLED
|
|
InsertValidationPass(Validation::CreatePhiValidation());
|
|
InsertValidationPass(Validation::CreateIRValidation());
|
|
InsertValidationPass(Validation::CreateValueDominanceValidation());
|
|
#endif
|
|
}
|
|
|
|
void PassManager::InsertRegisterAllocationPass() {
|
|
RAPass = IR::CreateRegisterAllocationPass(CompactionPass);
|
|
InsertPass(RAPass);
|
|
}
|
|
|
|
bool PassManager::Run(IREmitter *IREmit) {
|
|
bool Changed = false;
|
|
for (auto const &Pass : Passes) {
|
|
Changed |= Pass->Run(IREmit);
|
|
}
|
|
|
|
#if defined(ASSERTIONS_ENABLED) && ASSERTIONS_ENABLED
|
|
for (auto const &Pass : ValidationPasses) {
|
|
Changed |= Pass->Run(IREmit);
|
|
}
|
|
#endif
|
|
|
|
return Changed;
|
|
}
|
|
|
|
}
|