Jon Ross-Perkins
|
a2ba7f1262
Have Specific track whether regions contain errors (#6982)
|
1 mês atrás |
Geoff Romer
|
e78af4d745
Misc. improvements to raw/debug SemIR output (#6557)
|
3 meses atrás |
Dana Jansens
|
c64117d0e0
Make IdTag typesafe (#6574)
|
3 meses atrás |
David Blaikie
|
7663c38291
Add unit tagging to SpecificId (#6251)
|
6 meses atrás |
David Blaikie
|
1df0d4566e
Add unit tagging to GenericId (#6248)
|
6 meses atrás |
David Blaikie
|
12fa65e53c
Check for use of `InstId`s from the wrong `SemIR::File` (#5997)
|
7 meses atrás |
Geoff Romer
|
cb6ca962d2
Update/clarify documentation of generic constants (#5473)
|
9 meses atrás |
Jon Ross-Perkins
|
a65f4b89e2
Make ValueStore require a ValueT parameter (#5757)
|
10 meses atrás |
Jon Ross-Perkins
|
839a7b7c96
Refactor ValueStoreChunk and ValueStoreRange into ValueStore (#5756)
|
10 meses atrás |
Jon Ross-Perkins
|
81ca949ab8
Replacing lowering vectors with FixedSizeValueStore (#5636)
|
10 meses atrás |
Richard Smith
|
14e4f219b1
Support lowering specifics for an imported generic function. (#5475)
|
11 meses atrás |
Dana Jansens
|
02fc484f23
Make pointers in ValueStore stable across insertions (#5576)
|
11 meses atrás |
Richard Smith
|
71715263ce
Add build option `--features=poison_value_stores`. (#5438)
|
11 meses atrás |
Richard Smith
|
4f5d11a28b
Build generic eval blocks incrementally (#5313)
|
1 ano atrás |
Richard Smith
|
c33adfafd3
Replace `GetTypeInSpecific` with `GetTypeOfInstInSpecific`. (#5232)
|
1 ano atrás |
Dana Jansens
|
11aba70c1d
Add enumerate() for ValueStore and ImplStore (#4975)
|
1 ano atrás |
Richard Smith
|
fcfb1345d5
Support accessing associated functions by member access into facets (#4872)
|
1 ano atrás |
Jon Ross-Perkins
|
9c0faf007e
Invalid comment cleanup (#4836)
|
1 ano atrás |
Jon Ross-Perkins
|
6b5eb1a101
Id::Invalid -> Id::None (#4834)
|
1 ano atrás |
Chandler Carruth
|
4148161e24
Refactor value store code to use separate files. (#4477)
|
1 ano atrás |
Richard Smith
|
3cb769a053
Rename "generic instance" to "specific" throughout the toolchain. (#4165)
|
1 ano atrás |
Geoff Romer
|
326609857d
Rename BindNameInfo to EntityName (#4090)
|
1 ano atrás |
Richard Smith
|
3cc90f9017
Move `GetTypeInInstance` from `Check` to `SemIR`. (#4144)
|
1 ano atrás |
Jon Ross-Perkins
|
f1190a4792
Add basic output of where memory is stored after a compile. (#4136)
|
1 ano atrás |
Richard Smith
|
efea072be3
Compute specific constant values. (#4128)
|
1 ano atrás |
Richard Smith
|
50d56aa7c9
Add an instruction to represent a use of a dependent value from a generic instance. (#4122)
|
1 ano atrás |
Richard Smith
|
7322a1e220
Build a list of dependent constants to recompute in each instance of a generic. (#4110)
|
1 ano atrás |
Richard Smith
|
19c5596fd8
Build Generic objects for generic classes and interfaces. (#4086)
|
1 ano atrás |
Richard Smith
|
a0d767246f
Add `GenericInstance` type to represent instances of generics. (#4085)
|
1 ano atrás |
Richard Smith
|
e7b0529957
Create a `Generic` object to represent a generic. (#4081)
|
1 ano atrás |