mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Antonio Frighetto
20cdfe668a
The control-flow graph and all its hierarchy components have been moved from `model` to `efa`. The CFG is now serialized onto the LLVM IR module as a metadata.
42 lines
1.2 KiB
C
42 lines
1.2 KiB
C
#pragma once
|
|
|
|
//
|
|
// This file is distributed under the MIT License. See LICENSE.md for details.
|
|
//
|
|
|
|
#include "llvm/IR/Instructions.h"
|
|
|
|
#include "revng/Model/Binary.h"
|
|
#include "revng/Support/Assert.h"
|
|
#include "revng/Support/IRHelpers.h"
|
|
#include "revng/Support/MetaAddress.h"
|
|
|
|
inline MetaAddress getMetaAddressOfIsolatedFunction(const llvm::Function &F) {
|
|
revng_assert(FunctionTags::Isolated.isTagOf(&F));
|
|
return getMetaAddressMetadata(&F, FunctionEntryMDNName);
|
|
}
|
|
|
|
inline model::Function *
|
|
llvmToModelFunction(model::Binary &Binary, const llvm::Function &F) {
|
|
auto MaybeMetaAddress = getMetaAddressMetadata(&F, FunctionEntryMDNName);
|
|
if (MaybeMetaAddress == MetaAddress::invalid())
|
|
return nullptr;
|
|
if (auto It = Binary.Functions.find(MaybeMetaAddress);
|
|
It != Binary.Functions.end())
|
|
return &(*It);
|
|
|
|
return nullptr;
|
|
}
|
|
|
|
inline const model::Function *
|
|
llvmToModelFunction(const model::Binary &Binary, const llvm::Function &F) {
|
|
auto MaybeMetaAddress = getMetaAddressMetadata(&F, FunctionEntryMDNName);
|
|
if (MaybeMetaAddress == MetaAddress::invalid())
|
|
return nullptr;
|
|
if (auto It = Binary.Functions.find(MaybeMetaAddress);
|
|
It != Binary.Functions.end())
|
|
return &*It;
|
|
|
|
return nullptr;
|
|
}
|