mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Alessandro Di Federico
b1feb5b989
This commit drops libptc in favor of its new form libtcg. It brings several improvements, among which: * The QEMU version we work on has been upgraded. * CPUStateAccessAnalysis has been reimplemented in a way that makes it easier to debug and solves some limitations (e.g., tracking leaking pointers). * Identification of pieces of the CPU state that are read by each helper and fixing access to the CPU state is now performed at build-time. * We no longer mmap the code we need to translate, dropping all the issues related to code that needed to be mapped where something is already present. * We now have two distinct flavors of helper modules: the full one and the "slim" one. The latter contains the definition only of functions we intend to inline. It is used in most of the pipeline, a good thing since we spend less time optimizing code we don't really care about. The full module is only used on the re-compilation branch of the pipeline. * We no longer split the `cpu_loop` function. * We change MetaAddress to rely on architectures from `model::` as opposed to the LLVM ones. * We no longer attach debug info to LLVM IR containing the original assembly. * We now verify that the lifted code only contains code we expect.
86 lines
2.3 KiB
C++
86 lines
2.3 KiB
C++
/// \file Annotation.cpp
|
|
|
|
//
|
|
// This file is distributed under the MIT License. See LICENSE.md for details.
|
|
//
|
|
|
|
#include <optional>
|
|
|
|
#include "llvm/ADT/SmallVector.h"
|
|
#include "llvm/IR/Function.h"
|
|
|
|
#include "revng/HelperArgumentsAnalysis/Annotation.h"
|
|
#include "revng/Support/IRHelpers.h"
|
|
|
|
using namespace llvm;
|
|
|
|
namespace aua {
|
|
|
|
llvm::MDNode &
|
|
Annotation::serializeToMetadata(llvm::LLVMContext &Context) const {
|
|
QuickMetadata QMD(Context);
|
|
|
|
auto ToTuple = [&QMD](const OffsetAndSizeSet &Set) {
|
|
SmallVector<llvm::Metadata *, 2> Entries;
|
|
for (auto &[Offset, Size] : Set)
|
|
Entries.push_back(QMD.tuple({ QMD.get(Offset), QMD.get(Size) }));
|
|
return QMD.tuple(Entries);
|
|
};
|
|
|
|
return *QMD.tuple({ QMD.get(Escapes), ToTuple(Reads), ToTuple(Writes) });
|
|
}
|
|
|
|
void Annotation::serialize(llvm::User &ToAnnotate) {
|
|
auto &MDAnnotation = serializeToMetadata(getContext(&ToAnnotate));
|
|
if (auto *F = dyn_cast<llvm::Function>(&ToAnnotate)) {
|
|
F->setMetadata(MetadataKind, &MDAnnotation);
|
|
} else if (auto *I = dyn_cast<llvm::Instruction>(&ToAnnotate)) {
|
|
I->setMetadata(MetadataKind, &MDAnnotation);
|
|
}
|
|
}
|
|
|
|
Annotation Annotation::deserializeFromMetadata(llvm::LLVMContext &Context,
|
|
llvm::MDNode &MD) {
|
|
using llvm::MDTuple;
|
|
Annotation Result;
|
|
QuickMetadata QMD(Context);
|
|
|
|
auto FromTuple = [&QMD](const MDTuple &Tuple) -> OffsetAndSizeSet {
|
|
OffsetAndSizeSet Result;
|
|
for (llvm::Metadata *MD : Tuple.operands()) {
|
|
Result.insert({ QMD.extract<uint64_t>(MD, 0),
|
|
QMD.extract<uint64_t>(MD, 1) });
|
|
}
|
|
return Result;
|
|
};
|
|
|
|
Result.Escapes = QMD.extract<bool>(&MD, 0);
|
|
Result.Reads = FromTuple(*QMD.extract<MDTuple *>(&MD, 1));
|
|
Result.Writes = FromTuple(*QMD.extract<MDTuple *>(&MD, 2));
|
|
|
|
return Result;
|
|
}
|
|
|
|
bool Annotation::isAnnotated(llvm::Instruction &I) {
|
|
return I.getMetadata(MetadataKind) != nullptr;
|
|
}
|
|
|
|
std::optional<Annotation> Annotation::deserialize(llvm::User &ToAnnotate) {
|
|
|
|
MDNode *MD = nullptr;
|
|
if (auto *F = dyn_cast<llvm::Function>(&ToAnnotate)) {
|
|
MD = F->getMetadata(MetadataKind);
|
|
} else if (auto *I = dyn_cast<llvm::Instruction>(&ToAnnotate)) {
|
|
MD = I->getMetadata(MetadataKind);
|
|
} else {
|
|
revng_abort();
|
|
}
|
|
|
|
if (MD == nullptr)
|
|
return std::nullopt;
|
|
|
|
return deserializeFromMetadata(getContext(&ToAnnotate), *MD);
|
|
}
|
|
|
|
} // namespace aua
|