This commit is contained in:
Kartik Agaram 2020-05-27 00:01:12 -07:00
parent 58d866d7a4
commit 985f7f79be
2 changed files with 4 additions and 2 deletions

View File

@ -189,7 +189,8 @@ be provided in an earlier 'var' declaration.
var/reg: (addr T) <span class="Special">&lt;-</span> address var2: T
=&gt; <span class="Constant">&quot;8d/copy-address *(ebp+&quot;</span> var2.stack-offset <span class="Constant">&quot;) &quot;</span> reg <span class="Constant">&quot;/r32&quot;</span>
<span class="Comment">Array operations</span> (TODO: bounds-checking)
<span class="Comment"># Array operations</span>
(TODO: bounds-checking)
var/reg <span class="Special">&lt;-</span> index arr/rega: (addr array T), idx/regi: int
| if size-of(T) is <span class="Constant">4</span> or <span class="Constant">8</span>

View File

@ -164,7 +164,8 @@ be provided in an earlier 'var' declaration.
var/reg: (addr T) <- address var2: T
=> "8d/copy-address *(ebp+" var2.stack-offset ") " reg "/r32"
# Array operations (TODO: bounds-checking)
# Array operations
(TODO: bounds-checking)
var/reg <- index arr/rega: (addr array T), idx/regi: int
| if size-of(T) is 4 or 8