define in terms of i,j intermediate vars

ipsilon · Dec 12, 2024 · 44b5781 · 44b5781
1 parent 52a9eba
commit 44b5781
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/spec/eof.md b/spec/eof.md
@@ -256,7 +256,8 @@ The following instructions are introduced in EOF code:
 - `EXCHANGE (0xe8)` instruction
     - deduct 3 gas
     - read uint8 operand `imm`
-    - `n = imm >> 4 + 1`, `m = imm & 0x0F + n + 1`
+    - `i = imm >> 4`, `j = imm & 0x0F`
+    - `n = i + 1`, `m = j + i + 2`
     - `n + 1`th stack item is swapped with `m + 1`th stack item (1-based).
     - Stack validation: `stack_height >= m + 1`
 - `RETURNDATALOAD (0xf7)` instruction