mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Lauri Vasama
42 lines
1.1 KiB
C++
42 lines
1.1 KiB
C++
//
|
|
// This file is distributed under the MIT License. See LICENSE.md for details.
|
|
//
|
|
|
|
#include "revng/CliftImportModel/ModelVerify.h"
|
|
#include "revng/CliftPipes/CliftContainer.h"
|
|
#include "revng/Pipeline/RegisterPipe.h"
|
|
|
|
namespace clift = mlir::clift;
|
|
|
|
namespace {
|
|
|
|
class ModelVerifyPipe {
|
|
public:
|
|
static constexpr auto Name = "model-verify-clift";
|
|
|
|
std::array<pipeline::ContractGroup, 1> getContract() const {
|
|
using namespace pipeline;
|
|
using namespace revng::kinds;
|
|
|
|
return { ContractGroup({ Contract(CliftFunction,
|
|
0,
|
|
CliftFunction,
|
|
0,
|
|
InputPreservation::Preserve) }) };
|
|
}
|
|
|
|
void run(pipeline::ExecutionContext &EC,
|
|
revng::pipes::CliftContainer &CliftContainer) {
|
|
|
|
auto R = clift::verifyAgainstModel(CliftContainer.getModule(),
|
|
*revng::getModelFromContext(EC));
|
|
revng_assert(R.succeeded());
|
|
|
|
EC.commitAllFor(CliftContainer);
|
|
}
|
|
};
|
|
|
|
static pipeline::RegisterPipe<ModelVerifyPipe> X;
|
|
|
|
} // namespace
|