| .. |
|
fuzzer_corpus
|
24bde46181
Change array syntax from [T; N] to array(T, N) (#4981)
|
пре 1 година |
|
testdata
|
a5ddc3e3cd
Support importing C++ `_Nonnull` pointers as function parameters or return values (#5773)
|
пре 9 месеци |
|
BUILD
|
3776e464e0
Properly set up C++ include paths and similar environment settings when parsing imported C++. (#5767)
|
пре 10 месеци |
|
action.cpp
|
4923445e3a
Drop `Singleton` from `ErrorInst::SingletonInstId` and similar (#5304)
|
пре 1 година |
|
action.h
|
f0663715dd
Even more usage of TypeInstId (#5296)
|
пре 1 година |
|
call.cpp
|
4e5dccdbf7
When making a direct call to a thunk, inline the call in SemIR. (#5642)
|
пре 10 месеци |
|
call.h
|
187a3608df
Use `As` and `ImplicitAs` interfaces for conversions. (#4209)
|
пре 1 година |
|
check.cpp
|
3776e464e0
Properly set up C++ include paths and similar environment settings when parsing imported C++. (#5767)
|
пре 10 месеци |
|
check.h
|
3776e464e0
Properly set up C++ include paths and similar environment settings when parsing imported C++. (#5767)
|
пре 10 месеци |
|
check_fuzzer.cpp
|
0d0e202ce8
Switch Driver back to parameters for construction (#4849)
|
пре 1 година |
|
check_unit.cpp
|
3776e464e0
Properly set up C++ include paths and similar environment settings when parsing imported C++. (#5767)
|
пре 10 месеци |
|
check_unit.h
|
3776e464e0
Properly set up C++ include paths and similar environment settings when parsing imported C++. (#5767)
|
пре 10 месеци |
|
class.cpp
|
124313269a
Represent vtables as a top level SemIR construct (#5472)
|
пре 10 месеци |
|
class.h
|
a74ca9071b
Remove all remaining uses of `TypeId`s as instruction operands. (#5280)
|
пре 1 година |
|
context.cpp
|
2472f44e44
Track pending thunks on the deferred definition worklist. (#5609)
|
пре 10 месеци |
|
context.h
|
b4b4d33789
Change CanonicalValueStore to take ValueT and KeyT as parameters (#5759)
|
пре 10 месеци |
|
control_flow.cpp
|
0722dab0ef
Reimplement destroy as an interface (#5678)
|
пре 10 месеци |
|
control_flow.h
|
0722dab0ef
Reimplement destroy as an interface (#5678)
|
пре 10 месеци |
|
convert.cpp
|
967a98f845
Import vtable_ptr lazily (#5762)
|
пре 10 месеци |
|
convert.h
|
124313269a
Represent vtables as a top level SemIR construct (#5472)
|
пре 10 месеци |
|
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
|
ad4914b575
Avoid deducing errors as argument instructions after subst (#5710)
|
пре 10 месеци |
|
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
|
519e633147
Improve backtrace for lowering crashes. (#5651)
|
пре 10 месеци |
|
diagnostic_emitter.h
|
519e633147
Improve backtrace for lowering crashes. (#5651)
|
пре 10 месеци |
|
diagnostic_helpers.h
|
89a6818424
Move TokenOnly to LocIdForDiagnostics (#5590)
|
пре 11 месеци |
|
dump.cpp
|
7878f6d70f
Move LocId dumping to semir/ (#5656)
|
пре 10 месеци |
|
eval.cpp
|
b4b4d33789
Change CanonicalValueStore to take ValueT and KeyT as parameters (#5759)
|
пре 10 месеци |
|
eval.h
|
55da026a46
Remove the SemIRLoc typedef (#5299)
|
пре 1 година |
|
eval_inst.cpp
|
0722dab0ef
Reimplement destroy as an interface (#5678)
|
пре 10 месеци |
|
eval_inst.h
|
a23631f360
Support for lowering references to imported `var`s. (#5513)
|
пре 11 месеци |
|
facet_type.cpp
|
2b7c75d8a5
Avoid incorrect conflicting assignment diags in rewrite constraints (#5686)
|
пре 10 месеци |
|
facet_type.h
|
517bec24ef
Nested facets (#5644)
|
пре 10 месеци |
|
full_pattern_stack.h
|
d264f14027
Clean up handling of `Call` params (#5061)
|
пре 1 година |
|
function.cpp
|
95903dc624
Generate thunks for functions in `impl`s (#5390)
|
пре 1 година |
|
function.h
|
2472f44e44
Track pending thunks on the deferred definition worklist. (#5609)
|
пре 10 месеци |
|
generic.cpp
|
f18fc40a32
Add missing standard library header inclusions (#5486)
|
пре 11 месеци |
|
generic.h
|
5aea18f949
Avoid resolving the decl block for specifics in imported instructions (#5517)
|
пре 11 месеци |
|
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
|
19532967fa
Stop pushing a fake generic for the duration of check. (#5326)
|
пре 1 година |
|
handle_array.cpp
|
315e206ff1
Construct LocId from InstId directly (explicitly) instead of doing lookups when possible (#5355)
|
пре 1 година |
|
handle_binding_pattern.cpp
|
89a6818424
Move TokenOnly to LocIdForDiagnostics (#5590)
|
пре 11 месеци |
|
handle_call_expr.cpp
|
63ff0cca1a
Include the call arguments in the location of a call. (#4602)
|
пре 1 година |
|
handle_choice.cpp
|
493bea1647
Fearlessly hold references into ValueStore again (#5589)
|
пре 11 месеци |
|
handle_class.cpp
|
493bea1647
Fearlessly hold references into ValueStore again (#5589)
|
пре 11 месеци |
|
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)
|
пре 1 година |
|
handle_file.cpp
|
99696b9812
Rename check handlers to HandleParseNode overloads. (#4121)
|
пре 1 година |
|
handle_function.cpp
|
4e5dccdbf7
When making a direct call to a thunk, inline the call in SemIR. (#5642)
|
пре 10 месеци |
|
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
|
493bea1647
Fearlessly hold references into ValueStore again (#5589)
|
пре 11 месеци |
|
handle_import_and_package.cpp
|
8eb4e24cb6
Implement #4864: `Core` is a keyword (#4909)
|
пре 1 година |
|
handle_index.cpp
|
02fc484f23
Make pointers in ValueStore stable across insertions (#5576)
|
пре 11 месеци |
|
handle_interface.cpp
|
4f5d11a28b
Build generic eval blocks incrementally (#5313)
|
пре 1 година |
|
handle_let_and_var.cpp
|
866794b82a
Check and lowering support for `for` loops. (#5698)
|
пре 10 месеци |
|
handle_literal.cpp
|
c38e723dd8
Rename singleton InstId constants to TypeInstId (#5323)
|
пре 1 година |
|
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
|
e24ba02352
Fix lowering of thunks in generic impls (#5631)
|
пре 10 месеци |
|
handle_named_constraint.cpp
|
99696b9812
Rename check handlers to HandleParseNode overloads. (#4121)
|
пре 1 година |
|
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
|
0b53217372
Diagnose `partial` applied to final types. (#5744)
|
пре 10 месеци |
|
handle_paren_expr.cpp
|
99696b9812
Rename check handlers to HandleParseNode overloads. (#4121)
|
пре 1 година |
|
handle_pattern_list.cpp
|
95903dc624
Generate thunks for functions in `impl`s (#5390)
|
пре 1 година |
|
handle_return_statement.cpp
|
99696b9812
Rename check handlers to HandleParseNode overloads. (#4121)
|
пре 1 година |
|
handle_struct.cpp
|
03e693873b
Detect control flow in entities nested inside functions (#5336)
|
пре 1 година |
|
handle_tuple_literal.cpp
|
a74ca9071b
Remove all remaining uses of `TypeId`s as instruction operands. (#5280)
|
пре 1 година |
|
handle_where.cpp
|
03e693873b
Detect control flow in entities nested inside functions (#5336)
|
пре 1 година |
|
impl.cpp
|
493bea1647
Fearlessly hold references into ValueStore again (#5589)
|
пре 11 месеци |
|
impl.h
|
90898a8e19
Avoid witnesses in redecls when handling errors in handle_impl (#5409)
|
пре 1 година |
|
impl_lookup.cpp
|
493bea1647
Fearlessly hold references into ValueStore again (#5589)
|
пре 11 месеци |
|
impl_lookup.h
|
b6a55c0818
Diagnose impls that are fully overlapped by a final impl (#5417)
|
пре 1 година |
|
impl_validation.cpp
|
493bea1647
Fearlessly hold references into ValueStore again (#5589)
|
пре 11 месеци |
|
impl_validation.h
|
950d83451a
Add diagnostics for invalid impl declarations (#5420)
|
пре 11 месеци |
|
import.cpp
|
1e9e148c3b
Rename the ImportRefs block to Imports (#5618)
|
пре 11 месеци |
|
import.h
|
55da026a46
Remove the SemIRLoc typedef (#5299)
|
пре 1 година |
|
import_cpp.cpp
|
a5ddc3e3cd
Support importing C++ `_Nonnull` pointers as function parameters or return values (#5773)
|
пре 9 месеци |
|
import_cpp.h
|
3776e464e0
Properly set up C++ include paths and similar environment settings when parsing imported C++. (#5767)
|
пре 10 месеци |
|
import_ref.cpp
|
967a98f845
Import vtable_ptr lazily (#5762)
|
пре 10 месеци |
|
import_ref.h
|
d617cca530
Factor out GetCanonicalFileAndInstId for code sharing. (#5362)
|
пре 1 година |
|
inst.cpp
|
a85d292f8d
Change from ToImplicit to AsDesugared (#5591)
|
пре 11 месеци |
|
inst.h
|
95903dc624
Generate thunks for functions in `impl`s (#5390)
|
пре 1 година |
|
inst_block_stack.cpp
|
c0ee446cec
Refactor InstBlockStore's API, AddDefaultValue -> AddPlaceholder (#5166)
|
пре 1 година |
|
inst_block_stack.h
|
5da87f43da
Split SemIR's formatter class into a more typical h+cpp (#5372)
|
пре 1 година |
|
interface.cpp
|
315e206ff1
Construct LocId from InstId directly (explicitly) instead of doing lookups when possible (#5355)
|
пре 1 година |
|
interface.h
|
55da026a46
Remove the SemIRLoc typedef (#5299)
|
пре 1 година |
|
keyword_modifier_set.h
|
c455dbef54
Clean up `KeywordModifierSet` after #5345 (#5425)
|
пре 1 година |
|
lexical_lookup.h
|
110af3bfe4
Set an explicit size for lexical lookup's vector (#5786)
|
пре 10 месеци |
|
literal.cpp
|
c38e723dd8
Rename singleton InstId constants to TypeInstId (#5323)
|
пре 1 година |
|
literal.h
|
e4412a95dd
Factor out machinery for forming int type literals. (#4616)
|
пре 1 година |
|
member_access.cpp
|
3d07794650
Gracefully error in non-compound member lookup into a runtime facet value (#5485)
|
пре 11 месеци |
|
member_access.h
|
4f5d11a28b
Build generic eval blocks incrementally (#5313)
|
пре 1 година |
|
merge.cpp
|
fbc5994750
Support importing `var` parameters (#5400)
|
пре 11 месеци |
|
merge.h
|
55da026a46
Remove the SemIRLoc typedef (#5299)
|
пре 1 година |
|
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
|
cc698d78f5
When using a C++ struct as a parameter, map its type to a Carbon class type (#5538)
|
пре 10 месеци |
|
name_lookup.h
|
315e206ff1
Construct LocId from InstId directly (explicitly) instead of doing lookups when possible (#5355)
|
пре 1 година |
|
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
|
866794b82a
Check and lowering support for `for` loops. (#5698)
|
пре 10 месеци |
|
operator.cpp
|
a85d292f8d
Change from ToImplicit to AsDesugared (#5591)
|
пре 11 месеци |
|
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
|
866794b82a
Check and lowering support for `for` loops. (#5698)
|
пре 10 месеци |
|
pattern.h
|
866794b82a
Check and lowering support for `for` loops. (#5698)
|
пре 10 месеци |
|
pattern_match.cpp
|
b21d0c4210
Fix tuple patterns matching expressions with atomic tuple form. (#5697)
|
пре 10 месеци |
|
pattern_match.h
|
9c0faf007e
Invalid comment cleanup (#4836)
|
пре 1 година |
|
pending_block.h
|
315e206ff1
Construct LocId from InstId directly (explicitly) instead of doing lookups when possible (#5355)
|
пре 1 година |
|
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
|
493bea1647
Fearlessly hold references into ValueStore again (#5589)
|
пре 11 месеци |
|
return.h
|
95903dc624
Generate thunks for functions in `impl`s (#5390)
|
пре 1 година |
|
scope_index.h
|
f0403dadab
Move None to IdBase (#5030)
|
пре 1 година |
|
scope_stack.cpp
|
e060342411
Defer building thunks until the end of the enclosing definition. (#5403)
|
пре 1 година |
|
scope_stack.h
|
e060342411
Defer building thunks until the end of the enclosing definition. (#5403)
|
пре 1 година |
|
subst.cpp
|
f236748629
Abandon SubstInst when encountering ErrorInst (#5692)
|
пре 10 месеци |
|
subst.h
|
bdf5f00af0
Resolve the RHS of rewrite constraints in facets (#5639)
|
пре 10 месеци |
|
thunk.cpp
|
4e5dccdbf7
When making a direct call to a thunk, inline the call in SemIR. (#5642)
|
пре 10 месеци |
|
thunk.h
|
4e5dccdbf7
When making a direct call to a thunk, inline the call in SemIR. (#5642)
|
пре 10 месеци |
|
type.cpp
|
fafb655d39
Separate pattern types from expression types (#5360)
|
пре 1 година |
|
type.h
|
124313269a
Represent vtables as a top level SemIR construct (#5472)
|
пре 10 месеци |
|
type_completion.cpp
|
b39a0f0c8c
Basic SemIR `partial` support (#5736)
|
пре 10 месеци |
|
type_completion.h
|
55da026a46
Remove the SemIRLoc typedef (#5299)
|
пре 1 година |
|
type_structure.cpp
|
950d83451a
Add diagnostics for invalid impl declarations (#5420)
|
пре 11 месеци |
|
type_structure.h
|
950d83451a
Add diagnostics for invalid impl declarations (#5420)
|
пре 11 месеци |
Boaz Brickner
a5ddc3e3cd
Support importing C++ `_Nonnull` pointers as function parameters or return values (#5773)