Files
Andrea Gussoni 40ebac06cc IDS: introduce pass
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.
2025-04-02 16:47:14 +02:00
..
2024-11-21 10:50:55 +01:00
2024-11-21 10:50:55 +01:00
2024-11-21 10:50:55 +01:00
2024-11-21 10:50:55 +01:00
2024-11-21 10:50:55 +01:00
2024-11-21 10:50:55 +01:00
2024-11-21 10:50:55 +01:00
2025-03-11 12:26:36 +01:00
2024-11-21 10:50:55 +01:00
2024-11-21 10:50:55 +01:00
2024-11-21 10:50:55 +01:00
2024-11-21 10:50:55 +01:00
2024-11-21 10:50:55 +01:00
2024-11-21 10:50:55 +01:00
2024-11-21 10:50:55 +01:00
2024-11-21 10:50:55 +01:00
2025-02-13 13:10:51 +02:00
2024-11-21 10:50:55 +01:00
2025-04-02 16:47:14 +02:00
2024-11-21 10:50:55 +01:00