2014-02-15 00:56:09 +02:00
|
|
|
package ethutil
|
|
|
|
|
|
|
|
import (
|
2014-04-10 21:40:12 +03:00
|
|
|
_ "fmt"
|
2014-02-15 00:56:09 +02:00
|
|
|
"math/big"
|
2014-04-23 12:51:04 +03:00
|
|
|
_ "regexp"
|
2014-02-15 00:56:09 +02:00
|
|
|
)
|
|
|
|
|
|
|
|
// Op codes
|
2014-02-21 13:36:41 +02:00
|
|
|
var OpCodes = map[string]byte{
|
2014-03-20 23:51:20 +02:00
|
|
|
// 0x0 range - arithmetic ops
|
|
|
|
"STOP": 0x00,
|
|
|
|
"ADD": 0x01,
|
|
|
|
"MUL": 0x02,
|
|
|
|
"SUB": 0x03,
|
|
|
|
"DIV": 0x04,
|
|
|
|
"SDIV": 0x05,
|
|
|
|
"MOD": 0x06,
|
|
|
|
"SMOD": 0x07,
|
|
|
|
"EXP": 0x08,
|
|
|
|
"NEG": 0x09,
|
|
|
|
"LT": 0x0a,
|
|
|
|
"GT": 0x0b,
|
|
|
|
"EQ": 0x0c,
|
|
|
|
"NOT": 0x0d,
|
|
|
|
|
|
|
|
// 0x10 range - bit ops
|
|
|
|
"AND": 0x10,
|
|
|
|
"OR": 0x11,
|
|
|
|
"XOR": 0x12,
|
|
|
|
"BYTE": 0x13,
|
|
|
|
|
|
|
|
// 0x20 range - crypto
|
|
|
|
"SHA3": 0x20,
|
|
|
|
|
|
|
|
// 0x30 range - closure state
|
2014-03-21 15:47:55 +02:00
|
|
|
"ADDRESS": 0x30,
|
|
|
|
"BALANCE": 0x31,
|
|
|
|
"ORIGIN": 0x32,
|
|
|
|
"CALLER": 0x33,
|
|
|
|
"CALLVALUE": 0x34,
|
2014-04-23 16:53:34 +03:00
|
|
|
"CALLDATALOAD": 0x35,
|
2014-03-21 15:47:55 +02:00
|
|
|
"CALLDATASIZE": 0x36,
|
|
|
|
"GASPRICE": 0x38,
|
2014-03-20 23:51:20 +02:00
|
|
|
|
|
|
|
// 0x40 range - block operations
|
|
|
|
"PREVHASH": 0x40,
|
2014-03-21 15:47:55 +02:00
|
|
|
"COINBASE": 0x41,
|
|
|
|
"TIMESTAMP": 0x42,
|
|
|
|
"NUMBER": 0x43,
|
|
|
|
"DIFFICULTY": 0x44,
|
|
|
|
"GASLIMIT": 0x45,
|
2014-03-20 23:51:20 +02:00
|
|
|
|
|
|
|
// 0x50 range - 'storage' and execution
|
2014-04-11 01:14:19 +03:00
|
|
|
"PUSH": 0x50,
|
|
|
|
|
|
|
|
"PUSH20": 0x80,
|
|
|
|
|
2014-03-20 23:51:20 +02:00
|
|
|
"POP": 0x51,
|
|
|
|
"DUP": 0x52,
|
|
|
|
"SWAP": 0x53,
|
|
|
|
"MLOAD": 0x54,
|
|
|
|
"MSTORE": 0x55,
|
|
|
|
"MSTORE8": 0x56,
|
|
|
|
"SLOAD": 0x57,
|
|
|
|
"SSTORE": 0x58,
|
|
|
|
"JUMP": 0x59,
|
|
|
|
"JUMPI": 0x5a,
|
|
|
|
"PC": 0x5b,
|
2014-03-21 12:54:36 +02:00
|
|
|
"MSIZE": 0x5c,
|
2014-03-20 23:51:20 +02:00
|
|
|
|
|
|
|
// 0x60 range - closures
|
|
|
|
"CREATE": 0x60,
|
|
|
|
"CALL": 0x61,
|
|
|
|
"RETURN": 0x62,
|
2014-03-21 12:54:36 +02:00
|
|
|
|
|
|
|
// 0x70 range - other
|
|
|
|
"LOG": 0x70,
|
|
|
|
"SUICIDE": 0x7f,
|
2014-02-15 00:56:09 +02:00
|
|
|
}
|
|
|
|
|
2014-02-21 13:36:41 +02:00
|
|
|
func IsOpCode(s string) bool {
|
|
|
|
for key, _ := range OpCodes {
|
|
|
|
if key == s {
|
|
|
|
return true
|
|
|
|
}
|
2014-02-15 00:56:09 +02:00
|
|
|
}
|
2014-02-21 13:36:41 +02:00
|
|
|
return false
|
|
|
|
}
|
2014-02-15 00:56:09 +02:00
|
|
|
|
2014-03-21 16:27:18 +02:00
|
|
|
func CompileInstr(s interface{}) ([]byte, error) {
|
|
|
|
switch s.(type) {
|
|
|
|
case string:
|
|
|
|
str := s.(string)
|
|
|
|
isOp := IsOpCode(str)
|
|
|
|
if isOp {
|
|
|
|
return []byte{OpCodes[str]}, nil
|
|
|
|
}
|
|
|
|
|
|
|
|
num := new(big.Int)
|
|
|
|
_, success := num.SetString(str, 0)
|
|
|
|
// Assume regular bytes during compilation
|
|
|
|
if !success {
|
|
|
|
num.SetBytes([]byte(str))
|
2014-04-10 21:40:12 +03:00
|
|
|
} else {
|
|
|
|
// tmp fix for 32 bytes
|
|
|
|
n := BigToBytes(num, 256)
|
|
|
|
return n, nil
|
2014-03-21 16:27:18 +02:00
|
|
|
}
|
2014-02-15 00:56:09 +02:00
|
|
|
|
2014-03-21 16:27:18 +02:00
|
|
|
return num.Bytes(), nil
|
|
|
|
case int:
|
2014-04-10 21:40:12 +03:00
|
|
|
num := BigToBytes(big.NewInt(int64(s.(int))), 256)
|
|
|
|
return num, nil
|
2014-03-21 16:27:18 +02:00
|
|
|
case []byte:
|
|
|
|
return BigD(s.([]byte)).Bytes(), nil
|
2014-03-20 18:27:48 +02:00
|
|
|
}
|
2014-02-15 00:56:09 +02:00
|
|
|
|
2014-03-21 16:27:18 +02:00
|
|
|
return nil, nil
|
2014-02-15 00:56:09 +02:00
|
|
|
}
|
|
|
|
|
2014-03-21 16:27:18 +02:00
|
|
|
// Script compilation functions
|
|
|
|
// Compiles strings to machine code
|
2014-04-09 19:28:34 +03:00
|
|
|
func Assemble(instructions ...interface{}) (script []byte) {
|
|
|
|
//script = make([]string, len(instructions))
|
2014-03-21 16:27:18 +02:00
|
|
|
|
2014-04-09 19:28:34 +03:00
|
|
|
for _, val := range instructions {
|
2014-03-21 16:27:18 +02:00
|
|
|
instr, _ := CompileInstr(val)
|
|
|
|
|
2014-04-09 19:28:34 +03:00
|
|
|
//script[i] = string(instr)
|
|
|
|
script = append(script, instr...)
|
2014-03-21 16:27:18 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
return
|
|
|
|
}
|
2014-04-12 07:13:42 +03:00
|
|
|
|
|
|
|
/*
|
|
|
|
Prepocessing function that takes init and main apart:
|
|
|
|
init() {
|
|
|
|
// something
|
|
|
|
}
|
|
|
|
|
|
|
|
main() {
|
|
|
|
// main something
|
|
|
|
}
|
|
|
|
func PreProcess(data string) (mainInput, initInput string) {
|
|
|
|
reg := "\\(\\)\\s*{([\\d\\w\\W\\n\\s]+?)}"
|
|
|
|
mainReg := regexp.MustCompile("main" + reg)
|
|
|
|
initReg := regexp.MustCompile("init" + reg)
|
|
|
|
|
|
|
|
main := mainReg.FindStringSubmatch(data)
|
|
|
|
if len(main) > 0 {
|
|
|
|
mainInput = main[1]
|
|
|
|
} else {
|
|
|
|
mainInput = data
|
|
|
|
}
|
|
|
|
|
|
|
|
init := initReg.FindStringSubmatch(data)
|
|
|
|
if len(init) > 0 {
|
|
|
|
initInput = init[1]
|
|
|
|
}
|
|
|
|
|
|
|
|
return
|
|
|
|
}
|
2014-04-23 12:51:04 +03:00
|
|
|
*/
|
|
|
|
|
|
|
|
// Very, very dumb parser. Heed no attention :-)
|
|
|
|
func FindFor(blockMatcher, input string) string {
|
|
|
|
curCount := -1
|
|
|
|
length := len(blockMatcher)
|
|
|
|
matchfst := rune(blockMatcher[0])
|
|
|
|
var currStr string
|
|
|
|
|
|
|
|
for i, run := range input {
|
|
|
|
// Find init
|
|
|
|
if curCount == -1 && run == matchfst && input[i:i+length] == blockMatcher {
|
|
|
|
curCount = 0
|
|
|
|
} else if curCount > -1 {
|
|
|
|
if run == '{' {
|
|
|
|
curCount++
|
|
|
|
if curCount == 1 {
|
|
|
|
continue
|
|
|
|
}
|
|
|
|
} else if run == '}' {
|
|
|
|
curCount--
|
|
|
|
if curCount == 0 {
|
|
|
|
// we are done
|
|
|
|
curCount = -1
|
|
|
|
break
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if curCount > 0 {
|
|
|
|
currStr += string(run)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return currStr
|
|
|
|
}
|
|
|
|
|
|
|
|
func PreProcess(data string) (mainInput, initInput string) {
|
|
|
|
mainInput = FindFor("main", data)
|
|
|
|
if mainInput == "" {
|
|
|
|
mainInput = data
|
|
|
|
}
|
|
|
|
initInput = FindFor("init", data)
|
|
|
|
|
|
|
|
return
|
|
|
|
}
|