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

6059

This commit is contained in:
Kartik Agaram 2020-02-27 16:58:16 -08:00
parent a9151143f3
commit 8b85a07f97
2 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
mu_instructions
View File

@ -215,4 +215,12 @@ var/reg <- index arr/rega: (addr array T), n
compare var, n {.name="compare", .inouts=[var, n], .subx-name="81 7/subop/compare", .rm32="*(ebp+" inouts[0].stack-offset ")", .imm32=inouts[1]}
{.name="index", .inouts=[rega, n], .outputs=[reg], .subx-name="8d/copy-address", .rm32="*(" inouts[0] "+" inouts[1] "<<2)", .r32=outputs[0]}
User-defined types
If a record (product) type T was defined to have elements a, b, c, ... of
types T_a, T_b, T_c, ..., then accessing one of those elements f of type T_f:
var/reg: (addr T_f) <- get var2/reg2: (addr F), f: field name => 8d/copy-addr *(reg2+offset(f))
{.name="get", .inouts=[reg2, f], .subx-name="8d/copy-addr", .rm32="*(" inouts[0] "+" offset(f) ")", .r32=outputs[0]}
vim:ft=c:nowrap

5
mu_summary
View File

@ -200,3 +200,8 @@ Similarly, conditional loops:
var/reg: int <- length var: (addr array T)
var/reg: (addr T) <- index var: (addr array T), idx: int
var/reg: (addr T) <- index var: (addr array T), n
## User-defined types
var/reg: (addr T_f) <- get var: (addr T), f
where record (product) type T has elements a, b, c, ... of types T_a, T_b, T_c, ...