mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Andrea Gussoni
fa69bd24e5
Introduce the `ScopeCloser` and `GotoTarget` annotations in the IR, and the relative necessary machinery, needed to handle scope closer and goto edges for the new backend. A specialization of the `llvm::GraphTraits`, called `ScopeGraph`, that is able to handle both the above mentioned annotations is provided. For the `llvm::GraphTraits` implementation, we introduce the `GeneratorIterator` class, which uses a coroutine to store the status of the iteration. A debug logger pass is added, so that we are able to test the functionality with `FileCheck`.
58 lines
1.3 KiB
C++
58 lines
1.3 KiB
C++
//
|
|
// Copyright rev.ng Labs Srl. See LICENSE.md for details.
|
|
//
|
|
|
|
#include "llvm/IR/Function.h"
|
|
#include "llvm/Pass.h"
|
|
|
|
#include "revng/RestructureCFG/ScopeGraphGraphTraits.h"
|
|
|
|
using namespace llvm;
|
|
|
|
class ScopeGraphLoggerPassImpl {
|
|
llvm::Function &F;
|
|
|
|
public:
|
|
ScopeGraphLoggerPassImpl(llvm::Function &F) : F(F) {}
|
|
|
|
public:
|
|
bool run() {
|
|
dumpScopeGraph(F);
|
|
|
|
return false; // The function was not modified
|
|
}
|
|
};
|
|
|
|
// We declare this pass directly in the `.cpp` file since we only need it for
|
|
// the tests
|
|
class ScopeGraphLoggerPass : public llvm::FunctionPass {
|
|
public:
|
|
static char ID;
|
|
|
|
public:
|
|
ScopeGraphLoggerPass() : llvm::FunctionPass(ID) {}
|
|
|
|
bool runOnFunction(llvm::Function &F) override;
|
|
|
|
void getAnalysisUsage(llvm::AnalysisUsage &AU) const override;
|
|
};
|
|
|
|
char ScopeGraphLoggerPass::ID = 0;
|
|
|
|
static constexpr const char *Flag = "scope-graph-logger";
|
|
using Reg = llvm::RegisterPass<ScopeGraphLoggerPass>;
|
|
static Reg X(Flag, "Dump edge information on the `ScopeGraph`");
|
|
|
|
bool ScopeGraphLoggerPass::runOnFunction(llvm::Function &F) {
|
|
|
|
// Instantiate and call the `Impl` class
|
|
ScopeGraphLoggerPassImpl SGLPImpl(F);
|
|
return SGLPImpl.run();
|
|
}
|
|
|
|
void ScopeGraphLoggerPass::getAnalysisUsage(llvm::AnalysisUsage &AU) const {
|
|
|
|
// This is a read only analysis, that does not touch the IR
|
|
AU.setPreservesAll();
|
|
}
|