Jon Ross-Perkins
|
2425e28e3a
Collapse names into VarStorage (#3116)
|
2 gadi atpakaļ |
Richard Smith
|
e05523db21
Fix a stack use after scope and a heap use after free found by fuzzing. (#3126)
|
2 gadi atpakaļ |
Farzana Ahmed Siddique
|
9228487d46
Semantics for array type (#3087)
|
2 gadi atpakaļ |
Richard Smith
|
6cbf280a68
Add formatted textual IR output (#3056)
|
2 gadi atpakaļ |
Richard Smith
|
62205763a5
Add support for `&` operator. (#3055)
|
2 gadi atpakaļ |
Farzana Ahmed Siddique
|
db5e269097
Removed builtin empty tuple type (#3021)
|
2 gadi atpakaļ |
Farzana Ahmed Siddique
|
0594a1aac7
Integrates tuple to semantic analysis (#2992)
|
2 gadi atpakaļ |
Jon Ross-Perkins
|
bc84f109fe
Rename semantics InvalidType to Error (#2975)
|
2 gadi atpakaļ |
Jon Ross-Perkins
|
918c089e03
Add namespace support. (#2940)
|
2 gadi atpakaļ |
Richard Smith
|
f992d4d960
Don't return SemanticsFunction by value. (#2968)
|
2 gadi atpakaļ |
Richard Smith
|
4b69264cb1
Add implied `return;` at end of non-value-returning functions. (#2942)
|
2 gadi atpakaļ |
Richard Smith
|
b908c6e274
Track the list of blocks that form the body of a function. (#2941)
|
2 gadi atpakaļ |
Jon Ross-Perkins
|
39f7aae98d
Sorting out how bindings are added to name lookup. (#2869)
|
2 gadi atpakaļ |
Jon Ross-Perkins
|
1497e1333d
Switch types to a SemanticsTypeId. (#2854)
|
2 gadi atpakaļ |
Jon Ross-Perkins
|
1d56e165ef
Start refactoring type handling to track which types are in-use. (#2848)
|
2 gadi atpakaļ |
Jon Ross-Perkins
|
ab1535c841
Add lowering for function calls (#2837)
|
2 gadi atpakaļ |
Jon Ross-Perkins
|
e73207429f
Adjust handling of values in calls and structs (#2824)
|
3 gadi atpakaļ |
Jon Ross-Perkins
|
77385aa344
Refactor semantics logic into separate files. (#2819)
|
3 gadi atpakaļ |
Jon Ross-Perkins
|
0732d5857d
Collapse StringifyNodeImpl (#2806)
|
3 gadi atpakaļ |
Jon Ross-Perkins
|
32ea47f068
Make stringification non-recursive. (#2804)
|
3 gadi atpakaļ |
Jon Ross-Perkins
|
7824e9618c
Consolidate towards ImplicitAs handling. (#2719)
|
3 gadi atpakaļ |
Jon Ross-Perkins
|
2eef8c751b
Add semantics for struct type and value literals. (#2709)
|
3 gadi atpakaļ |
Jon Ross-Perkins
|
7fc203c536
Refactor SemanticsNode factory functions into factory templates. (#2711)
|
3 gadi atpakaļ |
Jon Ross-Perkins
|
c615d76196
Add stringification for nodes. (#2704)
|
3 gadi atpakaļ |
Jon Ross-Perkins
|
4ca2e81877
Modify SemanticsIR printing to produce stable output on builtin changes. (#2702)
|
3 gadi atpakaļ |
Jon Ross-Perkins
|
77d38a8350
Replace the map of lowered nodes with an array. (#2661)
|
3 gadi atpakaļ |
Jon Ross-Perkins
|
32e8fee4ad
Add initial lowering of a trivial function (#2640)
|
3 gadi atpakaļ |
Jon Ross-Perkins
|
2adaeee2ba
Add handling for return types. (#2596)
|
3 gadi atpakaļ |
Jon Ross-Perkins
|
f7924aa93f
Implement calls in the toolchain. (#2582)
|
3 gadi atpakaļ |
Jon Ross-Perkins
|
22d7cd19ed
Polish out support for reals and strings. (#2593)
|
3 gadi atpakaļ |