6131 - operating on arrays on the stack

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