| .. |
|
cpp
|
b5bdfdd857
Rename `TypeLiteralInfo` to `RecognizedTypeInfo` (#6384)
|
5 月之前 |
|
fuzzer_corpus
|
24bde46181
Change array syntax from [T; N] to array(T, N) (#4981)
|
1 年之前 |
|
testdata
|
13bb660f7f
Update LLVM and update APIs (#6147)
|
5 月之前 |
|
BUILD
|
b68b6ae1e7
Add support for more complex object-like macros (#6338)
|
5 月之前 |
|
action.cpp
|
42e2280150
Clean up singleton TypeId use (#6300)
|
6 月之前 |
|
action.h
|
f0663715dd
Even more usage of TypeInstId (#5296)
|
1 年之前 |
|
call.cpp
|
43ffd721a4
Support `ref` tags on arguments to `ref` params (#6312)
|
5 月之前 |
|
call.h
|
5705b94da8
Add `PerformCallToCppFunction()` which calls simplified version of `PerformCppOverloadResolution()` before calling `PerformCallToFunction()` (#6122)
|
7 月之前 |
|
check.cpp
|
b54f2dd592
Support `import Cpp;` to import `Cpp` namespace for using C++ builtins (#6320)
|
5 月之前 |
|
check.h
|
49ba8cf3e1
Switch class to use a blanket impl for `Destroy` (#6125)
|
7 月之前 |
|
check_fuzzer.cpp
|
0d0e202ce8
Switch Driver back to parameters for construction (#4849)
|
1 年之前 |
|
check_unit.cpp
|
acb7810e32
Avoid crashing when an impl decl has a missing definition (#6349)
|
5 月之前 |
|
check_unit.h
|
49ba8cf3e1
Switch class to use a blanket impl for `Destroy` (#6125)
|
7 月之前 |
|
class.cpp
|
50a0f908c6
Mark `Check::Context::insts()` as `const` and use it in more use cases (#6093)
|
7 月之前 |
|
class.h
|
27be0973e7
Vtable support for generics (#5793)
|
9 月之前 |
|
context.cpp
|
43ffd721a4
Support `ref` tags on arguments to `ref` params (#6312)
|
5 月之前 |
|
context.h
|
43ffd721a4
Support `ref` tags on arguments to `ref` params (#6312)
|
5 月之前 |
|
control_flow.cpp
|
e855f38b8c
Tag destruction as desugaring (#5790)
|
9 月之前 |
|
control_flow.h
|
6a53947c5c
Handle destruction for return statements (#5785)
|
9 月之前 |
|
convert.cpp
|
5ae5170421
Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)
|
5 月之前 |
|
convert.h
|
b300f36e6f
Use `inline constexpr` where appropriate. (#6374)
|
5 月之前 |
|
decl_introducer_state.h
|
94dca7967b
Allow `extend final impl as` for impl declarations (#5345)
|
1 年之前 |
|
decl_name_stack.cpp
|
e060342411
Defer building thunks until the end of the enclosing definition. (#5403)
|
1 年之前 |
|
decl_name_stack.h
|
e060342411
Defer building thunks until the end of the enclosing definition. (#5403)
|
1 年之前 |
|
deduce.cpp
|
0811d996e1
Finish renaming BindName and related insts. (#6281)
|
6 月之前 |
|
deduce.h
|
493bea1647
Fearlessly hold references into ValueStore again (#5589)
|
11 月之前 |
|
deferred_definition_worklist.cpp
|
2472f44e44
Track pending thunks on the deferred definition worklist. (#5609)
|
10 月之前 |
|
deferred_definition_worklist.h
|
2472f44e44
Track pending thunks on the deferred definition worklist. (#5609)
|
10 月之前 |
|
diagnostic_emitter.cpp
|
629f77eb61
Switch to representing FloatLiteralType as a RealId. (#5944)
|
8 月之前 |
|
diagnostic_emitter.h
|
bd4fbb4393
Expand use of CheckIRId stores (#5820)
|
9 月之前 |
|
diagnostic_helpers.h
|
3f799bd987
Use explicit(false) for implicit construction (#6039)
|
7 月之前 |
|
dump.cpp
|
ce109708bf
Add dumping for NamedConstraintId and shorten untagged id printing (#6319)
|
5 月之前 |
|
eval.cpp
|
ee49d65e29
Remove a use of zip/to_array in eval (#6393)
|
5 月之前 |
|
eval.h
|
55da026a46
Remove the SemIRLoc typedef (#5299)
|
1 年之前 |
|
eval_inst.cpp
|
5ae5170421
Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)
|
5 月之前 |
|
eval_inst.h
|
b300f36e6f
Use `inline constexpr` where appropriate. (#6374)
|
5 月之前 |
|
facet_type.cpp
|
ca3f95faa6
Make named constraint eval to a FacetType with itself in it (#6308)
|
6 月之前 |
|
facet_type.h
|
0811d996e1
Finish renaming BindName and related insts. (#6281)
|
6 月之前 |
|
full_pattern_stack.h
|
d264f14027
Clean up handling of `Call` params (#5061)
|
1 年之前 |
|
function.cpp
|
816d4589cd
Make use of new `ArrayRef::consume_*` functions. (#5975)
|
8 月之前 |
|
function.h
|
2472f44e44
Track pending thunks on the deferred definition worklist. (#5609)
|
10 月之前 |
|
generic.cpp
|
0811d996e1
Finish renaming BindName and related insts. (#6281)
|
6 月之前 |
|
generic.h
|
22580a47d3
Initial support for empty named constraints (#6245)
|
6 月之前 |
|
generic_region_stack.cpp
|
4f5d11a28b
Build generic eval blocks incrementally (#5313)
|
1 年之前 |
|
generic_region_stack.h
|
4f5d11a28b
Build generic eval blocks incrementally (#5313)
|
1 年之前 |
|
global_init.cpp
|
5a4b63a040
[Refactor] Move call_params_id from EntityBase to FunctionFields. (#5146)
|
1 年之前 |
|
global_init.h
|
cf389bf5d3
Split global init out from InstBlockStack. (#4101)
|
1 年之前 |
|
handle.h
|
2472f44e44
Track pending thunks on the deferred definition worklist. (#5609)
|
10 月之前 |
|
handle_alias.cpp
|
0811d996e1
Finish renaming BindName and related insts. (#6281)
|
6 月之前 |
|
handle_array.cpp
|
315e206ff1
Construct LocId from InstId directly (explicitly) instead of doing lookups when possible (#5355)
|
1 年之前 |
|
handle_binding_pattern.cpp
|
42e2280150
Clean up singleton TypeId use (#6300)
|
6 月之前 |
|
handle_call_expr.cpp
|
43ffd721a4
Support `ref` tags on arguments to `ref` params (#6312)
|
5 月之前 |
|
handle_choice.cpp
|
8f19f7a7c0
Use the value representation of `T` as that of `MaybeUnformed(T)` where possible (#6334)
|
5 月之前 |
|
handle_class.cpp
|
49ba8cf3e1
Switch class to use a blanket impl for `Destroy` (#6125)
|
7 月之前 |
|
handle_codeblock.cpp
|
03e693873b
Detect control flow in entities nested inside functions (#5336)
|
1 年之前 |
|
handle_export.cpp
|
315e206ff1
Construct LocId from InstId directly (explicitly) instead of doing lookups when possible (#5355)
|
1 年之前 |
|
handle_expr_statement.cpp
|
69b9982e95
Convert discarded calls in thunks. (#5452)
|
11 月之前 |
|
handle_file.cpp
|
99696b9812
Rename check handlers to HandleParseNode overloads. (#4121)
|
1 年之前 |
|
handle_function.cpp
|
2b8fdf3417
Switch the prelude to use `ref` instead of `addr` (#6359)
|
5 月之前 |
|
handle_if_expr.cpp
|
03e693873b
Detect control flow in entities nested inside functions (#5336)
|
1 年之前 |
|
handle_if_statement.cpp
|
311b4ff03d
Refactor AddInst-family functions to their own file (#4941)
|
1 年之前 |
|
handle_impl.cpp
|
81e55bed8a
Generate a RequireDecl instruction for require declarations (#6318)
|
5 月之前 |
|
handle_import_and_package.cpp
|
8166f9a7cf
Formalize Cpp as a PackageNameId (#6306)
|
5 月之前 |
|
handle_index.cpp
|
e1b87ac2e1
Change IndexWith to use a standard binary operator setup (#6127)
|
7 月之前 |
|
handle_interface.cpp
|
ff0cea55f6
Add require decls to Interface and NamedConstraint (#6321)
|
5 月之前 |
|
handle_let_and_var.cpp
|
43ffd721a4
Support `ref` tags on arguments to `ref` params (#6312)
|
5 月之前 |
|
handle_literal.cpp
|
bac828d244
Add support for `char` keyword per #5903. (#6078)
|
7 月之前 |
|
handle_loop_statement.cpp
|
866794b82a
Check and lowering support for `for` loops. (#5698)
|
10 月之前 |
|
handle_match.cpp
|
99696b9812
Rename check handlers to HandleParseNode overloads. (#4121)
|
1 年之前 |
|
handle_modifier.cpp
|
94dca7967b
Allow `extend final impl as` for impl declarations (#5345)
|
1 年之前 |
|
handle_name.cpp
|
8166f9a7cf
Formalize Cpp as a PackageNameId (#6306)
|
5 月之前 |
|
handle_named_constraint.cpp
|
ff0cea55f6
Add require decls to Interface and NamedConstraint (#6321)
|
5 月之前 |
|
handle_namespace.cpp
|
315e206ff1
Construct LocId from InstId directly (explicitly) instead of doing lookups when possible (#5355)
|
1 年之前 |
|
handle_noop.cpp
|
4d0a6db49b
Abort checking when encountering an invalid parse node (#4700)
|
1 年之前 |
|
handle_operator.cpp
|
1ece5000aa
Always form a `ConstType` instruction for `const`. (#6341)
|
5 月之前 |
|
handle_paren_expr.cpp
|
99696b9812
Rename check handlers to HandleParseNode overloads. (#4121)
|
1 年之前 |
|
handle_pattern_list.cpp
|
58de34e534
Decouple associated constants from let (#5973)
|
8 月之前 |
|
handle_require.cpp
|
e62678e682
Identify and complete facet types as needed for p5168 (#6369)
|
5 月之前 |
|
handle_return_statement.cpp
|
99696b9812
Rename check handlers to HandleParseNode overloads. (#4121)
|
1 年之前 |
|
handle_struct.cpp
|
fbc7690157
Switch `zip` to `zip_equal` where possible (#6389)
|
5 月之前 |
|
handle_tuple_literal.cpp
|
a74ca9071b
Remove all remaining uses of `TypeId`s as instruction operands. (#5280)
|
1 年之前 |
|
handle_where.cpp
|
4b0e2b03b6
Add the `.Self` name for the type expression of a compile time binding (#5937)
|
8 月之前 |
|
impl.cpp
|
fbc7690157
Switch `zip` to `zip_equal` where possible (#6389)
|
5 月之前 |
|
impl.h
|
ef748ab36d
Factor out an impl declaration helper function (#5851)
|
9 月之前 |
|
impl_lookup.cpp
|
fbc7690157
Switch `zip` to `zip_equal` where possible (#6389)
|
5 月之前 |
|
impl_lookup.h
|
b1f734e1cd
Switch `EvalLookupSingleImplWitness` from "concrete" to "final" terminology (#6246)
|
6 月之前 |
|
impl_validation.cpp
|
0ed5d41a1b
Avoid mismatched InterfaceId comparison between two files (#6241)
|
6 月之前 |
|
impl_validation.h
|
950d83451a
Add diagnostics for invalid impl declarations (#5420)
|
11 月之前 |
|
import.cpp
|
877179d6d9
Refactor addition of imported locations and placeholders (#6354)
|
5 月之前 |
|
import.h
|
877179d6d9
Refactor addition of imported locations and placeholders (#6354)
|
5 月之前 |
|
import_ref.cpp
|
fbc7690157
Switch `zip` to `zip_equal` where possible (#6389)
|
5 月之前 |
|
import_ref.h
|
e8cd229e74
When performing an impl lookup, only import impls for related interfaces. (#6040)
|
7 月之前 |
|
inst.cpp
|
877179d6d9
Refactor addition of imported locations and placeholders (#6354)
|
5 月之前 |
|
inst.h
|
877179d6d9
Refactor addition of imported locations and placeholders (#6354)
|
5 月之前 |
|
inst_block_stack.cpp
|
c0ee446cec
Refactor InstBlockStore's API, AddDefaultValue -> AddPlaceholder (#5166)
|
1 年之前 |
|
inst_block_stack.h
|
ff0cea55f6
Add require decls to Interface and NamedConstraint (#6321)
|
5 月之前 |
|
interface.cpp
|
f272198ce5
Don't elide Self when dumping the interface/constraint (#6297)
|
6 月之前 |
|
interface.h
|
f272198ce5
Don't elide Self when dumping the interface/constraint (#6297)
|
6 月之前 |
|
keyword_modifier_set.cpp
|
973d721916
Some more edits to EnumBase and EnumMaskBase (#6054)
|
7 月之前 |
|
keyword_modifier_set.h
|
b300f36e6f
Use `inline constexpr` where appropriate. (#6374)
|
5 月之前 |
|
lexical_lookup.h
|
110af3bfe4
Set an explicit size for lexical lookup's vector (#5786)
|
9 月之前 |
|
literal.cpp
|
8adb3570ac
C++ Interop: Add support for `char` (#5988)
|
8 月之前 |
|
literal.h
|
8adb3570ac
C++ Interop: Add support for `char` (#5988)
|
8 月之前 |
|
member_access.cpp
|
42e2280150
Clean up singleton TypeId use (#6300)
|
6 月之前 |
|
member_access.h
|
3b6d202730
Implement support for mixed-access overload sets. (#6137)
|
7 月之前 |
|
merge.cpp
|
43ffd721a4
Support `ref` tags on arguments to `ref` params (#6312)
|
5 月之前 |
|
merge.h
|
22580a47d3
Initial support for empty named constraints (#6245)
|
6 月之前 |
|
modifiers.cpp
|
315e206ff1
Construct LocId from InstId directly (explicitly) instead of doing lookups when possible (#5355)
|
1 年之前 |
|
modifiers.h
|
b5a837aa89
Refactor modifier formatting to remove string passing. (#4418)
|
1 年之前 |
|
name_component.cpp
|
8738497301
Fix parse support for 'fn F[];' (#5135)
|
1 年之前 |
|
name_component.h
|
6b5eb1a101
Id::Invalid -> Id::None (#4834)
|
1 年之前 |
|
name_lookup.cpp
|
86b02ee8af
Interop support for `nullptr` and `nullptr_t`. (#6353)
|
5 月之前 |
|
name_lookup.h
|
86b02ee8af
Interop support for `nullptr` and `nullptr_t`. (#6353)
|
5 月之前 |
|
name_ref.cpp
|
e24ba02352
Fix lowering of thunks in generic impls (#5631)
|
10 月之前 |
|
name_ref.h
|
e24ba02352
Fix lowering of thunks in generic impls (#5631)
|
10 月之前 |
|
node_id_traversal.cpp
|
2472f44e44
Track pending thunks on the deferred definition worklist. (#5609)
|
10 月之前 |
|
node_id_traversal.h
|
2472f44e44
Track pending thunks on the deferred definition worklist. (#5609)
|
10 月之前 |
|
node_stack.cpp
|
1917ea223e
Avoid redundantly specifying Id::Kind. (#4911)
|
1 年之前 |
|
node_stack.h
|
b300f36e6f
Use `inline constexpr` where appropriate. (#6374)
|
5 月之前 |
|
operator.cpp
|
43ffd721a4
Support `ref` tags on arguments to `ref` params (#6312)
|
5 月之前 |
|
operator.h
|
422cc3d48a
Move diagnostic usings off Context (#5007)
|
1 年之前 |
|
param_and_arg_refs_stack.h
|
e7b68572fa
Consolidate post-check logic (#5003)
|
1 年之前 |
|
pattern.cpp
|
0873777237
Import C++ ref parameters as ref parameters (#6360)
|
5 月之前 |
|
pattern.h
|
0873777237
Import C++ ref parameters as ref parameters (#6360)
|
5 月之前 |
|
pattern_match.cpp
|
fbc7690157
Switch `zip` to `zip_equal` where possible (#6389)
|
5 月之前 |
|
pattern_match.h
|
9c0faf007e
Invalid comment cleanup (#4836)
|
1 年之前 |
|
pending_block.h
|
b44ba47cf3
Don't treat dependent types as having a copy value representation. (#6055)
|
7 月之前 |
|
pointer_dereference.cpp
|
95903dc624
Generate thunks for functions in `impl`s (#5390)
|
1 年之前 |
|
pointer_dereference.h
|
95903dc624
Generate thunks for functions in `impl`s (#5390)
|
1 年之前 |
|
region_stack.h
|
55da026a46
Remove the SemIRLoc typedef (#5299)
|
1 年之前 |
|
return.cpp
|
d60900cbeb
Remove special case for returning value expressions by copy (#6052)
|
7 月之前 |
|
return.h
|
95903dc624
Generate thunks for functions in `impl`s (#5390)
|
1 年之前 |
|
scope_index.h
|
b300f36e6f
Use `inline constexpr` where appropriate. (#6374)
|
5 月之前 |
|
scope_stack.cpp
|
e060342411
Defer building thunks until the end of the enclosing definition. (#5403)
|
1 年之前 |
|
scope_stack.h
|
705c95d6e0
Drop fn destroy support (#6136)
|
7 月之前 |
|
subst.cpp
|
fbc7690157
Switch `zip` to `zip_equal` where possible (#6389)
|
5 月之前 |
|
subst.h
|
0811d996e1
Finish renaming BindName and related insts. (#6281)
|
6 月之前 |
|
thunk.cpp
|
43ffd721a4
Support `ref` tags on arguments to `ref` params (#6312)
|
5 月之前 |
|
thunk.h
|
4e5dccdbf7
When making a direct call to a thunk, inline the call in SemIR. (#5642)
|
10 月之前 |
|
type.cpp
|
dfd9946dc2
Complete all pointer types. (#6340)
|
5 月之前 |
|
type.h
|
dfd9946dc2
Complete all pointer types. (#6340)
|
5 月之前 |
|
type_completion.cpp
|
e62678e682
Identify and complete facet types as needed for p5168 (#6369)
|
5 月之前 |
|
type_completion.h
|
ca3f95faa6
Make named constraint eval to a FacetType with itself in it (#6308)
|
6 月之前 |
|
type_structure.cpp
|
0679b779fb
Return SymbolicBindingType separately in TypeIterator (#6193)
|
6 月之前 |
|
type_structure.h
|
0166d8837c
Update Documentation to use new expression terminology (#5890)
|
7 月之前 |
Jon Ross-Perkins