50a96527cd
Add PtrAdd/PtrSub operand helpers
2025-07-17 16:45:03 +02:00
936c0106e4
Add truncate/extend between pointers
2025-07-17 16:45:03 +02:00
13b554d64a
Remove unused include in CliftOps.cpp
2025-06-04 15:13:47 +02:00
cc94e2d290
Constrain returnable types
2025-06-04 15:13:47 +02:00
3e065cb23d
Remove local and label names
2025-06-04 15:13:47 +02:00
a0ec1305f1
Move ReturnOp type verification to FunctionOp
2025-06-04 15:13:47 +02:00
f0091e699f
Remove clift::ModuleOp
...
A new dialect attribute is instead used to verify mlir::ModuleOp:
```
module attributes {clift.module} {
}
```
2025-06-04 15:13:47 +02:00
81dcea49e4
Fix printing of CallOp on function pointer
2025-06-04 15:13:47 +02:00
2bc4cec399
Fix MakeLabelOp canonicalization
2025-06-04 15:13:47 +02:00
336b18d937
Overhaul Clift type syntax
...
* Removed syntax for defined type attributes.
* Added !clift.const<T> and removed const syntax from types kinds.
* Some restructuring of class type internals.
2025-06-04 15:13:47 +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
5f475739ef
Rename reinterpret, add convert cast
2025-03-24 09:26:43 +02:00
e2f4af30e9
Add custom builder for Clift FunctionOp
2025-03-24 09:26:43 +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
888d529d93
Fix Clift return type verification
2025-03-19 12:57:20 +02:00
df2003efb8
Add clift::removeConst in CliftTypes.h
2025-03-19 12:57:20 +02:00
4a334bef7b
Move Clift type helpers to CliftTypes.h
2025-03-19 12:57:19 +02:00
eec882dac1
Add clift::GlobalOpInterface
2025-03-19 12:57:19 +02:00
386efffb2f
Convert TypeDefinitionAttr ID to UniqueHandle
2025-03-19 12:57:17 +02:00
705e4a5955
auto [...] -> auto &&[...]
2025-02-13 13:10:51 +02:00
06d91d485d
Factor visitation out of ModuleOp verify
2025-01-30 14:52:47 +02:00
aaddafa15b
Add check for conflicting local names in Clift
2025-01-10 08:03:20 +02:00
4cedc22efb
Merge access ops into AccessOp with indirect flag
2025-01-02 11:25:32 +02:00
9f6003f1f4
Add SwitchOp::getConditionType
2025-01-02 11:25:32 +02:00
fe2e70e885
Improve label and goto ops
2025-01-02 11:25:32 +02:00
da8e581861
Loosen LocalVariableOp verification
2025-01-02 11:25:32 +02:00
3b8e9dc3bb
Loosen YieldOp verification
...
Yield is not return. There is no need to verify the types being yielded.
f; is a valid expression statement, even when f is a function. In this
case a function is yielded, but that is fine.
2025-01-02 11:25:32 +02:00
143c315196
Merge revng-c into revng
2024-11-21 10:50:55 +01:00
2d2fe890fb
Add Clift expression operations
2024-10-31 08:41:25 +01:00
4338607257
Add Clift operand type parser
2024-10-31 08:41:25 +01:00
eb20e745a3
Add Clift op type constraints
2024-10-31 08:41:25 +01:00
ecf4869473
Move CliftTypeHelpers.h functions to CliftType.h
...
Also added some new type functions.
2024-10-31 08:41:25 +01:00
e1b55fd5c3
Add custom assembly format for Clift FunctionOp
2024-10-31 08:41:25 +01:00
6062d4a863
Fix YieldOp::verify message
2024-10-31 08:41:25 +01:00
8706fd8459
Initialize pointers to nullptr
2024-09-27 10:35:10 +02:00
c821fd0455
Remove Clift FunctionArgumentAttr
...
The FunctionArgumentAttr was removed in order to better conform to the
builtin FunctionOpInterface. The FunctionOpInterface exposes the
argument and result types as array attributes of mlir::Type, and this
was difficult when each argument was wrapped in a FunctionArgumentAttr.
Debug names of the function types arguments from the model is currently
lost in the conversion to MLIR, but when the conversion for functions
themselves is implemented, the names can be added to the function
operations as argument attributes.
2024-09-04 10:58:02 +02:00
10d878e5ac
Add verification of control statement nesting
2024-09-04 10:58:02 +02:00
8f98664fc0
Add verification of Clift module level operations
2024-09-04 10:58:02 +02:00
43399c0462
Add minimal Clift expression operations
2024-09-04 10:58:02 +02:00
9295451b5a
Add Clift loop statement operations
2024-09-04 10:58:02 +02:00
e8f558cc55
Add custom parser for SwitchOp
2024-09-04 10:58:02 +02:00
aceef4e6cc
Overhaul Clift statement operations
2024-09-04 10:58:02 +02:00
c7b6fb529f
Overhaul Clift module-level operations
2024-09-04 10:58:02 +02:00
16797c864f
Add named Clift region constraints
2024-09-04 10:58:02 +02:00
Lauri Vasama