10 var builtins = []builtin{
11 {"sha3", "SHA3", []typeDesc{nilType}, hashType},
12 {"sha256", "SHA256", []typeDesc{nilType}, hashType},
13 {"size", "SIZE SWAP DROP", []typeDesc{nilType}, intType},
14 {"abs", "ABS", []typeDesc{intType}, intType},
15 {"min", "MIN", []typeDesc{intType, intType}, intType},
16 {"max", "MAX", []typeDesc{intType, intType}, intType},
17 {"checkTxSig", "TXSIGHASH SWAP CHECKSIG", []typeDesc{pubkeyType, sigType}, boolType},
18 {"concat", "CAT", []typeDesc{nilType, nilType}, strType},
19 {"concatpush", "CATPUSHDATA", []typeDesc{nilType, nilType}, strType},
20 {"below", "BLOCKHEIGHT GREATERTHAN", []typeDesc{intType}, boolType},
21 {"above", "BLOCKHEIGHT LESSTHAN", []typeDesc{intType}, boolType},
22 {"checkTxMultiSig", "", []typeDesc{listType, listType}, boolType}, // WARNING WARNING WOOP WOOP special case
25 type binaryOp struct {
30 left, right, result typeDesc
33 var binaryOps = []binaryOp{
34 {"||", 1, "BOOLOR", "Boolean", "Boolean", "Boolean"},
35 {"&&", 2, "BOOLAND", "Boolean", "Boolean", "Boolean"},
37 {">", 3, "GREATERTHAN", "Integer", "Integer", "Boolean"},
38 {"<", 3, "LESSTHAN", "Integer", "Integer", "Boolean"},
39 {">=", 3, "GREATERTHANOREQUAL", "Integer", "Integer", "Boolean"},
40 {"<=", 3, "LESSTHANOREQUAL", "Integer", "Integer", "Boolean"},
42 {"==", 3, "EQUAL", "", "", "Boolean"},
43 {"!=", 3, "EQUAL NOT", "", "", "Boolean"},
45 {"^", 4, "XOR", "", "", ""},
46 {"|", 4, "OR", "", "", ""},
48 {"+", 4, "ADD", "Integer", "Integer", "Integer"},
49 {"-", 4, "SUB", "Integer", "Integer", "Integer"},
51 // {"&^", 5, "INVERT AND", "", "", ""},
52 {"&", 5, "AND", "", "", ""},
54 {"<<", 5, "LSHIFT", "Integer", "Integer", "Integer"},
55 {">>", 5, "RSHIFT", "Integer", "Integer", "Integer"},
57 {"%", 5, "MOD", "Integer", "Integer", "Integer"},
58 {"*", 5, "MUL", "Integer", "Integer", "Integer"},
59 {"/", 5, "DIV", "Integer", "Integer", "Integer"},
66 operand, result typeDesc
69 var unaryOps = []unaryOp{
70 {"-", "NEGATE", "Integer", "Integer"},
72 {"!", "NOT", "Boolean", "Boolean"},
74 {"~", "INVERT", "", ""},