// // This file is distributed under the MIT License. See LICENSE.md for details. // #include "revng/EarlyFunctionAnalysis/AttachDebugInfo.h" #include "revng/EarlyFunctionAnalysis/CollectCFG.h" #include "revng/FunctionIsolation/EnforceABI.h" #include "revng/FunctionIsolation/InvokeIsolatedFunctions.h" #include "revng/FunctionIsolation/IsolateFunctions.h" #include "revng/FunctionIsolation/PromoteCSVs.h" #include "revng/HeadersGeneration/ModelToHeaderPipe.h" #include "revng/HeadersGeneration/ModelTypeDefinitionPipe.h" #include "revng/Lift/Lift.h" #include "revng/Lift/LinkSupportPipe.h" #include "revng/Pipebox/LLVMPipe.h" #include "revng/PipeboxCommon/BinariesContainer.h" #include "revng/PipeboxCommon/Helpers/Registrars.h" #include "revng/PipeboxCommon/RawContainer.h" #include "revng/Recompile/CompileModulePipe.h" #include "revng/Recompile/LinkForTranslationPipe.h" #include "revng/Yield/HexDump.h" #include "revng/Yield/Pipes/ProcessAssembly.h" #include "revng/Yield/Pipes/YieldAssembly.h" using namespace revng::pypeline; // // Containers // static RegisterContainer C1; static RegisterContainer C3; static RegisterContainer C4; static RegisterContainer C5; static RegisterContainer C6; static RegisterContainer C7; static RegisterContainer C8; static RegisterContainer C9; static RegisterContainer C10; static RegisterContainer C11; static RegisterContainer C12; // // Pipes // using namespace revng::pypeline::pipes; using namespace revng::pypeline::piperuns; namespace piperuns = revng::pypeline::piperuns; static RegisterSingleOutputPipe P1; static RegisterPipe P2; static RegisterPipe P3; static RegisterSingleOutputPipe P4; static RegisterTypeDefinitionPipe P5; static RegisterFunctionPipe P6; static RegisterFunctionPipe P7; static RegisterFunctionPipe P8; static RegisterFunctionPipe P9; static RegisterFunctionPipe P10; static RegisterSingleOutputPipe P11; static RegisterFunctionPipe P12; static RegisterFunctionPipe P13; static RegisterSingleOutputPipe P14; static RegisterSingleOutputPipe P15; static RegisterSingleOutputPipe P16; static RegisterSingleOutputPipe P17;