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
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
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
aa53ba5d0b
ImportDescriptiveInfo: import argument attributes
2026-03-27 08:04:40 +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
53a476e9ee
importNames -> importDescriptiveInfo
...
This opens up the possibility of importing more than just names.
2026-03-26 16:28:48 +00:00
Pietro Fezzardi