Richard Smith
|
cb5e2e1597
Improve support for qualification conversions. (#5999)
|
hace 8 meses |
Richard Smith
|
30b8a93fde
Support conversion from T* to const T*. (#5971)
|
hace 8 meses |
Richard Smith
|
b851e8c423
Add support for f16, f64, f128. (#5952)
|
hace 8 meses |
Dana Jansens
|
3d77c4441b
Compare ImplWitnessAccess into Self as canonical constants (#5883)
|
hace 9 meses |
Richard Smith
|
a6acba9eab
Support for importing const-qualified types from C++. (#5794)
|
hace 9 meses |
Geoff Romer
|
fafb655d39
Separate pattern types from expression types (#5360)
|
hace 1 año |
Dana Jansens
|
51498547c9
Always use `LookupImplWitness` instructions for symbolic witnesses (#5321)
|
hace 1 año |
Jon Ross-Perkins
|
4923445e3a
Drop `Singleton` from `ErrorInst::SingletonInstId` and similar (#5304)
|
hace 1 año |
Jon Ross-Perkins
|
55da026a46
Remove the SemIRLoc typedef (#5299)
|
hace 1 año |
Dana Jansens
|
f0663715dd
Even more usage of TypeInstId (#5296)
|
hace 1 año |
Dana Jansens
|
cf57c85545
Introduce TypeInstId (#5288)
|
hace 1 año |
Richard Smith
|
a74ca9071b
Remove all remaining uses of `TypeId`s as instruction operands. (#5280)
|
hace 1 año |
Richard Smith
|
1a4d6ca255
Store an `InstId` instead of a `TypeId` in `UnboundElementType`. (#5260)
|
hace 1 año |
Richard Smith
|
0631e18184
Provide an `InstId` when evaluating a constant in cases where one is needed (#5202)
|
hace 1 año |
Richard Smith
|
a45dc42d82
Store an `InterfaceId` and a `SpecificId` in `AssociatedEntityType`. (#5252)
|
hace 1 año |
Richard Smith
|
bba32900c3
Preserve type sugar in ArrayType, ConstType, and PointerType. (#5235)
|
hace 1 año |
Richard Smith
|
f30fa2d3db
Move the `EvalConstantInst` overloads out of `eval.cpp` into their own file. (#5040)
|
hace 1 año |
josh11b
|
eb69d7420e
First iteration of completing and resolving facet types (#4920)
|
hace 1 año |
Jon Ross-Perkins
|
dc8f47e6ad
Move type functions off Context (#4951)
|
hace 1 año |