revng-revng

admin/revng-revng

Fork 0

mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00

Commit Graph

Author SHA1 Message Date

Author	SHA1	Message	Date
Andrea Gussoni	8b87854a11	IDS: improve `goto` exit ordering criterion Perform the IDS operation for the exit nodes corresponding to `goto` blocks afterwards the other _standard_ exits have been processed. In addition, order the `GotoBlock`s according to the `post_order` of the target blocks of the `goto` themselves. This should maximize the opportunities for later runs of `MaterializeTrivialGoto`.	2025-04-30 16:10:54 +02:00
Andrea Gussoni	71988af041	Fix MIT license	2025-04-30 16:10:54 +02:00
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

Andrea Gussoni

8b87854a11

IDS: improve goto exit ordering criterion

Perform the IDS operation for the exit nodes corresponding to `goto`
blocks afterwards the other _standard_ exits have been processed.

In addition, order the `GotoBlock`s according to the `post_order` of the
target blocks of the `goto` themselves. This should maximize the
opportunities for later runs of `MaterializeTrivialGoto`.

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

Andrea Gussoni 71988af041 Fix MIT license 2025-04-30 16:10:54 +02:00

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

3 Commits