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.
17 lines
426 B
CMake
17 lines
426 B
CMake
#
|
|
# This file is distributed under the MIT License. See LICENSE.md for details.
|
|
#
|
|
|
|
revng_add_analyses_library_internal(
|
|
revngBasicAnalyses
|
|
EmptyNewPC.cpp
|
|
RemoveDbgMetadata.cpp
|
|
GeneratedCodeBasicInfo.cpp
|
|
MaterializedValue.cpp
|
|
RemoveNewPCCalls.cpp
|
|
RemoveHelperCalls.cpp
|
|
ShrinkInstructionOperandsPass.cpp)
|
|
|
|
target_link_libraries(revngBasicAnalyses revngModel revngSupport
|
|
${LLVM_LIBRARIES})
|