 Lauri Vasama
|
3ca3653333
|
Convert Clift type handles to use locations
|
2025-03-24 09:27:57 +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
|
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
|
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 |
|
|
Lauri Vasama
|
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 |
|
|
Lauri Vasama
|
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 |
|
|
Lauri Vasama
|
888d529d93
|
Fix Clift return type verification
|
2025-03-19 12:57:20 +02:00 |
|
|
Lauri Vasama
|
386efffb2f
|
Convert TypeDefinitionAttr ID to UniqueHandle
|
2025-03-19 12:57:17 +02:00 |
|
|
Pietro Fezzardi
|
8114c19164
|
Replace WIP comment with TODO
|
2025-01-29 15:17:15 +01:00 |
|
|
Lauri Vasama
|
8515ffffce
|
Move Clift label C++ unit test to LIT
|
2025-01-10 08:03:20 +02:00 |
|
|
Lauri Vasama
|
aaddafa15b
|
Add check for conflicting local names in Clift
|
2025-01-10 08:03:20 +02:00 |
|
|
Lauri Vasama
|
fe2e70e885
|
Improve label and goto ops
|
2025-01-02 11:25:32 +02:00 |
|
|
Lauri Vasama
|
2d2fe890fb
|
Add Clift expression operations
|
2024-10-31 08:41:25 +01:00 |
|
|
Lauri Vasama
|
e1b55fd5c3
|
Add custom assembly format for Clift FunctionOp
|
2024-10-31 08:41:25 +01:00 |
|
|
Lauri Vasama
|
2350f91c48
|
Use symbol attribute for GlobalVariableOp
|
2024-10-31 08:41:25 +01:00 |
|
|
Lauri Vasama
|
c29a71a0d9
|
Add colon in clift.undef assembly format
|
2024-10-31 08:41:25 +01:00 |
|
|
Lauri Vasama
|
35759476b6
|
Add Clift LIT/FileCheck tests
Some C++ unit tests were also converted into more easily maintainable
LIT/FileCheck tests.
|
2024-09-04 10:58:02 +02:00 |
|