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
947 B
CMake
38 lines
947 B
CMake
#
|
|
# This file is distributed under the MIT License. See LICENSE.md for details.
|
|
#
|
|
|
|
#
|
|
# Handle the analysis libraries
|
|
#
|
|
|
|
add_custom_target(analyses)
|
|
|
|
macro(revng_add_analyses_library_internal NAME)
|
|
revng_add_analyses_library("${NAME}" revng ${ARGN})
|
|
add_dependencies(analyses "${NAME}")
|
|
endmacro()
|
|
|
|
macro(revng_add_library_internal NAME TYPE)
|
|
revng_add_library("${NAME}" "${TYPE}" revng ${ARGN})
|
|
endmacro()
|
|
|
|
add_subdirectory(ABI)
|
|
add_subdirectory(BasicAnalyses)
|
|
add_subdirectory(EarlyFunctionAnalysis)
|
|
add_subdirectory(FunctionCallIdentification)
|
|
add_subdirectory(FunctionIsolation)
|
|
add_subdirectory(GraphLayout)
|
|
add_subdirectory(Lift)
|
|
add_subdirectory(Model)
|
|
add_subdirectory(Pipeline)
|
|
add_subdirectory(PipelineC)
|
|
add_subdirectory(Pipes)
|
|
add_subdirectory(PTML)
|
|
add_subdirectory(Recompile)
|
|
add_subdirectory(Support)
|
|
add_subdirectory(TypeShrinking)
|
|
add_subdirectory(UnitTestHelpers)
|
|
add_subdirectory(ValueMaterializer)
|
|
add_subdirectory(Yield)
|