admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

EFA, importModel: handle missing prototype

Browse Source
This commit is contained in:
Alessandro Di Federico
2024-01-23 08:36:58 +01:00
parent 9deb63d460
commit b021b815fe
1 changed files with 26 additions and 23 deletions
Download Patch File Download Diff File Expand all files Collapse all files
lib/EarlyFunctionAnalysis/FunctionSummaryOracle.cpp
+26 -23
View File
@@ -34,31 +34,35 @@ importPrototype(Module &M,
Summary.ABIResults.FinalReturnValuesRegisters[CSV] = State::No;
}
auto Layout = abi::FunctionType::Layout::make(Prototype);
if (not Prototype.empty()) {
auto Layout = abi::FunctionType::Layout::make(Prototype);
for (Register ArgumentRegister : Layout.argumentRegisters()) {
StringRef Name = model::Register::getCSVName(ArgumentRegister);
if (GlobalVariable *CSV = M.getGlobalVariable(Name, true))
Summary.ABIResults.ArgumentsRegisters.at(CSV) = State::Yes;
for (Register ArgumentRegister : Layout.argumentRegisters()) {
StringRef Name = model::Register::getCSVName(ArgumentRegister);
if (GlobalVariable *CSV = M.getGlobalVariable(Name, true))
Summary.ABIResults.ArgumentsRegisters.at(CSV) = State::Yes;
}
for (Register ReturnValueRegister : Layout.returnValueRegisters()) {
StringRef Name = model::Register::getCSVName(ReturnValueRegister);
if (GlobalVariable *CSV = M.getGlobalVariable(Name, true))
Summary.ABIResults.FinalReturnValuesRegisters.at(CSV) = State::Yes;
}
std::set<llvm::GlobalVariable *> PreservedRegisters;
for (Register CalleeSavedRegister : Layout.CalleeSavedRegisters) {
StringRef Name = model::Register::getCSVName(CalleeSavedRegister);
if (GlobalVariable *CSV = M.getGlobalVariable(Name, true))
PreservedRegisters.insert(CSV);
}
std::erase_if(Summary.ClobberedRegisters, [&](const auto &E) {
return PreservedRegisters.contains(E);
});
Summary.ElectedFSO = Layout.FinalStackOffset;
}
for (Register ReturnValueRegister : Layout.returnValueRegisters()) {
StringRef Name = model::Register::getCSVName(ReturnValueRegister);
if (GlobalVariable *CSV = M.getGlobalVariable(Name, true))
Summary.ABIResults.FinalReturnValuesRegisters.at(CSV) = State::Yes;
}
std::set<llvm::GlobalVariable *> PreservedRegisters;
for (Register CalleeSavedRegister : Layout.CalleeSavedRegisters) {
StringRef Name = model::Register::getCSVName(CalleeSavedRegister);
if (GlobalVariable *CSV = M.getGlobalVariable(Name, true))
PreservedRegisters.insert(CSV);
}
std::erase_if(Summary.ClobberedRegisters,
[&](const auto &E) { return PreservedRegisters.contains(E); });
Summary.ElectedFSO = Layout.FinalStackOffset;
return Summary;
}
@@ -153,7 +157,6 @@ void importModel(Module &M,
ABICSVs.emplace_back(CSV);
// Import the default prototype
revng_assert(Binary.DefaultPrototype().isValid());
Oracle.setDefault(importPrototype(M, ABICSVs, {}, Binary.DefaultPrototype()));
std::map<llvm::BasicBlock *, MetaAddress> InlineFunctions;