about summary refs log tree commit diff stats
path: root/apps
Commit message (Collapse)AuthorAgeFilesLines
* 5834Kartik Agaram2019-12-272-3/+4
| | | | Bugfix.
* 5833Kartik Agaram2019-12-271-1/+1
|
* 5832 - support for function outputsKartik Agaram2019-12-272-14/+138
| | | | | | | | | | | We haven't implemented it yet, but there's now a design for how we check whether a function has written its output correctly. Functions must write to each output at the top level at least once, and never overwrite an output register in the top-level once it's been defined. This is conservative (it can be perfectly reasonable for functions to write the output, reuse the register for a temporary, and then write the output again) but easy to check.
* 5831Kartik Agaram2019-12-272-27/+38
|
* 5830Kartik Agaram2019-12-262-1/+5
| | | | | Bugfix: statements defining a new register variable require an initializer instruction.
* 5828 - copy (mov) instructionsKartik Agaram2019-12-262-22/+144
|
* 5827 - give primitives one more bit of metadataKartik Agaram2019-12-262-4/+59
| | | | | Copy (mov) instructions are unlike instructions we've encoded so far, in that their destination is not read.
* 5826 - done with basic binary opsKartik Agaram2019-12-262-0/+197
|
* 5825 - code-generation for add opcodesKartik Agaram2019-12-262-26/+158
|
* 5824 - code-generation for all inc/dec opcodesKartik Agaram2019-12-262-2/+199
|
* 5823Kartik Agaram2019-12-222-0/+55
|
* 5821 - now translating function argumentsKartik Agaram2019-12-222-110/+156
| | | | See test-convert-function-with-arg-and-body.
* 5820Kartik Agaram2019-12-221-38/+177
| | | | | | | | | | | One test failing. It took enough debugging just to get to the expected failure that it seems worth saving this snapshot. Saw some signs that I have to remember to zero-out allocated memory. We need a scalable solution for this. I think parse-var-with-type needs to be rewritten. Just added a test and a hacky fix for now.
* 5809Kartik Agaram2019-12-093-8/+9
|
* 5804Kartik Agaram2019-12-0829-619/+631
| | | | | Try to make the comments consistent with the type system we'll eventually have.
* 5803Kartik Agaram2019-12-0714-0/+0
|
* 5795Kartik Agaram2019-12-071-1/+5
|
* 5794Kartik Agaram2019-12-061-43/+43
| | | | | | | | | Rather surprisingly, all the treeshake tooling is done in just about 2 hours of work. From now on it'll be easier to update stats.txt. Observations: a) Binaries are tiny compared to conventional stacks. Tens of KB. b) ~80% of binaries are tests and unused libraries in all my apps. c) ~75% of LoC in SubX sources are tests or comments.
* 5792Kartik Agaram2019-12-0514-0/+0
| | | | | Fix a bug in one test: it checks eax when the component under test returns nothing. It's been just accidentally passing all these months.
* 5790Kartik Agaram2019-12-0511-318/+318
| | | | | | Standardize conventions for labels within objects in the data segment. We're going to use this in a new tool.
* 5785 - initial skeleton for parsing fn bodiesKartik Agaram2019-11-302-5/+21
| | | | | All tests passing again. We have big gaping holes for type- and var-management. We're going to work on the latter first.
* 5784Kartik Agaram2019-11-302-7/+27
| | | | | Lots of debugging to add two curly braces. I need tests for populate-mu-function-body, or even parse-mu-block.
* 5782 - fix a widespread bug with Heap-sizeKartik Agaram2019-11-3028-14/+14
|
* 5781Kartik Agaram2019-11-302-3/+194
| | | | | parse-mu-stmt now working, though we'll need to go back and stop creating a new var for every instance of a variable in a scope.
* 5780Kartik Agaram2019-11-291-43/+50
|
* 5779Kartik Agaram2019-11-291-100/+308
| | | | | Snapshot with new skeleton for parsing function body. New test still failing, but only in the one expected place.
* 5778Kartik Agaram2019-11-2915-19/+19
|
* 5777Kartik Agaram2019-11-292-3/+159
|
* 5776Kartik Agaram2019-11-292-34/+48
|
* 5775Kartik Agaram2019-11-292-9/+105
|
* 5774Kartik Agaram2019-11-291-26/+82
| | | | Function headers seem to be parsing right.
* 5773Kartik Agaram2019-11-282-0/+205
| | | | Rudimentary support for parsing variable declarations.
* 5772Kartik Agaram2019-11-282-0/+110
|
* 5770Kartik Agaram2019-11-282-0/+189
|
* 5769 - support uppercase hex in SubXKartik Agaram2019-11-2814-0/+0
|
* 5768 - start parsing fn headersKartik Agaram2019-11-272-14/+63
|
* 5767Kartik Agaram2019-11-272-16/+175
| | | | Some groundwork for parsing.
* 5765Kartik Agaram2019-11-2613-3/+119
| | | | | | | | | A couple more primitives now working. In the process I ran into an issue with some buffer filling up when running ntranslate. Isolating it to survey.subx was straightforward, but --trace ran out of RAM, and --trace --dump ran out of (7GB of) disk. In the end what helped was just repeatedly inserting exits at different points, and I realized there was a magic number that hadn't been turned into a named constant.
* 5763Kartik Agaram2019-11-262-12/+64
|
* 5762Kartik Agaram2019-11-261-5/+0
|
* 5761Kartik Agaram2019-11-262-2/+43
|
* 5760Kartik Agaram2019-11-252-8/+31
|
* 5759 - design statement data structureKartik Agaram2019-11-251-14/+80
|
* 5756Kartik Agaram2019-11-182-12/+30
|
* 5755Kartik Agaram2019-11-182-0/+66
| | | | Support function calls with literal arguments.
* 5754Kartik Agaram2019-11-182-3/+81
| | | | Support binary instructions with an immediate operand.
* 5753Kartik Agaram2019-11-184-6/+15
| | | | | | | | | Binaries are now identical again. There's a little hack here that we should clean up at some point. But it requires more thought. Ordering compiler phases is hard. So far we're only at the start of the slippery slope into that abyss.
* 5752Kartik Agaram2019-11-1816-93/+97
| | | | | | | Support binary operations with reg/mem and reg operands. Everything is passing. However, the self-hosting translator now generates some discrepancies compared to the C++ translator :(
* 5751 - start of table of Mu primitivesKartik Agaram2019-11-182-0/+168
| | | | | So far this is just the same as our most recent tests. But now we have a 'DSL' for adding more primitives.
* 5750Kartik Agaram2019-11-172-25/+411
| | | | | We can now compile primitive statements while selecting the right template to code-gen each one from. Even when multiple templates have the same name.