admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
feature/remove-s3-cpp
revng-revng/lib/RestructureCFG
T
History
Andrea Gussoni 8b87854a11 IDS: improve goto exit ordering criterion 
Perform the IDS operation for the exit nodes corresponding to `goto`
blocks afterwards the other _standard_ exits have been processed.

In addition, order the `GotoBlock`s according to the `post_order` of the
target blocks of the `goto` themselves. This should maximize the
opportunities for later runs of `MaterializeTrivialGoto`.
2025-04-30 16:10:54 +02:00
..
ASTNode.cpp
Merge revng-c into revng
2024-11-21 10:50:55 +01:00
ASTNodeUtils.cpp
Standardize comment formatting
2025-02-13 13:09:50 +02:00
ASTTree.cpp
Merge revng-c into revng
2024-11-21 10:50:55 +01:00
BasicBlockNode.cpp
Merge revng-c into revng
2024-11-21 10:50:55 +01:00
BeautifyGHAST.cpp
auto [...] -> auto &&[...]
2025-02-13 13:10:51 +02:00
CMakeLists.txt
MTGoTo: introduce the MaterializeTrivialGoto pass
2025-04-30 16:10:54 +02:00
DAGifyPass.cpp
Fix MIT license
2025-04-30 16:10:54 +02:00
EnforceSingleExitPass.cpp
Fix MIT license
2025-04-30 16:10:54 +02:00
ExprNode.cpp
Merge revng-c into revng
2024-11-21 10:50:55 +01:00
FallThroughScopeAnalysis.cpp
Standardize comment formatting
2025-02-13 13:09:50 +02:00
FallThroughScopeAnalysis.h
FallThroughScope: remove SwitchBreak type
2024-05-07 14:17:05 +02:00
GenericRegionInfo.cpp
Fix MIT license
2025-04-30 16:10:54 +02:00
GenericRegionPass.cpp
Fix MIT license
2025-04-30 16:10:54 +02:00
InlineDispatcherSwitch.cpp
Standardize comment formatting
2025-02-13 13:09:50 +02:00
InlineDispatcherSwitch.h
InlineDispatcherSwitch: improve function signature
2024-05-07 14:17:05 +02:00
InlineDivergentScopesPass.cpp
IDS: improve goto exit ordering criterion
2025-04-30 16:10:54 +02:00
MaterializeTrivialGotoPass.cpp
MTGoTo: introduce the MaterializeTrivialGoto pass
2025-04-30 16:10:54 +02:00
MetaRegion.cpp
Merge revng-c into revng
2024-11-21 10:50:55 +01:00
PromoteCallNoReturn.cpp
Standardize comment formatting
2025-02-13 13:09:50 +02:00
PromoteCallNoReturn.h
Relicense to MIT
2024-02-29 17:03:36 +01:00
RegionCFGTree.cpp
Merge revng-c into revng
2024-11-21 10:50:55 +01:00
RemoveDeadCode.cpp
Merge revng-c into revng
2024-11-21 10:50:55 +01:00
RemoveDeadCode.h
RemoveDeadCode: dead code removal beautify
2024-05-07 14:17:05 +02:00
RestructureCFG.cpp
auto [...] -> auto &&[...]
2025-02-13 13:10:51 +02:00
ScopeGraphAlgorithms.cpp
ScopeGraph: introduce isScopeGraphDecided helper
2025-04-30 16:10:54 +02:00
ScopeGraphUtils.cpp
ScopeGraph: ScopeGraph manipulation helpers
2025-04-30 16:10:54 +02:00
SelectScopePass.cpp
SelectScope: extract reusable helpers
2025-04-30 16:10:54 +02:00
SimplifyCompareNode.cpp
Merge revng-c into revng
2024-11-21 10:50:55 +01:00
SimplifyCompareNode.h
Relicense to MIT
2024-02-29 17:03:36 +01:00
SimplifyDualSwitch.cpp
Merge revng-c into revng
2024-11-21 10:50:55 +01:00
SimplifyDualSwitch.h
Relicense to MIT
2024-02-29 17:03:36 +01:00
SimplifyHybridNot.cpp
Merge revng-c into revng
2024-11-21 10:50:55 +01:00
SimplifyHybridNot.h
Relicense to MIT
2024-02-29 17:03:36 +01:00
SimplifyImplicitStatement.cpp
Merge revng-c into revng
2024-11-21 10:50:55 +01:00
SimplifyImplicitStatement.h
Relicense to MIT
2024-02-29 17:03:36 +01:00