mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Pietro Fezzardi
6a3ab92a9d
Several components in both pipeline YAMLs are slated for removal. Prepend a legacy prefix to their names, and to the matching c++ code, so they are clearly distinguished from the new Clift-based pipeline until they are dropped.
102 lines
3.7 KiB
C++
102 lines
3.7 KiB
C++
//
|
|
// This file is distributed under the MIT License. See LICENSE.md for details.
|
|
//
|
|
|
|
#include "revng/HeadersGeneration/ConfigurationHelpers.h"
|
|
#include "revng/HeadersGeneration/ModelToHeaderPipe.h"
|
|
#include "revng/HeadersGeneration/Options.h"
|
|
#include "revng/HeadersGeneration/PTMLHeaderBuilder.h"
|
|
#include "revng/Pipeline/AllRegistries.h"
|
|
#include "revng/Pipeline/RegisterContainerFactory.h"
|
|
#include "revng/Pipes/FileContainer.h"
|
|
#include "revng/Pipes/Kinds.h"
|
|
#include "revng/Pipes/ModelGlobal.h"
|
|
|
|
namespace revng::pipes {
|
|
|
|
inline constexpr char ModelHeaderFileContainerMIMEType[] = "text/x.c+ptml";
|
|
inline constexpr char ModelHeaderFileContainerSuffix[] = ".h";
|
|
inline constexpr char ModelHeaderFileContainerName[] = "legacy-model-header";
|
|
using ModelHeaderFileContainer = FileContainer<&kinds::LegacyModelHeader,
|
|
ModelHeaderFileContainerName,
|
|
ModelHeaderFileContainerMIMEType,
|
|
ModelHeaderFileContainerSuffix>;
|
|
|
|
class ModelToHeader {
|
|
public:
|
|
static constexpr auto Name = "legacy-model-to-header";
|
|
|
|
std::array<pipeline::ContractGroup, 1> getContract() const {
|
|
using namespace pipeline;
|
|
using namespace revng::kinds;
|
|
|
|
Contract C1(Binary, 0, LegacyModelHeader, 1, InputPreservation::Preserve);
|
|
return { ContractGroup({ C1 }) };
|
|
}
|
|
|
|
// TODO: BinaryFile here is a placeholder. In principle this pipe has no real
|
|
// input container. It just uses the model in EC to generated HeaderFile.
|
|
// At the moment revng-pipeline does not support pipes with no inputs, so we
|
|
// had to resort to this trick. Whenever pipes with no inputs are supported
|
|
// BinaryFile can be dropped.
|
|
void run(pipeline::ExecutionContext &EC,
|
|
const BinaryFileContainer &BinaryFile,
|
|
ModelHeaderFileContainer &HeaderFile) {
|
|
if (EC.getRequestedTargetsFor(HeaderFile).empty())
|
|
return;
|
|
|
|
std::error_code ErrorCode;
|
|
llvm::raw_fd_ostream Header(HeaderFile.getOrCreatePath(), ErrorCode);
|
|
if (ErrorCode)
|
|
revng_abort(ErrorCode.message().c_str());
|
|
|
|
const auto &Model = *revng::getModelFromContext(EC);
|
|
|
|
namespace options = revng::options;
|
|
ptml::ModelCBuilder
|
|
B(Header,
|
|
Model,
|
|
/* EnableTaglessMode = */ false,
|
|
{ .EnableStackFrameInlining = options::EnableStackFrameInlining,
|
|
.EnablePrintingOfTheMaximumEnumValue = true,
|
|
.ExplicitTargetPointerSize = getExplicitPointerSize(Model) });
|
|
ptml::HeaderBuilder(B).printModelHeader(/*DefineOpaqueTypes*/ true);
|
|
Header.flush();
|
|
ErrorCode = Header.error();
|
|
if (ErrorCode)
|
|
revng_abort(ErrorCode.message().c_str());
|
|
|
|
EC.commitUniqueTarget(HeaderFile);
|
|
}
|
|
};
|
|
|
|
static pipeline::RegisterDefaultConstructibleContainer<ModelHeaderFileContainer>
|
|
Reg;
|
|
|
|
} // namespace revng::pipes
|
|
|
|
static pipeline::RegisterPipe<revng::pipes::ModelToHeader> Y;
|
|
|
|
namespace revng::pypeline::piperuns {
|
|
|
|
ModelToHeader::ModelToHeader(const Model &TheModel,
|
|
llvm::StringRef StaticConfig,
|
|
llvm::StringRef DynamicConfig,
|
|
PTMLCBytesContainer &Buffer) :
|
|
Binary(*TheModel.get().get()), Buffer(Buffer){};
|
|
|
|
void ModelToHeader::run() {
|
|
std::unique_ptr<llvm::raw_ostream> Out = Buffer.getOStream(ObjectID());
|
|
ptml::ModelCBuilder
|
|
B(*Out,
|
|
Binary,
|
|
/* EnableTaglessMode = */ false,
|
|
{ .EnableStackFrameInlining = revng::options::EnableStackFrameInlining,
|
|
.EnablePrintingOfTheMaximumEnumValue = true,
|
|
.ExplicitTargetPointerSize = getExplicitPointerSize(Binary) });
|
|
ptml::HeaderBuilder(B).printModelHeader(/*DefineOpaqueTypes*/ true);
|
|
Out->flush();
|
|
}
|
|
|
|
} // namespace revng::pypeline::piperuns
|