Jon Ross-Perkins
|
8004c2d5f6
CalleeFunction -> Callee name adjustments (#6117)
|
7 mesi fa |
Jon Ross-Perkins
|
0f7df4ed7e
Switch CalleeFunction to a variant (#6104)
|
7 mesi fa |
Dana Jansens
|
aa0095c29f
Remove TODO in GetConstantValue for FacetTypeId (#6089)
|
7 mesi fa |
Jon Ross-Perkins
|
5e3bb523f8
Add builtin functions for destroy, with special requirements in facet types (#6035)
|
7 mesi fa |
Richard Smith
|
1ec8ac7ef9
Add `Copy` interface and use it for making copies. (#6034)
|
7 mesi fa |
Richard Smith
|
0e6dd7e701
Add `MaybeUnformed(T)` type. (#5989)
|
8 mesi fa |
Richard Smith
|
b851e8c423
Add support for f16, f64, f128. (#5952)
|
8 mesi fa |
Richard Smith
|
629f77eb61
Switch to representing FloatLiteralType as a RealId. (#5944)
|
8 mesi fa |
Richard Smith
|
28103b8f2e
Convert LegacyFloatType into FloatLiteralType. (#5939)
|
8 mesi fa |
Richard Smith
|
694c00c7eb
Make `Core.Float` a class. Add missing builtins for float support. (#5932)
|
8 mesi fa |
Dana Jansens
|
3d77c4441b
Compare ImplWitnessAccess into Self as canonical constants (#5883)
|
8 mesi fa |
Jon Ross-Perkins
|
37d5046ceb
Support parse/check/lower for char (#5901)
|
8 mesi fa |
Richard Smith
|
4685890d63
Rename FloatLiteral to FloatValue. (#5911)
|
9 mesi fa |
Dana Jansens
|
105618ecb1
Resolve nested accesses in rewrite constraints (#5872)
|
9 mesi fa |
Dana Jansens
|
b36a987e73
Find cycles in rewrite constraints without performing the full exponential expansion of the RHS (#5673)
|
9 mesi fa |
Jon Ross-Perkins
|
b4b4d33789
Change CanonicalValueStore to take ValueT and KeyT as parameters (#5759)
|
10 mesi fa |
Dana Jansens
|
6c6552ce57
Consistently return runtime phase if the operands contain a runtime (#5729)
|
10 mesi fa |
Jon Ross-Perkins
|
a65f4b89e2
Make ValueStore require a ValueT parameter (#5757)
|
10 mesi fa |
Jon Ross-Perkins
|
b97646a890
Split value store related types to separate files (#5754)
|
10 mesi fa |
Dana Jansens
|
3585b31813
Handle insts that resolve to `type` on the RHS of `impls` (#5712)
|
10 mesi fa |
Dana Jansens
|
fa6322dd8f
Propagate errors in import (#5728)
|
10 mesi fa |
Dana Jansens
|
1d2cf1ddcb
Remove the IsPeriodSelf function, use constant value comparison instead (#5731)
|
10 mesi fa |
Dana Jansens
|
2b7c75d8a5
Avoid incorrect conflicting assignment diags in rewrite constraints (#5686)
|
10 mesi fa |
Dana Jansens
|
fff8c14066
Restructure WhereExpr eval to use `continue` less (#5660)
|
10 mesi fa |
Dana Jansens
|
f02ad1f1ca
Diagnose runtime values in eval where a constant value was expected (#5659)
|
10 mesi fa |
Dana Jansens
|
517bec24ef
Nested facets (#5644)
|
10 mesi fa |
Dana Jansens
|
3689a3b3e4
Call GetConstantFacetTypeInfo on fully constructed FacetTypeInfo in WhereExpr and BitAnd (#5647)
|
10 mesi fa |
Geoff Romer
|
0b3edee177
Alphabetize typed_insts.h (#5401)
|
10 mesi fa |
Richard Smith
|
4e5dccdbf7
When making a direct call to a thunk, inline the call in SemIR. (#5642)
|
10 mesi fa |
Dana Jansens
|
f506376e53
Resolve rewrites in facet types, looking for duplicates (#5620)
|
10 mesi fa |