Fix DUP1 underflow check

matter-labs · Dec 2, 2024 · b3563b3 · b3563b3
1 parent 7e242cf
commit b3563b3
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/system-contracts/contracts/EvmEmulator.yul b/system-contracts/contracts/EvmEmulator.yul
@@ -2378,7 +2378,7 @@ object "EvmEmulator" {
                 }
                 case 0x80 { // OP_DUP1 
                     evmGasLeft := chargeGas(evmGasLeft, 3)
-                    sp, stackHead := pushStackItem(sp, stackHead, stackHead)
+                    sp, stackHead := pushStackItem(sp, accessStackHead(sp, stackHead), stackHead)
                     ip := add(ip, 1)
                 }
                 case 0x81 { // OP_DUP2
@@ -5426,7 +5426,7 @@ object "EvmEmulator" {
                     }
                     case 0x80 { // OP_DUP1 
                         evmGasLeft := chargeGas(evmGasLeft, 3)
-                        sp, stackHead := pushStackItem(sp, stackHead, stackHead)
+                        sp, stackHead := pushStackItem(sp, accessStackHead(sp, stackHead), stackHead)
                         ip := add(ip, 1)
                     }
                     case 0x81 { // OP_DUP2

diff --git a/system-contracts/evm-emulator/EvmEmulatorLoop.template.yul b/system-contracts/evm-emulator/EvmEmulatorLoop.template.yul
@@ -1153,7 +1153,7 @@ for { } true { } {
     }
     case 0x80 { // OP_DUP1 
         evmGasLeft := chargeGas(evmGasLeft, 3)
-        sp, stackHead := pushStackItem(sp, stackHead, stackHead)
+        sp, stackHead := pushStackItem(sp, accessStackHead(sp, stackHead), stackHead)
         ip := add(ip, 1)
     }
     case 0x81 { // OP_DUP2