mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Andrea Gussoni
855a9309ec
Drop the `MaterializeLoopScopes` pass after the re-design the loop matching stage to work entirely on `clift`, without the need to insert a `scope_closer` edge to guide the emission. Simultaneously, drop the DAGify `Head` metadata insertion, since it will not be checked anymore during the `MaterializeLoopScopes` pass.
40 lines
1.1 KiB
CMake
40 lines
1.1 KiB
CMake
#
|
|
# This file is distributed under the MIT License. See LICENSE.md for details.
|
|
#
|
|
|
|
# We need an additional library because we link this also for unit tests
|
|
revng_add_library_internal(revngScopeGraphUtils ScopeGraphUtils.cpp)
|
|
target_link_libraries(revngScopeGraphUtils revngSupport ${LLVM_LIBRARIES})
|
|
|
|
revng_add_analyses_library_internal(
|
|
revngRestructureCFG
|
|
ASTNode.cpp
|
|
ASTNodeUtils.cpp
|
|
ASTTree.cpp
|
|
BasicBlockNode.cpp
|
|
BeautifyGHAST.cpp
|
|
DAGifyPass.cpp
|
|
EnforceSingleExitPass.cpp
|
|
ExprNode.cpp
|
|
FallThroughScopeAnalysis.cpp
|
|
GenericRegionInfo.cpp
|
|
GenericRegionPass.cpp
|
|
InlineDispatcherSwitch.cpp
|
|
InlineDivergentScopesPass.cpp
|
|
MaterializeTrivialGotoPass.cpp
|
|
MetaRegion.cpp
|
|
PromoteCallNoReturn.cpp
|
|
RegionCFGTree.cpp
|
|
RemoveDeadCode.cpp
|
|
RestructureCFG.cpp
|
|
ScopeGraphAlgorithms.cpp
|
|
ScopeGraphLoggerPass.cpp
|
|
SelectScopePass.cpp
|
|
SimplifyCompareNode.cpp
|
|
SimplifyDualSwitch.cpp
|
|
SimplifyHybridNot.cpp
|
|
SimplifyImplicitStatement.cpp)
|
|
|
|
target_link_libraries(revngRestructureCFG revngScopeGraphUtils revngSupport
|
|
revngModel revngPipeline ${LLVM_LIBRARIES})
|