Split StackType.O into StackType.Obj+StackType.VT - #4091

Open

dgrunwald wants to merge 30 commits into

masterfrom

split-obj-vt

Commits on Sep 5, 2026

Prepare for a split of StackType.O into StackType.Obj and StackType.VT: the easy cases
dgrunwald
committed
c4e1815
NullCoalescingInstruction: use a more detailed invariant.
dgrunwald
committed
60efa21
Remove the value type special case from the expression builder's variable-type-replacement.
dgrunwald
committed
437d8fe
Remove StackType.O; use actually different values for StackType.Obj and StackType.VT.
dgrunwald
committed
3f76bd9
First round of bugfixes.
dgrunwald
committed
4b040c1
Second round of fixes.
dgrunwald
committed
790f4f6
Fix usages of StackType.O in the .tt file.
dgrunwald
committed
38f5400
Replace a couple of `inst.ResultType -> IType` conversions with `InferType()` calls.
dgrunwald
committed
30552b0
TransformExpressionTrees: operatorName for ConvertBinaryNumericOperator

siegfriedpammer
authored and
dgrunwald
committed
80b901e
TransformExpressionTrees: drop the unused result type from ConvertBind

siegfriedpammer
authored and
dgrunwald
committed
a3b06e7
TransformExpressionTrees: return only the builder, not the result type

siegfriedpammer
authored and
dgrunwald
committed
d9b502a
TransformExpressionTrees: inline MatchConstantCall into ConvertConstant

siegfriedpammer
authored and
dgrunwald
committed
49b7257
TransformExpressionTrees: document the ILAst patterns

siegfriedpammer
authored and
dgrunwald
committed
154d60e
TransformExpressionTrees: produce the same ILAst as an equivalent lambda

siegfriedpammer
authored and
dgrunwald
committed
14aecba
TransformExpressionTrees: emit box for a boxing Expression.Convert

siegfriedpammer
authored and
dgrunwald
committed
34cceea
TransformExpressionTrees: box a value-type call target

siegfriedpammer
authored and
dgrunwald
committed
e3c445b
TransformExpressionTrees: box a type-parameter call target as well

siegfriedpammer
authored and
dgrunwald
committed
486cdcd
TransformExpressionTrees: compare operand stack types, not operand types

siegfriedpammer
authored and
dgrunwald
committed
9947ad5
TransformArrayInitializers: convert the array initializer to the span

siegfriedpammer
authored and
dgrunwald
committed
6de4c1d
Let an array initializer block evaluate to a Span<T>

siegfriedpammer
authored and
dgrunwald
committed
3a3a79e
Keep the localloc pointer in a stackalloc initializer block

siegfriedpammer
authored and
dgrunwald
committed
5347b03
Restore the params form for a span parameter

siegfriedpammer
authored and
dgrunwald
committed
7112ef9

Commits on Sep 7, 2026

Commits on Sep 10, 2026

TransformExpressionTrees: compare reference-constrained type parameters
siegfriedpammer
committed
d797d4a

Navigation Menu

Uh oh!

Uh oh!

Split StackType.O into StackType.Obj+StackType.VT - #4091

Split StackType.O into StackType.Obj+StackType.VT#4091
dgrunwald wants to merge 30 commits into
masterfrom
split-obj-vt

Commits on Sep 5, 2026

Prepare for a split of StackType.O into StackType.Obj and StackType.VT: the easy cases

NullCoalescingInstruction: use a more detailed invariant.

Remove the value type special case from the expression builder's variable-type-replacement.

Remove StackType.O; use actually different values for StackType.Obj and StackType.VT.

First round of bugfixes.

Second round of fixes.

Fix usages of StackType.O in the .tt file.

Replace a couple of `inst.ResultType -> IType` conversions with `InferType()` calls.

TransformExpressionTrees: operatorName for ConvertBinaryNumericOperator

TransformExpressionTrees: drop the unused result type from ConvertBind

TransformExpressionTrees: return only the builder, not the result type

TransformExpressionTrees: inline MatchConstantCall into ConvertConstant

TransformExpressionTrees: document the ILAst patterns

TransformExpressionTrees: produce the same ILAst as an equivalent lambda

TransformExpressionTrees: emit box for a boxing Expression.Convert

TransformExpressionTrees: box a value-type call target

TransformExpressionTrees: box a type-parameter call target as well

TransformExpressionTrees: compare operand stack types, not operand types

TransformArrayInitializers: convert the array initializer to the span

Let an array initializer block evaluate to a Span<T>

Keep the localloc pointer in a stackalloc initializer block

Restore the params form for a span parameter

Commits on Sep 6, 2026

Take the span type from the array conversion's return type

Look methods up the same way whether or not they come from metadata

Expand a params argument to the parameter's element type

Fix `stackalloc char[4]` turning to `stackalloc short[4]`.

Commits on Sep 7, 2026

TransformExpressionTrees: Fix built-in comparisons with value types

TransformExpressionTrees: do not crash on a lambda that did not convert

TransformExpressionTrees: keep a constant's declared type

Commits on Sep 10, 2026

TransformExpressionTrees: compare reference-constrained type parameters