Dana Jansens
|
b8bc7bffd2
Rework validation of require constraints (#7081)
|
1 settimana fa |
Richard Smith
|
a6061d975c
Compute type layouts in SemIR / Check (#7066)
|
2 settimane fa |
Jon Ross-Perkins
|
2c6d9c7f66
Rename type's GetInstId to GetTypeInstId, reflecting returned type (#6708)
|
2 mesi fa |
Dana Jansens
|
7f7186c227
Extended name lookup replaces inner Self (#6632)
|
3 mesi fa |
Dana Jansens
|
30562826b8
Add Inst::IsOneOf to check if an inst is one of a few kinds (#6523)
|
3 mesi fa |
Richard Smith
|
372f632d9d
Implement support for copying C++ classes. (#6434)
|
5 mesi fa |
Jon Ross-Perkins
|
ef1e47cd07
Remove redundant SemIR:: uses in SemIR (#6106)
|
7 mesi fa |
Jon Ross-Perkins
|
6cc5d7ed2a
Add an EnumMaskBase type (#6053)
|
7 mesi fa |
Richard Smith
|
cb5e2e1597
Improve support for qualification conversions. (#5999)
|
8 mesi fa |
Richard Smith
|
30b8a93fde
Support conversion from T* to const T*. (#5971)
|
8 mesi fa |
Richard Smith
|
28103b8f2e
Convert LegacyFloatType into FloatLiteralType. (#5939)
|
8 mesi fa |
Jon Ross-Perkins
|
37d5046ceb
Support parse/check/lower for char (#5901)
|
8 mesi fa |
Richard Smith
|
4f5d11a28b
Build generic eval blocks incrementally (#5313)
|
1 anno fa |
Geoff Romer
|
fafb655d39
Separate pattern types from expression types (#5360)
|
1 anno fa |
Jon Ross-Perkins
|
949cc21ccc
Remove SemIR:: from most sem_ir files (#5358)
|
1 anno fa |
Jon Ross-Perkins
|
4923445e3a
Drop `Singleton` from `ErrorInst::SingletonInstId` and similar (#5304)
|
1 anno fa |
Dana Jansens
|
c34a8d0a3a
Convert remaining type-value InstId fields to TypeInstId (#5294)
|
1 anno fa |
Dana Jansens
|
cf57c85545
Introduce TypeInstId (#5288)
|
1 anno fa |
josh11b
|
fc7b0016ce
Tuples and structs with abstract types are abstract (#4986)
|
1 anno fa |
Jon Ross-Perkins
|
dc8f47e6ad
Move type functions off Context (#4951)
|
1 anno fa |
Jon Ross-Perkins
|
9c0faf007e
Invalid comment cleanup (#4836)
|
1 anno fa |
Jon Ross-Perkins
|
6b5eb1a101
Id::Invalid -> Id::None (#4834)
|
1 anno fa |
Jon Ross-Perkins
|
1cba3328f7
Finish removing BuiltinInstKind (#4637)
|
1 anno fa |
Richard Smith
|
d6ec885eb3
Track the type as written in `BaseDecl` and `AdaptDecl`. (#4564)
|
1 anno fa |
Jon Ross-Perkins
|
79b9180eff
Adds per-builtin instructions, removing `BuiltinInst` (#4556)
|
1 anno fa |
Richard Smith
|
e2ae5f212c
Remove the special case for `i32`. (#4543)
|
1 anno fa |
Richard Smith
|
cbd88e5c72
Add builtin for performing checked conversion between integer types. (#4523)
|
1 anno fa |
Chandler Carruth
|
3ba4997855
Canonicalize away bit width and embed small integers into `IntId`s (#4487)
|
1 anno fa |
Dana Jansens
|
361efa90a8
Always call MemUsage::Collect to collect metrics from a field (#4480)
|
1 anno fa |
Chandler Carruth
|
4148161e24
Refactor value store code to use separate files. (#4477)
|
1 anno fa |