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

..

Assert.cpp

Add some missing includes

2024-05-03 21:52:40 +02:00

BasicBlockID.cpp

MetaAddress: add partial serialization option

2024-03-18 11:58:11 +01:00

CMakeLists.txt

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

CommandLine.cpp

PDBImporter: rework .pdb search

2024-08-05 17:41:34 +02:00

CommonOptions.cpp

Centralize computation of llvm::Function names

2024-06-20 10:24:49 +02:00

Debug.cpp

Externalize functions to improve build times

2024-05-03 21:52:40 +02:00

ExplicitSpecializations.cpp

Externalize functions to improve build times

2024-05-03 21:52:40 +02:00

FunctionTags.cpp

ScopeGraph: introduce the ScopeGraph

2024-12-05 15:43:57 +01:00

GzipStream.cpp

Uniform GzipStream

2024-10-30 21:57:55 +01:00

GzipTarFile.cpp

Uniform GzipStream

2024-10-30 21:57:55 +01:00

IRAnnotators.cpp

Enforce licence header consistency

2023-07-03 15:23:10 +00:00

IRHelpers.cpp

IRHelpers.cpp has been moved to revng

2024-11-04 15:09:56 +01:00

LDDTree.cpp

Improve usages of Expected<T>

2024-10-10 14:50:26 +02:00

MetaAddress.cpp

Reduce IRBuilder usage in favor of IRBuilderBase

2024-06-20 10:24:50 +02:00

ModuleStatistics.cpp

Import revng-c's FunctionTags.h

2024-10-31 17:19:51 +01:00

OnQuit.cpp

revng/Support: split part of Statistics in OnQuit

2023-09-06 15:23:43 +02:00

OriginalAssemblyAnnotationWriter.cpp

Import revng-c's FunctionTags.h

2024-10-31 17:19:51 +01:00

PathList.cpp

Unify cache directory logic

2024-10-01 13:38:13 +02:00

ProgramCounterHandler.cpp

Import revng-c's FunctionTags.h

2024-10-31 17:19:51 +01:00

ProgramRunner.cpp

Rename DILogger into Log

2024-08-16 13:27:00 +02:00

Progress.cpp

Add some missing includes

2024-05-03 21:52:40 +02:00

ResourceFinder.cpp

ResourceFinder: implement getComponentsHash

2024-01-26 17:46:21 +01:00

SelfReferencingDbgAnnotationWriter.cpp

Enforce licence header consistency

2023-07-03 15:23:10 +00:00

SimplifyCFGWithHoistAndSinkPass.cpp

Relicense to MIT

2024-02-29 17:03:36 +01:00

Statistics.cpp

revng/Support: split part of Statistics in OnQuit

2023-09-06 15:23:43 +02:00

Tag.cpp

Import revng-c's FunctionTags.h

2024-10-31 17:19:51 +01:00

ZstdStream.cpp

ZstdStream: remove manual memory management

2024-11-26 09:48:37 +01:00