Simplify OP_PC

matter-labs · Nov 13, 2024 · a33c871 · a33c871
1 parent 397092d
commit a33c871
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 9 deletions.
diff --git a/system-contracts/contracts/EvmEmulator.yul b/system-contracts/contracts/EvmEmulator.yul
@@ -2014,10 +2014,10 @@ object "EvmEmulator" {
                 }
                 case 0x58 { // OP_PC
                     evmGasLeft := chargeGas(evmGasLeft, 2)
-                    ip := add(ip, 1)
 
-                    // PC = ip - 32 (bytecode size) - 1 (current instruction)
-                    sp, stackHead := pushStackItem(sp, sub(sub(ip, BYTECODE_LEN_OFFSET()), 33), stackHead)
+                    sp, stackHead := pushStackItem(sp, sub(ip, BYTECODE_OFFSET()), stackHead)
+
+                    ip := add(ip, 1)
                 }
                 case 0x59 { // OP_MSIZE
                     evmGasLeft := chargeGas(evmGasLeft, 2)
@@ -5062,10 +5062,10 @@ object "EvmEmulator" {
                     }
                     case 0x58 { // OP_PC
                         evmGasLeft := chargeGas(evmGasLeft, 2)
-                        ip := add(ip, 1)
 
-                        // PC = ip - 32 (bytecode size) - 1 (current instruction)
-                        sp, stackHead := pushStackItem(sp, sub(sub(ip, BYTECODE_LEN_OFFSET()), 33), stackHead)
+                        sp, stackHead := pushStackItem(sp, sub(ip, BYTECODE_OFFSET()), stackHead)
+
+                        ip := add(ip, 1)
                     }
                     case 0x59 { // OP_MSIZE
                         evmGasLeft := chargeGas(evmGasLeft, 2)

diff --git a/system-contracts/evm-emulator/EvmEmulatorLoop.template.yul b/system-contracts/evm-emulator/EvmEmulatorLoop.template.yul
@@ -789,10 +789,10 @@ for { } true { } {
     }
     case 0x58 { // OP_PC
         evmGasLeft := chargeGas(evmGasLeft, 2)
-        ip := add(ip, 1)
 
-        // PC = ip - 32 (bytecode size) - 1 (current instruction)
-        sp, stackHead := pushStackItem(sp, sub(sub(ip, BYTECODE_LEN_OFFSET()), 33), stackHead)
+        sp, stackHead := pushStackItem(sp, sub(ip, BYTECODE_OFFSET()), stackHead)
+
+        ip := add(ip, 1)
     }
     case 0x59 { // OP_MSIZE
         evmGasLeft := chargeGas(evmGasLeft, 2)