Andrea Gussoni 93f4a620dd DAGify: implement the DAGify pass ...

Implement the DAGify pass. This pass, using the results exposed by the
`GenericRegionInfo` analysis, transforms all the retreating edges of
each identified `GenericRegion`, processed in a bottom-up fashion, into
a `goto` edge on the `ScopeGraph`.

2025-03-11 12:26:36 +01: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

DAGify: implement the DAGify pass

2025-03-11 12:26:36 +01:00

DAGifyPass.cpp

DAGify: implement the DAGify pass

2025-03-11 12:26:36 +01:00

EnforceSingleExitPass.cpp

ESE: fix comment

2025-03-11 12:25:24 +01: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

GenericRegion: add support for ScopeGraph

2025-03-11 12:25:24 +01:00

GenericRegionPass.cpp

Merge revng-c into revng

2024-11-21 10:50:55 +01: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

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

ScopeGraphUtils.cpp

ScopeGraph: fix marker call prototypes

2025-01-27 23:27:59 +01: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