 Lauri Vasama
|
e9c329e51d
|
Rename Clift unique handle to handle
|
2025-03-24 09:26:43 +02:00 |
|
|
Lauri Vasama
|
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 |
|
|
Lauri Vasama
|
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 |
|
|
Lauri Vasama
|
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 |
|
|
Lauri Vasama
|
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 |
|
|
Lauri Vasama
|
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 |
|
|
Lauri Vasama
|
386efffb2f
|
Convert TypeDefinitionAttr ID to UniqueHandle
|
2025-03-19 12:57:17 +02:00 |
|
|
Lauri Vasama
|
769c357648
|
Merge SizedType into TypeDefinitionAttr
|
2025-01-02 11:25:32 +02:00 |
|
|
Lauri Vasama
|
4052863dcf
|
Fix CliftAttributes.td formatting
|
2025-01-02 11:25:32 +02:00 |
|
|
Alessandro Di Federico
|
143c315196
|
Merge revng-c into revng
|
2024-11-21 10:50:55 +01:00 |
|