cdd9004feb
StringLiteral: do not escape HTML in non-HTML mode
2025-04-17 11:19:17 +03:00
e96e64f035
CNameBuilder: ban known llvm intrinsic names
2025-04-17 11:19:17 +03:00
29554ef303
CNameBuilder: ban known helper names
2025-04-17 11:19:17 +03:00
57b5eb7f98
NameBuilder: allow different name checkers
2025-04-17 11:19:17 +03:00
a3c8ced826
getUniqueString: use hash for empty strings
2025-04-17 11:19:17 +03:00
93e44460bf
ptml::CTypeBuilder: drop getPlainTypeName
2025-04-17 11:19:17 +03:00
c4f071dfe3
Importers: adopt primitive typedef flattening
2025-04-17 11:19:17 +03:00
acb7d595ef
Model: introduce a primitive typedef removal pass
2025-04-17 11:19:17 +03:00
1383b0a40a
Importers: replace .s in section names
2025-04-17 11:19:17 +03:00
c9ade8d458
NameBuilder: report reason when renaming something
2025-04-17 11:19:17 +03:00
355d4f634c
NameBuilder: prevent collisions with macros
2025-04-17 11:19:17 +03:00
433af9ef6e
Adopt the new name deduplication pass
2025-04-17 11:19:17 +03:00
cf78106d54
Model: introduce a name deduplication pass
2025-04-17 11:19:17 +03:00
dce5c1a02c
NamingConfiguration: pull more prefixes inside
...
Unify additional values that used to be hardcoded in the old backend
under the same naming configuration root.
2025-04-17 11:19:17 +03:00
af79a289d8
NamingConfiguration: add a new option
...
It's `ReserveNamesStartingWithUnderscore`.
2025-04-17 11:19:17 +03:00
f070f1f1e1
Model: sunset double name system
2025-04-17 11:19:17 +03:00
25790b5a78
NameBuilder: change automatic segment name
...
Use index within the binary instead of address in order to make these
shorter.
2025-04-15 16:35:42 +03:00
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
6ea75f02b3
Model: switch to the new namespace verifier
2025-04-15 16:35:42 +03:00
c9d9b00bb0
Model: introduce generic namespace processing
2025-04-15 16:35:42 +03:00
6710dacfed
Model: give path helpers a home
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
de2a96c34c
AVI: set the extremal value ot top
2025-04-15 15:31:10 +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
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
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
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
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
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
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
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
Ivan Krysak