Richard Smith
|
43867a678b
Reverse interop support for type aliases. (#7043)
|
2 weeks ago |
Dana Jansens
|
5503f643c6
Introduce typed-inst accessors for ConstantValueStore (#6980)
|
1 month ago |
Geoff Romer
|
e78af4d745
Misc. improvements to raw/debug SemIR output (#6557)
|
3 months ago |
Dana Jansens
|
c64117d0e0
Make IdTag typesafe (#6574)
|
3 months ago |
Richard Smith
|
5c7bb7a50d
Clean up ConstantValueStore getters. (#6377)
|
5 months ago |
David Blaikie
|
b02c6a8db4
Add unit tagging to SymbolicConstantId (#6262)
|
6 months ago |
David Blaikie
|
12fa65e53c
Check for use of `InstId`s from the wrong `SemIR::File` (#5997)
|
7 months ago |
Dana Jansens
|
a6bb11f1cf
Rearrange convert: construct FacetAccessType from a facet value before impl lookup instead of after (#6113)
|
7 months ago |
Jon Ross-Perkins
|
ef1e47cd07
Remove redundant SemIR:: uses in SemIR (#6106)
|
7 months ago |
Geoff Romer
|
cb6ca962d2
Update/clarify documentation of generic constants (#5473)
|
9 months ago |
Jon Ross-Perkins
|
61290fdee9
Make ConstantValueStore use ValueStore internally (#5811)
|
9 months ago |
Richard Smith
|
4f5d11a28b
Build generic eval blocks incrementally (#5313)
|
1 year ago |
Richard Smith
|
5226f3d14a
Factor out `GetInstWithConstantValue` and use it from another place that duplicates the same logic. (#5388)
|
1 year ago |
Dana Jansens
|
11ae0e27ab
Deduce through FacetValue (#5158)
|
1 year ago |
Dana Jansens
|
a0b7f39591
Support impl lookup for multiple interfaces in a facet type (#5047)
|
1 year ago |
Dana Jansens
|
210c26e369
Use llvm::map_range() instead of using mapped_iterator directly (#4997)
|
1 year ago |
Dana Jansens
|
11aba70c1d
Add enumerate() for ValueStore and ImplStore (#4975)
|
1 year ago |
Richard Smith
|
e0b2f5d772
Add and propagate template phase for constants. (#4964)
|
1 year ago |
Richard Smith
|
c6d35e1c4a
Rename template constant -> concrete constant. (#4939)
|
1 year ago |
Jon Ross-Perkins
|
6b5eb1a101
Id::Invalid -> Id::None (#4834)
|
1 year ago |
josh11b
|
33110d096c
Facet types support rewrite (`where .A =`...) constraints (#4613)
|
1 year ago |
Dana Jansens
|
361efa90a8
Always call MemUsage::Collect to collect metrics from a field (#4480)
|
1 year ago |
josh11b
|
c721a020a7
Store pointer not reference in `ConstantStore` (#4398)
|
1 year ago |
Richard Smith
|
568ad197d1
Track the instruction used to name the type and constraint in an impl. (#4368)
|
1 year ago |
Chandler Carruth
|
5d0ec91c20
Collection of minor tweaks to get approx. 10-15% compile time (#4245)
|
1 year ago |
Richard Smith
|
dde0bd0ffe
Change TypeId to be a thin wrapper around ConstantId. (#4140)
|
1 year ago |
Jon Ross-Perkins
|
f1190a4792
Add basic output of where memory is stored after a compile. (#4136)
|
1 year ago |
Richard Smith
|
7322a1e220
Build a list of dependent constants to recompute in each instance of a generic. (#4110)
|
1 year ago |
Chandler Carruth
|
8992d22ab3
Port the toolchain to use the new Carbon hashtable (#4097)
|
1 year ago |
Richard Smith
|
6ecf4ce9a7
Store additional information for symbolic constants. (#4102)
|
1 year ago |