Richard Smith
|
ce50f181f1
Add an interface for initialization of `var`s without an explicit initializer (#6934)
|
1 month ago |
Geoff Romer
|
6a3529f4b5
Add `Core.Form` to prelude (#6745)
|
2 months ago |
Jon Ross-Perkins
|
2c6d9c7f66
Rename type's GetInstId to GetTypeInstId, reflecting returned type (#6708)
|
2 months ago |
Richard Smith
|
c0b24047dd
Interop support for initialization via `std::initializer_list`. (#6672)
|
3 months ago |
Vinicius Silva
|
f42352759f
Adding support for `UInt`-to-`char` conversion (#6425)
|
3 months ago |
Richard Smith
|
31919afa24
Allow conversion between `T*` and `Cpp.void*`. (#6575)
|
3 months ago |
Dana Jansens
|
30562826b8
Add Inst::IsOneOf to check if an inst is one of a few kinds (#6523)
|
3 months ago |
Jon Ross-Perkins
|
c5eba90317
Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)
|
4 months ago |
Ammar Alassal
|
a848ae11e4
Added string indexing (#6329)
|
4 months ago |
Geoff Romer
|
2b8fdf3417
Switch the prelude to use `ref` instead of `addr` (#6359)
|
5 months ago |
Richard Smith
|
90771414f5
Add builtins to form and detect null `MaybeUnformed(T*)` values. (#6208)
|
6 months ago |
Jon Ross-Perkins
|
4a6376cf59
Rename/restructure `Destroy` logic to better reflect #6124 (#6144)
|
7 months ago |
Jon Ross-Perkins
|
5e3bb523f8
Add builtin functions for destroy, with special requirements in facet types (#6035)
|
7 months ago |
Jon Ross-Perkins
|
973d721916
Some more edits to EnumBase and EnumMaskBase (#6054)
|
7 months ago |
Richard Smith
|
1ec8ac7ef9
Add `Copy` interface and use it for making copies. (#6034)
|
7 months ago |
Richard Smith
|
0e6dd7e701
Add `MaybeUnformed(T)` type. (#5989)
|
8 months ago |
Richard Smith
|
629f77eb61
Switch to representing FloatLiteralType as a RealId. (#5944)
|
8 months ago |
Richard Smith
|
28103b8f2e
Convert LegacyFloatType into FloatLiteralType. (#5939)
|
8 months ago |
Richard Smith
|
694c00c7eb
Make `Core.Float` a class. Add missing builtins for float support. (#5932)
|
8 months ago |
Jon Ross-Perkins
|
37d5046ceb
Support parse/check/lower for char (#5901)
|
9 months ago |
Richard Smith
|
a508b00883
Fix expected signature for `type.and`. (#5613)
|
11 months ago |
Jon Ross-Perkins
|
949cc21ccc
Remove SemIR:: from most sem_ir files (#5358)
|
1 year ago |
Richard Smith
|
b5ae988a08
Add builtins for compound assignment operators. (#5335)
|
1 year ago |
Dana Jansens
|
c38e723dd8
Rename singleton InstId constants to TypeInstId (#5323)
|
1 year ago |
Jon Ross-Perkins
|
401c72a5c3
Allow no-op functions to have unused arguments (#5318)
|
1 year ago |
Jon Ross-Perkins
|
4923445e3a
Drop `Singleton` from `ErrorInst::SingletonInstId` and similar (#5304)
|
1 year ago |
Jon Ross-Perkins
|
b49e89e97e
Add a no-op builtin function which shouldn't generate code. (#5306)
|
1 year ago |
Dana Jansens
|
f0663715dd
Even more usage of TypeInstId (#5296)
|
1 year ago |
Dana Jansens
|
c34a8d0a3a
Convert remaining type-value InstId fields to TypeInstId (#5294)
|
1 year ago |
Richard Smith
|
a74ca9071b
Remove all remaining uses of `TypeId`s as instruction operands. (#5280)
|
1 year ago |