Merge pull request #544 from ajsutton/extcodehashv6.0.0-beta.2

Add EXTCODEHASH tests

3 files changed, 311 insertions, 0 deletions

diff --git a/src/GeneralStateTestsFiller/stExtCodeHash/extCodeHashDynamicArgumentFiller.json b/src/GeneralStateTestsFiller/stExtCodeHash/extCodeHashDynamicArgumentFiller.json
new file mode 100644
index 000000000..8c1c7948e
--- /dev/null
+++ b/src/GeneralStateTestsFiller/stExtCodeHash/extCodeHashDynamicArgumentFiller.json
@@ -0,0 +1,169 @@
+{
+    "extCodeHashDynamicArgument": {
+        "_info": {
+            "comment": "EXTCODEHASH/EXTCODESIZE with address from a dynamic argument"
+        },
+        "env": {
+            "currentCoinbase": "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+            "currentDifficulty": "0x20000",
+            "currentGasLimit": "1000000",
+            "currentNumber": "1",
+            "currentTimestamp": "1000",
+            "previousHash": "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+        },
+        "expect": [
+            {
+                "indexes": {
+                    "data": 0,
+                    "gas": 0,
+                    "value": 0
+                },
+                "network": [
+                    ">=Constantinople"
+                ],
+                "result": {
+                    "deadbeef00000000000000000000000000000000": {
+                        "balance": "1000000000000000001",
+                        "storage": {
+                            "0x00": "0x00",
+                            "0x01": "0x00"
+                        }
+                    }
+                }
+            },
+            {
+                "indexes": {
+                    "data": 1,
+                    "gas": 0,
+                    "value": 0
+                },
+                "network": [
+                    ">=Constantinople"
+                ],
+                "result": {
+                    "deadbeef00000000000000000000000000000000": {
+                        "balance": "1000000000000000001",
+                        "storage": {
+                            "0x00": "0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470",
+                            "0x01": "0x00"
+                        }
+                    }
+                }
+            },
+            {
+                "indexes": {
+                    "data": 2,
+                    "gas": 0,
+                    "value": 0
+                },
+                "network": [
+                    ">=Constantinople"
+                ],
+                "result": {
+                    "deadbeef00000000000000000000000000000000": {
+                        "balance": "1000000000000000001",
+                        "storage": {
+                            "0x00": "0x56570de287d73cd1cb6092bb8fdee6173974955fdef345ae579ee9f475ea7432",
+                            "0x01": "0x02"
+                        }
+                    }
+                }
+            },
+            {
+                "indexes": {
+                    "data": 3,
+                    "gas": 0,
+                    "value": 0
+                },
+                "network": [
+                    ">=Constantinople"
+                ],
+                "result": {
+                    "deadbeef00000000000000000000000000000000": {
+                        "balance": "1000000000000000001",
+                        "storage": {
+                            "0x00": "0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470",
+                            "0x01": "0x00"
+                        }
+                    }
+                }
+            },
+            {
+                "indexes": {
+                    "data": 4,
+                    "gas": 0,
+                    "value": 0
+                },
+                "network": [
+                    ">=Constantinople"
+                ],
+                "result": {
+                    "deadbeef00000000000000000000000000000000": {
+                        "balance": "1000000000000000001",
+                        "storage": {
+                            "0x00": "0x00",
+                            "0x01": "0x00"
+                        }
+                    }
+                }
+            }
+        ],
+        "pre": {
+            "0000000000000000000000000000000000000002": {
+                "balance": "10",
+                "code": "",
+                "nonce": "0",
+                "storage": {
+                }
+            },
+            "deadbeef00000000000000000000000000000000": {
+                "balance": "1000000000000000000",
+                "code": "{  [[0]] (EXTCODEHASH (CALLDATALOAD 0)) [[1]] (EXTCODESIZE (CALLDATALOAD 0)) }",
+                "nonce": "0",
+                "storage": {
+                    "0x00": "0xdeadbeef"
+                }
+            },
+            "deadbeef00000000000000000000000000000001": {
+                "balance": "1000000000000000000",
+                "code": "0x1234",
+                "nonce": "0",
+                "storage": {
+                }
+            },
+            "deadbeef00000000000000000000000000000002": {
+                "balance": "1000000000000000000",
+                "code": "",
+                "nonce": "0",
+                "storage": {
+                }
+            },
+            "a94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
+                "balance": "1000000000000000000",
+                "code": "0x",
+                "nonce": "0",
+                "storage": {
+                }
+            }
+        },
+        "transaction": {
+            "data": [
+                "0x0000000000000000000000000000000000000000000000000000000000000001",
+                "0x0000000000000000000000000000000000000000000000000000000000000002",
+                "0x000000000000000000000000deadbeef00000000000000000000000000000001",
+                "0x000000000000000000000000deadbeef00000000000000000000000000000002",
+                "0x000000000000000000000000deadbeef00000000000000000000000000000005"
+            ],
+            "gasLimit": [
+                "400000"
+            ],
+            "gasPrice": "1",
+            "nonce": "0",
+            "secretKey": "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+            "to": "deadbeef00000000000000000000000000000000",
+            "value": [
+                "1"
+            ]
+        }
+    }
+}
diff --git a/src/GeneralStateTestsFiller/stExtCodeHash/extCodeHashSelfFiller.json b/src/GeneralStateTestsFiller/stExtCodeHash/extCodeHashSelfFiller.json
new file mode 100644
index 000000000..a35198174
--- /dev/null
+++ b/src/GeneralStateTestsFiller/stExtCodeHash/extCodeHashSelfFiller.json
@@ -0,0 +1,68 @@
+{
+  "extCodeHashSelf": {
+    "_info": {
+      "comment": "EXTCODEHASH/EXTCODESIZE of the currently executing account"
+    },
+    "env": {
+      "currentCoinbase": "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+      "currentDifficulty": "0x20000",
+      "currentGasLimit": "1000000",
+      "currentNumber": "1",
+      "currentTimestamp": "1000",
+      "previousHash": "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+    },
+    "expect": [
+      {
+        "indexes": {
+          "data": -1,
+          "gas": -1,
+          "value": -1
+        },
+        "network": [
+          ">=Constantinople"
+        ],
+        "result": {
+          "deadbeef00000000000000000000000000000000": {
+            "balance": "1000000000000000001",
+            "storage": {
+              "0x00": "0x43c7c0889fcfd6f96372b271391c53786415d307790ee45f0897b0e47ed61c8b",
+              "0x01": "0x32"
+            }
+          }
+        }
+      }
+    ],
+    "pre": {
+      "deadbeef00000000000000000000000000000000": {
+        "balance": "1000000000000000000",
+        "code": "{  [[0]] (EXTCODEHASH 0xdeadbeef00000000000000000000000000000000) [[1]] (EXTCODESIZE 0xdeadbeef00000000000000000000000000000000) }",
+        "nonce": "0",
+        "storage": {
+          "0x00": "0xdeadbeef"
+        }
+      },
+      "a94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
+        "balance": "1000000000000000000",
+        "code": "0x",
+        "nonce": "0",
+        "storage": {
+        }
+      }
+    },
+    "transaction": {
+      "data": [
+        ""
+      ],
+      "gasLimit": [
+        "400000"
+      ],
+      "gasPrice": "1",
+      "nonce": "0",
+      "secretKey": "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+      "to": "deadbeef00000000000000000000000000000000",
+      "value": [
+        "1"
+      ]
+    }
+  }
+}
diff --git a/src/GeneralStateTestsFiller/stExtCodeHash/extCodeHashSelfInInitFiller.json b/src/GeneralStateTestsFiller/stExtCodeHash/extCodeHashSelfInInitFiller.json
new file mode 100644
index 000000000..5d7b9cb89
--- /dev/null
+++ b/src/GeneralStateTestsFiller/stExtCodeHash/extCodeHashSelfInInitFiller.json
@@ -0,0 +1,74 @@
+{
+  "extCodeHashSelfInInit": {
+    "_info": {
+      "comment": "EXTCODEHASH/EXTCODESIZE of the account currently being created"
+    },
+    "env": {
+      "currentCoinbase": "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+      "currentDifficulty": "0x20000",
+      "currentGasLimit": "1000000",
+      "currentNumber": "1",
+      "currentTimestamp": "1000",
+      "previousHash": "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+    },
+    "expect": [
+      {
+        "indexes": {
+          "data": -1,
+          "gas": -1,
+          "value": -1
+        },
+        "network": [
+          ">=Constantinople"
+        ],
+        "result": {
+          "deadbeef00000000000000000000000000000000": {
+            "balance": "1000000000000000001",
+            "storage": {
+              "0x00": "0xdeadbeef"
+            }
+          },
+          "1f6476353a2bc11f88f20836f80d2ea1554dd4b5": {
+            "balance": "0",
+            "storage": {
+              "0x00": "0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470",
+              "0x01": "0x00"
+            }
+          }
+        }
+      }
+    ],
+    "pre": {
+      "deadbeef00000000000000000000000000000000": {
+        "balance": "1000000000000000000",
+        "code": "{ (CREATE2 0 0 (lll {[[0]] (EXTCODEHASH (ADDRESS)) [[1]] (EXTCODESIZE (ADDRESS)) (RETURN 0 0)} 0) 0x10) (STOP) }",
+        "nonce": "0",
+        "storage": {
+          "0x00": "0xdeadbeef"
+        }
+      },
+      "a94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
+        "balance": "1000000000000000000",
+        "code": "0x",
+        "nonce": "0",
+        "storage": {
+        }
+      }
+    },
+    "transaction": {
+      "data": [
+        ""
+      ],
+      "gasLimit": [
+        "400000"
+      ],
+      "gasPrice": "1",
+      "nonce": "0",
+      "secretKey": "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+      "to": "deadbeef00000000000000000000000000000000",
+      "value": [
+        "1"
+      ]
+    }
+  }
+}