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.h

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

ASTNodeUtils.h

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

ASTTree.h

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

BasicBlockNode.h

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

BasicBlockNodeBB.h

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

BasicBlockNodeImpl.h

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

BeautifyGHAST.h

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

DAGifyPass.h

DAGify: implement the DAGify pass

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

EnforceSingleExitPass.h

ESE: Introduce the Enforce Single Exit pass

2024-12-18 10:51:40 +01:00

ExprNode.h

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

GenerateAst.h

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

GenericRegion.h

GenericRegion: remove retreatings edges

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

GenericRegionInfo.h

GenericRegion: remove retreatings edges

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

GenericRegionPass.h

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

MetaRegion.h

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

MetaRegionBB.h

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

MetaRegionImpl.h

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

RegionCFGTree.h

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

RegionCFGTreeBB.h

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

RegionCFGTreeImpl.h

auto [...] -> auto &&[...]

2025-02-13 13:10:51 +02:00

RestructureCFG.h

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

ScopeGraphGraphTraits.h

ScopeGraph: require pointer type for ScopeGraph

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

ScopeGraphUtils.h

ScopeGraph: do not assert when marker not present

2025-03-11 09:28:04 +01:00

Utils.h

Merge revng-c into revng

2024-11-21 10:50:55 +01:00