Merge pull request #538 from ajsutton/memory-write-tests

Tests where data is copied to a memory range longer than the data itself

1 files changed, 75 insertions, 0 deletions

diff --git a/src/GeneralStateTestsFiller/stCodeCopyTest/ExtCodeCopyTargetRangeLongerThanCodeTestsFiller.json b/src/GeneralStateTestsFiller/stCodeCopyTest/ExtCodeCopyTargetRangeLongerThanCodeTestsFiller.json
new file mode 100644
index 000000000..488aede8b
--- /dev/null
+++ b/src/GeneralStateTestsFiller/stCodeCopyTest/ExtCodeCopyTargetRangeLongerThanCodeTestsFiller.json
@@ -0,0 +1,75 @@
+{
+  "ExtCodeCopyTargetRangeLongerThanCodeTests": {
+    "_info" : {
+      "comment": "Uses EXTCODECOPY to copy 32 bytes of code into a 64 byte range of memory and ensures that the last 32 bytes of the memory range are zeroed out"
+    },
+    "env": {
+      "currentCoinbase": "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+      "currentDifficulty": "0x020000",
+      "currentGasLimit": "0x7fffffffffffffff",
+      "currentNumber": "2675000",
+      "currentTimestamp": "1000",
+      "previousHash": "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+    },
+    "expect": [
+      {
+        "indexes": {
+          "data": -1,
+          "gas": -1,
+          "value": -1
+        },
+        "network": [
+          ">=Frontier"
+        ],
+        "result": {
+          "aaaf5374fce5edbc8e2a8697c15331677e6ebf0b": {
+            "storage": {
+              "0x00": "0x1122334455667788991011121314151617181920212223242526272829303132",
+              "0x01": "0x00",
+              "0x02": "0x00",
+              "0x03": "0x00"
+            }
+          }
+        }
+      }
+    ],
+    "pre": {
+      "a94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
+        "balance": "0xffffffffffffffffffffffffffffffff",
+        "code": "",
+        "nonce": "0",
+        "storage": {
+        }
+      },
+      "aaaf5374fce5edbc8e2a8697c15331677e6ebf0b": {
+        "balance": "7000",
+        "code": "{ (MSTORE 32 0x1234) (EXTCODECOPY 0xeeef5374fce5edbc8e2a8697c15331677e6ebf0b 0 0 64) [[0]] (MLOAD 0) [[1]] (MLOAD 32) (MSTORE 96 0x5678) (EXTCODECOPY 0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b 64 0 64) [[2]] (MLOAD 64) [[3]] (MLOAD 96)}",
+        "nonce": "0",
+        "storage": {
+        }
+      },
+      "eeef5374fce5edbc8e2a8697c15331677e6ebf0b": {
+        "balance": "0",
+        "code": "0x1122334455667788991011121314151617181920212223242526272829303132",
+        "nonce": "1",
+        "storage": {
+        }
+      }
+    },
+    "transaction": {
+      "data": [
+        ""
+      ],
+      "gasLimit": [
+        "400000"
+      ],
+      "gasPrice": "1",
+      "nonce": "0",
+      "secretKey": "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+      "to": "aaaf5374fce5edbc8e2a8697c15331677e6ebf0b",
+      "value": [
+        "0"
+      ]
+    }
+  }
+}