2f692127f9
OpaqueType: model verification and name import
...
Teach Clift's verify-against-model and ImportDescriptiveInfo
visitors about types whose handle has the OpaqueType rank: the
verifier rejects non-struct types with such handles, and the name
importer fills in the type's mutable name with
NameBuilder::opaqueTypeName based on the wrapped byte size.
2026-05-08 11:37:10 +02:00
90e5dfd4c9
Pass MLIRContext by address
...
Passing by address is more conventional. This is what MLIR does most of
the time, and it avoids dereferences and addressofs everywhere.
2026-04-30 15:09:16 +03:00
a338194eb7
Move namespace mlir::clift out of namespace mlir
2026-04-27 12:48:24 +03:00
f13748583b
verifyAgainstModel: check forbidden attributes
2026-04-22 08:19:35 +00:00
8387f8ce17
verifyAgainstModel: check for unknown attributes
2026-04-22 08:19:34 +00:00
e4770db1f1
verifyAgainstModel: function type attributes
2026-04-22 08:19:34 +00:00
52f41c4c44
verifyAgainstModel: check struct attributes
2026-04-22 08:19:33 +00:00
d66c54321c
verifyAgainstModel: check function attributes
2026-04-22 08:19:32 +00:00
9675b2d3c9
verifyAgainstModel: greatly improve RFT checks
2026-04-22 08:19:32 +00:00
e693cdbd53
model-verify-clift -> verify-against-model
2026-04-22 08:19:30 +00:00
ce7e5a3917
CliftModelVerify: improve error message wording
2026-04-22 08:19:30 +00:00
40a5c76e81
CliftModelVerify: factor error creation out
...
This heavily improves readability of the messages themselves.
2026-04-22 08:19:29 +00:00
b46c54308a
Remove unused logic that slipped through
2026-04-22 08:19:29 +00:00
2f692a7265
Fix unnecessary _CAN_CONTAIN_CODE bug
2026-04-22 06:14:52 +00:00
f3df0e20b9
Minor improvements
2026-04-21 07:54:50 +00:00
553c740e2d
Remove pointers to array in model type import
...
Pointers to array of T are now converted to pointers to T.
2026-04-08 12:32:18 +03:00
9ba90e9b81
Replace ValueType with mlir::Type where applicable
...
`mlir::Type` is now used as the default C++ type for representing all
MLIR types, even when `ValueType` would be a valid constraint, unless
doing so provides a clear benefit in that specific context.
2026-04-08 12:20:00 +03:00
be8351a17d
Split up Clift PrimitiveType
...
* PrimitiveType is now an interface.
* VoidKind is now VoidType.
* FloatKind is now FloatType.
* The integer kinds are now IntegerType with IntegerKind.
2026-04-08 12:18:10 +03:00
de0e59b188
Move FunctionOp arg attr verify to model verify
2026-04-08 11:12:41 +03:00
c354642902
Clifter: fix a newly introduced bug
...
This fixes the invalidation problem introduced by reading attributes
in the scope whose execution order depends on the function processing
order.
2026-03-27 12:27:26 +00:00
de31315cd7
Model: rename Inline into AlwaysInline
2026-03-27 08:16:21 +00:00
19741a32ab
ImportModel: expose a high level type importer
2026-03-27 08:15:23 +00:00
756c097900
Import dynamic function prototype
2026-03-27 08:14:22 +00:00
cbfa009aa4
Factor function prototype importing out
2026-03-27 08:13:52 +00:00
b632772cbb
ImportModel: import function attributes
2026-03-27 08:12:51 +00:00
00f05cac7a
ImportModel: introduce importSegmentDeclaration
2026-03-27 08:12:17 +00:00
8f89984f36
ImportModel: introduce importFunctionDeclaration
2026-03-27 08:11:11 +00:00
e250657c0b
ImportDescriptiveInfo: import return value comment
2026-03-27 08:10:41 +00:00
d6edb20142
ImportDescriptiveInfo: import comments
2026-03-27 08:10:10 +00:00
c30f309f5e
Clift: introduce getMutableComment
2026-03-27 08:09:09 +00:00
aa53ba5d0b
ImportDescriptiveInfo: import argument attributes
2026-03-27 08:04:40 +00:00
58257d5520
ImportModel: import _ABI
2026-03-27 08:04:10 +00:00
105f15266b
ImportModel: import _CAN_CONTAIN_CODE
2026-03-27 07:19:27 +00:00
7f66f25253
mlir::clift::ClassAttr: add attribute support
2026-03-27 07:19:27 +00:00
928bcdb118
mlir::clift::FunctionType: add attribute support
2026-03-27 07:19:27 +00:00
ad6f6df04e
Improve function arg/result attribute interface
2026-03-27 07:18:49 +00:00
92fd9188d5
ImportDescriptiveInfo: improve an error message
2026-03-27 07:18:49 +00:00
6dc6ad2cf3
importModelTypes -> importTypes
2026-03-26 16:28:48 +00:00
53a476e9ee
importNames -> importDescriptiveInfo
...
This opens up the possibility of importing more than just names.
2026-03-26 16:28:48 +00:00
79618b3b63
CliftImportModel: extract name importing
2026-03-26 16:00:49 +00:00
4a31ed1547
Clift: rename ImportModel -> ImportTypes
2026-03-25 15:42:13 +00:00
22d6f70ee2
Clift directory structure overhaul
2025-10-13 15:08:20 +02:00
Pietro Fezzardi