Skip to content

Commit

Permalink
Update spec for the memop binary format change (#33)
Browse files Browse the repository at this point in the history
  • Loading branch information
rossberg authored Aug 23, 2022
2 parents c134a8f + 406efbc commit 07fc57c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion document/core/binary/instructions.rst
Original file line number Diff line number Diff line change
Expand Up @@ -198,7 +198,7 @@ Each variant of :ref:`memory instruction <syntax-instr-memory>` is encoded with
\production{memory argument} & \Bmemarg &::=&
a{:}\Bu32~~o{:}\Bu32 &\Rightarrow& 0~\{ \ALIGN~a,~\OFFSET~o \}
& (\iff a < 2^6) \\ &&|&
a{:}\Bu32~~o{:}\Bu32~~x{:}\memidx &\Rightarrow& x~\{ \ALIGN~(a - 2^6),~\OFFSET~o \}
a{:}\Bu32~~x{:}\memidx~~o{:}\Bu32 &\Rightarrow& x~\{ \ALIGN~(a - 2^6),~\OFFSET~o \}
& (\iff 2^6 \leq a < 2^7) \\
\production{instruction} & \Binstr &::=& \dots \\ &&|&
\hex{28}~~m{:}\Bmemarg &\Rightarrow& \I32.\LOAD~m \\ &&|&
Expand Down

0 comments on commit 07fc57c

Please sign in to comment.