6097

I thought I needed to support compute-offset with literal index, but in
that case might as well just use an index literal directly. The 'index'
instruction with literals already supports non-power-of-2 sizes.

1 files changed, 1 insertions, 2 deletions

diff --git a/mu_summary b/mu_summary
index e4e82905..f15b6bd1 100644
--- a/mu_summary
+++ b/mu_summary
@@ -202,8 +202,7 @@ Similarly, conditional loops:
   var/reg: (addr T) <- index arr/reg: (addr array T), 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), n             # arr can be in reg or mem
-  var: (offset T) <- compute-offset arr: (addr array T), n                 # 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
   var/reg: (addr T) <- index arr/reg: (addr array T), idx/reg: (offset T)
 
 ## User-defined types