runtime_test.go 19 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595
  1. // Copyright 2015 The go-ethereum Authors
  2. // This file is part of the go-ethereum library.
  3. //
  4. // The go-ethereum library is free software: you can redistribute it and/or modify
  5. // it under the terms of the GNU Lesser General Public License as published by
  6. // the Free Software Foundation, either version 3 of the License, or
  7. // (at your option) any later version.
  8. //
  9. // The go-ethereum library is distributed in the hope that it will be useful,
  10. // but WITHOUT ANY WARRANTY; without even the implied warranty of
  11. // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  12. // GNU Lesser General Public License for more details.
  13. //
  14. // You should have received a copy of the GNU Lesser General Public License
  15. // along with the go-ethereum library. If not, see <http://www.gnu.org/licenses/>.
  16. package runtime
  17. import (
  18. "fmt"
  19. "math/big"
  20. "os"
  21. "strings"
  22. "testing"
  23. "time"
  24. "github.com/ethereum/go-ethereum/accounts/abi"
  25. "github.com/ethereum/go-ethereum/common"
  26. "github.com/ethereum/go-ethereum/consensus"
  27. "github.com/ethereum/go-ethereum/core"
  28. "github.com/ethereum/go-ethereum/core/asm"
  29. "github.com/ethereum/go-ethereum/core/rawdb"
  30. "github.com/ethereum/go-ethereum/core/state"
  31. "github.com/ethereum/go-ethereum/core/types"
  32. "github.com/ethereum/go-ethereum/core/vm"
  33. "github.com/ethereum/go-ethereum/params"
  34. )
  35. func TestDefaults(t *testing.T) {
  36. cfg := new(Config)
  37. setDefaults(cfg)
  38. if cfg.Difficulty == nil {
  39. t.Error("expected difficulty to be non nil")
  40. }
  41. if cfg.Time == nil {
  42. t.Error("expected time to be non nil")
  43. }
  44. if cfg.GasLimit == 0 {
  45. t.Error("didn't expect gaslimit to be zero")
  46. }
  47. if cfg.GasPrice == nil {
  48. t.Error("expected time to be non nil")
  49. }
  50. if cfg.Value == nil {
  51. t.Error("expected time to be non nil")
  52. }
  53. if cfg.GetHashFn == nil {
  54. t.Error("expected time to be non nil")
  55. }
  56. if cfg.BlockNumber == nil {
  57. t.Error("expected block number to be non nil")
  58. }
  59. }
  60. func TestEVM(t *testing.T) {
  61. defer func() {
  62. if r := recover(); r != nil {
  63. t.Fatalf("crashed with: %v", r)
  64. }
  65. }()
  66. Execute([]byte{
  67. byte(vm.DIFFICULTY),
  68. byte(vm.TIMESTAMP),
  69. byte(vm.GASLIMIT),
  70. byte(vm.PUSH1),
  71. byte(vm.ORIGIN),
  72. byte(vm.BLOCKHASH),
  73. byte(vm.COINBASE),
  74. }, nil, nil)
  75. }
  76. func TestExecute(t *testing.T) {
  77. ret, _, err := Execute([]byte{
  78. byte(vm.PUSH1), 10,
  79. byte(vm.PUSH1), 0,
  80. byte(vm.MSTORE),
  81. byte(vm.PUSH1), 32,
  82. byte(vm.PUSH1), 0,
  83. byte(vm.RETURN),
  84. }, nil, nil)
  85. if err != nil {
  86. t.Fatal("didn't expect error", err)
  87. }
  88. num := new(big.Int).SetBytes(ret)
  89. if num.Cmp(big.NewInt(10)) != 0 {
  90. t.Error("Expected 10, got", num)
  91. }
  92. }
  93. func TestCall(t *testing.T) {
  94. state, _ := state.New(common.Hash{}, state.NewDatabase(rawdb.NewMemoryDatabase()), nil)
  95. address := common.HexToAddress("0x0a")
  96. state.SetCode(address, []byte{
  97. byte(vm.PUSH1), 10,
  98. byte(vm.PUSH1), 0,
  99. byte(vm.MSTORE),
  100. byte(vm.PUSH1), 32,
  101. byte(vm.PUSH1), 0,
  102. byte(vm.RETURN),
  103. })
  104. ret, _, err := Call(address, nil, &Config{State: state})
  105. if err != nil {
  106. t.Fatal("didn't expect error", err)
  107. }
  108. num := new(big.Int).SetBytes(ret)
  109. if num.Cmp(big.NewInt(10)) != 0 {
  110. t.Error("Expected 10, got", num)
  111. }
  112. }
  113. func BenchmarkCall(b *testing.B) {
  114. var definition = `[{"constant":true,"inputs":[],"name":"seller","outputs":[{"name":"","type":"address"}],"type":"function"},{"constant":false,"inputs":[],"name":"abort","outputs":[],"type":"function"},{"constant":true,"inputs":[],"name":"value","outputs":[{"name":"","type":"uint256"}],"type":"function"},{"constant":false,"inputs":[],"name":"refund","outputs":[],"type":"function"},{"constant":true,"inputs":[],"name":"buyer","outputs":[{"name":"","type":"address"}],"type":"function"},{"constant":false,"inputs":[],"name":"confirmReceived","outputs":[],"type":"function"},{"constant":true,"inputs":[],"name":"state","outputs":[{"name":"","type":"uint8"}],"type":"function"},{"constant":false,"inputs":[],"name":"confirmPurchase","outputs":[],"type":"function"},{"inputs":[],"type":"constructor"},{"anonymous":false,"inputs":[],"name":"Aborted","type":"event"},{"anonymous":false,"inputs":[],"name":"PurchaseConfirmed","type":"event"},{"anonymous":false,"inputs":[],"name":"ItemReceived","type":"event"},{"anonymous":false,"inputs":[],"name":"Refunded","type":"event"}]`
  115. var code = common.Hex2Bytes("6060604052361561006c5760e060020a600035046308551a53811461007457806335a063b4146100865780633fa4f245146100a6578063590e1ae3146100af5780637150d8ae146100cf57806373fac6f0146100e1578063c19d93fb146100fe578063d696069714610112575b610131610002565b610133600154600160a060020a031681565b610131600154600160a060020a0390811633919091161461015057610002565b61014660005481565b610131600154600160a060020a039081163391909116146102d557610002565b610133600254600160a060020a031681565b610131600254600160a060020a0333811691161461023757610002565b61014660025460ff60a060020a9091041681565b61013160025460009060ff60a060020a9091041681146101cc57610002565b005b600160a060020a03166060908152602090f35b6060908152602090f35b60025460009060a060020a900460ff16811461016b57610002565b600154600160a060020a03908116908290301631606082818181858883f150506002805460a060020a60ff02191660a160020a179055506040517f72c874aeff0b183a56e2b79c71b46e1aed4dee5e09862134b8821ba2fddbf8bf9250a150565b80546002023414806101dd57610002565b6002805460a060020a60ff021973ffffffffffffffffffffffffffffffffffffffff1990911633171660a060020a1790557fd5d55c8a68912e9a110618df8d5e2e83b8d83211c57a8ddd1203df92885dc881826060a15050565b60025460019060a060020a900460ff16811461025257610002565b60025460008054600160a060020a0390921691606082818181858883f150508354604051600160a060020a0391821694503090911631915082818181858883f150506002805460a060020a60ff02191660a160020a179055506040517fe89152acd703c9d8c7d28829d443260b411454d45394e7995815140c8cbcbcf79250a150565b60025460019060a060020a900460ff1681146102f057610002565b6002805460008054600160a060020a0390921692909102606082818181858883f150508354604051600160a060020a0391821694503090911631915082818181858883f150506002805460a060020a60ff02191660a160020a179055506040517f8616bbbbad963e4e65b1366f1d75dfb63f9e9704bbbf91fb01bec70849906cf79250a15056")
  116. abi, err := abi.JSON(strings.NewReader(definition))
  117. if err != nil {
  118. b.Fatal(err)
  119. }
  120. cpurchase, err := abi.Pack("confirmPurchase")
  121. if err != nil {
  122. b.Fatal(err)
  123. }
  124. creceived, err := abi.Pack("confirmReceived")
  125. if err != nil {
  126. b.Fatal(err)
  127. }
  128. refund, err := abi.Pack("refund")
  129. if err != nil {
  130. b.Fatal(err)
  131. }
  132. b.ResetTimer()
  133. for i := 0; i < b.N; i++ {
  134. for j := 0; j < 400; j++ {
  135. Execute(code, cpurchase, nil)
  136. Execute(code, creceived, nil)
  137. Execute(code, refund, nil)
  138. }
  139. }
  140. }
  141. func benchmarkEVM_Create(bench *testing.B, code string) {
  142. var (
  143. statedb, _ = state.New(common.Hash{}, state.NewDatabase(rawdb.NewMemoryDatabase()), nil)
  144. sender = common.BytesToAddress([]byte("sender"))
  145. receiver = common.BytesToAddress([]byte("receiver"))
  146. )
  147. statedb.CreateAccount(sender)
  148. statedb.SetCode(receiver, common.FromHex(code))
  149. runtimeConfig := Config{
  150. Origin: sender,
  151. State: statedb,
  152. GasLimit: 10000000,
  153. Difficulty: big.NewInt(0x200000),
  154. Time: new(big.Int).SetUint64(0),
  155. Coinbase: common.Address{},
  156. BlockNumber: new(big.Int).SetUint64(1),
  157. ChainConfig: &params.ChainConfig{
  158. ChainID: big.NewInt(1),
  159. HomesteadBlock: new(big.Int),
  160. ByzantiumBlock: new(big.Int),
  161. ConstantinopleBlock: new(big.Int),
  162. DAOForkBlock: new(big.Int),
  163. DAOForkSupport: false,
  164. EIP150Block: new(big.Int),
  165. EIP155Block: new(big.Int),
  166. EIP158Block: new(big.Int),
  167. },
  168. EVMConfig: vm.Config{},
  169. }
  170. // Warm up the intpools and stuff
  171. bench.ResetTimer()
  172. for i := 0; i < bench.N; i++ {
  173. Call(receiver, []byte{}, &runtimeConfig)
  174. }
  175. bench.StopTimer()
  176. }
  177. func BenchmarkEVM_CREATE_500(bench *testing.B) {
  178. // initcode size 500K, repeatedly calls CREATE and then modifies the mem contents
  179. benchmarkEVM_Create(bench, "5b6207a120600080f0600152600056")
  180. }
  181. func BenchmarkEVM_CREATE2_500(bench *testing.B) {
  182. // initcode size 500K, repeatedly calls CREATE2 and then modifies the mem contents
  183. benchmarkEVM_Create(bench, "5b586207a120600080f5600152600056")
  184. }
  185. func BenchmarkEVM_CREATE_1200(bench *testing.B) {
  186. // initcode size 1200K, repeatedly calls CREATE and then modifies the mem contents
  187. benchmarkEVM_Create(bench, "5b62124f80600080f0600152600056")
  188. }
  189. func BenchmarkEVM_CREATE2_1200(bench *testing.B) {
  190. // initcode size 1200K, repeatedly calls CREATE2 and then modifies the mem contents
  191. benchmarkEVM_Create(bench, "5b5862124f80600080f5600152600056")
  192. }
  193. func fakeHeader(n uint64, parentHash common.Hash) *types.Header {
  194. header := types.Header{
  195. Coinbase: common.HexToAddress("0x00000000000000000000000000000000deadbeef"),
  196. Number: big.NewInt(int64(n)),
  197. ParentHash: parentHash,
  198. Time: 1000,
  199. Nonce: types.BlockNonce{0x1},
  200. Extra: []byte{},
  201. Difficulty: big.NewInt(0),
  202. GasLimit: 100000,
  203. }
  204. return &header
  205. }
  206. type dummyChain struct {
  207. counter int
  208. }
  209. // Engine retrieves the chain's consensus engine.
  210. func (d *dummyChain) Engine() consensus.Engine {
  211. return nil
  212. }
  213. // GetHeader returns the hash corresponding to their hash.
  214. func (d *dummyChain) GetHeader(h common.Hash, n uint64) *types.Header {
  215. d.counter++
  216. parentHash := common.Hash{}
  217. s := common.LeftPadBytes(big.NewInt(int64(n-1)).Bytes(), 32)
  218. copy(parentHash[:], s)
  219. //parentHash := common.Hash{byte(n - 1)}
  220. //fmt.Printf("GetHeader(%x, %d) => header with parent %x\n", h, n, parentHash)
  221. return fakeHeader(n, parentHash)
  222. }
  223. // TestBlockhash tests the blockhash operation. It's a bit special, since it internally
  224. // requires access to a chain reader.
  225. func TestBlockhash(t *testing.T) {
  226. // Current head
  227. n := uint64(1000)
  228. parentHash := common.Hash{}
  229. s := common.LeftPadBytes(big.NewInt(int64(n-1)).Bytes(), 32)
  230. copy(parentHash[:], s)
  231. header := fakeHeader(n, parentHash)
  232. // This is the contract we're using. It requests the blockhash for current num (should be all zeroes),
  233. // then iteratively fetches all blockhashes back to n-260.
  234. // It returns
  235. // 1. the first (should be zero)
  236. // 2. the second (should be the parent hash)
  237. // 3. the last non-zero hash
  238. // By making the chain reader return hashes which correlate to the number, we can
  239. // verify that it obtained the right hashes where it should
  240. /*
  241. pragma solidity ^0.5.3;
  242. contract Hasher{
  243. function test() public view returns (bytes32, bytes32, bytes32){
  244. uint256 x = block.number;
  245. bytes32 first;
  246. bytes32 last;
  247. bytes32 zero;
  248. zero = blockhash(x); // Should be zeroes
  249. first = blockhash(x-1);
  250. for(uint256 i = 2 ; i < 260; i++){
  251. bytes32 hash = blockhash(x - i);
  252. if (uint256(hash) != 0){
  253. last = hash;
  254. }
  255. }
  256. return (zero, first, last);
  257. }
  258. }
  259. */
  260. // The contract above
  261. data := common.Hex2Bytes("6080604052348015600f57600080fd5b50600436106045576000357c010000000000000000000000000000000000000000000000000000000090048063f8a8fd6d14604a575b600080fd5b60506074565b60405180848152602001838152602001828152602001935050505060405180910390f35b600080600080439050600080600083409050600184034092506000600290505b61010481101560c35760008186034090506000816001900414151560b6578093505b5080806001019150506094565b508083839650965096505050505090919256fea165627a7a72305820462d71b510c1725ff35946c20b415b0d50b468ea157c8c77dff9466c9cb85f560029")
  262. // The method call to 'test()'
  263. input := common.Hex2Bytes("f8a8fd6d")
  264. chain := &dummyChain{}
  265. ret, _, err := Execute(data, input, &Config{
  266. GetHashFn: core.GetHashFn(header, chain),
  267. BlockNumber: new(big.Int).Set(header.Number),
  268. })
  269. if err != nil {
  270. t.Fatalf("expected no error, got %v", err)
  271. }
  272. if len(ret) != 96 {
  273. t.Fatalf("expected returndata to be 96 bytes, got %d", len(ret))
  274. }
  275. zero := new(big.Int).SetBytes(ret[0:32])
  276. first := new(big.Int).SetBytes(ret[32:64])
  277. last := new(big.Int).SetBytes(ret[64:96])
  278. if zero.BitLen() != 0 {
  279. t.Fatalf("expected zeroes, got %x", ret[0:32])
  280. }
  281. if first.Uint64() != 999 {
  282. t.Fatalf("second block should be 999, got %d (%x)", first, ret[32:64])
  283. }
  284. if last.Uint64() != 744 {
  285. t.Fatalf("last block should be 744, got %d (%x)", last, ret[64:96])
  286. }
  287. if exp, got := 255, chain.counter; exp != got {
  288. t.Errorf("suboptimal; too much chain iteration, expected %d, got %d", exp, got)
  289. }
  290. }
  291. // BenchmarkSimpleLoop test a pretty simple loop which loops
  292. // 1M (1 048 575) times.
  293. // Takes about 200 ms
  294. func BenchmarkSimpleLoop(b *testing.B) {
  295. // 0xfffff = 1048575 loops
  296. code := []byte{
  297. byte(vm.PUSH3), 0x0f, 0xff, 0xff,
  298. byte(vm.JUMPDEST), // [ count ]
  299. byte(vm.PUSH1), 1, // [count, 1]
  300. byte(vm.SWAP1), // [1, count]
  301. byte(vm.SUB), // [ count -1 ]
  302. byte(vm.DUP1), // [ count -1 , count-1]
  303. byte(vm.PUSH1), 4, // [count-1, count -1, label]
  304. byte(vm.JUMPI), // [ 0 ]
  305. byte(vm.STOP),
  306. }
  307. //tracer := vm.NewJSONLogger(nil, os.Stdout)
  308. //Execute(code, nil, &Config{
  309. // EVMConfig: vm.Config{
  310. // Debug: true,
  311. // Tracer: tracer,
  312. // }})
  313. for i := 0; i < b.N; i++ {
  314. Execute(code, nil, nil)
  315. }
  316. }
  317. type stepCounter struct {
  318. inner *vm.JSONLogger
  319. steps int
  320. }
  321. func (s *stepCounter) CaptureStart(from common.Address, to common.Address, create bool, input []byte, gas uint64, value *big.Int) error {
  322. return nil
  323. }
  324. func (s *stepCounter) CaptureState(env *vm.EVM, pc uint64, op vm.OpCode, gas, cost uint64, memory *vm.Memory, stack *vm.Stack, rStack *vm.ReturnStack, contract *vm.Contract, depth int, err error) error {
  325. s.steps++
  326. // Enable this for more output
  327. //s.inner.CaptureState(env, pc, op, gas, cost, memory, stack, rStack, contract, depth, err)
  328. return nil
  329. }
  330. func (s *stepCounter) CaptureFault(env *vm.EVM, pc uint64, op vm.OpCode, gas, cost uint64, memory *vm.Memory, stack *vm.Stack, rStack *vm.ReturnStack, contract *vm.Contract, depth int, err error) error {
  331. return nil
  332. }
  333. func (s *stepCounter) CaptureEnd(output []byte, gasUsed uint64, t time.Duration, err error) error {
  334. return nil
  335. }
  336. func TestJumpSub1024Limit(t *testing.T) {
  337. state, _ := state.New(common.Hash{}, state.NewDatabase(rawdb.NewMemoryDatabase()), nil)
  338. address := common.HexToAddress("0x0a")
  339. // Code is
  340. // 0 beginsub
  341. // 1 push 0
  342. // 3 jumpsub
  343. //
  344. // The code recursively calls itself. It should error when the returns-stack
  345. // grows above 1023
  346. state.SetCode(address, []byte{
  347. byte(vm.PUSH1), 3,
  348. byte(vm.JUMPSUB),
  349. byte(vm.BEGINSUB),
  350. byte(vm.PUSH1), 3,
  351. byte(vm.JUMPSUB),
  352. })
  353. tracer := stepCounter{inner: vm.NewJSONLogger(nil, os.Stdout)}
  354. // Enable 2315
  355. _, _, err := Call(address, nil, &Config{State: state,
  356. GasLimit: 20000,
  357. ChainConfig: params.AllEthashProtocolChanges,
  358. EVMConfig: vm.Config{
  359. ExtraEips: []int{2315},
  360. Debug: true,
  361. //Tracer: vm.NewJSONLogger(nil, os.Stdout),
  362. Tracer: &tracer,
  363. }})
  364. exp := "return stack limit reached"
  365. if err.Error() != exp {
  366. t.Fatalf("expected %v, got %v", exp, err)
  367. }
  368. if exp, got := 2048, tracer.steps; exp != got {
  369. t.Fatalf("expected %d steps, got %d", exp, got)
  370. }
  371. }
  372. func TestReturnSubShallow(t *testing.T) {
  373. state, _ := state.New(common.Hash{}, state.NewDatabase(rawdb.NewMemoryDatabase()), nil)
  374. address := common.HexToAddress("0x0a")
  375. // The code does returnsub without having anything on the returnstack.
  376. // It should not panic, but just fail after one step
  377. state.SetCode(address, []byte{
  378. byte(vm.PUSH1), 5,
  379. byte(vm.JUMPSUB),
  380. byte(vm.RETURNSUB),
  381. byte(vm.PC),
  382. byte(vm.BEGINSUB),
  383. byte(vm.RETURNSUB),
  384. byte(vm.PC),
  385. })
  386. tracer := stepCounter{}
  387. // Enable 2315
  388. _, _, err := Call(address, nil, &Config{State: state,
  389. GasLimit: 10000,
  390. ChainConfig: params.AllEthashProtocolChanges,
  391. EVMConfig: vm.Config{
  392. ExtraEips: []int{2315},
  393. Debug: true,
  394. Tracer: &tracer,
  395. }})
  396. exp := "invalid retsub"
  397. if err.Error() != exp {
  398. t.Fatalf("expected %v, got %v", exp, err)
  399. }
  400. if exp, got := 4, tracer.steps; exp != got {
  401. t.Fatalf("expected %d steps, got %d", exp, got)
  402. }
  403. }
  404. // disabled -- only used for generating markdown
  405. func DisabledTestReturnCases(t *testing.T) {
  406. cfg := &Config{
  407. EVMConfig: vm.Config{
  408. Debug: true,
  409. Tracer: vm.NewMarkdownLogger(nil, os.Stdout),
  410. ExtraEips: []int{2315},
  411. },
  412. }
  413. // This should fail at first opcode
  414. Execute([]byte{
  415. byte(vm.RETURNSUB),
  416. byte(vm.PC),
  417. byte(vm.PC),
  418. }, nil, cfg)
  419. // Should also fail
  420. Execute([]byte{
  421. byte(vm.PUSH1), 5,
  422. byte(vm.JUMPSUB),
  423. byte(vm.RETURNSUB),
  424. byte(vm.PC),
  425. byte(vm.BEGINSUB),
  426. byte(vm.RETURNSUB),
  427. byte(vm.PC),
  428. }, nil, cfg)
  429. // This should complete
  430. Execute([]byte{
  431. byte(vm.PUSH1), 0x4,
  432. byte(vm.JUMPSUB),
  433. byte(vm.STOP),
  434. byte(vm.BEGINSUB),
  435. byte(vm.PUSH1), 0x9,
  436. byte(vm.JUMPSUB),
  437. byte(vm.RETURNSUB),
  438. byte(vm.BEGINSUB),
  439. byte(vm.RETURNSUB),
  440. }, nil, cfg)
  441. }
  442. // DisabledTestEipExampleCases contains various testcases that are used for the
  443. // EIP examples
  444. // This test is disabled, as it's only used for generating markdown
  445. func DisabledTestEipExampleCases(t *testing.T) {
  446. cfg := &Config{
  447. EVMConfig: vm.Config{
  448. Debug: true,
  449. Tracer: vm.NewMarkdownLogger(nil, os.Stdout),
  450. ExtraEips: []int{2315},
  451. },
  452. }
  453. prettyPrint := func(comment string, code []byte) {
  454. instrs := make([]string, 0)
  455. it := asm.NewInstructionIterator(code)
  456. for it.Next() {
  457. if it.Arg() != nil && 0 < len(it.Arg()) {
  458. instrs = append(instrs, fmt.Sprintf("%v 0x%x", it.Op(), it.Arg()))
  459. } else {
  460. instrs = append(instrs, fmt.Sprintf("%v", it.Op()))
  461. }
  462. }
  463. ops := strings.Join(instrs, ", ")
  464. fmt.Printf("%v\nBytecode: `0x%x` (`%v`)\n",
  465. comment,
  466. code, ops)
  467. Execute(code, nil, cfg)
  468. }
  469. { // First eip testcase
  470. code := []byte{
  471. byte(vm.PUSH1), 4,
  472. byte(vm.JUMPSUB),
  473. byte(vm.STOP),
  474. byte(vm.BEGINSUB),
  475. byte(vm.RETURNSUB),
  476. }
  477. prettyPrint("This should jump into a subroutine, back out and stop.", code)
  478. }
  479. {
  480. code := []byte{
  481. byte(vm.PUSH9), 0x00, 0x00, 0x00, 0x00, 0x0, 0x00, 0x00, 0x00, (4 + 8),
  482. byte(vm.JUMPSUB),
  483. byte(vm.STOP),
  484. byte(vm.BEGINSUB),
  485. byte(vm.PUSH1), 8 + 9,
  486. byte(vm.JUMPSUB),
  487. byte(vm.RETURNSUB),
  488. byte(vm.BEGINSUB),
  489. byte(vm.RETURNSUB),
  490. }
  491. prettyPrint("This should execute fine, going into one two depths of subroutines", code)
  492. }
  493. // TODO(@holiman) move this test into an actual test, which not only prints
  494. // out the trace.
  495. {
  496. code := []byte{
  497. byte(vm.PUSH9), 0x01, 0x00, 0x00, 0x00, 0x0, 0x00, 0x00, 0x00, (4 + 8),
  498. byte(vm.JUMPSUB),
  499. byte(vm.STOP),
  500. byte(vm.BEGINSUB),
  501. byte(vm.PUSH1), 8 + 9,
  502. byte(vm.JUMPSUB),
  503. byte(vm.RETURNSUB),
  504. byte(vm.BEGINSUB),
  505. byte(vm.RETURNSUB),
  506. }
  507. prettyPrint("This should fail, since the given location is outside of the "+
  508. "code-range. The code is the same as previous example, except that the "+
  509. "pushed location is `0x01000000000000000c` instead of `0x0c`.", code)
  510. }
  511. {
  512. // This should fail at first opcode
  513. code := []byte{
  514. byte(vm.RETURNSUB),
  515. byte(vm.PC),
  516. byte(vm.PC),
  517. }
  518. prettyPrint("This should fail at first opcode, due to shallow `return_stack`", code)
  519. }
  520. {
  521. code := []byte{
  522. byte(vm.PUSH1), 5, // Jump past the subroutine
  523. byte(vm.JUMP),
  524. byte(vm.BEGINSUB),
  525. byte(vm.RETURNSUB),
  526. byte(vm.JUMPDEST),
  527. byte(vm.PUSH1), 3, // Now invoke the subroutine
  528. byte(vm.JUMPSUB),
  529. }
  530. prettyPrint("In this example. the JUMPSUB is on the last byte of code. When the "+
  531. "subroutine returns, it should hit the 'virtual stop' _after_ the bytecode, "+
  532. "and not exit with error", code)
  533. }
  534. {
  535. code := []byte{
  536. byte(vm.BEGINSUB),
  537. byte(vm.RETURNSUB),
  538. byte(vm.STOP),
  539. }
  540. prettyPrint("In this example, the code 'walks' into a subroutine, which is not "+
  541. "allowed, and causes an error", code)
  542. }
  543. }