mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
40ebac06cc
Introduce the `inline-divergent-scopes` pass. This pass in is charge of reducing the exit nodes in a `ScopeGraph`, applying the _Inline Divergent Scopes_ transformation, which is able, in presence of divergent exits nodes, wrt. to a conditional, to remove the exit node and to transform the `ScopeGraph` in a form where semantics is preserved.