276a4aa974
Generate model docs
2024-12-11 16:15:10 +01:00
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
023771f084
FunctionTags: correct typo
...
Correct `function-dispatcher` typo.
2024-12-04 11:22:00 +01:00
ab0010b3f6
Reduce usage of PostHelper jump targets
2024-12-03 12:13:15 +01:00
832840c307
Importers: ignore unmapped code
...
This commit ensures that parts of the model that must point to code
(specifically `Binary::EntryPoint`, `Binary::ExtraCodeAddresses` and
`Function::Entry`) actually point to a segment mapped as +x.
2024-11-28 15:22:10 +01:00
37feb2dd77
Binary::verify: verify executable addresses
...
Fail if code addresses are not within an executable segment.
2024-11-28 14:04:36 +01:00
278c6f625c
Importers: first of all, Segments
...
This commit makes sure that before setting EntryPoint, adding
ExtraCodeAddresses or Function entry points, we completed the processing
of Segments.
2024-11-28 14:04:36 +01:00
d1252046ce
Importers: do not set EntryPoint, if absent
2024-11-28 13:58:29 +01:00
1e2a55e372
Minor changes
2024-11-28 13:58:28 +01:00
6e733427bc
emitMessage: fix function calle emission
2024-11-27 17:18:39 +01:00
11d8515f46
ModelToHeader: adjust blank lines
2024-11-27 17:18:12 +01:00
58b326b8fa
ZstdStream: remove manual memory management
...
Remove the use of manual memory management, convert to the use of
`std::unique_ptr`.
2024-11-26 09:48:37 +01:00
3a936a650c
Tracing/Runner: lazily initialize CommandHandler
...
Avoid initializing `CommandHandler` statically, as this causes the
constructor to run every time `libPipelineC` is linked against.
2024-11-25 16:25:48 +01:00
1b6ff00595
Tracing/Runner: delay registering signal handlers
...
On the C++ side of revng it is important that LLVM's signal handlers are
registered within the initialization of `revng::InitRevng`, as this
allows downstream users (e.g. `revng daemon`) to preserve its signal
handlers before setting up the C++ infrastructure. In
`Tracing/Runner.cpp` there's `CommandHandler` which is statically
initialized and called `llvm::sys::AddSignalHandler`, this happened at
`dlopen` time, breaking the promise outlined above. Rework the code so
that the function is called lazily instead of statically.
2024-11-25 14:55:01 +01:00
143c315196
Merge revng-c into revng
2024-11-21 10:50:55 +01:00
efcea8ae48
importBinary: fix error handling
2024-11-12 18:05:48 +01:00
bbd527ae51
DecompileToDirectory: do not emit PTML
2024-11-12 14:28:21 +01:00
4582982075
Replace std::string_view with llvm::StringRef
2024-11-06 19:18:53 +02:00
7a827b4ef5
Use doxygen for header grouping
2024-11-06 19:18:53 +02:00
64446d0453
Adopt name builder across the model users
2024-11-06 19:18:53 +02:00
efbc5cdd5c
Introduce an error creation helper
2024-11-06 19:18:53 +02:00
672ee5df50
Replace std::string_view with llvm::StringRef
2024-11-06 15:43:13 +02:00
8e3c9c0788
Model: remove obsolete name methods
2024-11-06 15:43:13 +02:00
a67ba96644
Adopt name builder across the model users
2024-11-06 15:43:13 +02:00
2a5d50630b
Model: adopt name builder in verification
2024-11-06 15:43:13 +02:00
2be6f4aebb
TypeSystemPrinter: adopt name builder
2024-11-06 15:43:13 +02:00
ad868f57ad
Model: introduce name builder
2024-11-06 15:43:13 +02:00
0a3628e6fe
Model: introduce naming configuration
2024-11-06 15:42:44 +02:00
1eb80ecd2d
Introduce an error creation helper
2024-11-06 15:20:37 +02:00
a0f4921e07
Minor improvements
2024-11-04 19:43:03 +02:00
a12f5d9e97
Minor improvements
2024-11-04 18:51:12 +02:00
8cd4ee3b59
Move Kinds.h to revng
2024-11-04 15:09:56 +01:00
98903f6b07
Move Ranks.h to revng
2024-11-04 15:09:56 +01:00
4e670ac8e6
Either link revngcSupport or revngSupport
2024-11-04 15:09:56 +01:00
253558ba63
Minor changes
2024-11-04 15:09:56 +01:00
89f828c694
Link some revng libraries
2024-11-04 15:09:56 +01:00
2e4f4d09b9
Remaining FunctionTags have been moved to revng
2024-11-04 15:09:56 +01:00
e239e18b0c
Adopt FunctionPoolTag
2024-11-04 15:09:56 +01:00
800340d6e8
IRHelpers.cpp has been moved to revng
2024-11-04 15:09:56 +01:00
2ed940dc3a
FunctionTags have been moved to revng
2024-11-04 15:09:56 +01:00
36e2faad3d
Introduce -Wunreachable-code-break
2024-10-31 17:19:55 +01:00
f9fad18cb4
EFA, Yield: handle blockless functions
2024-10-31 17:19:51 +01:00
05881c242a
revngSupport: use default set of LLVM libraries
2024-10-31 17:19:51 +01:00
16e01f43d6
Import revng-c's FunctionTags.h
2024-10-31 17:19:51 +01:00
d72f6413f0
Import revng-c's Support/IRHelpers.h
2024-10-31 17:19:51 +01:00
c97438c5e4
DynamicHierarchy: ensure we call init last
2024-10-31 17:19:51 +01:00
2d2fe890fb
Add Clift expression operations
2024-10-31 08:41:25 +01:00
4338607257
Add Clift operand type parser
2024-10-31 08:41:25 +01:00
eb20e745a3
Add Clift op type constraints
2024-10-31 08:41:25 +01:00
ecf4869473
Move CliftTypeHelpers.h functions to CliftType.h
...
Also added some new type functions.
2024-10-31 08:41:25 +01:00
Alessandro Di Federico