mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Alessandro Di Federico
a65ccc3413
`ValueMaterializer` is a rewrite of what was called `AdvancedValueInfo` which follows the same principles. The main benefits over the old version is: * We materialize the data-flow graph and the CFG of the relevant part of root. This makes debugging significantly easier. * We drop the old MonotoneFramework infrastructure in favor of getMaximalFixedPoint. * We significantly reduce the amount of queries we make to AdvancedValueInfo.
38 lines
803 B
CMake
38 lines
803 B
CMake
#
|
|
# This file is distributed under the MIT License. See LICENSE.md for details.
|
|
#
|
|
|
|
revng_add_library_internal(
|
|
revngLift
|
|
SHARED
|
|
CodeGenerator.cpp
|
|
CPUStateAccessAnalysisPass.cpp
|
|
CSVOffsets.cpp
|
|
ExternalJumpsHandler.cpp
|
|
InstructionTranslator.cpp
|
|
Lift.cpp
|
|
LiftPipe.cpp
|
|
LinkSupportPipe.cpp
|
|
LoadBinaryPass.cpp
|
|
JumpTargetManager.cpp
|
|
PTCDump.cpp
|
|
RootAnalyzer.cpp
|
|
ValueMaterializerPass.cpp
|
|
VariableManager.cpp)
|
|
|
|
target_link_libraries(
|
|
revngLift
|
|
PUBLIC dl
|
|
m
|
|
revngABI
|
|
revngBasicAnalyses
|
|
revngModelImporterDebugInfo
|
|
revngFunctionCallIdentification
|
|
revngModel
|
|
revngPipes
|
|
revngSupport
|
|
revngTypeShrinking
|
|
revngEarlyFunctionAnalysis
|
|
revngValueMaterializer
|
|
${LLVM_LIBRARIES})
|