akkartik
/
mu
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

6173

This commit is contained in:
Kartik Agaram 2020-03-27 02:08:02 -07:00
parent 93d8141e1e
commit cbec147d3b
2 changed files with 24 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
html/mu_instructions.html
View File

@ -25,11 +25,18 @@ body { font-family: monospace; color: #000000; background-color: #c6c6c6; }
<pre id='vimCodeElement'>
<span class="SalientComment">## Mu's instructions and their table-driven translation</span>
Mu is a statement-oriented language. Blocks consist of flat lists of instructions.
The following chart shows all the instruction forms supported by Mu, along
with the instruction they're translated to. Variables of the form 'var/reg'
live in a register, and other variables are assumed to live on the stack at
some 'stack-offset' from ebp.
See <a href="http://akkartik.name/akkartik-convivial-20200315.pdf">http://akkartik.name/akkartik-convivial-20200315.pdf</a> for the complete
story. In brief: Mu is a statement-oriented language. Blocks consist of flat
lists of instructions. Instructions can have inputs after the operation, and
outputs to the left of a '<span class="Special">&lt;-</span>'. Inputs and outputs must be variables. They can't
include nested expressions. Variables can be literals ('n'), or live in a
register ('var/reg') or in memory ('var') at some 'stack-offset' from the 'ebp'
register. Outputs must be registers. To modify a variable in memory, pass it in
by reference as an input. (Inputs are more precisely called 'inouts'.)
Conversely, registers that are just read from must not be passed as inputs.
The following chart shows all the instruction forms supported by Mu, along with
the SubX instruction they're translated to.
var/<span class="Constant">eax</span> <span class="Special">&lt;-</span> increment =&gt; <span class="Constant">&quot;40/increment-eax&quot;</span>
var/<span class="Constant">ecx</span> <span class="Special">&lt;-</span> increment =&gt; <span class="Constant">&quot;41/increment-ecx&quot;</span>

17
mu_instructions
View File

@ -1,10 +1,17 @@
## Mu's instructions and their table-driven translation
Mu is a statement-oriented language. Blocks consist of flat lists of instructions.
The following chart shows all the instruction forms supported by Mu, along
with the instruction they're translated to. Variables of the form 'var/reg'
live in a register, and other variables are assumed to live on the stack at
some 'stack-offset' from ebp.
See http://akkartik.name/akkartik-convivial-20200315.pdf for the complete
story. In brief: Mu is a statement-oriented language. Blocks consist of flat
lists of instructions. Instructions can have inputs after the operation, and
outputs to the left of a '<-'. Inputs and outputs must be variables. They can't
include nested expressions. Variables can be literals ('n'), or live in a
register ('var/reg') or in memory ('var') at some 'stack-offset' from the 'ebp'
register. Outputs must be registers. To modify a variable in memory, pass it in
by reference as an input. (Inputs are more precisely called 'inouts'.)
Conversely, registers that are just read from must not be passed as inputs.
The following chart shows all the instruction forms supported by Mu, along with
the SubX instruction they're translated to.
var/eax <- increment => "40/increment-eax"
var/ecx <- increment => "41/increment-ecx"