about summary refs log tree commit diff stats
path: root/apps/mu.subx
Commit message (Collapse)AuthorAgeFilesLines
* 5981 - decompose block cleanup into two traversalsKartik Agaram2020-02-021-35/+113
| | | | | Momentarily less efficient, but we will soon need the ability to emit cleanup code without losing all our state.
* 5980Kartik Agaram2020-02-021-3/+3
|
* 5979Kartik Agaram2020-02-021-2/+3
| | | | | | | Continuing to think about how to translate vars in a block when they're followed by early exits. To clean up everything between a statement and a target label, we need to know somehow the depth the target is defined at.
* 5978Kartik Agaram2020-02-021-1/+4
|
* 5977Kartik Agaram2020-02-021-4/+5
|
* 5974 - support for simple early exitsKartik Agaram2020-02-021-1/+84
| | | | | | | | | | | | | | | So far we only handle unlabeled break instructions correctly. That part is elegance itself. But the rest will need more work: a) For labeled breaks we need to insert code to unwind all intervening blocks. b) For unlabeled loops we need to insert code to unwind the current block and then loop. c) For labeled loops we need to insert code to unwind all intervening blocks and then loop. Is this even worth doing? I think so. It's pretty common for a conditional block inside a loop to 'continue'. That requires looping to somewhere non-local.
* 5973Kartik Agaram2020-02-021-369/+1
|
* 5971 - emit code with indentationKartik Agaram2020-02-011-256/+309
| | | | This is easy now that we're tracking block depths everywhere.
* 5970 - support block-scoped variablesKartik Agaram2020-02-011-6/+186
|
* 5966 - document all supported Mu instructionsKartik Agaram2020-01-311-9/+9
|
* 5962 - string literalsKartik Agaram2020-01-301-6/+43
|
* 5961Kartik Agaram2020-01-301-3/+2
|
* 5953 - 'multiply' instructionKartik Agaram2020-01-291-0/+13
|
* 5951 - 'compare' instructionsKartik Agaram2020-01-291-9/+376
|
* 5948 - branching to named blocksKartik Agaram2020-01-291-13/+415
|
* 5947 - add a new field to primitivesKartik Agaram2020-01-291-4/+92
| | | | For supporting branches with a target.
* 5946Kartik Agaram2020-01-291-6/+6
|
* 5945 - branchesKartik Agaram2020-01-281-0/+285
|
* 5943 - initial support for named blocksKartik Agaram2020-01-281-132/+245
|
* 5942 - initial support for blocksKartik Agaram2020-01-281-8/+77
| | | | This was too easy. But there are dragons ahead.
* 5940 - local vars in registers starting to workKartik Agaram2020-01-271-31/+151
|
* 5939Kartik Agaram2020-01-271-3/+0
|
* 5938Kartik Agaram2020-01-271-0/+1
|
* 5936 - permit commas everywhereKartik Agaram2020-01-271-11/+51
|
* 5931Kartik Agaram2020-01-271-1/+1
|
* 5929 - local variables kinda workingKartik Agaram2020-01-271-6/+171
|
* 5928Kartik Agaram2020-01-271-4/+2
|
* 5927Kartik Agaram2020-01-271-15/+15
|
* 5924Kartik Agaram2020-01-271-224/+224
|
* 5923 - start work on code-generation for 'var'Kartik Agaram2020-01-271-3/+45
|
* 5921Kartik Agaram2020-01-261-5/+130
|
* 5920Kartik Agaram2020-01-261-29/+57
|
* 5919Kartik Agaram2020-01-261-24/+0
|
* 5918Kartik Agaram2020-01-261-22/+11
|
* 5916Kartik Agaram2020-01-221-3/+3
|
* 5913Kartik Agaram2020-01-201-6/+0
|
* 5911 - support for compound typesKartik Agaram2020-01-201-15/+13
|
* 5909Kartik Agaram2020-01-201-18/+62
| | | | Draft 5.
* 5908Kartik Agaram2020-01-201-4/+6
| | | | | Now parse-type passes, but some outer test is failing. The result is not being consumed right by `type-equal?`.
* 5907Kartik Agaram2020-01-201-10/+24
| | | | | | Draft 3. Getting close. Now the tree structure seems right.
* 5906Kartik Agaram2020-01-201-3/+35
| | | | Draft 2.
* 5905Kartik Agaram2020-01-201-84/+329
| | | | | | | Draft of my first, incorrect attempt at parsing s-expressions. No matter how many times I've done this, I never get it right the first time.
* 5904Kartik Agaram2020-01-191-3/+3
|
* 5902Kartik Agaram2020-01-191-6/+6
|
* 5897 - rename comparison instructionsKartik Agaram2020-01-161-110/+110
| | | | | | | Signed and unsigned don't quite capture the essence of what the different combinations of x86 flags are doing for SubX. The crucial distinction is that one set of comparison operators is for integers and the second is for addresses.
* 5894Kartik Agaram2020-01-161-5/+5
|
* 5885Kartik Agaram2020-01-121-62/+231
| | | | Finalize design for type trees.
* 5883 - drop the `ref` keywordKartik Agaram2020-01-121-112/+112
| | | | | | | | | | When I created it I was conflating two things: a) needing to refer to just the start, rather than the whole, and b) counting indirections. Both are kinda ill-posed. Now Mu will have just `addr` and `handle` types. Normal types will translate implicitly to `addr` types, while `handle` will always require explicit handling.
* 5882Kartik Agaram2020-01-101-3/+1
|
* 5880Kartik Agaram2020-01-101-1/+1
|
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2025-02-26 21:46:41 +0000