549fc933f1
Add handle parameters to fields and enumerators
2025-09-29 18:05:55 +03:00
c8b12be980
Implement FunctionType parsing in C++
2025-09-29 18:05:55 +03:00
1b3d74d031
Remove harmful Clift type and attribute builders
...
"Smart" builders that create other attributes internally have turned out
to be more trouble than they're worth. It's simpler to just use the
default builders with the parameters that are actually needed for
initialising the type or attribute.
2025-09-29 18:05:55 +03:00
d8ea0fc805
Add missing TypeDefinitionAttr on attributes
...
* Removed from field attribute where it does not belong.
2025-09-29 18:05:55 +03:00
1ce6f256a7
Improve Clift local and global syntax
2025-09-29 18:05:54 +03:00
37b8cc7771
Add MutableStringAttr
2025-09-29 18:05:54 +03:00
94ba300f2d
Add inherent handle attributes on local and label
2025-09-29 18:05:54 +03:00
b1b6a0e93c
Add Location conversion utilities
2025-09-29 18:05:54 +03:00
375d40fc59
Move CTarget.h under revng/Support
2025-09-29 18:05:54 +03:00
eb45307fb4
Fix pipeline::Location::back
2025-09-29 18:05:54 +03:00
855a9309ec
MaterializeLoopScopes: drop pass
...
Drop the `MaterializeLoopScopes` pass after the re-design the loop
matching stage to work entirely on `clift`, without the need to insert a
`scope_closer` edge to guide the emission.
Simultaneously, drop the DAGify `Head` metadata insertion, since it will
not be checked anymore during the `MaterializeLoopScopes` pass.
2025-09-26 10:39:09 +02:00
92e8ec3982
ScopeGraphUtils: improve isDAG check
...
We now ensure that even in case of blocks disconnected from the entry,
the `isDAG` function still search for loops in such parts of the graph.
This is achieved by instantiating multiple `scc_iterator` on the blocks
composing the underlying `Graph`.
2025-09-26 10:39:09 +02:00
08781ab2a6
GraphAlgorithms: hasUnreachableBlocks helper
...
Introduce the `hasUnreachableBlocks`, which can be used to test that
blocks disconnected from the entry of the `GraphT` do not exists.
2025-09-24 15:51:06 +02:00
817c5c0e23
GraphAlgorithms: propagate template arguments
2025-09-24 15:51:02 +02:00
448f70e7dc
Add trace runner
...
Add the tool `pypeline-trace-runner` which allows reading a serialized
pypeline schedule and execute it purely in C++.
2025-09-17 14:09:16 +02:00
688b9fe111
Introduce compatibility with revng-pypeline
...
Add the necessary machinery to allow `Pipe`s, `Analysis`es,
`Container`s, `Model` and `ObjectID` to be implemented in C++ and used
by Python.
2025-09-17 14:02:40 +02:00
c68b7f1ab6
TupleTreeGenerator: make all keys hashable
...
Make all `Key` structs generated by TupleTreeGenerator have a
`std::hash` specicialization.
2025-09-17 14:02:40 +02:00
5f5d2da842
check-conventions: check CMakeLists.txt license
...
The `check-conventions` script inadvertently ignored checking the
license header in `CMakeLists.txt`. Change the script so that those are
checked. Also add the missing headers to the reported files.
2025-09-17 14:02:40 +02:00
385cbfb13a
Introduce ModuleSlotTracker-aware dumpToString
2025-09-10 17:44:02 +02:00
4d35551f14
Introduce a debug information preservation style
...
It's guarded behind the
`EnableStrictDebugInformationPreservationStyle`
option.
2025-09-10 17:44:02 +02:00
f1ee21c2cd
Introduce isDebugLocationInvalid helper
2025-09-10 17:44:01 +02:00
2ad2cbda6f
setInsertPointToFirstNonAlloca: preserve DebugLoc
2025-09-10 17:44:01 +02:00
d010ab806d
MLoopScopes: introduce pass
...
The `MaterializeLoopScopes` is a scope-inducing transformation, with the
goal of inserting a `scope_closer` edge targeting the immediate post
dominator, outside each `GenericRegion`, in order to materialize the
scope representing the body of each `GenericRegion` on the `ScopeGraph`.
2025-09-10 13:36:09 +02:00
fbd8c827e1
ScopeGraph: move helper functions
...
Move the `replaceSuccessors` and `simplifyTerminator` helper in the
`ScopeGraphUtils` library.
2025-09-10 13:36:08 +02:00
f0ef0947a2
GenericRegion: fix getParent return type
2025-09-10 13:36:08 +02:00
53b756d169
GenericRegionPass: run on the ScopeGraph
2025-09-10 13:36:08 +02:00
c2afb05049
VerifyHelper: set ReasonBuffer with simple str
...
When using `maybeFail(bool, llvm::Twine)` the `ReasonBuffer` variable
was not being set, leading sometimes to the verify reason being an empty
string.
2025-09-09 12:27:33 +02:00
eba55456f6
NameBuilder: fix a use-after-free bug
2025-09-08 16:33:51 +02:00
cd7f3f8ffd
ModelCBuilder: rework handling of padding fields
2025-09-04 16:57:16 +03:00
c80309088a
NameBuilder: add shouldUseAutomaticName method
...
It provides a way to dynamically check whether a custom name is
going to be emitted for a specific entity or not.
2025-09-04 16:57:16 +03:00
3eea4c4094
Always emit _SIZE on struct definitions
2025-09-04 16:57:12 +03:00
c6a175a1b9
Rename _START_AT -> _STARTS_AT
2025-08-29 14:00:29 +03:00
03b8d29cb9
CFG: introduce flat per-line padding
2025-07-24 13:31:29 +03:00
0db801b439
CFG: ignore empty lines at the ends of blocks
2025-07-24 13:31:29 +03:00
f6970ff70a
TypeNames: fix function prototype return value tag
2025-07-23 11:38:53 +02:00
a285ad2785
IRHelperRegister: get a comment from Description
2025-07-23 11:38:53 +02:00
b656381ec5
Update ptml documentation
...
This also reorders definitions in `revng/Pipes/Ranks.h` to match
the order used by the docs.
2025-07-23 11:38:53 +02:00
97aa3c8247
std::string: use implicit default constructor
2025-07-23 11:38:53 +02:00
90862b68ed
StringBufferContainer: fix StartingContent
2025-07-23 11:38:53 +02:00
290d2e2c57
ptml::CTypeBuilder: rename into ModelCBuilder
2025-07-23 11:38:53 +02:00
116c8675db
Ranks: greatly improve documentation
2025-07-23 11:38:52 +02:00
2b9b925e8c
TTG: make doc mandatory in fields too
2025-07-23 11:38:52 +02:00
9589721b52
Model schema: reorder and reformat
...
This improves readability and navigation in this big file.
2025-07-23 11:38:52 +02:00
f49ec25de3
TTG: make doc mandatory in structs and enums
2025-07-23 11:38:52 +02:00
a11215bd73
Model schema: drop trailing newlines from docs
2025-07-23 11:38:52 +02:00
f391392fe9
Use explicit separator strings
2025-07-23 11:38:52 +02:00
461c49df25
Model: bump version to 5 and introduce migration
2025-07-23 11:38:52 +02:00
c9072ec28f
TypePathHelpers: add variable and goto label paths
2025-07-23 11:38:52 +02:00
0572de8990
TypePathHelpers: fix incorrect return value paths
2025-07-23 11:38:52 +02:00
f4e86b37b8
OpaqueFunctionsPool: leave a TODO
2025-07-23 11:38:51 +02:00
Lauri Vasama