Files
Giacomo Vercesi 798af62b87 Introduce helpers declarations
Re-organize the variants of `libtcg-helpers-*.bc` as such:
* `libtcg-helpers-full-$ARCH.bc`: unchanged, contains all helper
  function with their bodies and all CSVs.
* `libtcg-helpers-declarations-only-$ARCH.bc`: all helper
  functions have been turned to declarations. All CSVs (except a couple
  of special ones) have been dropped.
* `libtcg-helpers-to-inline-$ARCH.bc`: only functions with the
  `revng_inline` section retain their body. Only CSVs that are used by
  these functions are present.

Lift now loads only the `declarations-only` variant of helpers, as
their body is not required until `inline-helpers`. In `inline-helpers`
the `to-inline` variant is loaded and linked, which then allows the
helpers to be inlined.
2026-02-05 10:20:45 +01:00

20 lines
489 B
CMake

#
# This file is distributed under the MIT License. See LICENSE.md for details.
#
revng_add_analyses_library_internal(
revngHelperArgumentsAnalysis
AnalyzeHelperArguments.cpp
Annotation.cpp
ArgumentUsageAnalysis.cpp
Context.cpp
CPULoopExitPass.cpp
CPUStateUsage.cpp
FixHelpers.cpp
HelpersModuleToDeclarations.cpp
SlimDownHelpersModule.cpp
Value.cpp)
target_link_libraries(revngHelperArgumentsAnalysis revngLift revngSupport
${LLVM_LIBRARIES})