Skip to content

Commit

Permalink
Fix typo in execution of array.copy (#546)
Browse files Browse the repository at this point in the history
  • Loading branch information
sbc100 committed Jun 26, 2024
1 parent 871b01d commit 2adc918
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions document/core/exec/instructions.rst
Original file line number Diff line number Diff line change
Expand Up @@ -1217,13 +1217,13 @@ Reference Instructions

a. Push the value :math:`\REFARRAYADDR~a_1` to the stack.

b. Assert: due to the earlier check against the memory size, :math:`d+n-1 < 2^{32}`.
b. Assert: due to the earlier check against the array size, :math:`d+n-1 < 2^{32}`.

c. Push the value :math:`\I32.\CONST~(d+n-1)` to the stack.

d. Push the value :math:`\REFARRAYADDR~a_2` to the stack.

e. Assert: due to the earlier check against the memory size, :math:`s+n-1 < 2^{32}`.
e. Assert: due to the earlier check against the array size, :math:`s+n-1 < 2^{32}`.

f. Push the value :math:`\I32.\CONST~(s+n-1)` to the stack.

Expand Down

0 comments on commit 2adc918

Please sign in to comment.