Hulk did something

[bytom/vapor.git] / equity / compiler / builtins.go

diff --git a/equity/compiler/builtins.go b/equity/compiler/builtins.go
new file mode 100644 (file)
index 0000000..f7e3a3e
--- /dev/null
+++ b/equity/compiler/builtins.go
@@ -0,0 +1,75 @@
+package compiler
+
+type builtin struct {
+       name    string
+       opcodes string
+       args    []typeDesc
+       result  typeDesc
+}
+
+var builtins = []builtin{
+       {"sha3", "SHA3", []typeDesc{nilType}, hashType},
+       {"sha256", "SHA256", []typeDesc{nilType}, hashType},
+       {"size", "SIZE SWAP DROP", []typeDesc{nilType}, intType},
+       {"abs", "ABS", []typeDesc{intType}, intType},
+       {"min", "MIN", []typeDesc{intType, intType}, intType},
+       {"max", "MAX", []typeDesc{intType, intType}, intType},
+       {"checkTxSig", "TXSIGHASH SWAP CHECKSIG", []typeDesc{pubkeyType, sigType}, boolType},
+       {"concat", "CAT", []typeDesc{nilType, nilType}, strType},
+       {"concatpush", "CATPUSHDATA", []typeDesc{nilType, nilType}, strType},
+       {"below", "BLOCKHEIGHT GREATERTHAN", []typeDesc{intType}, boolType},
+       {"above", "BLOCKHEIGHT LESSTHAN", []typeDesc{intType}, boolType},
+       {"checkTxMultiSig", "", []typeDesc{listType, listType}, boolType}, // WARNING WARNING WOOP WOOP special case
+}
+
+type binaryOp struct {
+       op         string
+       precedence int
+       opcodes    string
+
+       left, right, result typeDesc
+}
+
+var binaryOps = []binaryOp{
+       {"||", 1, "BOOLOR", "Boolean", "Boolean", "Boolean"},
+       {"&&", 2, "BOOLAND", "Boolean", "Boolean", "Boolean"},
+
+       {">", 3, "GREATERTHAN", "Integer", "Integer", "Boolean"},
+       {"<", 3, "LESSTHAN", "Integer", "Integer", "Boolean"},
+       {">=", 3, "GREATERTHANOREQUAL", "Integer", "Integer", "Boolean"},
+       {"<=", 3, "LESSTHANOREQUAL", "Integer", "Integer", "Boolean"},
+
+       {"==", 3, "EQUAL", "", "", "Boolean"},
+       {"!=", 3, "EQUAL NOT", "", "", "Boolean"},
+
+       {"^", 4, "XOR", "", "", ""},
+       {"|", 4, "OR", "", "", ""},
+
+       {"+", 4, "ADD", "Integer", "Integer", "Integer"},
+       {"-", 4, "SUB", "Integer", "Integer", "Integer"},
+
+       // {"&^", 5, "INVERT AND", "", "", ""},
+       {"&", 5, "AND", "", "", ""},
+
+       {"<<", 5, "LSHIFT", "Integer", "Integer", "Integer"},
+       {">>", 5, "RSHIFT", "Integer", "Integer", "Integer"},
+
+       {"%", 5, "MOD", "Integer", "Integer", "Integer"},
+       {"*", 5, "MUL", "Integer", "Integer", "Integer"},
+       {"/", 5, "DIV", "Integer", "Integer", "Integer"},
+}
+
+type unaryOp struct {
+       op      string
+       opcodes string
+
+       operand, result typeDesc
+}
+
+var unaryOps = []unaryOp{
+       {"-", "NEGATE", "Integer", "Integer"},
+
+       {"!", "NOT", "Boolean", "Boolean"},
+
+       {"~", "INVERT", "", ""},
+}