fix: EXTCODECOPY requires the CFI as its MMU_SRC_ID only for ad…

…dresses not currently under deployment (#40)
Consensys · Dec 16, 2024 · 8b8eacb · 8b8eacb
1 parent 00cb66a
commit 8b8eacb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/hub/instruction_handling/copy/generalities.tex b/hub/instruction_handling/copy/generalities.tex
@@ -249,9 +249,9 @@
 						we impose
 						\[
 							\left\{ \begin{array}{lcl}
-								\locSourceId        & \define & \locForeignAddressCfi                                      \\
+								\locSourceId        & \define & \locForeignAddressHasCode \cdot \locForeignAddressCfi      \\
 								\locReferenceOffset & \define & 0                                                          \\
-								\locReferenceSize   & \define & \locForeignAddressCodeSize \cdot \locForeignAddressHasCode \\
+								\locReferenceSize   & \define & \locForeignAddressHasCode \cdot \locForeignAddressCodeSize \\
 								\locExoSum          & \define & \exoWeightRom                                              \\
 							\end{array} \right.
 						\]