e634861c1a
Implement SyncingManager
...
Implement the SyncingManager class which wraps the Manager and implements
save syncing features, which comprise autosave and saving via
synchronizers.
2025-04-03 15:59:18 +02:00
b1148d3ece
Merge branch 'feature/decidewithgotos'
2025-04-02 16:48:17 +02:00
bb4bdec403
Pipeline: introduce dagify and decidewithgotos
...
The `prepare-for-clift` artifact now encompasses the run of `dagify` and
`decidewithgotos` (`select-scope` + `ids`).
2025-04-02 16:47:14 +02:00
3d5ec32113
IDS: add unit tests
...
Add unit tests for the `InlineDivergentScopes` pass alone.
2025-04-02 16:47:14 +02:00
40ebac06cc
IDS: introduce pass
...
Introduce the `inline-divergent-scopes` pass. This pass in is charge of
reducing the exit nodes in a `ScopeGraph`, applying the _Inline
Divergent Scopes_ transformation, which is able, in presence of
divergent exits nodes, wrt. to a conditional, to remove the exit node
and to transform the `ScopeGraph` in a form where semantics is
preserved.
2025-04-02 16:47:14 +02:00
dadfbc27da
SelectScope: add unit tests
...
Add unit tests for the `SelectScope` pass alone.
2025-04-02 16:47:14 +02:00
47fac0d948
SelectScope: introduce pass
...
Introduce the `select-scope` pass. This pass is in charge of enforcing
the relative decidedness property for all the nodes in the `ScopeGraph`,
wrt. to all the conditional nodes. It does this by applying the
relative decidedness definition, electing one scope for each conditional
node in the graph, and by transforming all the edges that would violate
the property into goto edges.
2025-04-02 16:47:14 +02:00
e0ff6f1360
ESE: extend command line flag
2025-04-02 16:47:14 +02:00
c14c2d64dc
DAGify: reorder FunctionPass method declarations
2025-04-02 16:47:14 +02:00
023807f0bb
DAGify: remove useless llvm:: namespace
2025-04-02 16:47:14 +02:00
f92db5d4a6
DAGify: use the makeGotoEdge helper
2025-04-02 16:47:14 +02:00
21be052d6f
ScopeGraph: introduce the makeGotoEdge helper
...
Introduce the `makeGotoEdge` helper to the `ScopeGraphBuilder` class,
that can be used to handle the transformation of a solid edge into a
`goto` edge, taking care of the creation of the `goto` block and the
redirection of the edges.
2025-04-02 16:47:14 +02:00
1482a5e110
ScopeGraph: improve ScopeGraph .dot name
...
Include the function name in the filename of the dumped `.dot` of the
`ScopeGraph`.
2025-04-02 16:47:14 +02:00
a7e58b2749
GraphAlgorithms: improve return type
...
Improve the definition of the return type of `nodesBetween`, obtaining
the type of the elements in the `Set`s by passing through the
`GraphTraits::NodeRef` type, which enables us to handle more generic
situations, where `GraphT` includes a `View` over a graph.
2025-04-02 16:47:14 +02:00
f780df8d6a
Merge branch 'feature/s3-storage-python'
2025-03-28 14:23:15 +01:00
42f8321f59
Fix S3 storage test
...
Fix the storage test by converting it from bash to python and also
testing all the occasions where a save should be triggered.
2025-03-28 14:23:10 +01:00
6a10419b69
Implement S3Synchronizer
...
Implement a downstream load/save handler in `revng.internal.api.Manager`
class which handles loading and saving files from a local directory to
a s3 server.
2025-03-28 14:23:10 +01:00
1aa9c61c31
LocalStorageClient: save filelist
...
When saving to disk, `LocalStorageClient` will also save a file named
`file_list.yml` which will list the list of files, which is needed for
downstream save handlers to efficently save.
2025-03-27 12:45:29 +01:00
f99aee6cf6
StorageClient: disable S3StorageClient
...
Disable creation of `S3StorageClient` from
`StorageClient::fromPathOrURL`.
2025-03-26 16:36:20 +01:00
7821d9330c
Merge branch 'feature/clift-changes'
2025-03-24 15:34:37 +01:00
3ca3653333
Convert Clift type handles to use locations
2025-03-24 09:27:57 +02:00
d6a2ee387e
Add aliases for Clift types without handles
2025-03-24 09:26:43 +02:00
e9c329e51d
Rename Clift unique handle to handle
2025-03-24 09:26:43 +02:00
1325c75979
Move Clift op custom parsers out of header
2025-03-24 09:26:43 +02:00
5479a5de88
Add special handling of aggregate initializers
2025-03-24 09:26:43 +02:00
c85275cc70
Add expression region utilities in CliftOps.h
2025-03-24 09:26:43 +02:00
2f64025dc9
Fix Clift backend double negation emission
2025-03-24 09:26:43 +02:00
b97c55980b
Change Clift type constraints to ValueType
...
clift.indirection %p : <8 to !int32_t>
The concrete type kinds would cause types in the assembly to be emitted
without type mnemonics. See the example above.
2025-03-24 09:26:43 +02:00
5f475739ef
Rename reinterpret, add convert cast
2025-03-24 09:26:43 +02:00
f884642f59
Overhaul clift.struct, clift.union assembly syntax
...
Old syntax:
```
unique_handle = "/model-type/1",
name = "my_struct",
size = 2,
fields = [
<
offset = 0
name = "",
type = !t
>,
<
offset = 1,
name = "my_field",
type = !t
>
]
>
unique_handle = "/model-type/1",
name = "my_union",
fields = [
<
offset = 0,
name = "",
type = !t
>,
<
offset = 0,
name = "my_field",
type = !t
>
]
>
```
New syntax:
```
"/model-type/1" as "my_struct" : size(1) {
offset(0) : !t,
offset(1) as "my_field" : !t
}
>
"/model-type/1" as "my_union" : {
!t,
"my_field" : !t
}
>
```
2025-03-24 09:26:43 +02:00
5bd481ae5a
Overhaul clift.function assembly syntax
...
Old syntax:
```
unique_handle = "/model-type/1",
name = "my_function",
return_type = !t,
argument_types = [
!t
]
>
```
New syntax:
```
"/model-type/1" as "my_function" : !t(!t)
>
```
* Rename clift.function mnemonic to clift.func.
2025-03-24 09:26:43 +02:00
281bf283e2
Overhaul clift.typedef assembly syntax
...
Old syntax:
```
unique_handle = "/model-type/1",
name = "my_typedef",
underlying_type = !t
>
```
New syntax:
```
"/model-type/1" as "my_typedef" : !t
>
```
2025-03-24 09:26:43 +02:00
ea78766f10
Overhaul clift.enum assembly syntax
...
Old syntax:
```
unique_handle = "/model-type/1",
name = "my_enum",
underlying_type = !t,
fields = [
<
name = "my_enumerator",
raw_value = 42
>
]
>
```
New syntax:
```
"/model-type/1" as "my_enum" : !t {
42 as "my_enumerator"
}
>
```
2025-03-24 09:26:43 +02:00
8482bcbf90
Overhaul clift.defined assembly syntax
...
Old syntax:
```
!clift.defined<#t>
!clift.defined<is_const = true, #t>
```
New syntax:
```
!clift.defined<#t>
!clift.defined<const #t>
```
2025-03-24 09:26:43 +02:00
64fc21e9dd
Overhaul clift.pointer assembly syntax
...
Old syntax:
```
!clift.pointer<pointer_size = 8, pointee_type = !t>
!clift.pointer<is_const = true, pointer_size = 8, pointee_type = !t>
```
New syntax:
```
!clift.ptr<8 to !t>
!clift.ptr<const 8 to !t>
```
2025-03-24 09:26:43 +02:00
872b157774
Overhaul clift.array assembly syntax
...
Old syntax:
```
!clift.array<elements_count = 42, element_type = !t>
```
New syntax:
```
!clift.array<42 x !t>
```
2025-03-24 09:26:43 +02:00
eaf1bf35aa
Overhaul clift.primitive assembly syntax
...
Old syntax:
```
!clift.primitive<SignedKind 8>
!clift.primitive<is_const = true, SignedKind 8>
```
New syntax:
```
!clift.primitive<signed 8>
!clift.primitive<const signed 8>
```
2025-03-24 09:26:43 +02:00
e2f4af30e9
Add custom builder for Clift FunctionOp
2025-03-24 09:26:43 +02:00
8f44ebe12d
Improve Clift type constraint error messages
2025-03-24 09:26:43 +02:00
e08a8e766b
Set register set type name in Clift import
2025-03-24 09:26:43 +02:00
20cb57a105
Fix redundant cast parentheses in Clift backend
2025-03-24 09:26:42 +02:00
a9727e198c
Fix return statement emission in Clift backend
2025-03-24 09:25:30 +02:00
0df1056fe8
Add Clift backend support for UndefOp
2025-03-24 09:25:30 +02:00
23b47f825e
Add Clift AggregateOp
2025-03-24 09:17:38 +02:00
bf625c631a
Improve Clift CallOp syntax
2025-03-24 09:17:36 +02:00
1b63797640
Add Clift TernaryOp
2025-03-19 12:57:22 +02:00
747a792f0f
Add Clift pointer arithmetic ops
2025-03-19 12:57:22 +02:00
66246218b7
Add Clift StringOp
2025-03-19 12:57:21 +02:00
ee3deb5d3f
Add model verification in clift-opt
2025-03-19 12:57:21 +02:00
8163933eb4
Add linefeeds in clift-opt emit-c
2025-03-19 12:57:21 +02:00
Giacomo Vercesi