aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAge
* don't use s0 for saved valuesMathias Magnusson2025-08-03
|
* improve error printingMathias Magnusson2025-08-03
|
* bugfix: don't add multiple exits to basic blocksMathias Magnusson2025-08-03
|
* print parameter name in astMathias Magnusson2025-08-03
|
* assert that block ending instructions happen only & exactly at the end of ↵Mathias Magnusson2025-08-01
| | | | each block
* use saved rregisters when neededMathias Magnusson2025-07-31
| | | | & store and restore saved registers on the stack
* implement return expressionsMathias Magnusson2025-07-30
|
* implement `==`Mathias Magnusson2025-07-30
|
* Allow if statementsMathias Magnusson2025-07-30
|
* store parameter on the stackMathias Magnusson2025-07-30
|
* store local variables on the stackMathias Magnusson2025-07-29
|
* make parameters usableMathias Magnusson2025-07-29
|
* continue continuing procedure callsMathias Magnusson2025-07-29
|
* continue implementing procedure callsMathias Magnusson2025-07-24
| | | | | | multiple procedures can now exist, but you cannot call them, the first one is the "main" procedure since it happens to be placed first in the binary, and all procedures end with an exit system call
* `let x = 1` -> `x := 1`Mathias Magnusson2025-07-24
|
* begin implementing procedure callsMathias Magnusson2025-07-22
| | | | | | | the register allocator does not consider the fact that called procedures probably clobber t-registers. also, the way i refer to the built in functions is cursed. it barely works now and won't when you can define procedures
* move testing source code to own fileMathias Magnusson2025-07-22
|
* implement comparisonsMathias Magnusson2025-07-03
|
* make in-memory instruction a little nicer to work withMathias Magnusson2025-07-01
|
* print error return trace if execv:ing qemu errorsMathias Magnusson2025-06-30
|
* make local variables work separately from temporary valuesMathias Magnusson2025-06-17
|
* add while loopsMathias Magnusson2025-06-07
|
* add variable reassignments and basic block argumentsMathias Magnusson2025-06-07
|
* assert that each block ends with an instruction which may do soMathias Magnusson2025-06-06
|
* begin implementing if expressionsMathias Magnusson2025-06-04
| | | | | | registers are used over block boundaries though, which doesn't work very well so i turned off register freeing to make it look like it works (unless you create more than 12 values total)
* make print procedure no longer set its input to 0Mathias Magnusson2025-06-04
|
* remove semicolonsMathias Magnusson2025-06-03
| | | | much bloat they are, indeed
* add commentsMathias Magnusson2025-06-03
|
* add { blocks } with scoped local variablesMathias Magnusson2025-06-03
|
* remove the need for explicit discard instructionsMathias Magnusson2025-06-02
| | | | | | | by also considering an instruction's destination register(s) to be uses and when cleaning up registers, also cleaning up those from previous instructions (specifically this is the output of the last instruction if it is not used anywhere)
* add read_int built in procedureMathias Magnusson2025-06-02
|
* stop printing non-existant errorsMathias Magnusson2025-06-02
|
* stop freeing vregs twice when they are used twice in an instrMathias Magnusson2025-06-02
|
* codegen: use s registers instead of tMathias Magnusson2025-06-02
| | | | | | | doesn't make any difference yet and I don't know exactly when to use what when it starts to matter. but binary ninja thought that syscalls could override t registers (which is not the case) so this makes decompilations slightly nicer
* force parenthesis around argumentsMathias Magnusson2025-06-02
| | | | | | would've been cool to not force that imo, but otherwise it seems like there can be absolutely no places where two expression-like things could be next to each other, which is a kinda meh
* add variable declarationsMathias Magnusson2025-06-02
|
* make print return integer lengthMathias Magnusson2025-06-02
|
* run program output automatically & print parse tree betterMathias Magnusson2025-06-02
|
* add statements ending in ; and allow parsing multiple of themMathias Magnusson2025-06-02
|
* make Lexer peekable without a wrapperMathias Magnusson2025-06-02
|
* dont set quotient in every loop iteration in integer print procedureMathias Magnusson2025-06-02
|
* add identifiers, procedure calls and a built in print procedureMathias Magnusson2025-06-01
|
* codegen: fix some small bugsMathias Magnusson2025-06-01
|
* codegen: add RV64M extensionMathias Magnusson2025-06-01
|
* capitalize Lexer.zig correctlyMathias Magnusson2025-06-01
|
* add (slightly) prett(ier) printing for exprsMathias Magnusson2025-06-01
|
* refactor slightly and fix bug in lexerMathias Magnusson2025-06-01
|
* add subtractionMathias Magnusson2025-06-01
|
* codegen: make register allocation fail with error rather than returning nullMathias Magnusson2025-06-01
|
* codegen integer literals correctlyMathias Magnusson2025-05-31
| | | | This was not as easy as one would expect ☠️