8 Commits

Author	SHA1	Message	Date
Ivan Krysak	2ba5ca3e3d	Suppress selected IRBuilder checks	2025-10-21 19:17:37 +03:00
Ivan Krysak	3561c2b907	Adopt IRBuilder wrapper	2025-10-21 19:17:01 +03:00
Andrea Gussoni	b18cd59d31	ESE: assert no disconnected blocks	2025-09-24 15:51:06 +02:00
Andrea Gussoni	458ca46b02	ESE: single ScopeGraphBuilder instance	2025-06-12 15:31:38 +02:00
Andrea Gussoni	71988af041	Fix MIT license	2025-04-30 16:10:54 +02:00
Andrea Gussoni	e0ff6f1360	ESE: extend command line flag	2025-04-02 16:47:14 +02:00
Andrea Gussoni	f5b3feb738	ESE: fix comment	2025-03-11 12:25:24 +01:00
Andrea Gussoni	26cf42eb12	ESE: Introduce the Enforce Single Exit pass ... Introduce the Enforce Single Exit pass, whose task is to normalize a generic `ScopeGraph`, which may have multiple exit blocks (and/or infinite loop regions), in order to have a single `sink_block` as exit block. This is done by adding a new entry block, a `sink_block`, and some `scope_closer` edges (which are visible only on the `ScopeGraph`) that enforce the property. This is done taking inspiration from how the internally the `PostDominatorTree` pass construct the temporary graph on which the post dominance information is computed on. Some unit tests are added in order to verify that the pass works as expected.	2024-12-18 10:51:40 +01:00