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.
11 lines
360 B
CMake
11 lines
360 B
CMake
#
|
|
# This file is distributed under the MIT License. See LICENSE.md for details.
|
|
#
|
|
|
|
revng_add_library_internal(
|
|
revngValueMaterializer SHARED AdvancedValueInfo.cpp ControlFlowEdgesGraph.cpp
|
|
DataFlowGraph.cpp ValueMaterializer.cpp)
|
|
|
|
target_link_libraries(revngValueMaterializer
|
|
PUBLIC revngSupport revngBasicAnalyses ${LLVM_LIBRARIES})
|