mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Alessandro Di Federico
3e31edf817
This commit introduces `FixPointerSize`, a pipe changing the `DataLayout` of module in order to have a pointer size identical to the one of `targetABI()`. The pipe also performs safety checks to ensure this does not corrupt semantics.
48 lines
1.1 KiB
CMake
48 lines
1.1 KiB
CMake
#
|
|
# This file is distributed under the MIT License. See LICENSE.md for details.
|
|
#
|
|
|
|
revng_add_analyses_library_internal(
|
|
revngCanonicalize
|
|
ArithmeticToGEP.cpp
|
|
DeferAllocas.cpp
|
|
DiscardBrokenDebugInformation.cpp
|
|
EmbedStatementComments.cpp
|
|
ExitSSAPass.cpp
|
|
ExtractValueToGEP.cpp
|
|
FixPointerSize.cpp
|
|
FoldModelGEP.cpp
|
|
SplitStructPhis.cpp
|
|
ImplicitModelCastPass.cpp
|
|
LoopRewriteWithCanonicalIV.cpp
|
|
MakeLocalVariables.cpp
|
|
MakeModelCastPass.cpp
|
|
MakeModelGEPPass.cpp
|
|
OperatorPrecedenceResolutionPass.cpp
|
|
PeepholeOptimizationPass.cpp
|
|
PrettyIntFormattingPass.cpp
|
|
RemoveConstantArrayReturnsPass.cpp
|
|
RemoveLLVMAssumeCallsPass.cpp
|
|
RemoveLoadStore.cpp
|
|
RemovePointerCasts.cpp
|
|
SimplifySwitchPass.cpp
|
|
SplitExponentialDataflow.cpp
|
|
SplitOverflowIntrinsicsPass.cpp
|
|
SwitchToStatements.cpp
|
|
TernaryReductionPass.cpp
|
|
TwosComplementArithmeticNormalizationPass.cpp)
|
|
|
|
target_link_libraries(
|
|
revngCanonicalize
|
|
revngFunctionIsolation
|
|
revngInitModelTypes
|
|
revngTypeNames
|
|
revngSupport
|
|
revngABI
|
|
revngLocalVariables
|
|
revngModel
|
|
revngPipes
|
|
revngPTML
|
|
revngLift
|
|
${LLVM_LIBRARIES})
|