mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Alessandro Di Federico
1429b526ab
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.
61 lines
1.6 KiB
C++
61 lines
1.6 KiB
C++
#pragma once
|
|
|
|
//
|
|
// This file is distributed under the MIT License. See LICENSE.md for details.
|
|
//
|
|
|
|
#include <unordered_set>
|
|
|
|
#include "llvm/ADT/DenseMap.h"
|
|
#include "llvm/IR/Instructions.h"
|
|
#include "llvm/Transforms/Utils/ValueMapper.h"
|
|
|
|
#include "revng/Model/Binary.h"
|
|
#include "revng/Support/MetaAddress.h"
|
|
|
|
#include "DropHelperCallsPass.h"
|
|
|
|
namespace revng {
|
|
class IRBuilder;
|
|
} // namespace revng
|
|
|
|
class AnalysisRegistry;
|
|
class JumpTargetManager;
|
|
|
|
class RootAnalyzer {
|
|
private:
|
|
using MetaAddressSet = std::unordered_set<MetaAddress>;
|
|
using Features = MetaAddress::Features;
|
|
using GlobalToAllocaTy = llvm::DenseMap<llvm::GlobalVariable *,
|
|
llvm::AllocaInst *>;
|
|
|
|
private:
|
|
JumpTargetManager &JTM;
|
|
llvm::Module &TheModule;
|
|
const TupleTree<model::Binary> &Model;
|
|
|
|
public:
|
|
RootAnalyzer(JumpTargetManager &JTM);
|
|
|
|
void cloneOptimizeAndHarvest(llvm::Function *TheFunction);
|
|
|
|
private:
|
|
llvm::Function *createTemporaryRoot(llvm::Function *TheFunction,
|
|
llvm::ValueToValueMapTy &OldToNew);
|
|
|
|
MetaAddressSet inflateValueMaterializerWhitelist();
|
|
|
|
void promoteHelpersToIntrinsics(llvm::Function *OptimizedFunction,
|
|
revng::IRBuilder &Builder);
|
|
|
|
SummaryCallsBuilder optimize(llvm::Function *OptimizedFunction,
|
|
const Features &CommonFeatures);
|
|
|
|
GlobalToAllocaTy promoteCSVsToAlloca(llvm::Function *OptimizedFunction);
|
|
|
|
void collectMaterializedValues(AnalysisRegistry &AR);
|
|
|
|
void collectValuesStoredIntoMemory(llvm::Function *F,
|
|
const Features &CommonFeatures);
|
|
};
|