mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Filippo Cremonese
74217b4fe5
Model classes are now described by a YAML document, which is used to generate C++ headers containing classes and all the boilerplate required for YAML serialization/deserialization, usage in SortedVectors, etc. See the README in include/revng/Model for more info.
66 lines
2.0 KiB
C++
66 lines
2.0 KiB
C++
#pragma once
|
|
|
|
//
|
|
// This file is distributed under the MIT License. See LICENSE.md for details.
|
|
//
|
|
|
|
#include "revng/Model/Binary.h"
|
|
#include "revng/Model/RegisterState.h"
|
|
|
|
#include "MFIGraphs/DeadRegisterArgumentsOfFunction.h"
|
|
#include "MFIGraphs/DeadReturnValuesOfFunctionCall.h"
|
|
#include "MFIGraphs/RegisterArgumentsOfFunctionCall.h"
|
|
#include "MFIGraphs/UsedArgumentsOfFunction.h"
|
|
#include "MFIGraphs/UsedReturnValuesOfFunction.h"
|
|
#include "MFIGraphs/UsedReturnValuesOfFunctionCall.h"
|
|
|
|
namespace ABIAnalyses {
|
|
|
|
namespace DeadRegisterArgumentsOfFunction {
|
|
using namespace llvm;
|
|
|
|
std::map<const GlobalVariable *, model::RegisterState::Values>
|
|
analyze(const BasicBlock *FunctionEntry, const GeneratedCodeBasicInfo &GCBI);
|
|
|
|
} // namespace DeadRegisterArgumentsOfFunction
|
|
|
|
namespace DeadReturnValuesOfFunctionCall {
|
|
using namespace llvm;
|
|
|
|
std::map<const GlobalVariable *, model::RegisterState::Values>
|
|
analyze(const BasicBlock *CallSiteBlock, const GeneratedCodeBasicInfo &GCBI);
|
|
|
|
} // namespace DeadReturnValuesOfFunctionCall
|
|
|
|
namespace RegisterArgumentsOfFunctionCall {
|
|
using namespace llvm;
|
|
|
|
std::map<const GlobalVariable *, model::RegisterState::Values>
|
|
analyze(const BasicBlock *CallSiteBlock, const GeneratedCodeBasicInfo &GCBI);
|
|
|
|
} // namespace RegisterArgumentsOfFunctionCall
|
|
|
|
namespace UsedArgumentsOfFunction {
|
|
using namespace llvm;
|
|
|
|
std::map<const GlobalVariable *, model::RegisterState::Values>
|
|
analyze(const BasicBlock *FunctionEntry, const GeneratedCodeBasicInfo &GCBI);
|
|
|
|
} // namespace UsedArgumentsOfFunction
|
|
|
|
namespace UsedReturnValuesOfFunction {
|
|
using namespace llvm;
|
|
|
|
std::map<const GlobalVariable *, model::RegisterState::Values>
|
|
analyze(const BasicBlock *ReturnBlock, const GeneratedCodeBasicInfo &GCBI);
|
|
} // namespace UsedReturnValuesOfFunction
|
|
|
|
namespace UsedReturnValuesOfFunctionCall {
|
|
using namespace llvm;
|
|
|
|
std::map<const GlobalVariable *, model::RegisterState::Values>
|
|
analyze(const BasicBlock *CallSiteBlock, const GeneratedCodeBasicInfo &GCBI);
|
|
} // namespace UsedReturnValuesOfFunctionCall
|
|
|
|
} // namespace ABIAnalyses
|