mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Ivan Krysak
85 lines
3.0 KiB
CMake
85 lines
3.0 KiB
CMake
#
|
|
# This file is distributed under the MIT License. See LICENSE.md for details.
|
|
#
|
|
|
|
macro(artifact_handler CATEGORY INPUT_FILE CONFIGURATION OUTPUT TARGET_NAME)
|
|
set(INPUT_FILE "${INPUT_FILE}")
|
|
list(GET INPUT_FILE 0 COMPILED_INPUT)
|
|
list(GET INPUT_FILE 1 COMPILED_RUN_INPUT)
|
|
|
|
if("${CATEGORY}" STREQUAL "tests_runtime" AND NOT "${CONFIGURATION}" STREQUAL
|
|
"static_native")
|
|
set(COMMAND_TO_RUN "./bin/revng" translate -i ${COMPILED_INPUT} -o
|
|
"${OUTPUT}")
|
|
set(DEPEND_ON revng-all-binaries)
|
|
|
|
if(NOT "${CONFIGURATION}" STREQUAL "aarch64")
|
|
foreach(RUN IN LISTS ARTIFACT_RUNS_${ARTIFACT_CATEGORY}__${ARTIFACT})
|
|
|
|
set(OUTPUT_RUN "${OUTPUT}-${RUN}.stdout")
|
|
set(TEST_NAME test-translated-${CATEGORY}-${TARGET_NAME}-${RUN})
|
|
add_test(
|
|
NAME ${TEST_NAME}
|
|
COMMAND
|
|
sh -c
|
|
"${OUTPUT} ${ARTIFACT_RUNS_${ARTIFACT_CATEGORY}__${ARTIFACT}__${RUN}} > ${OUTPUT_RUN} \
|
|
&& diff -u ${COMPILED_RUN_INPUT}/${RUN}.stdout ${OUTPUT_RUN}")
|
|
set_tests_properties(
|
|
${TEST_NAME} PROPERTIES LABELS "runtime;${CATEGORY};${CONFIGURATION}")
|
|
|
|
endforeach()
|
|
endif()
|
|
|
|
endif()
|
|
endmacro()
|
|
register_derived_artifact("compiled;compiled-run" "translated" "" "FILE")
|
|
|
|
macro(artifact_handler CATEGORY INPUT_FILE CONFIGURATION OUTPUT TARGET_NAME)
|
|
set(INPUT_FILE "${INPUT_FILE}")
|
|
list(GET INPUT_FILE 0 COMPILED_INPUT)
|
|
list(GET INPUT_FILE 1 COMPILED_RUN_INPUT)
|
|
|
|
if("${CATEGORY}" STREQUAL "tests_runtime" AND NOT "${CONFIGURATION}" STREQUAL
|
|
"static_native")
|
|
set(COMMAND_TO_RUN "./bin/revng" lift ${COMPILED_INPUT} "${OUTPUT}")
|
|
set(DEPEND_ON revng-all-binaries)
|
|
endif()
|
|
endmacro()
|
|
register_derived_artifact("compiled;compiled-run" "lifted" ".ll" "FILE")
|
|
|
|
macro(artifact_handler CATEGORY INPUT_FILE CONFIGURATION OUTPUT TARGET_NAME)
|
|
if("${CATEGORY}" STREQUAL "tests_runtime" AND NOT "${CONFIGURATION}" STREQUAL
|
|
"static_native")
|
|
set(COMMAND_TO_RUN
|
|
"./bin/revng"
|
|
llvm
|
|
pipeline
|
|
"${INPUT_FILE}"
|
|
"${OUTPUT}"
|
|
Lift
|
|
EnforceABI
|
|
"*:CSVsPromoted")
|
|
set(DEPEND_ON revng-all-binaries)
|
|
endif()
|
|
endmacro()
|
|
register_derived_artifact("lifted" "abi-enforced-for-decompilation" ".bc"
|
|
"FILE")
|
|
|
|
macro(artifact_handler CATEGORY INPUT_FILE CONFIGURATION OUTPUT TARGET_NAME)
|
|
if("${CATEGORY}" STREQUAL "tests_runtime" AND NOT "${CONFIGURATION}" STREQUAL
|
|
"static_native")
|
|
set(COMMAND_TO_RUN
|
|
"./bin/revng"
|
|
pipeline
|
|
assembly.html.yml:html:FunctionAssemblyHTML
|
|
-i
|
|
"begin:input:${INPUT_FILE}"
|
|
-o
|
|
"YieldAssembly:assembly.html.yml:${OUTPUT}"
|
|
--step
|
|
YieldAssembly)
|
|
set(DEPEND_ON revng-all-binaries)
|
|
endif()
|
|
endmacro()
|
|
register_derived_artifact("compiled" "assembly-html" ".yml" "FILE")
|