f1739e1a0f
IndentingEmitter: drop emitNewline
2026-04-22 06:14:50 +00:00
f3df0e20b9
Minor improvements
2026-04-21 07:54:50 +00:00
4e3af009fe
Expressions: fold x[0] into *x
...
Implement a DDR rewriting for folding the `x[0]` into `*x`, in order
to avoid a useless verbose syntax. Due to concatenation of rewrites, we
will get `&(x[0])` transformed into `x`, which is the rewriting we are
aiming to.
2026-04-14 09:52:07 +02:00
e0a9f4f484
EmitFieldAccesses: ignore qualifiers on Types
2026-04-14 09:24:48 +02:00
715a2e54b0
IndentingEmitter: initialize IndentationString
2026-04-13 11:39:55 +02:00
e399f381ea
CommonTypeMethods: add getters for function types
2026-04-10 15:27:24 +02:00
d813581ae4
Add DoxygenEmitter documentation
2026-04-09 18:37:46 +03:00
c18164c25d
Simplify IndentingEmitter; make configurable
2026-04-09 18:37:46 +03:00
79a4fbc808
Fix DoxygenEmitter line prefix emission
2026-04-09 18:37:46 +03:00
9c76e1219f
Add ADT/LineRange.h
2026-04-09 18:37:46 +03:00
4cadcafa2c
Move operand constraints from C++ to tablegen
2026-04-08 12:30:31 +03:00
d35e54627c
Add Clift ValueType interface
...
Value types is the set of non-array object types. These types are
assignable, can be used as function parameters, and as return types
(along with void), and in other scenarios where the type must have usual
value-like behaviour with no weirdness (such as array decay).
2026-04-08 12:28:45 +03:00
80731d1a10
Migrate users to new Clift type casts
2026-04-08 12:27:32 +03:00
fb3cdbdf38
Rename ValueType to AddressableType
2026-04-08 12:26:18 +03:00
29c935ac90
Replace Clift type category helpers with casts
2026-04-08 12:25:04 +03:00
ecaec9b2f1
Add typedef-unwrapping Clift type casts
...
* `clift::unwrapped_isa`
* `clift::unwrapped_isa_and_present`
* `clift::unwrapped_cast`
* `clift::unwrapped_cast_if_present`
* `clift::unwrapped_dyn_cast`
* `clift::unwrapped_dyn_cast_if_present`
These casts first unwrap typedefs and then behave equivalently to their
usual LLVM counterparts.
2026-04-08 12:23:49 +03:00
db2b57e867
Add Clift ObjectType type interface
2026-04-08 12:22:33 +03:00
92ad229ff0
Move BytecodeClassAttr into a separate file
2026-04-08 12:21:16 +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
f9a4cb6384
Split up clift::dealias
...
* `unwrapTypedefs` matches `dealias(T, /*IgnoreQualifiers=*/true)`.
* `collapseTypedefs` matches `dealias(T)`.
2026-04-08 12:18:42 +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
a2be1b476a
Split up Clift CastOp
...
* DecayOp - array or function to pointer decay. Not shown in C.
* BitCastOp - bit-preserving conversion. Emitted as bit_cast if
necessary.
* ExtendOp - zero- or sign-extending conversion from any integer type to
any wider integer type.
* TruncateOp - truncating conversion from any integer type to any
narrower integer type.
* PtrResizeOp - resizes a pointer without changing its pointee type.
2026-04-08 12:11:54 +03:00
4cd4de4f83
Improve Clift type tablegen definitions
2026-04-08 11:12:41 +03:00
82ae097c18
Improve Clift operation type constraints
2026-04-08 11:12:41 +03:00
5198af8ba7
Improve Clift free function type property helpers
2026-04-08 11:12:41 +03:00
007ae24bb0
Simplify Clift expression pattern definitions
2026-04-08 11:12:41 +03:00
03c9b2288f
Simplify Clift expression op definitions
2026-04-08 11:12:41 +03:00
fae3bb5788
Remove unnecessary Clift operand type constraints
2026-04-08 11:12:41 +03:00
7b25803333
Remove unused BasicStatementOp default argument
2026-04-08 11:12:41 +03:00
dda0ef6292
Remove unused Clift_AnyLabelType constraint
2026-04-08 11:12:41 +03:00
3b731330b9
Fix getPointeeType expression rewrite helper
2026-04-08 11:12:41 +03:00
9e71f608b7
Fix Clift AliasableType description
2026-04-08 11:12:41 +03:00
b40fec2270
Add LLMRename analysis to pypeline
2026-03-31 17:00:48 +02:00
63a11d0c63
pypeline: add Analysis.is_available
...
Add a method to the `Analysis` interface which allows an analysis to
report if it is available for execution.
2026-03-31 17:00:48 +02: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
6f02461948
Clift: fix missed getAttributes methods
...
They are now correctly named `getCAttributes`.
2026-03-27 12:27:16 +00:00
5ca78e8897
emitCAttributes: improve spacing control
2026-03-27 08:27:23 +00:00
9de53e434d
CAttributes: introduce _NORETURN
2026-03-27 08:24:10 +00:00
446e8cb88d
CAttributes: introduce _ALWAYS_INLINE
2026-03-27 08:23:31 +00:00
fad05621cc
CAttributes: drop IsReal property
2026-03-27 08:22:52 +00:00
378bfb650f
CliftEmitC: Attributes -> CAttributes
2026-03-27 08:22:23 +00:00
754cfd57fe
Model: introduce migration to version 9
2026-03-27 08:19:21 +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
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
c30f309f5e
Clift: introduce getMutableComment
2026-03-27 08:09:09 +00:00
e34fbcb955
FunctionOp: add noreturn and always_inline
2026-03-27 08:08:08 +00:00
318681cd42
Introduce TypeDependencyGraph
2026-03-27 08:05:10 +00:00
Ivan Krysak