Geoff Romer
|
4c9049346d
Replace form insts with actions (#7100)
|
3 napja |
Geoff Romer
|
49c7288619
Restructure return declaration handling (#7076)
|
1 hete |
Geoff Romer
|
0851d657c8
Add comment and test for special case in `NameRef` lowering (#7008)
|
1 hónapja |
Richard Smith
|
41dd256d56
Support for initialization of classes with abstract base classes. (#6802)
|
2 hónapja |
Geoff Romer
|
bf9219d30e
Check support for form literals and `:?` bindings (#6747)
|
2 hónapja |
Richard Smith
|
f9ab963bd6
Add a `type_literal` instruction to represent syntactic type literals. (#6781)
|
2 hónapja |
Geoff Romer
|
f21e0e17ac
Introduce ExprCategory::Dependent (#6744)
|
2 hónapja |
Jon Ross-Perkins
|
2c6d9c7f66
Rename type's GetInstId to GetTypeInstId, reflecting returned type (#6708)
|
2 hónapja |
Geoff Romer
|
e5b05a1fac
`ExprCategory` for guaranteed-in-place initializing expressions (#6623)
|
2 hónapja |
Geoff Romer
|
0e5832d3c2
Model `ref` tags as insts instead of annotations (#6541)
|
3 hónapja |
Geoff Romer
|
ad7ea755b0
Add `Abstract` enumerator to `InitRepr::Kind` (#6513)
|
4 hónapja |
Geoff Romer
|
0811d996e1
Finish renaming BindName and related insts. (#6281)
|
6 hónapja |
Geoff Romer
|
09710d102f
Separate binding insts for refs and values (#6235)
|
6 hónapja |
Dana Jansens
|
82679e6689
Make BindSymbolicName the canonical form of a FacetValue wrapping the BindSymbolicName (#6107)
|
7 hónapja |
Richard Smith
|
b44ba47cf3
Don't treat dependent types as having a copy value representation. (#6055)
|
7 hónapja |
Jon Ross-Perkins
|
6bf335c309
Mark VtablePtr always constant (#5843)
|
9 hónapja |
David Blaikie
|
124313269a
Represent vtables as a top level SemIR construct (#5472)
|
10 hónapja |
Richard Smith
|
a556cf41fc
Use static allocas for temporaries. (#5734)
|
10 hónapja |
Richard Smith
|
7215302a27
Clean up and extend support for cross-file lowering of specific functions. (#5688)
|
10 hónapja |
Richard Smith
|
14e4f219b1
Support lowering specifics for an imported generic function. (#5475)
|
11 hónapja |
Alina Sbirlea
|
77afd0678b
Prototype for coalescing equivalent specifics of the same generic. (#5314)
|
11 hónapja |
Richard Smith
|
32e68cfb5b
Fix debug location for variable allocas and lifetime markers. (#5432)
|
1 éve |
Dana Jansens
|
c38e723dd8
Rename singleton InstId constants to TypeInstId (#5323)
|
1 éve |
Jon Ross-Perkins
|
4923445e3a
Drop `Singleton` from `ErrorInst::SingletonInstId` and similar (#5304)
|
1 éve |
Alina Sbirlea
|
02e9ac21bf
Fix type when lowering associated constants. (#5295)
|
1 éve |
David Blaikie
|
8e7bb2f953
Initialize vptrs to point to vtables (#5244)
|
1 éve |
Richard Smith
|
584426dfa2
Initial work on support for templates (#5081)
|
1 éve |
Richard Smith
|
4d2cca48c7
Compute a correct `SpecificFunction` when resolving an indirect call to an impl function (#5116)
|
1 éve |
Geoff Romer
|
6d4f2567a7
Add support for `var` patterns (#5069)
|
1 éve |
Geoff Romer
|
13434f0e8a
Model `var` as a pattern operator (#4720)
|
1 éve |