From 406efbc6dbead3dc123ae881796ba67cb6b2a456 Mon Sep 17 00:00:00 2001 From: YiYing He Date: Fri, 12 Aug 2022 02:37:44 +0800 Subject: [PATCH] Update spec for the load/store immediates binary format change. Signed-off-by: YiYing He --- document/core/binary/instructions.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/document/core/binary/instructions.rst b/document/core/binary/instructions.rst index 05f04ba3..151e7e59 100644 --- a/document/core/binary/instructions.rst +++ b/document/core/binary/instructions.rst @@ -198,7 +198,7 @@ Each variant of :ref:`memory instruction ` 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 \\ &&|&