Re-org op codes

This commit is contained in:
obscuren 2014-11-01 01:18:03 +01:00
parent 5af4ff985d
commit 141d3caabb
5 changed files with 172 additions and 469 deletions

View File

@ -4,7 +4,8 @@ import (
"fmt" "fmt"
"math/big" "math/big"
"github.com/ethereum/go-ethereum/ethutil" "github.com/ethereum/go-ethereum/vm"
"github.com/ethgo.old/ethutil"
) )
func Disassemble(script []byte) (asm []string) { func Disassemble(script []byte) (asm []string) {
@ -17,14 +18,18 @@ func Disassemble(script []byte) (asm []string) {
// Get the memory location of pc // Get the memory location of pc
val := script[pc.Int64()] val := script[pc.Int64()]
// Get the opcode (it must be an opcode!) // Get the opcode (it must be an opcode!)
op := OpCode(val) op := vm.OpCode(val)
asm = append(asm, fmt.Sprintf("%04v: %v", pc, op)) asm = append(asm, fmt.Sprintf("%04v: %v", pc, op))
switch op { switch op {
case PUSH1, PUSH2, PUSH3, PUSH4, PUSH5, PUSH6, PUSH7, PUSH8, PUSH9, PUSH10, PUSH11, PUSH12, PUSH13, PUSH14, PUSH15, PUSH16, PUSH17, PUSH18, PUSH19, PUSH20, PUSH21, PUSH22, PUSH23, PUSH24, PUSH25, PUSH26, PUSH27, PUSH28, PUSH29, PUSH30, PUSH31, PUSH32: case vm.PUSH1, vm.PUSH2, vm.PUSH3, vm.PUSH4, vm.PUSH5, vm.PUSH6, vm.PUSH7, vm.PUSH8,
vm.PUSH9, vm.PUSH10, vm.PUSH11, vm.PUSH12, vm.PUSH13, vm.PUSH14, vm.PUSH15,
vm.PUSH16, vm.PUSH17, vm.PUSH18, vm.PUSH19, vm.PUSH20, vm.PUSH21, vm.PUSH22,
vm.PUSH23, vm.PUSH24, vm.PUSH25, vm.PUSH26, vm.PUSH27, vm.PUSH28, vm.PUSH29,
vm.PUSH30, vm.PUSH31, vm.PUSH32:
pc.Add(pc, ethutil.Big1) pc.Add(pc, ethutil.Big1)
a := int64(op) - int64(PUSH1) + 1 a := int64(op) - int64(vm.PUSH1) + 1
if int(pc.Int64()+a) > len(script) { if int(pc.Int64()+a) > len(script) {
return return
} }

View File

@ -1,312 +0,0 @@
package chain
import (
"fmt"
)
type OpCode int
// Op codes
const (
// 0x0 range - arithmetic ops
STOP = 0x00
ADD = 0x01
MUL = 0x02
SUB = 0x03
DIV = 0x04
SDIV = 0x05
MOD = 0x06
SMOD = 0x07
EXP = 0x08
BNOT = 0x09
LT = 0x0a
GT = 0x0b
SLT = 0x0c
SGT = 0x0d
EQ = 0x0e
NOT = 0x0f
// 0x10 range - bit ops
AND = 0x10
OR = 0x11
XOR = 0x12
BYTE = 0x13
ADDMOD = 0x14
MULMOD = 0x15
// 0x20 range - crypto
SHA3 = 0x20
// 0x30 range - closure state
ADDRESS = 0x30
BALANCE = 0x31
ORIGIN = 0x32
CALLER = 0x33
CALLVALUE = 0x34
CALLDATALOAD = 0x35
CALLDATASIZE = 0x36
CALLDATACOPY = 0x37
CODESIZE = 0x38
CODECOPY = 0x39
GASPRICE = 0x3a
EXTCODESIZE = 0x3b
EXTCODECOPY = 0x3c
// 0x40 range - block operations
PREVHASH = 0x40
COINBASE = 0x41
TIMESTAMP = 0x42
NUMBER = 0x43
DIFFICULTY = 0x44
GASLIMIT = 0x45
// 0x50 range - 'storage' and execution
POP = 0x50
//DUP = 0x51
//SWAP = 0x52
MLOAD = 0x53
MSTORE = 0x54
MSTORE8 = 0x55
SLOAD = 0x56
SSTORE = 0x57
JUMP = 0x58
JUMPI = 0x59
PC = 0x5a
MSIZE = 0x5b
GAS = 0x5c
// 0x60 range
PUSH1 = 0x60
PUSH2 = 0x61
PUSH3 = 0x62
PUSH4 = 0x63
PUSH5 = 0x64
PUSH6 = 0x65
PUSH7 = 0x66
PUSH8 = 0x67
PUSH9 = 0x68
PUSH10 = 0x69
PUSH11 = 0x6a
PUSH12 = 0x6b
PUSH13 = 0x6c
PUSH14 = 0x6d
PUSH15 = 0x6e
PUSH16 = 0x6f
PUSH17 = 0x70
PUSH18 = 0x71
PUSH19 = 0x72
PUSH20 = 0x73
PUSH21 = 0x74
PUSH22 = 0x75
PUSH23 = 0x76
PUSH24 = 0x77
PUSH25 = 0x78
PUSH26 = 0x79
PUSH27 = 0x7a
PUSH28 = 0x7b
PUSH29 = 0x7c
PUSH30 = 0x7d
PUSH31 = 0x7e
PUSH32 = 0x7f
DUP1 = 0x80
DUP2 = 0x81
DUP3 = 0x82
DUP4 = 0x83
DUP5 = 0x84
DUP6 = 0x85
DUP7 = 0x86
DUP8 = 0x87
DUP9 = 0x88
DUP10 = 0x89
DUP11 = 0x8a
DUP12 = 0x8b
DUP13 = 0x8c
DUP14 = 0x8d
DUP15 = 0x8e
DUP16 = 0x8f
SWAP1 = 0x90
SWAP2 = 0x91
SWAP3 = 0x92
SWAP4 = 0x93
SWAP5 = 0x94
SWAP6 = 0x95
SWAP7 = 0x96
SWAP8 = 0x97
SWAP9 = 0x98
SWAP10 = 0x99
SWAP11 = 0x9a
SWAP12 = 0x9b
SWAP13 = 0x9c
SWAP14 = 0x9d
SWAP15 = 0x9e
SWAP16 = 0x9f
// 0xf0 range - closures
CREATE = 0xf0
CALL = 0xf1
RETURN = 0xf2
CALLCODE = 0xf3
// 0x70 range - other
LOG = 0xfe // XXX Unofficial
SUICIDE = 0xff
)
// Since the opcodes aren't all in order we can't use a regular slice
var opCodeToString = map[OpCode]string{
// 0x0 range - arithmetic ops
STOP: "STOP",
ADD: "ADD",
MUL: "MUL",
SUB: "SUB",
DIV: "DIV",
SDIV: "SDIV",
MOD: "MOD",
SMOD: "SMOD",
EXP: "EXP",
BNOT: "BNOT",
LT: "LT",
GT: "GT",
SLT: "SLT",
SGT: "SGT",
EQ: "EQ",
NOT: "NOT",
// 0x10 range - bit ops
AND: "AND",
OR: "OR",
XOR: "XOR",
BYTE: "BYTE",
ADDMOD: "ADDMOD",
MULMOD: "MULMOD",
// 0x20 range - crypto
SHA3: "SHA3",
// 0x30 range - closure state
ADDRESS: "ADDRESS",
BALANCE: "BALANCE",
ORIGIN: "ORIGIN",
CALLER: "CALLER",
CALLVALUE: "CALLVALUE",
CALLDATALOAD: "CALLDATALOAD",
CALLDATASIZE: "CALLDATASIZE",
CALLDATACOPY: "CALLDATACOPY",
CODESIZE: "CODESIZE",
CODECOPY: "CODECOPY",
GASPRICE: "TXGASPRICE",
// 0x40 range - block operations
PREVHASH: "PREVHASH",
COINBASE: "COINBASE",
TIMESTAMP: "TIMESTAMP",
NUMBER: "NUMBER",
DIFFICULTY: "DIFFICULTY",
GASLIMIT: "GASLIMIT",
EXTCODESIZE: "EXTCODESIZE",
EXTCODECOPY: "EXTCODECOPY",
// 0x50 range - 'storage' and execution
POP: "POP",
//DUP: "DUP",
//SWAP: "SWAP",
MLOAD: "MLOAD",
MSTORE: "MSTORE",
MSTORE8: "MSTORE8",
SLOAD: "SLOAD",
SSTORE: "SSTORE",
JUMP: "JUMP",
JUMPI: "JUMPI",
PC: "PC",
MSIZE: "MSIZE",
GAS: "GAS",
// 0x60 range - push
PUSH1: "PUSH1",
PUSH2: "PUSH2",
PUSH3: "PUSH3",
PUSH4: "PUSH4",
PUSH5: "PUSH5",
PUSH6: "PUSH6",
PUSH7: "PUSH7",
PUSH8: "PUSH8",
PUSH9: "PUSH9",
PUSH10: "PUSH10",
PUSH11: "PUSH11",
PUSH12: "PUSH12",
PUSH13: "PUSH13",
PUSH14: "PUSH14",
PUSH15: "PUSH15",
PUSH16: "PUSH16",
PUSH17: "PUSH17",
PUSH18: "PUSH18",
PUSH19: "PUSH19",
PUSH20: "PUSH20",
PUSH21: "PUSH21",
PUSH22: "PUSH22",
PUSH23: "PUSH23",
PUSH24: "PUSH24",
PUSH25: "PUSH25",
PUSH26: "PUSH26",
PUSH27: "PUSH27",
PUSH28: "PUSH28",
PUSH29: "PUSH29",
PUSH30: "PUSH30",
PUSH31: "PUSH31",
PUSH32: "PUSH32",
DUP1: "DUP1",
DUP2: "DUP2",
DUP3: "DUP3",
DUP4: "DUP4",
DUP5: "DUP5",
DUP6: "DUP6",
DUP7: "DUP7",
DUP8: "DUP8",
DUP9: "DUP9",
DUP10: "DUP10",
DUP11: "DUP11",
DUP12: "DUP12",
DUP13: "DUP13",
DUP14: "DUP14",
DUP15: "DUP15",
DUP16: "DUP16",
SWAP1: "SWAP1",
SWAP2: "SWAP2",
SWAP3: "SWAP3",
SWAP4: "SWAP4",
SWAP5: "SWAP5",
SWAP6: "SWAP6",
SWAP7: "SWAP7",
SWAP8: "SWAP8",
SWAP9: "SWAP9",
SWAP10: "SWAP10",
SWAP11: "SWAP11",
SWAP12: "SWAP12",
SWAP13: "SWAP13",
SWAP14: "SWAP14",
SWAP15: "SWAP15",
SWAP16: "SWAP16",
// 0xf0 range
CREATE: "CREATE",
CALL: "CALL",
RETURN: "RETURN",
CALLCODE: "CALLCODE",
// 0x70 range - other
LOG: "LOG",
SUICIDE: "SUICIDE",
}
func (o OpCode) String() string {
str := opCodeToString[o]
if len(str) == 0 {
return fmt.Sprintf("Missing opcode 0x%x", int(o))
}
return str
}

View File

@ -9,152 +9,162 @@ type OpCode byte
// Op codes // Op codes
const ( const (
// 0x0 range - arithmetic ops // 0x0 range - arithmetic ops
STOP = 0x00 STOP OpCode = iota
ADD = 0x01 ADD
MUL = 0x02 MUL
SUB = 0x03 SUB
DIV = 0x04 DIV
SDIV = 0x05 SDIV
MOD = 0x06 MOD
SMOD = 0x07 SMOD
EXP = 0x08 ADDMOD
BNOT = 0x09 MULMOD
LT = 0x0a EXP
GT = 0x0b SIGNEXTEND
SLT = 0x0c )
SGT = 0x0d
EQ = 0x0e
NOT = 0x0f
// 0x10 range - bit ops const (
AND = 0x10 LT OpCode = iota + 0x10
OR = 0x11 GT
XOR = 0x12 SLT
BYTE = 0x13 SGT
ADDMOD = 0x14 EQ
MULMOD = 0x15 ISZERO
AND
OR
XOR
NOT
BYTE
// 0x20 range - crypto
SHA3 = 0x20 SHA3 = 0x20
)
const (
// 0x30 range - closure state // 0x30 range - closure state
ADDRESS = 0x30 ADDRESS OpCode = 0x30 + iota
BALANCE = 0x31 BALANCE
ORIGIN = 0x32 ORIGIN
CALLER = 0x33 CALLER
CALLVALUE = 0x34 CALLVALUE
CALLDATALOAD = 0x35 CALLDATALOAD
CALLDATASIZE = 0x36 CALLDATASIZE
CALLDATACOPY = 0x37 CALLDATACOPY
CODESIZE = 0x38 CODESIZE
CODECOPY = 0x39 CODECOPY
GASPRICE = 0x3a GASPRICE
EXTCODESIZE = 0x3b EXTCODESIZE
EXTCODECOPY = 0x3c EXTCODECOPY
)
const (
// 0x40 range - block operations // 0x40 range - block operations
PREVHASH = 0x40 PREVHASH OpCode = 0x40 + iota
COINBASE = 0x41 COINBASE
TIMESTAMP = 0x42 TIMESTAMP
NUMBER = 0x43 NUMBER
DIFFICULTY = 0x44 DIFFICULTY
GASLIMIT = 0x45 GASLIMIT
)
const (
// 0x50 range - 'storage' and execution // 0x50 range - 'storage' and execution
POP = 0x50 POP OpCode = 0x50 + iota
//DUP = 0x51 MLOAD
//SWAP = 0x52 MSTORE
MLOAD = 0x53 MSTORE8
MSTORE = 0x54 SLOAD
MSTORE8 = 0x55 SSTORE
SLOAD = 0x56 JUMP
SSTORE = 0x57 JUMPI
JUMP = 0x58 PC
JUMPI = 0x59 MSIZE
PC = 0x5a GAS
MSIZE = 0x5b JUMPDEST
GAS = 0x5c )
JUMPDEST = 0x5d
const (
// 0x60 range // 0x60 range
PUSH1 = 0x60 PUSH1 OpCode = 0x60 + iota
PUSH2 = 0x61 PUSH2
PUSH3 = 0x62 PUSH3
PUSH4 = 0x63 PUSH4
PUSH5 = 0x64 PUSH5
PUSH6 = 0x65 PUSH6
PUSH7 = 0x66 PUSH7
PUSH8 = 0x67 PUSH8
PUSH9 = 0x68 PUSH9
PUSH10 = 0x69 PUSH10
PUSH11 = 0x6a PUSH11
PUSH12 = 0x6b PUSH12
PUSH13 = 0x6c PUSH13
PUSH14 = 0x6d PUSH14
PUSH15 = 0x6e PUSH15
PUSH16 = 0x6f PUSH16
PUSH17 = 0x70 PUSH17
PUSH18 = 0x71 PUSH18
PUSH19 = 0x72 PUSH19
PUSH20 = 0x73 PUSH20
PUSH21 = 0x74 PUSH21
PUSH22 = 0x75 PUSH22
PUSH23 = 0x76 PUSH23
PUSH24 = 0x77 PUSH24
PUSH25 = 0x78 PUSH25
PUSH26 = 0x79 PUSH26
PUSH27 = 0x7a PUSH27
PUSH28 = 0x7b PUSH28
PUSH29 = 0x7c PUSH29
PUSH30 = 0x7d PUSH30
PUSH31 = 0x7e PUSH31
PUSH32 = 0x7f PUSH32
DUP1
DUP2
DUP3
DUP4
DUP5
DUP6
DUP7
DUP8
DUP9
DUP10
DUP11
DUP12
DUP13
DUP14
DUP15
DUP16
SWAP1
SWAP2
SWAP3
SWAP4
SWAP5
SWAP6
SWAP7
SWAP8
SWAP9
SWAP10
SWAP11
SWAP12
SWAP13
SWAP14
SWAP15
SWAP16
)
DUP1 = 0x80 const (
DUP2 = 0x81 LOG0 OpCode = 0xa0 + iota
DUP3 = 0x82 LOG1
DUP4 = 0x83 LOG2
DUP5 = 0x84 LOG3
DUP6 = 0x85 LOG4
DUP7 = 0x86 )
DUP8 = 0x87
DUP9 = 0x88
DUP10 = 0x89
DUP11 = 0x8a
DUP12 = 0x8b
DUP13 = 0x8c
DUP14 = 0x8d
DUP15 = 0x8e
DUP16 = 0x8f
SWAP1 = 0x90
SWAP2 = 0x91
SWAP3 = 0x92
SWAP4 = 0x93
SWAP5 = 0x94
SWAP6 = 0x95
SWAP7 = 0x96
SWAP8 = 0x97
SWAP9 = 0x98
SWAP10 = 0x99
SWAP11 = 0x9a
SWAP12 = 0x9b
SWAP13 = 0x9c
SWAP14 = 0x9d
SWAP15 = 0x9e
SWAP16 = 0x9f
LOG0 = 0xa0
LOG1 = 0xa1
LOG2 = 0xa2
LOG3 = 0xa3
LOG4 = 0xa4
const (
// 0xf0 range - closures // 0xf0 range - closures
CREATE = 0xf0 CREATE OpCode = 0xf0 + iota
CALL = 0xf1 CALL
RETURN = 0xf2 RETURN
CALLCODE = 0xf3 CALLCODE
// 0x70 range - other // 0x70 range - other
SUICIDE = 0xff SUICIDE = 0xff
@ -172,13 +182,13 @@ var opCodeToString = map[OpCode]string{
MOD: "MOD", MOD: "MOD",
SMOD: "SMOD", SMOD: "SMOD",
EXP: "EXP", EXP: "EXP",
BNOT: "BNOT", NOT: "NOT",
LT: "LT", LT: "LT",
GT: "GT", GT: "GT",
SLT: "SLT", SLT: "SLT",
SGT: "SGT", SGT: "SGT",
EQ: "EQ", EQ: "EQ",
NOT: "NOT", ISZERO: "ISZERO",
// 0x10 range - bit ops // 0x10 range - bit ops
AND: "AND", AND: "AND",

View File

@ -268,7 +268,7 @@ func (self *Vm) RunClosure(closure *Closure) (ret []byte, err error) {
U256(base) U256(base)
stack.Push(base) stack.Push(base)
case BNOT: case NOT:
require(1) require(1)
base.Sub(Pow256, stack.Pop()) base.Sub(Pow256, stack.Pop())
@ -325,7 +325,7 @@ func (self *Vm) RunClosure(closure *Closure) (ret []byte, err error) {
} else { } else {
stack.Push(ethutil.BigFalse) stack.Push(ethutil.BigFalse)
} }
case NOT: case ISZERO:
require(1) require(1)
x := stack.Pop() x := stack.Pop()
if x.Cmp(ethutil.BigFalse) > 0 { if x.Cmp(ethutil.BigFalse) > 0 {

View File

@ -142,7 +142,7 @@ func (self *DebugVm) RunClosure(closure *Closure) (ret []byte, err error) {
// Stack Check, memory resize & gas phase // Stack Check, memory resize & gas phase
switch op { switch op {
// Stack checks only // Stack checks only
case NOT, CALLDATALOAD, POP, JUMP, BNOT: // 1 case ISZERO, CALLDATALOAD, POP, JUMP, NOT: // 1
require(1) require(1)
case ADD, SUB, DIV, SDIV, MOD, SMOD, EXP, LT, GT, SLT, SGT, EQ, AND, OR, XOR, BYTE: // 2 case ADD, SUB, DIV, SDIV, MOD, SMOD, EXP, LT, GT, SLT, SGT, EQ, AND, OR, XOR, BYTE: // 2
require(2) require(2)
@ -392,7 +392,7 @@ func (self *DebugVm) RunClosure(closure *Closure) (ret []byte, err error) {
self.Printf(" = %v", base) self.Printf(" = %v", base)
stack.Push(base) stack.Push(base)
case BNOT: case NOT:
base.Sub(Pow256, stack.Pop()).Sub(base, ethutil.Big1) base.Sub(Pow256, stack.Pop()).Sub(base, ethutil.Big1)
// Not needed // Not needed
@ -449,7 +449,7 @@ func (self *DebugVm) RunClosure(closure *Closure) (ret []byte, err error) {
} else { } else {
stack.Push(ethutil.BigFalse) stack.Push(ethutil.BigFalse)
} }
case NOT: case ISZERO:
x := stack.Pop() x := stack.Pop()
if x.Cmp(ethutil.BigFalse) > 0 { if x.Cmp(ethutil.BigFalse) > 0 {
stack.Push(ethutil.BigFalse) stack.Push(ethutil.BigFalse)