src/aeb_fate_code.erl

@@ -0,0 +1,231 @@
+-module(aeb_fate_code).
+
+% TODO: rewrite to explicit exports.
+-compile(export_all).
+
+%-export([]).
+
+-define(i(__X__), {immediate, __X__ }).
+
+return() ->
+    'RETURN'.
+
+return(Arg) ->
+    {'RETURNR', Arg}.
+
+call(Function) when is_binary(Function)->
+    {'CALL', ?i(Function) }.
+
+call_t(Function) when is_binary(Function) ->
+    {'CALL_T', ?i(Function)}.
+
+call_r(Contract, Function) when is_binary(Function) ->
+    {'CALL_R', Contract, ?i(Function)}.
+
+call_tr(Contract, Function) when is_binary(Function) ->
+    {'CALL_TR', Contract, ?i(Function)}.
+
+jump(BB) when is_integer(BB) ->
+    {'JUMP', ?i(BB)}.
+
+jumpif(Arg, BB) when is_integer(BB) ->
+    {'JUMPIF', Arg, ?i(BB)}.
+
+switch(Arg, BB1, BB2) when is_integer(BB1),
+                           is_integer(BB2) ->
+    {'SWITCH_V2', Arg, ?i(BB1), ?i(BB2)}.
+
+switch(Arg, BB1, BB2, BB3) when is_integer(BB1),
+                                is_integer(BB2),
+                                is_integer(BB3) ->
+    {'SWITCH_V3', Arg, ?i(BB1), ?i(BB2), ?i(BB3)}.
+
+switch(Arg, BB1, BB2, BB3, BB4) when is_integer(BB1),
+                                     is_integer(BB2),
+                                     is_integer(BB3),
+                                     is_integer(BB4) ->
+    {'SWITCH_V4', Arg, ?i(BB1), ?i(BB2), ?i(BB3), ?i(BB4)}.
+
+switch(Arg, BB1, BB2, BB3, BB4, BB5) when is_integer(BB1),
+                                          is_integer(BB2),
+                                          is_integer(BB3),
+                                          is_integer(BB4),
+                                          is_integer(BB5) ->
+    {'SWITCH_V5', Arg, ?i(BB1), ?i(BB2), ?i(BB3), ?i(BB4), ?i(BB5)}.
+
+push(Arg) ->
+    {'PUSH', Arg}.
+
+inc() ->
+    'INCA'.
+
+inc(Arg) ->
+    {'INC', Arg}.
+
+dec() ->
+    'DECA'.
+
+dec(Arg) ->
+    {'DEC', Arg}.
+
+add(Dest, Left, Right) ->
+    {'ADD', Dest, Left, Right}.
+
+sub(Dest, Left, Right) ->
+    {'SUB', Dest, Left, Right}.
+
+mul(Dest, Left, Right) ->
+    {'mul', Dest, Left, Right}.
+
+divide(Dest, Left, Right) ->
+    {'div', Dest, Left, Right}.
+
+modulo(Dest, Left, Right) ->
+    {'mod', Dest, Left, Right}.
+
+pow(Dest, Left, Right) ->
+    {'pow', Dest, Left, Right}.
+
+lt(Dest, Left, Right) ->
+    {'lt', Dest, Left, Right}.
+
+gt(Dest, Left, Right) ->
+    {'gt', Dest, Left, Right}.
+
+elt(Dest, Left, Right) ->
+    {'elt', Dest, Left, Right}.
+
+egt(Dest, Left, Right) ->
+    {'egt', Dest, Left, Right}.
+
+eq(Dest, Left, Right) ->
+    {'eq', Dest, Left, Right}.
+
+neq(Dest, Left, Right) ->
+    {'neq', Dest, Left, Right}.
+
+and_op(Dest, Left, Right) ->
+    {'and', Dest, Left, Right}.
+
+or_op(Dest, Left, Right) ->
+    {'or', Dest, Left, Right}.
+
+not_op(Dest, Arg) ->
+    {'not', Dest, Arg}.
+
+tuple(Size) when is_integer(Size) ->
+    {'TUPLE', ?i(Size)}.
+
+element_op(Type, Dest, N, T) ->
+    {'ELEMENT', Type, Dest, N, T}.
+
+map_empty(Dest) ->
+    {'MAP_EMPTY', Dest}.
+
+map_lookup(Dest, Map, Key) ->
+    {'MAP_LOOKUP', Dest, Map, Key}.
+
+map_lookup(Dest, Map, Key, Default) ->
+    {'MAP_LOOKUPD', Dest, Map, Key, Default}.
+
+map_update(Dest, Map, Key, Value) ->
+    {'MAP_UPDATE', Dest, Map, Key, Value}.
+
+map_member(Dest, Map, Key) ->
+    {'MAP_MEMBER', Dest, Map, Key}.
+
+map_from_list(Dest, List) ->
+    {'MAP_MEMBER', Dest, List}.
+
+nil(Dest) ->
+    {'NIL', Dest}.
+
+is_nil(Dest, List) ->
+    {'IS_NIL', Dest, List}.
+
+cons(Dest, Hd, Tl) ->
+    {'CONS', Dest, Hd, Tl}.
+
+hd(Dest, List) ->
+    {'HD', Dest, List}.
+
+tl(Dest, List) ->
+    {'TL', Dest, List}.
+
+length(Dest, List) ->
+    {'LENGTH', Dest, List}.
+
+str_eq(Dest, Str1, Str2) ->
+    {'STR_EQ', Dest, Str1, Str2}.
+
+str_join(Dest, Str1, Str2) ->
+    {'STR_JOIN', Dest, Str1, Str2}.
+
+int_to_str(Dest, Str) ->
+    {'INT_TO_STR', Dest, Str}.
+
+addr_to_str(Dest, Str) ->
+    {'ADDR_TO_STR', Dest, Str}.
+
+str_reverse(Dest, Str) ->
+    {'STR_REVERSE', Dest, Str}.
+
+int_to_addr(Dest, Str) ->
+    {'INT_TO_ADDR', Dest, Str}.
+
+variant_test(Dest, Variant, Tag) ->
+    {'VARIANT_TEST', Dest, Variant, Tag}.
+
+variant_element( Dest, Variant, Index) ->
+    {'VARIANT_ELEMENT', Dest, Variant, Index}.
+
+variant(Dest, SizeA, TagA, ElementsA) ->
+    {'VARIANT', Dest, SizeA, TagA, ElementsA}.
+
+bits_none() ->
+    'BITS_NONEA'.
+
+bits_none(To) ->
+    {'BITS_NONE', To}.
+
+bits_all() ->
+    'BITS_ALLA'.
+
+bits_all(To) ->
+    {'BITS_ALL', To}.
+
+bits_all_n(To, N) ->
+    {'BITS_ALL_N', To, N}.
+
+bits_set(To, Bits, Bit) ->
+    {'BITS_SET', To, Bits, Bit}.
+
+bits_clear(To, Bits, Bit) ->
+    {'BITS_CLEAR', To, Bits, Bit}.
+
+bits_test(To, Bits, Bit) ->
+    {'BITS_TEST', To, Bits, Bit}.
+
+bits_sum(To, Bits) ->
+    {'BITS_SUM', To, Bits}.
+
+bits_or(To, Bits, Bit) ->
+    {'BITS_OR', To, Bits, Bit}.
+
+bits_and(To, Bits, Bit) ->
+    {'BITS_AND', To, Bits, Bit}.
+
+bits_diff(To, Bits, Bit) ->
+    {'BITS_DIFF', To, Bits, Bit}.
+
+dup() ->
+    'DUP'.
+
+pop() ->
+    'POP'.
+
+store(Var, What) ->
+    {'STORE', Var, What}.
+
+nop() ->
+    'NOP'.