6 Commits

Author	SHA1	Message	Date
Andrea Gussoni	6a90277db2	ScopeGraph: rename scope-graph-dumper	2025-07-23 11:34:13 +02:00
Andrea Gussoni	c060f07ecd	ScopeGraph: add scope-graph-output cl::opt	2025-07-23 11:34:13 +02:00
Andrea Gussoni	1ccce1c76a	ScopeGraph: remove the ScopeGraphLogger library	2025-07-23 11:34:13 +02:00
Andrea Gussoni	8ff68174ea	ScopeGraph: use snake_case for Markers	2025-04-30 16:10:54 +02:00
Andrea Gussoni	684cbf649a	ScopeGraph: implement Inverse<Scope<>> ... Implement the `Inverse<Scope<...>>` `GraphTraits`. This are needed in order to support the computation of the `PostDominatorTree` on a `ScopeGraph`. Add some `FileCheck` tests to test the dominator and postdominator trees on the `ScopeGraph`.	2025-01-15 11:48:28 +01:00
Andrea Gussoni	fa69bd24e5	ScopeGraph: introduce the ScopeGraph ... Introduce the `ScopeCloser` and `GotoTarget` annotations in the IR, and the relative necessary machinery, needed to handle scope closer and goto edges for the new backend. A specialization of the `llvm::GraphTraits`, called `ScopeGraph`, that is able to handle both the above mentioned annotations is provided. For the `llvm::GraphTraits` implementation, we introduce the `GeneratorIterator` class, which uses a coroutine to store the status of the iteration. A debug logger pass is added, so that we are able to test the functionality with `FileCheck`.	2024-12-05 15:43:57 +01:00