Jon Ross-Perkins
|
d8ecc72d9d
Update pre-commit config (#4549)
|
1 年之前 |
Chandler Carruth
|
f17939e252
Follow-up to #4487 to fix file names (#4520)
|
1 年之前 |
Chandler Carruth
|
3ba4997855
Canonicalize away bit width and embed small integers into `IntId`s (#4487)
|
1 年之前 |
Geoff Romer
|
5759ad8b42
Remove forward references from binding patterns (#4494)
|
1 年之前 |
Jon Ross-Perkins
|
be56ff87c6
Convert StructTypeField to a specific type. (#4492)
|
1 年之前 |
josh11b
|
ea0b0b4b48
Add facet type values and an instruction that produces them (#4460)
|
1 年之前 |
Geoff Romer
|
9d942f4633
Generate parameter pattern-match IR from pattern IR (#4388)
|
1 年之前 |
Richard Smith
|
42bda1e38f
Don't substitute into the targeted instructions of an associated constant. (#4342)
|
1 年之前 |
Richard Smith
|
0354efa1fc
Rework how we check calls to support deduced implicit parameters (#4302)
|
1 年之前 |
Jon Ross-Perkins
|
64204d9182
Factor library names into their own ID structure. (#4219)
|
1 年之前 |
Richard Smith
|
3cb769a053
Rename "generic instance" to "specific" throughout the toolchain. (#4165)
|
1 年之前 |
Geoff Romer
|
326609857d
Rename BindNameInfo to EntityName (#4090)
|
1 年之前 |
Jon Ross-Perkins
|
a81d67c629
Rename Builtin to BuiltinInst, particularly to get BuiltinInstKind (#4115)
|
1 年之前 |
Richard Smith
|
19c5596fd8
Build Generic objects for generic classes and interfaces. (#4086)
|
1 年之前 |
Richard Smith
|
e7b0529957
Create a `Generic` object to represent a generic. (#4081)
|
1 年之前 |
Richard Smith
|
e0b8728263
Allocate de Bruijn levels to symbolic bindings. (#3906)
|
2 年之前 |
Pablo Paglilla
|
cae62765af
Add builtins for basic float operations (#3897)
|
2 年之前 |
Richard Smith
|
bb117aea3a
Add support for `iN` and `uN` for all suitable `N`. (#3868)
|
2 年之前 |
Jon Ross-Perkins
|
f8c8861e5f
Change ImportRef to a triple state: Unloaded, Loaded, Used (#3831)
|
2 年之前 |
Richard Smith
|
8cb932b99c
Substitute `Self` in associated function signatures before checking them against `impl`s. (#3788)
|
2 年之前 |
Richard Smith
|
2584399673
Factor `IdKind` enum out of node stack. (#3787)
|
2 年之前 |