mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Alessandro Di Federico
fd30d3de42
This commit introduces the type system of the model along with several various other improvements to the model and its users. * Introduce the type system. * Introduce possibility to tag certain fields in the model as to be optional during YAML serialization. * All the `Name` fields have been replaced in favor of `CustomName` plus a `name` method that will use `CustomName` if available, or an automatically generated name otherwise. * Make TupleTreeReferences behavior more robust: now you either need to have a valid pointer to `Root` and a `Path` or be default constructed (`nullptr` for `Root` and an empty `Path`). Any other configuration is invalid. * The type system introduces `RawFunctionType`: this superseds the previous way in which we were specifying arguments and return values. Users of such information have been updated accordingly.
331 lines
10 KiB
CMake
331 lines
10 KiB
CMake
#
|
|
# This file is distributed under the MIT License. See LICENSE.md for details.
|
|
#
|
|
|
|
cmake_policy(SET CMP0060 NEW)
|
|
|
|
set(SRC "${CMAKE_SOURCE_DIR}/tests/unit")
|
|
|
|
find_package(Boost REQUIRED COMPONENTS unit_test_framework)
|
|
|
|
#
|
|
# test_lazysmallbitvector
|
|
#
|
|
|
|
revng_add_private_executable(test_lazysmallbitvector "${SRC}/LazySmallBitVector.cpp")
|
|
target_compile_definitions(test_lazysmallbitvector
|
|
PRIVATE "BOOST_TEST_DYN_LINK=1")
|
|
target_include_directories(test_lazysmallbitvector
|
|
PRIVATE "${CMAKE_SOURCE_DIR}")
|
|
target_link_libraries(test_lazysmallbitvector
|
|
revngSupport
|
|
revngUnitTestHelpers
|
|
Boost::unit_test_framework
|
|
${LLVM_LIBRARIES})
|
|
add_test(NAME test_lazysmallbitvector COMMAND ./bin/test_lazysmallbitvector)
|
|
set_tests_properties(test_lazysmallbitvector PROPERTIES LABELS "unit")
|
|
|
|
#
|
|
# test_stackanalysis
|
|
#
|
|
|
|
revng_add_private_executable(test_stackanalysis "${SRC}/StackAnalysis.cpp")
|
|
target_compile_definitions(test_stackanalysis
|
|
PRIVATE "BOOST_TEST_DYN_LINK=1")
|
|
target_include_directories(test_stackanalysis
|
|
PRIVATE "${CMAKE_SOURCE_DIR}"
|
|
"${CMAKE_SOURCE_DIR}/lib/StackAnalysis"
|
|
"${CMAKE_BINARY_DIR}/lib/StackAnalysis")
|
|
target_link_libraries(test_stackanalysis
|
|
revngStackAnalysis
|
|
revngSupport
|
|
revngUnitTestHelpers
|
|
Boost::unit_test_framework
|
|
${LLVM_LIBRARIES})
|
|
add_test(NAME test_stackanalysis COMMAND ./bin/test_stackanalysis)
|
|
set_tests_properties(test_stackanalysis PROPERTIES LABELS "unit")
|
|
|
|
#
|
|
# test_classsentinel
|
|
#
|
|
|
|
revng_add_private_executable(test_classsentinel "${SRC}/ClassSentinel.cpp")
|
|
target_compile_definitions(test_classsentinel
|
|
PRIVATE "BOOST_TEST_DYN_LINK=1")
|
|
target_include_directories(test_classsentinel
|
|
PRIVATE "${CMAKE_SOURCE_DIR}")
|
|
target_link_libraries(test_classsentinel
|
|
revngSupport
|
|
revngUnitTestHelpers
|
|
Boost::unit_test_framework
|
|
${LLVM_LIBRARIES})
|
|
add_test(NAME test_classsentinel COMMAND ./bin/test_classsentinel)
|
|
set_tests_properties(test_classsentinel PROPERTIES LABELS "unit")
|
|
|
|
#
|
|
# test_irhelpers
|
|
#
|
|
|
|
revng_add_private_executable(test_irhelpers "${SRC}/IRHelpers.cpp")
|
|
target_compile_definitions(test_irhelpers
|
|
PRIVATE "BOOST_TEST_DYN_LINK=1")
|
|
target_include_directories(test_irhelpers
|
|
PRIVATE "${CMAKE_SOURCE_DIR}")
|
|
target_link_libraries(test_irhelpers
|
|
revngSupport
|
|
revngUnitTestHelpers
|
|
Boost::unit_test_framework
|
|
${LLVM_LIBRARIES})
|
|
add_test(NAME test_irhelpers COMMAND ./bin/test_irhelpers)
|
|
set_tests_properties(test_irhelpers PROPERTIES LABELS "unit")
|
|
|
|
#
|
|
# test_irhelpers
|
|
#
|
|
|
|
revng_add_private_executable(test_advancedvalueinfo "${SRC}/AdvancedValueInfo.cpp")
|
|
target_compile_definitions(test_advancedvalueinfo
|
|
PRIVATE "BOOST_TEST_DYN_LINK=1")
|
|
target_include_directories(test_advancedvalueinfo
|
|
PRIVATE "${CMAKE_SOURCE_DIR}")
|
|
target_link_libraries(test_advancedvalueinfo
|
|
revngSupport
|
|
revngBasicAnalyses
|
|
Boost::unit_test_framework
|
|
${LLVM_LIBRARIES})
|
|
add_test(NAME test_advancedvalueinfo COMMAND ./bin/test_advancedvalueinfo)
|
|
set_tests_properties(test_advancedvalueinfo PROPERTIES LABELS "unit")
|
|
|
|
#
|
|
# test_zipmapiterator
|
|
#
|
|
|
|
revng_add_private_executable(test_zipmapiterator "${SRC}/ZipMapIterator.cpp")
|
|
target_compile_definitions(test_zipmapiterator
|
|
PRIVATE "BOOST_TEST_DYN_LINK=1")
|
|
target_include_directories(test_zipmapiterator
|
|
PRIVATE "${CMAKE_SOURCE_DIR}")
|
|
target_link_libraries(test_zipmapiterator
|
|
revngSupport
|
|
revngUnitTestHelpers
|
|
Boost::unit_test_framework
|
|
${LLVM_LIBRARIES})
|
|
add_test(NAME test_zipmapiterator COMMAND ./bin/test_zipmapiterator)
|
|
set_tests_properties(test_zipmapiterator PROPERTIES LABELS "unit")
|
|
|
|
#
|
|
# test_constantrangeset
|
|
#
|
|
|
|
revng_add_private_executable(test_constantrangeset "${SRC}/ConstantRangeSet.cpp")
|
|
target_compile_definitions(test_constantrangeset
|
|
PRIVATE "BOOST_TEST_DYN_LINK=1")
|
|
target_include_directories(test_constantrangeset
|
|
PRIVATE "${CMAKE_SOURCE_DIR}")
|
|
target_link_libraries(test_constantrangeset
|
|
revngSupport
|
|
revngUnitTestHelpers
|
|
Boost::unit_test_framework
|
|
${LLVM_LIBRARIES})
|
|
add_test(NAME test_constantrangeset COMMAND ./bin/test_constantrangeset)
|
|
set_tests_properties(test_constantrangeset PROPERTIES LABELS "unit")
|
|
|
|
#
|
|
# test_shrinkinstructionoperands
|
|
#
|
|
|
|
revng_add_private_executable(test_shrinkinstructionoperands "${SRC}/ShrinkInstructionOperandsPass.cpp")
|
|
target_compile_definitions(test_shrinkinstructionoperands
|
|
PRIVATE "BOOST_TEST_DYN_LINK=1")
|
|
target_include_directories(test_shrinkinstructionoperands
|
|
PRIVATE "${CMAKE_SOURCE_DIR}")
|
|
target_link_libraries(test_shrinkinstructionoperands
|
|
revngSupport
|
|
revngUnitTestHelpers
|
|
Boost::unit_test_framework
|
|
${LLVM_LIBRARIES})
|
|
add_test(NAME test_shrinkinstructionoperands COMMAND ./bin/test_shrinkinstructionoperands)
|
|
set_tests_properties(test_shrinkinstructionoperands PROPERTIES LABELS "unit")
|
|
|
|
#
|
|
# test_metaaddress
|
|
#
|
|
|
|
revng_add_private_executable(test_metaaddress "${SRC}/MetaAddress.cpp")
|
|
target_include_directories(test_metaaddress
|
|
PRIVATE "${CMAKE_SOURCE_DIR}"
|
|
"${Boost_INCLUDE_DIRS}")
|
|
target_compile_definitions(test_metaaddress
|
|
PRIVATE "BOOST_TEST_DYN_LINK=1")
|
|
target_link_libraries(test_metaaddress
|
|
revngSupport
|
|
revngUnitTestHelpers
|
|
${Boost_UNIT_TEST_FRAMEWORK_LIBRARY}
|
|
${LLVM_LIBRARIES})
|
|
add_test(NAME test_metaaddress COMMAND ./bin/test_metaaddress)
|
|
set_tests_properties(test_metaaddress PROPERTIES LABELS "unit")
|
|
|
|
#
|
|
# test_filtered_graph_traits
|
|
#
|
|
|
|
revng_add_private_executable(test_filtered_graph_traits "${SRC}/FilteredGraphTraits.cpp")
|
|
target_compile_definitions(test_filtered_graph_traits
|
|
PRIVATE "BOOST_TEST_DYN_LINK=1")
|
|
target_include_directories(test_filtered_graph_traits
|
|
PRIVATE "${CMAKE_SOURCE_DIR}")
|
|
target_link_libraries(test_filtered_graph_traits
|
|
revngSupport
|
|
revngUnitTestHelpers
|
|
Boost::unit_test_framework
|
|
${LLVM_LIBRARIES})
|
|
add_test(NAME test_filtered_graph_traits COMMAND ./bin/test_filtered_graph_traits -- "${SRC}/test_graphs/")
|
|
set_tests_properties(test_filtered_graph_traits PROPERTIES LABELS "unit")
|
|
|
|
#
|
|
# test_smallmap
|
|
#
|
|
|
|
revng_add_private_executable(test_smallmap "${SRC}/SmallMap.cpp")
|
|
target_compile_definitions(test_smallmap
|
|
PRIVATE "BOOST_TEST_DYN_LINK=1")
|
|
target_include_directories(test_smallmap
|
|
PRIVATE "${CMAKE_SOURCE_DIR}")
|
|
target_link_libraries(test_smallmap
|
|
revngSupport
|
|
revngUnitTestHelpers
|
|
Boost::unit_test_framework
|
|
${LLVM_LIBRARIES})
|
|
add_test(NAME test_smallmap COMMAND ./bin/test_smallmap)
|
|
set_tests_properties(test_smallmap PROPERTIES LABELS "unit")
|
|
|
|
#
|
|
# test_genericgraph
|
|
#
|
|
|
|
revng_add_private_executable(test_genericgraph "${SRC}/GenericGraph.cpp")
|
|
target_compile_definitions(test_genericgraph
|
|
PRIVATE "BOOST_TEST_DYN_LINK=1")
|
|
target_include_directories(test_genericgraph
|
|
PRIVATE "${CMAKE_SOURCE_DIR}")
|
|
target_link_libraries(test_genericgraph
|
|
revngSupport
|
|
Boost::unit_test_framework
|
|
${LLVM_LIBRARIES})
|
|
add_test(NAME test_genericgraph COMMAND ./bin/test_genericgraph)
|
|
set_tests_properties(test_genericgraph PROPERTIES LABELS "unit")
|
|
|
|
#
|
|
# test_keyedobjectscontainers
|
|
#
|
|
|
|
revng_add_private_executable(test_keyedobjectscontainers "${SRC}/KeyedObjectsContainers.cpp")
|
|
target_compile_definitions(test_keyedobjectscontainers
|
|
PRIVATE "BOOST_TEST_DYN_LINK=1")
|
|
target_include_directories(test_keyedobjectscontainers
|
|
PRIVATE "${CMAKE_SOURCE_DIR}")
|
|
target_link_libraries(test_keyedobjectscontainers
|
|
revngSupport
|
|
revngUnitTestHelpers
|
|
Boost::unit_test_framework
|
|
${LLVM_LIBRARIES})
|
|
add_test(NAME test_keyedobjectscontainers COMMAND ./bin/test_keyedobjectscontainers)
|
|
set_tests_properties(test_keyedobjectscontainers PROPERTIES LABELS "unit")
|
|
|
|
#
|
|
# test_model
|
|
#
|
|
|
|
revng_add_private_executable(test_model "${SRC}/Model.cpp")
|
|
target_compile_definitions(test_model
|
|
PRIVATE "BOOST_TEST_DYN_LINK=1")
|
|
target_include_directories(test_model
|
|
PRIVATE "${CMAKE_SOURCE_DIR}")
|
|
target_link_libraries(test_model
|
|
revngSupport
|
|
revngUnitTestHelpers
|
|
revngModel
|
|
Boost::unit_test_framework
|
|
${LLVM_LIBRARIES})
|
|
add_test(NAME test_model COMMAND ./bin/test_model)
|
|
set_tests_properties(test_model PROPERTIES LABELS "unit")
|
|
|
|
#
|
|
# test_instantiatepasses
|
|
#
|
|
|
|
revng_add_private_executable(test_instantiatepasses "${SRC}/InstantiatePasses.cpp")
|
|
target_compile_definitions(test_instantiatepasses
|
|
PRIVATE "BOOST_TEST_DYN_LINK=1")
|
|
target_include_directories(test_instantiatepasses
|
|
PRIVATE "${CMAKE_SOURCE_DIR}")
|
|
target_link_libraries(test_instantiatepasses
|
|
revngSupport
|
|
revngUnitTestHelpers
|
|
revngModel
|
|
Boost::unit_test_framework
|
|
${LLVM_LIBRARIES})
|
|
add_test(NAME test_instantiatepasses COMMAND ./bin/test_instantiatepasses)
|
|
set_tests_properties(test_instantiatepasses PROPERTIES LABELS "unit")
|
|
|
|
#
|
|
# test_upcastablepointer
|
|
#
|
|
|
|
revng_add_private_executable(test_upcastablepointer "${SRC}/UpcastablePointer.cpp")
|
|
target_compile_definitions(test_upcastablepointer
|
|
PRIVATE "BOOST_TEST_DYN_LINK=1")
|
|
target_include_directories(test_upcastablepointer
|
|
PRIVATE "${CMAKE_SOURCE_DIR}")
|
|
target_link_libraries(test_upcastablepointer
|
|
revngSupport
|
|
revngUnitTestHelpers
|
|
revngModel
|
|
Boost::unit_test_framework
|
|
${LLVM_LIBRARIES})
|
|
add_test(NAME test_upcastablepointer COMMAND ./bin/test_upcastablepointer)
|
|
set_tests_properties(test_upcastablepointer PROPERTIES LABELS "unit")
|
|
|
|
#
|
|
# test_recursive_coroutines
|
|
#
|
|
|
|
macro(add_recursive_coroutine_test NAME)
|
|
revng_add_private_executable("${NAME}" "${SRC}/RecursiveCoroutine.cpp")
|
|
target_compile_definitions("${NAME}"
|
|
PRIVATE "BOOST_TEST_DYN_LINK=1")
|
|
target_include_directories("${NAME}"
|
|
PRIVATE "${CMAKE_SOURCE_DIR}")
|
|
target_link_libraries("${NAME}"
|
|
revngSupport
|
|
${LLVM_LIBRARIES})
|
|
add_test(NAME "${NAME}" COMMAND "./bin/${NAME}")
|
|
set_tests_properties("${NAME}" PROPERTIES LABELS "unit")
|
|
endmacro()
|
|
|
|
add_recursive_coroutine_test(test_recursive_coroutines)
|
|
|
|
add_recursive_coroutine_test(test_recursive_coroutines_fallback)
|
|
target_compile_definitions(test_recursive_coroutines_fallback PRIVATE DISABLE_RECURSIVE_COROUTINES)
|
|
|
|
add_recursive_coroutine_test(test_recursive_coroutines_iterative)
|
|
target_compile_definitions(test_recursive_coroutines_iterative PRIVATE ITERATIVE)
|
|
|
|
#
|
|
# test_model_type
|
|
#
|
|
|
|
revng_add_private_executable(test_model_type "${SRC}/ModelType.cpp")
|
|
target_compile_definitions(test_model_type
|
|
PRIVATE "BOOST_TEST_DYN_LINK=1")
|
|
target_include_directories(test_model_type
|
|
PRIVATE "${CMAKE_SOURCE_DIR}")
|
|
target_link_libraries(test_model_type
|
|
revngSupport
|
|
revngUnitTestHelpers
|
|
revngModel
|
|
Boost::unit_test_framework
|
|
${LLVM_LIBRARIES})
|
|
add_test(NAME test_model_type COMMAND ./bin/test_model_type)
|
|
set_tests_properties(test_model_type PROPERTIES LABELS "unit")
|