Files
revng-revng/include/revng/Pipes/LiftPipe.h
Massimo Fioravanti 7eeb9f50c0 pipeline --verbose: print list of commands
`revng pipeline --verbose` will now print a list of equivalent commands
for the current invocation.
2022-03-28 12:17:05 +02:00

54 lines
1.5 KiB
C++

#pragma once
//
// This file is distributed under the MIT License. See LICENSE.md for details.
//
#include <array>
#include <string>
#include "llvm/ADT/ArrayRef.h"
#include "llvm/IR/LegacyPassManager.h"
#include "revng/Pipeline/ContainerSet.h"
#include "revng/Pipeline/Context.h"
#include "revng/Pipeline/Contract.h"
#include "revng/Pipeline/GenericLLVMPipe.h"
#include "revng/Pipeline/Kind.h"
#include "revng/Pipeline/LLVMContainer.h"
#include "revng/Pipeline/LLVMGlobalKindBase.h"
#include "revng/Pipeline/Target.h"
#include "revng/Pipes/FileContainer.h"
#include "revng/Pipes/Kinds.h"
#include "revng/Pipes/RootKind.h"
#include "revng/Support/ResourceFinder.h"
namespace revng::pipes {
class LiftPipe {
public:
static constexpr auto Name = "Lift";
std::array<pipeline::ContractGroup, 1> getContract() const {
return { pipeline::ContractGroup(Binary,
pipeline::Exactness::Exact,
0,
Root,
1,
pipeline::InputPreservation::Preserve) };
}
void run(pipeline::Context &Ctx,
const FileContainer &SourceBinary,
pipeline::LLVMContainer &TargetsList);
void print(const pipeline::Context &Ctx,
llvm::raw_ostream &OS,
llvm::ArrayRef<std::string> ContainerNames) const {
OS << *ResourceFinder.findFile("bin/revng");
OS << " lift " << ContainerNames[0] << " " << ContainerNames[1] << "\n";
}
};
} // namespace revng::pipes