diff options
Diffstat (limited to 'mu_summary')
-rw-r--r-- | mu_summary | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/mu_summary b/mu_summary index addfa340..7ecea2b1 100644 --- a/mu_summary +++ b/mu_summary @@ -199,7 +199,9 @@ Similarly, conditional loops: var/reg: int <- length arr/reg: (addr array T) var/reg: (addr T) <- index arr/reg: (addr array T), idx/reg: int + var/reg: (addr T) <- index arr: (array T sz), idx/reg: int var/reg: (addr T) <- index arr/reg: (addr array T), n + var/reg: (addr T) <- index arr: (array T sz), n var/reg: (offset T) <- compute-offset arr: (addr array T), idx/reg: int # arr can be in reg or mem var/reg: (offset T) <- compute-offset arr: (addr array T), idx: int # arr can be in reg or mem |