2016-04-14 19:18:24 +03:00
|
|
|
// Copyright 2015 The go-ethereum Authors
|
2015-07-22 19:48:40 +03:00
|
|
|
// This file is part of the go-ethereum library.
|
2015-07-07 03:54:22 +03:00
|
|
|
//
|
2015-07-23 19:35:11 +03:00
|
|
|
// The go-ethereum library is free software: you can redistribute it and/or modify
|
2015-07-07 03:54:22 +03:00
|
|
|
// it under the terms of the GNU Lesser General Public License as published by
|
|
|
|
// the Free Software Foundation, either version 3 of the License, or
|
|
|
|
// (at your option) any later version.
|
|
|
|
//
|
2015-07-22 19:48:40 +03:00
|
|
|
// The go-ethereum library is distributed in the hope that it will be useful,
|
2015-07-07 03:54:22 +03:00
|
|
|
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
2015-07-22 19:48:40 +03:00
|
|
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
2015-07-07 03:54:22 +03:00
|
|
|
// GNU Lesser General Public License for more details.
|
|
|
|
//
|
|
|
|
// You should have received a copy of the GNU Lesser General Public License
|
2015-07-22 19:48:40 +03:00
|
|
|
// along with the go-ethereum library. If not, see <http://www.gnu.org/licenses/>.
|
2015-07-07 03:54:22 +03:00
|
|
|
|
2015-06-10 19:04:56 +03:00
|
|
|
package tests
|
2014-10-15 01:41:00 +03:00
|
|
|
|
|
|
|
import (
|
|
|
|
"bytes"
|
2015-06-10 21:38:39 +03:00
|
|
|
"fmt"
|
2015-06-15 00:55:03 +03:00
|
|
|
"io"
|
2014-12-02 01:03:53 +02:00
|
|
|
"math/big"
|
|
|
|
"strconv"
|
2015-07-18 00:09:36 +03:00
|
|
|
"testing"
|
2014-10-15 01:41:00 +03:00
|
|
|
|
2015-03-16 12:27:38 +02:00
|
|
|
"github.com/ethereum/go-ethereum/common"
|
2015-03-24 16:15:17 +02:00
|
|
|
"github.com/ethereum/go-ethereum/core/state"
|
2017-01-05 16:03:50 +03:00
|
|
|
"github.com/ethereum/go-ethereum/core/types"
|
2015-06-10 21:38:39 +03:00
|
|
|
"github.com/ethereum/go-ethereum/core/vm"
|
2015-03-17 13:56:29 +02:00
|
|
|
"github.com/ethereum/go-ethereum/ethdb"
|
2015-06-11 20:06:56 +03:00
|
|
|
"github.com/ethereum/go-ethereum/logger/glog"
|
2016-03-02 00:32:43 +02:00
|
|
|
"github.com/ethereum/go-ethereum/params"
|
2014-10-15 01:41:00 +03:00
|
|
|
)
|
|
|
|
|
2015-06-19 12:38:23 +03:00
|
|
|
func RunVmTestWithReader(r io.Reader, skipTests []string) error {
|
2015-06-15 00:55:03 +03:00
|
|
|
tests := make(map[string]VmTest)
|
|
|
|
err := readJson(r, &tests)
|
|
|
|
if err != nil {
|
|
|
|
return err
|
2015-06-11 00:04:06 +03:00
|
|
|
}
|
2015-03-09 12:28:35 +02:00
|
|
|
|
2015-06-15 00:55:03 +03:00
|
|
|
if err != nil {
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
|
2015-06-19 12:38:23 +03:00
|
|
|
if err := runVmTests(tests, skipTests); err != nil {
|
2015-06-15 00:55:03 +03:00
|
|
|
return err
|
|
|
|
}
|
|
|
|
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
2015-07-18 00:09:36 +03:00
|
|
|
type bconf struct {
|
|
|
|
name string
|
|
|
|
precomp bool
|
2015-08-11 01:27:30 +03:00
|
|
|
jit bool
|
2015-07-18 00:09:36 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
func BenchVmTest(p string, conf bconf, b *testing.B) error {
|
|
|
|
tests := make(map[string]VmTest)
|
|
|
|
err := readJsonFile(p, &tests)
|
|
|
|
if err != nil {
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
|
|
|
|
test, ok := tests[conf.name]
|
|
|
|
if !ok {
|
|
|
|
return fmt.Errorf("test not found: %s", conf.name)
|
|
|
|
}
|
|
|
|
|
|
|
|
env := make(map[string]string)
|
|
|
|
env["currentCoinbase"] = test.Env.CurrentCoinbase
|
|
|
|
env["currentDifficulty"] = test.Env.CurrentDifficulty
|
|
|
|
env["currentGasLimit"] = test.Env.CurrentGasLimit
|
|
|
|
env["currentNumber"] = test.Env.CurrentNumber
|
|
|
|
env["previousHash"] = test.Env.PreviousHash
|
|
|
|
if n, ok := test.Env.CurrentTimestamp.(float64); ok {
|
|
|
|
env["currentTimestamp"] = strconv.Itoa(int(n))
|
|
|
|
} else {
|
|
|
|
env["currentTimestamp"] = test.Env.CurrentTimestamp.(string)
|
|
|
|
}
|
2015-06-15 00:55:03 +03:00
|
|
|
|
2015-07-18 00:09:36 +03:00
|
|
|
/*
|
|
|
|
if conf.precomp {
|
|
|
|
program := vm.NewProgram(test.code)
|
|
|
|
err := vm.AttachProgram(program)
|
|
|
|
if err != nil {
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
}
|
|
|
|
*/
|
|
|
|
|
|
|
|
b.ResetTimer()
|
|
|
|
for i := 0; i < b.N; i++ {
|
|
|
|
benchVmTest(test, env, b)
|
|
|
|
}
|
|
|
|
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
|
|
|
func benchVmTest(test VmTest, env map[string]string, b *testing.B) {
|
|
|
|
b.StopTimer()
|
|
|
|
db, _ := ethdb.NewMemDatabase()
|
2016-10-04 13:36:02 +03:00
|
|
|
statedb := makePreState(db, test.Pre)
|
2015-07-18 00:09:36 +03:00
|
|
|
b.StartTimer()
|
|
|
|
|
|
|
|
RunVm(statedb, env, test.Exec)
|
|
|
|
}
|
|
|
|
|
|
|
|
func RunVmTest(p string, skipTests []string) error {
|
2014-10-15 01:41:00 +03:00
|
|
|
tests := make(map[string]VmTest)
|
2015-06-15 00:55:03 +03:00
|
|
|
err := readJsonFile(p, &tests)
|
2015-06-10 23:10:33 +03:00
|
|
|
if err != nil {
|
|
|
|
return err
|
|
|
|
}
|
2014-10-15 01:41:00 +03:00
|
|
|
|
2015-06-19 12:38:23 +03:00
|
|
|
if err := runVmTests(tests, skipTests); err != nil {
|
2015-06-15 00:55:03 +03:00
|
|
|
return err
|
|
|
|
}
|
|
|
|
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
2015-06-19 12:38:23 +03:00
|
|
|
func runVmTests(tests map[string]VmTest, skipTests []string) error {
|
|
|
|
skipTest := make(map[string]bool, len(skipTests))
|
|
|
|
for _, name := range skipTests {
|
2015-06-15 00:55:03 +03:00
|
|
|
skipTest[name] = true
|
|
|
|
}
|
|
|
|
|
2014-10-15 01:41:00 +03:00
|
|
|
for name, test := range tests {
|
2017-02-02 17:25:42 +03:00
|
|
|
if skipTest[name] /*|| name != "exp0"*/ {
|
2015-06-11 20:06:56 +03:00
|
|
|
glog.Infoln("Skipping VM test", name)
|
2017-01-05 13:52:10 +03:00
|
|
|
continue
|
2015-06-11 00:04:06 +03:00
|
|
|
}
|
2015-06-15 00:55:03 +03:00
|
|
|
|
|
|
|
if err := runVmTest(test); err != nil {
|
|
|
|
return fmt.Errorf("%s %s", name, err.Error())
|
2014-10-15 01:41:00 +03:00
|
|
|
}
|
|
|
|
|
2015-06-15 00:55:03 +03:00
|
|
|
glog.Infoln("VM test passed: ", name)
|
|
|
|
//fmt.Println(string(statedb.Dump()))
|
|
|
|
}
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
|
|
|
func runVmTest(test VmTest) error {
|
|
|
|
db, _ := ethdb.NewMemDatabase()
|
2016-10-04 13:36:02 +03:00
|
|
|
statedb := makePreState(db, test.Pre)
|
2014-12-02 01:03:53 +02:00
|
|
|
|
2015-06-15 00:55:03 +03:00
|
|
|
// XXX Yeah, yeah...
|
|
|
|
env := make(map[string]string)
|
|
|
|
env["currentCoinbase"] = test.Env.CurrentCoinbase
|
|
|
|
env["currentDifficulty"] = test.Env.CurrentDifficulty
|
|
|
|
env["currentGasLimit"] = test.Env.CurrentGasLimit
|
|
|
|
env["currentNumber"] = test.Env.CurrentNumber
|
|
|
|
env["previousHash"] = test.Env.PreviousHash
|
|
|
|
if n, ok := test.Env.CurrentTimestamp.(float64); ok {
|
|
|
|
env["currentTimestamp"] = strconv.Itoa(int(n))
|
|
|
|
} else {
|
|
|
|
env["currentTimestamp"] = test.Env.CurrentTimestamp.(string)
|
|
|
|
}
|
2014-12-02 01:03:53 +02:00
|
|
|
|
2015-06-15 00:55:03 +03:00
|
|
|
var (
|
|
|
|
ret []byte
|
|
|
|
gas *big.Int
|
|
|
|
err error
|
2017-01-05 16:03:50 +03:00
|
|
|
logs []*types.Log
|
2015-06-15 00:55:03 +03:00
|
|
|
)
|
2014-12-02 01:03:53 +02:00
|
|
|
|
2015-06-15 00:55:03 +03:00
|
|
|
ret, logs, gas, err = RunVm(statedb, env, test.Exec)
|
2014-10-15 01:41:00 +03:00
|
|
|
|
2015-06-18 23:38:17 +03:00
|
|
|
// Compare expected and actual return
|
2015-06-15 00:55:03 +03:00
|
|
|
rexp := common.FromHex(test.Out)
|
2017-01-06 18:44:20 +03:00
|
|
|
if !bytes.Equal(rexp, ret) {
|
2015-06-15 00:55:03 +03:00
|
|
|
return fmt.Errorf("return failed. Expected %x, got %x\n", rexp, ret)
|
|
|
|
}
|
|
|
|
|
|
|
|
// Check gas usage
|
|
|
|
if len(test.Gas) == 0 && err == nil {
|
2017-01-06 20:44:35 +03:00
|
|
|
return fmt.Errorf("gas unspecified, indicating an error. VM returned (incorrectly) successful")
|
2015-06-15 00:55:03 +03:00
|
|
|
} else {
|
|
|
|
gexp := common.Big(test.Gas)
|
|
|
|
if gexp.Cmp(gas) != 0 {
|
|
|
|
return fmt.Errorf("gas failed. Expected %v, got %v\n", gexp, gas)
|
2014-10-15 01:41:00 +03:00
|
|
|
}
|
2015-06-15 00:55:03 +03:00
|
|
|
}
|
2014-10-15 01:41:00 +03:00
|
|
|
|
2015-06-15 00:55:03 +03:00
|
|
|
// check post state
|
|
|
|
for addr, account := range test.Post {
|
|
|
|
obj := statedb.GetStateObject(common.HexToAddress(addr))
|
|
|
|
if obj == nil {
|
|
|
|
continue
|
|
|
|
}
|
|
|
|
for addr, value := range account.Storage {
|
2016-09-22 22:04:58 +03:00
|
|
|
v := statedb.GetState(obj.Address(), common.HexToHash(addr))
|
2015-06-15 00:55:03 +03:00
|
|
|
vexp := common.HexToHash(value)
|
|
|
|
if v != vexp {
|
2015-06-18 23:27:44 +03:00
|
|
|
return fmt.Errorf("(%x: %s) storage failed. Expected %x, got %x (%v %v)\n", obj.Address().Bytes()[0:4], addr, vexp, v, vexp.Big(), v.Big())
|
2014-10-15 01:41:00 +03:00
|
|
|
}
|
|
|
|
}
|
2015-06-15 00:55:03 +03:00
|
|
|
}
|
2014-12-03 13:21:12 +02:00
|
|
|
|
2015-06-15 00:55:03 +03:00
|
|
|
// check logs
|
|
|
|
if len(test.Logs) > 0 {
|
|
|
|
lerr := checkLogs(test.Logs, logs)
|
|
|
|
if lerr != nil {
|
|
|
|
return lerr
|
2014-12-03 13:21:12 +02:00
|
|
|
}
|
2014-10-15 01:41:00 +03:00
|
|
|
}
|
2015-06-15 00:55:03 +03:00
|
|
|
|
2015-06-10 23:10:33 +03:00
|
|
|
return nil
|
2015-06-10 21:38:39 +03:00
|
|
|
}
|
|
|
|
|
2017-01-05 16:03:50 +03:00
|
|
|
func RunVm(statedb *state.StateDB, env, exec map[string]string) ([]byte, []*types.Log, *big.Int, error) {
|
2016-12-06 04:16:03 +03:00
|
|
|
chainConfig := ¶ms.ChainConfig{
|
|
|
|
HomesteadBlock: params.MainNetHomesteadBlock,
|
|
|
|
DAOForkBlock: params.MainNetDAOForkBlock,
|
|
|
|
DAOForkSupport: true,
|
|
|
|
}
|
2015-06-10 21:38:39 +03:00
|
|
|
var (
|
|
|
|
to = common.HexToAddress(exec["address"])
|
|
|
|
from = common.HexToAddress(exec["caller"])
|
|
|
|
data = common.FromHex(exec["data"])
|
|
|
|
gas = common.Big(exec["gas"])
|
|
|
|
value = common.Big(exec["value"])
|
|
|
|
)
|
2016-12-06 04:16:03 +03:00
|
|
|
caller := statedb.GetOrNewStateObject(from)
|
2017-01-05 13:52:10 +03:00
|
|
|
vm.PrecompiledContracts = make(map[common.Address]vm.PrecompiledContract)
|
2015-06-10 21:38:39 +03:00
|
|
|
|
2016-12-06 04:16:03 +03:00
|
|
|
environment, _ := NewEVMEnvironment(true, chainConfig, statedb, env, exec)
|
2017-02-02 17:25:42 +03:00
|
|
|
ret, g, err := environment.Call(caller, to, data, gas.Uint64(), value)
|
|
|
|
return ret, statedb.Logs(), new(big.Int).SetUint64(g), err
|
2015-06-10 21:38:39 +03:00
|
|
|
}
|