Geoff Romer
|
4c9049346d
Replace form insts with actions (#7100)
|
3 ngày trước cách đây |
Jon Ross-Perkins
|
e0305684b0
Add MakeVerifiedLocIdAndInst for runtime validation (#6942)
|
1 tháng trước cách đây |
Geoff Romer
|
f21e0e17ac
Introduce ExprCategory::Dependent (#6744)
|
2 tháng trước cách đây |
Geoff Romer
|
e5b05a1fac
`ExprCategory` for guaranteed-in-place initializing expressions (#6623)
|
2 tháng trước cách đây |
Geoff Romer
|
0e5832d3c2
Model `ref` tags as insts instead of annotations (#6541)
|
3 tháng trước cách đây |
Richard Smith
|
6c9a581a83
Switch `GetExprCategory` to be table-driven. (#6371)
|
5 tháng trước cách đây |
Geoff Romer
|
cb6ca962d2
Update/clarify documentation of generic constants (#5473)
|
9 tháng trước cách đây |
Richard Smith
|
a23631f360
Support for lowering references to imported `var`s. (#5513)
|
11 tháng trước cách đây |
Richard Smith
|
5b884ae14d
Improve lowering for global variables. (#5492)
|
11 tháng trước cách đây |
Jon Ross-Perkins
|
27d0d26739
Replace value_kind with has_type, make FormatInstLhs name-dependent (#5501)
|
11 tháng trước cách đây |
josh11b
|
dfd5fe368d
Fix comment typo in `toolchain/sem_ir/inst_kind.h` (#5330)
|
1 năm trước cách đây |
Richard Smith
|
bfef32b482
Add an `EvalOrAddInst` function. (#5258)
|
1 năm trước cách đây |
Richard Smith
|
0631e18184
Provide an `InstId` when evaluating a constant in cases where one is needed (#5202)
|
1 năm trước cách đây |
Jon Ross-Perkins
|
9134e36ec0
Extend CARBON_KIND_SWITCH to support ArgAndKind (#5216)
|
1 năm trước cách đây |
Jon Ross-Perkins
|
a5df8ad736
Support destruction of storage (#5171)
|
1 năm trước cách đây |
Richard Smith
|
584426dfa2
Initial work on support for templates (#5081)
|
1 năm trước cách đây |
Richard Smith
|
0d2f364f39
Split evaluation up into one function per instruction kind (#5008)
|
1 năm trước cách đây |
Richard Smith
|
c6d35e1c4a
Rename template constant -> concrete constant. (#4939)
|
1 năm trước cách đây |
Jon Ross-Perkins
|
2fef1cb713
Switch to trailing returns in toolchain and related code. (#4919)
|
1 năm trước cách đây |
Jon Ross-Perkins
|
f45cbc6028
Add framework for singleton instructions. (#4582)
|
1 năm trước cách đây |
Dana Jansens
|
f9ca2ea2d6
Expose InstKind::FromInt for Inst instead of InstKind::Make (#4611)
|
1 năm trước cách đây |
josh11b
|
d5e022d53c
Mark instructions that can be deduced through in `typed_insts.h` (#4588)
|
1 năm trước cách đây |
Richard Smith
|
db76e81630
Rename `IntLiteral` to `IntValue`. (#4475)
|
1 năm trước cách đây |
Jon Ross-Perkins
|
469f1c8e64
Refactor InstKind to move metadata from macros to the type. (#4119)
|
1 năm trước cách đây |
Jon Ross-Perkins
|
6682241ea0
Refactor whether a function is lowered into InstKind::Define (#4117)
|
1 năm trước cách đây |
Richard Smith
|
79c0b65288
Separate constant emission from function emission. (#3916)
|
2 năm trước cách đây |
Richard Smith
|
1349cc1e8e
Track on `InstKind` whether each instruction kind can define a constant. (#3908)
|
2 năm trước cách đây |
Jon Ross-Perkins
|
1974e44fd9
Rename factory functions from 'Create' to 'Make' (#3706)
|
2 năm trước cách đây |
Richard Smith
|
29c294880d
Deduplicate and canonicalize all constants. (#3611)
|
2 năm trước cách đây |
Jon Ross-Perkins
|
f197219c10
Split parse nodes out from instructions because they're rarely used. (#3590)
|
2 năm trước cách đây |