diff options
| author | Kartik Agaram <vc@akkartik.com> | 2020-06-05 13:56:19 -0700 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2020-06-05 13:56:19 -0700 |
| commit | b3998440f35026a0ad45e85cc6de0e8cc62b00f1 (patch) | |
| tree | 14d240ba93710b1d827e4dba993d3efe46b6fb3b /mu_instructions | |
| parent | 536058af78a1f3f7dfd9bae6e3da7281941cb01c (diff) | |
| download | mu-b3998440f35026a0ad45e85cc6de0e8cc62b00f1.tar.gz | |
6468
Diffstat (limited to 'mu_instructions')
| -rw-r--r-- | mu_instructions | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mu_instructions b/mu_instructions index c5df279c..5ce9e07c 100644 --- a/mu_instructions +++ b/mu_instructions @@ -220,9 +220,9 @@ var/reg <- length arr/reg2: (addr array T) 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 +var/reg: (addr T_f) <- get var2/reg2: (addr T), f => "8d/copy-address *(" reg2 "+" offset(f) ") " reg "/r32" -var/reg: (addr T_f) <- get var2: (addr F), f +var/reg: (addr T_f) <- get var2: T, f => "8d/copy-address *(ebp+" var2.stack-offset "+" offset(f) ") " reg "/r32" # Handles for safe access to the heap |