Andrea Gussoni d010ab806d MLoopScopes: introduce pass ...

The `MaterializeLoopScopes` is a scope-inducing transformation, with the
goal of inserting a `scope_closer` edge targeting the immediate post
dominator, outside each `GenericRegion`, in order to materialize the
scope representing the body of each `GenericRegion` on the `ScopeGraph`.

2025-09-10 13:36:09 +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

ASTTree: introduce soft failure

2025-06-26 09:34:26 +02:00

BasicBlockNode.cpp

Merge revng-c into revng

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

BeautifyGHAST.cpp

BeautifyGHAST: introduce soft failure

2025-07-23 13:39:30 +02:00

CMakeLists.txt

MLoopScopes: introduce pass

2025-09-10 13:36:09 +02:00

DAGifyPass.cpp

DAGify: insert Head metadata

2025-09-10 13:36:09 +02:00

EnforceSingleExitPass.cpp

ESE: single ScopeGraphBuilder instance

2025-06-12 15:31:38 +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

GenericRegionPass: run on the ScopeGraph

2025-09-10 13:36:08 +02:00

InlineDispatcherSwitch.cpp

InlineDispatcherSwitch: soft fail

2025-06-26 12:02:38 +02:00

InlineDispatcherSwitch.h

InlineDispatcherSwitch: improve function signature

2024-05-07 14:17:05 +02:00

InlineDivergentScopesPass.cpp

ScopeGraph: move helper functions

2025-09-10 13:36:08 +02:00

MaterializeLoopScopes.cpp

MLoopScopes: introduce pass

2025-09-10 13:36:09 +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

CommandLine: drop pathToStream

2025-07-23 11:34:13 +02:00

ScopeGraphAlgorithms.cpp

ScopeGraph: introduce isScopeGraphDecided helper

2025-04-30 16:10:54 +02:00

ScopeGraphLoggerPass.cpp

ScopeGraph: rename scope-graph-dumper

2025-07-23 11:34:13 +02:00

ScopeGraphUtils.cpp

ScopeGraph: move helper functions

2025-09-10 13:36:08 +02:00

SelectScopePass.cpp

SelectScope: improve logging

2025-09-10 13:36:08 +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