645cf7fc2e
NameBuilder: sunset deduplication
...
This reworks NameBuilder to ease the transition to the system where
the model will be guaranteed to never contain any name collisions, both
between user-specified names and the automatic ones.
2025-04-15 16:35:42 +03:00
45cc80cb68
PrimitiveType: introduce isCName helper
2025-04-15 16:35:42 +03:00
cbddbaa462
Model: add a way to iterate over all the registers
2025-04-15 16:35:42 +03:00
e10199ee1c
TypeDefinitionKind: introduce a prefix consumer
2025-04-15 16:35:42 +03:00
795a84dfe6
MetaAddressType: introduce a prefix consumer
2025-04-15 16:35:42 +03:00
2e85653873
MetaAddressType: introduce Count
2025-04-15 16:35:42 +03:00
6ea75f02b3
Model: switch to the new namespace verifier
2025-04-15 16:35:42 +03:00
3ff5b2cd3a
Support: introduce unwrapError
2025-04-15 16:35:42 +03:00
6710dacfed
Model: give path helpers a home
2025-04-15 16:35:42 +03:00
b354f1b75b
TupleTree: allow visiting upcastable pointers
2025-04-15 16:35:42 +03:00
6c6cf04d11
STLExtras: rename is_contained_if into any_of
...
This improves consistency with the names llvm uses.
2025-04-15 16:35:42 +03:00
0bd174c07f
STLExtras: fix an ambiguous find_if call
2025-04-15 16:35:42 +03:00
169383daa8
MetaAddress: introduce toIdentifier() method
...
It's equivalent to the existing `toString()` except for the fact that
it uses an identifier-friendly separator (`_`).
2025-04-15 16:35:42 +03:00
3edb6cbb9b
Minor improvements
2025-04-15 16:35:42 +03:00
c5c657d11b
Lift: increase determinism
2025-04-15 15:31:10 +02:00
e6fcca3dc6
TupleTreeContainer: fix infinite recursion
...
Fix an infinite recursion caused by renaming the `ContainerBase::load`
function to `ContainerBase::loadImpl`.
2025-04-07 10:35:20 +02:00
11f1e532c6
Implement dirty bit on Container
...
Add a `Dirty` boolean to the `ContainerBase` class. This will be set to
true when the container mutates itself (e.g. remove, mergeBack, clear).
The dirty bit is reset when running `PipelineManager.store`.
2025-04-03 15:59:18 +02:00
f740badd68
PipelineManager: drop storeContext
...
The `storeContext` function was a misguided attempt to performance
optimization. Without storing all the containers and the invalidation
metadata the resume directory would be corrupt by just storing the
context.
2025-04-03 15:59:18 +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
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
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
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
c85275cc70
Add expression region utilities in CliftOps.h
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
23b47f825e
Add Clift AggregateOp
2025-03-24 09:17:38 +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
df2003efb8
Add clift::removeConst in CliftTypes.h
2025-03-19 12:57:20 +02:00
da9df369fc
Loosen Clift logical op type constraints
2025-03-19 12:57:20 +02:00
4a334bef7b
Move Clift type helpers to CliftTypes.h
2025-03-19 12:57:19 +02:00
c472dd3cae
Move ScopedExchange to revng/ADT/
2025-03-19 12:57:19 +02:00
eec882dac1
Add clift::GlobalOpInterface
2025-03-19 12:57:19 +02:00
44c9388930
Rename Clift comparison operations
2025-03-19 12:57:18 +02:00
08c2c0a477
Remove ScalarTupleType
...
After converting type IDs to unique handles it was decided to remove
scalar tuple types in favour of generated structs with non-model unique
handles.
2025-03-19 12:57:18 +02:00
Ivan Krysak