Tests for initcode size limit with CREATE2 opcode

Author: gumb0

src/GeneralStateTestsFiller/stEIP3860/create2InitCodeSizeLimitFiller.yml

@@ -0,0 +1,120 @@
+# CREATE2 with max allowed init code size
+create2InitCodeSizeLimit:
+  env:
+    currentCoinbase: 2adc25665018aa1fe0e6bc666dac8fc2697ff9ba
+    currentDifficulty: '0x020000'
+    currentGasLimit: '20000000'
+    currentBaseFee: '10'
+    currentNumber: '1'
+    currentTimestamp: '1000'
+    previousHash: 5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6
+
+  pre:
+    a94f5374fce5edbc8e2a8697c15331677e6ebf0b:
+      balance: 200000000
+      code: ''
+      nonce: 0
+      storage: {}
+    b94f5374fce5edbc8e2a8697c15331677e6ebf0b:
+      balance: 0
+      code: |
+        :yul 
+        {
+          // :yul { codecopy(0x00, 0x00, 0x0a) return(0x00, 0x0a) }
+          mstore(0, 0x600a80600080396000f300000000000000000000000000000000000000000000) 
+          // get initcode size from calldata
+          let initcode_size := calldataload(0)
+          let gas_before := gas()
+          let create_result := create2(0, 0, initcode_size, 0)
+          sstore(10, sub(gas_before, gas()))
+          sstore(0, create_result)
+          sstore(1, 1)
+        }
+      nonce: 0
+      storage: {}
+
+  transaction:
+    data: 
+      # Valid initcode size = 49152 bytes
+      - ':label valid :raw 0x000000000000000000000000000000000000000000000000000000000000c000'
+      # Invalid initcode size = 49153 bytes
+      - ':label invalid :raw 0x000000000000000000000000000000000000000000000000000000000000c001'
+    gasLimit:
+      - 15000000
+    gasPrice: 10
+    nonce: 0
+    secretKey: 45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8
+    to: 'b94f5374fce5edbc8e2a8697c15331677e6ebf0b'
+    value:
+    - 0
+
+  expect:
+    - indexes:
+       data: ':label valid'
+      network:
+        - 'Merge'
+      result:
+       a94f5374fce5edbc8e2a8697c15331677e6ebf0b:
+          nonce: 1
+       b94f5374fce5edbc8e2a8697c15331677e6ebf0b:
+          storage:
+              '0': '7b453b2ba212f731bec025f8f441f01547d79bfb'
+              '1': 1
+              '10': 52467
+       7b453b2ba212f731bec025f8f441f01547d79bfb:
+          balance: 0
+          code: '0x600a80600080396000f3'
+          nonce: 1
+          storage: {}
+
+    - indexes:
+       data: ':label invalid'
+      network:
+        - 'Merge'
+      result:
+       a94f5374fce5edbc8e2a8697c15331677e6ebf0b:
+          nonce: 1
+       b94f5374fce5edbc8e2a8697c15331677e6ebf0b:
+          storage:
+              '0': '094147686c565aa7ccac18000c3b7b4d099f92d3'
+              '1': 1
+              '10': 52482
+       094147686c565aa7ccac18000c3b7b4d099f92d3:
+          balance: 0
+          code: '0x600a80600080396000f3'
+          nonce: 1
+          storage: {}
+
+    - indexes:
+       data: ':label valid'
+      network:
+        - 'Merge+3860'
+      result:
+       a94f5374fce5edbc8e2a8697c15331677e6ebf0b:
+          nonce: 1
+       b94f5374fce5edbc8e2a8697c15331677e6ebf0b:
+          storage:
+              '0': '7b453b2ba212f731bec025f8f441f01547d79bfb'
+              '1': 1
+               # Difference with Merge is the charge for initcode 49152 // 32 * 2 = 3072 gas
+              '10': 55539
+       7b453b2ba212f731bec025f8f441f01547d79bfb:
+          balance: 0
+          code: '0x600a80600080396000f3'
+          nonce: 1
+          storage: {}
+
+    - indexes:
+       data: ':label invalid'
+      network:
+        - 'Merge+3860'
+      result:
+       a94f5374fce5edbc8e2a8697c15331677e6ebf0b:
+          nonce: 1
+       b94f5374fce5edbc8e2a8697c15331677e6ebf0b:
+          storage:
+              '0': 0
+              '1': 1
+              '10': 53532
+       094147686c565aa7ccac18000c3b7b4d099f92d3:
+          shouldnotexist: 1