mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Alessandro Di Federico
a65ccc3413
`ValueMaterializer` is a rewrite of what was called `AdvancedValueInfo` which follows the same principles. The main benefits over the old version is: * We materialize the data-flow graph and the CFG of the relevant part of root. This makes debugging significantly easier. * We drop the old MonotoneFramework infrastructure in favor of getMaximalFixedPoint. * We significantly reduce the amount of queries we make to AdvancedValueInfo.
73 lines
2.2 KiB
C++
73 lines
2.2 KiB
C++
#pragma once
|
|
|
|
//
|
|
// This file is distributed under the MIT License. See LICENSE.md for details.
|
|
//
|
|
|
|
#include <map>
|
|
|
|
#include "revng/ADT/ConstantRangeSet.h"
|
|
#include "revng/MFP/Graph.h"
|
|
#include "revng/MFP/MFP.h"
|
|
#include "revng/ValueMaterializer/ControlFlowEdgesGraph.h"
|
|
|
|
namespace llvm {
|
|
class Instruction;
|
|
class LazyValueInfo;
|
|
class DominatorTree;
|
|
} // namespace llvm
|
|
|
|
class DataFlowGraph;
|
|
|
|
class AdvancedValueInfoMFI {
|
|
public:
|
|
using LatticeElement = std::map<llvm::Instruction *, ConstantRangeSet>;
|
|
using GraphType = const ControlFlowEdgesGraph *;
|
|
using Label = const ControlFlowEdgesGraph::Node *;
|
|
using ResultsMap = std::map<Label, MFP::MFPResult<LatticeElement>>;
|
|
using InstructionsSet = llvm::SmallPtrSetImpl<llvm::Instruction *>;
|
|
|
|
private:
|
|
llvm::LazyValueInfo &LVI;
|
|
const llvm::DominatorTree &DT;
|
|
llvm::Instruction *Context;
|
|
llvm::SmallPtrSetImpl<llvm::Instruction *> &Instructions;
|
|
|
|
public:
|
|
AdvancedValueInfoMFI(llvm::LazyValueInfo &LVI,
|
|
const llvm::DominatorTree &DT,
|
|
llvm::Instruction *Context,
|
|
InstructionsSet &Instructions) :
|
|
LVI(LVI), DT(DT), Context(Context), Instructions(Instructions) {}
|
|
|
|
public:
|
|
LatticeElement
|
|
combineValues(const LatticeElement &LHS, const LatticeElement &RHS) const;
|
|
|
|
bool
|
|
isLessOrEqual(const LatticeElement &LHS, const LatticeElement &RHS) const;
|
|
|
|
LatticeElement applyTransferFunction(Label L, const LatticeElement &E) const;
|
|
|
|
public:
|
|
static void dump(GraphType CFEG, const ResultsMap &AllResults);
|
|
};
|
|
|
|
static_assert(MFP::MonotoneFrameworkInstance<AdvancedValueInfoMFI>);
|
|
|
|
/// \p DFG the data flow graph containing the instructions we're interested in.
|
|
/// \p Context the position in the function for the current query.
|
|
std::tuple<std::map<llvm::Instruction *, ConstantRangeSet>,
|
|
ControlFlowEdgesGraph,
|
|
map<const ForwardNode<ControlFlowEdgesNode> *,
|
|
MFP::MFPResult<map<llvm::Instruction *, ConstantRangeSet>>>>
|
|
runAVI(const DataFlowGraph &DFG,
|
|
llvm::Instruction *Context,
|
|
const llvm::DominatorTree &DT,
|
|
llvm::LazyValueInfo &LVI);
|
|
|
|
template<>
|
|
void MFP::dump(llvm::raw_ostream &Stream,
|
|
unsigned Indent,
|
|
const std::map<llvm::Instruction *, ConstantRangeSet> &Element);
|