Compare commits

...

5 Commits

Author SHA1 Message Date
Erik Stenman
9e927edc89 Add more ops tests. 2019-08-22 07:34:16 +02:00
Erik Stenman
0d00cbf772 Fix blockhash comment. 2019-07-09 15:34:09 +02:00
Erik Stenman
b56d1c83fa New gas costs and test programs. 2019-07-03 07:27:27 +02:00
Erik Stenman
93d5df429c Test files for measurements. 2019-06-30 15:13:16 +02:00
Erik Stenman
5f5444ca9e Provide info for tracing. 2019-06-29 16:30:09 +02:00
74 changed files with 8689 additions and 30 deletions

View File

@ -39,8 +39,31 @@
-define(HASH_BYTES, 32).
-type fate_arg_spec() :: {'immediate', aeb_fate_data:fate_type()}
| {'arg', integer()}
| {'var', integer()}
| {'stack', 0}.
-type fate_instruction() :: atom()
| {atom(), fate_arg_spec()}
| {atom(), fate_arg_spec(), fate_arg_spec()}
| {atom(), fate_arg_spec(), fate_arg_spec(), fate_arg_spec()}
| {atom(), fate_arg_spec(), fate_arg_spec(), fate_arg_spec(),
fate_arg_spec()}
| {atom(), fate_arg_spec(), fate_arg_spec(), fate_arg_spec(),
fate_arg_spec(), fate_arg_spec()}
| {atom(), fate_arg_spec(), fate_arg_spec(), fate_arg_spec(),
fate_arg_spec(), fate_arg_spec(), fate_arg_spec()}
| {atom(), fate_arg_spec(), fate_arg_spec(), fate_arg_spec(),
fate_arg_spec(), fate_arg_spec(), fate_arg_spec(),
fate_arg_spec()}
| {atom(), fate_arg_spec(), fate_arg_spec(), fate_arg_spec(),
fate_arg_spec(), fate_arg_spec(), fate_arg_spec(),
fate_arg_spec(), fate_arg_spec()}.
-type fcode() :: #fcode{}.
-export_type([fcode/0]).
-export_type([fate_arg_spec/0, fate_instruction/0, fcode/0]).
%%%===================================================================
%%% API

View File

@ -57,34 +57,34 @@ ops_defs() ->
, { 'SWITCH_V3', 16#0b, true, true, 4, [a,ii,ii,ii], switch, {variant, integer, integer, ingeger}, none, "Conditional jump to a basic block on variant tag."}
, { 'SWITCH_VN', 16#0c, true, true, 4, [a, li], switch, {variant, {list, integer}}, none, "Conditional jump to a basic block on variant tag."}
, { 'CALL_VALUE', 16#0d, false, true, 3, [a], call_value, {}, integer, "The value sent in the current remote call."}
, { 'PUSH', 16#0e, false, true, 2, [a], push, {any}, any, "Push argument to stack."}
, { 'DUPA', 16#0f, false, true, 3, [], dup, {any}, any, "Duplicate top of stack."}
, { 'DUP', 16#10, false, true, 3, [a], dup, {any}, any, "push Arg0 stack pos on top of stack."}
, { 'POP', 16#11, false, true, 3, [a], pop, {integer}, integer, "Arg0 := top of stack."}
, { 'INCA', 16#12, false, true, 2, [], inc, {integer}, integer, "Increment accumulator."}
, { 'INC', 16#13, false, true, 2, [a], inc, {integer}, integer, "Increment argument."}
, { 'DECA', 16#14, false, true, 2, [], dec, {integer}, integer, "Decrement accumulator."}
, { 'DEC', 16#15, false, true, 2, [a], dec, {integer}, integer, "Decrement argument."}
, { 'ADD', 16#16, false, true, 3, [a,a,a], add, {integer, integer}, integer, "Arg0 := Arg1 + Arg2."}
, { 'SUB', 16#17, false, true, 3, [a,a,a], sub, {integer, integer}, integer, "Arg0 := Arg1 - Arg2."}
, { 'MUL', 16#18, false, true, 3, [a,a,a], mul, {integer, integer}, integer, "Arg0 := Arg1 * Arg2."}
, { 'DIV', 16#19, false, true, 3, [a,a,a], divide, {integer, integer}, integer, "Arg0 := Arg1 / Arg2."}
, { 'MOD', 16#1a, false, true, 3, [a,a,a], modulo, {integer, integer}, integer, "Arg0 := Arg1 mod Arg2."}
, { 'POW', 16#1b, false, true, 3, [a,a,a], pow, {integer, integer}, integer, "Arg0 := Arg1 ^ Arg2."}
, { 'STORE', 16#1c, false, true, 3, [a,a], store, {any}, any, "Arg0 := Arg1."}
, { 'SHA3', 16#1d, false, true, 30, [a,a], sha3, {any}, hash, "Arg0 := sha3(Arg1)."}
, { 'SHA256', 16#1e, false, true, 30, [a,a], sha256, {any}, hash, "Arg0 := sha256(Arg1)."}
, { 'BLAKE2B', 16#1f, false, true, 30, [a,a], blake2b, {any}, hash, "Arg0 := blake2b(Arg1)."}
, { 'LT', 16#20, false, true, 3, [a,a,a], lt, {integer, integer}, boolean, "Arg0 := Arg1 < Arg2."}
, { 'GT', 16#21, false, true, 3, [a,a,a], gt, {integer, integer}, boolean, "Arg0 := Arg1 > Arg2."}
, { 'EQ', 16#22, false, true, 3, [a,a,a], eq, {integer, integer}, boolean, "Arg0 := Arg1 = Arg2."}
, { 'ELT', 16#23, false, true, 3, [a,a,a], elt, {integer, integer}, boolean, "Arg0 := Arg1 =< Arg2."}
, { 'EGT', 16#24, false, true, 3, [a,a,a], egt, {integer, integer}, boolean, "Arg0 := Arg1 >= Arg2."}
, { 'NEQ', 16#25, false, true, 3, [a,a,a], neq, {integer, integer}, boolean, "Arg0 := Arg1 /= Arg2."}
, { 'AND', 16#26, false, true, 3, [a,a,a], and_op, {boolean, boolean}, boolean, "Arg0 := Arg1 and Arg2."}
, { 'OR', 16#27, false, true, 3, [a,a,a], or_op, {boolean, boolean}, boolean, "Arg0 := Arg1 or Arg2."}
, { 'NOT', 16#28, false, true, 3, [a,a], not_op, {boolean}, boolean, "Arg0 := not Arg1."}
, { 'TUPLE', 16#29, false, true, 3, [a,ii], tuple, {integer}, tuple, "Arg0 := tuple of size = Arg1. Elements on stack."}
, { 'PUSH', 16#0e, false, true, 13, [a], push, {any}, any, "Push argument to stack."}
, { 'DUPA', 16#0f, false, true, 8, [], dup, {any}, any, "Duplicate top of stack."}
, { 'DUP', 16#10, false, true, 11, [a], dup, {any}, any, "push Arg0 stack pos on top of stack."}
, { 'POP', 16#11, false, true, 15, [a], pop, {integer}, integer, "Arg0 := top of stack."}
, { 'INCA', 16#12, false, true, 14, [], inc, {integer}, integer, "Increment accumulator."}
, { 'INC', 16#13, false, true, 15, [a], inc, {integer}, integer, "Increment argument."}
, { 'DECA', 16#14, false, true, 13, [], dec, {integer}, integer, "Decrement accumulator."}
, { 'DEC', 16#15, false, true, 14, [a], dec, {integer}, integer, "Decrement argument."}
, { 'ADD', 16#16, false, true, 18, [a,a,a], add, {integer, integer}, integer, "Arg0 := Arg1 + Arg2."}
, { 'SUB', 16#17, false, true, 18, [a,a,a], sub, {integer, integer}, integer, "Arg0 := Arg1 - Arg2."}
, { 'MUL', 16#18, false, true, 16, [a,a,a], mul, {integer, integer}, integer, "Arg0 := Arg1 * Arg2."}
, { 'DIV', 16#19, false, true, 16, [a,a,a], divide, {integer, integer}, integer, "Arg0 := Arg1 / Arg2."}
, { 'MOD', 16#1a, false, true, 17, [a,a,a], modulo, {integer, integer}, integer, "Arg0 := Arg1 mod Arg2."}
, { 'POW', 16#1b, false, true, 18, [a,a,a], pow, {integer, integer}, integer, "Arg0 := Arg1 ^ Arg2."}
, { 'STORE', 16#1c, false, true, 20, [a,a], store, {any}, any, "Arg0 := Arg1."}
, { 'SHA3', 16#1d, false, true, 45, [a,a], sha3, {any}, hash, "Arg0 := sha3(Arg1)."}
, { 'SHA256', 16#1e, false, true, 43, [a,a], sha256, {any}, hash, "Arg0 := sha256(Arg1)."}
, { 'BLAKE2B', 16#1f, false, true, 40, [a,a], blake2b, {any}, hash, "Arg0 := blake2b(Arg1)."}
, { 'LT', 16#20, false, true, 15, [a,a,a], lt, {integer, integer}, boolean, "Arg0 := Arg1 < Arg2."}
, { 'GT', 16#21, false, true, 15, [a,a,a], gt, {integer, integer}, boolean, "Arg0 := Arg1 > Arg2."}
, { 'EQ', 16#22, false, true, 15, [a,a,a], eq, {integer, integer}, boolean, "Arg0 := Arg1 = Arg2."}
, { 'ELT', 16#23, false, true, 16, [a,a,a], elt, {integer, integer}, boolean, "Arg0 := Arg1 =< Arg2."}
, { 'EGT', 16#24, false, true, 15, [a,a,a], egt, {integer, integer}, boolean, "Arg0 := Arg1 >= Arg2."}
, { 'NEQ', 16#25, false, true, 16, [a,a,a], neq, {integer, integer}, boolean, "Arg0 := Arg1 /= Arg2."}
, { 'AND', 16#26, false, true, 16, [a,a,a], and_op, {boolean, boolean}, boolean, "Arg0 := Arg1 and Arg2."}
, { 'OR', 16#27, false, true, 16, [a,a,a], or_op, {boolean, boolean}, boolean, "Arg0 := Arg1 or Arg2."}
, { 'NOT', 16#28, false, true, 13, [a,a], not_op, {boolean}, boolean, "Arg0 := not Arg1."}
, { 'TUPLE', 16#29, false, true, 15, [a,ii], tuple, {integer}, tuple, "Arg0 := tuple of size = Arg1. Elements on stack."}
, { 'ELEMENT', 16#2a, false, true, 3, [a,a,a], element_op, {integer, tuple}, any, "Arg1 := element(Arg2, Arg3)."}
, { 'SETELEMENT', 16#2b, false, true, 3, [a,a,a,a], setelement, {integer, tuple, any}, tuple, "Arg0 := a new tuple similar to Arg2, but with element number Arg1 replaced by Arg3."}
, { 'MAP_EMPTY', 16#2c, false, true, 3, [a], map_empty, {}, map, "Arg0 := #{}."}
@ -125,7 +125,7 @@ ops_defs() ->
, { 'ORIGIN', 16#4f, false, true, 3, [a], origin, {}, address, "Arg0 := Address of contract called by the call transaction."}
, { 'CALLER', 16#50, false, true, 3, [a], caller, {}, address, "Arg0 := The address that signed the call transaction."}
, { 'GASPRICE', 16#51, false, true, 3, [a], gasprice, {}, integer, "Arg0 := The current gas price."}
, { 'BLOCKHASH', 16#52, false, true, 3, [a,a], blockhash, {integer}, hash, "Arg0 := The blockhash at height."}
, { 'BLOCKHASH', 16#52, false, true, 3, [a,a], blockhash, {integer}, hash, "Arg0 := The blockhash at height Arg1."}
, { 'BENEFICIARY', 16#53, false, true, 3, [a], beneficiary, {}, address, "Arg0 := The address of the current beneficiary."}
, { 'TIMESTAMP', 16#54, false, true, 3, [a], timestamp, {}, integer, "Arg0 := The current timestamp. Unrelaiable, don't use for anything."}
, { 'GENERATION', 16#55, false, true, 3, [a], generation, {}, integer, "Arg0 := The block height of the cureent generation."}
@ -205,6 +205,7 @@ generate_opcodes_ops(Modulename, HrlFile, SrcDir, Ops) ->
Args = lists:flatten([gen_args(Op) || Op <- Ops]),
EndBB = lists:flatten([gen_bb(Op) || Op <- Ops]),
InAuth = lists:flatten([gen_in_auth(Op) || Op <- Ops]),
ResType = lists:flatten([gen_res_type(Op) || Op <- Ops]),
io:format(File, "~s", [prelude("Provides opcode primitives.\n")]),
io:format(File, "~s", [ops_exports(Modulename, HrlFile,
@ -213,6 +214,7 @@ generate_opcodes_ops(Modulename, HrlFile, SrcDir, Ops) ->
" , in_auth/1\n"
" , mnemonic/1\n"
" , m_to_op/1\n"
" , result_type/1\n"
])]),
io:format(File, "%% FATE mnemonics\n~s", [Mnemonic]),
@ -230,6 +232,9 @@ generate_opcodes_ops(Modulename, HrlFile, SrcDir, Ops) ->
io:format(File, "%% Is FATE Op allowed in GA Authentication context?\n~s", [InAuth]),
io:format(File, "in_auth(_) -> false.\n\n", []),
io:format(File, "%% What is the result type.\n~s", [ResType]),
io:format(File, "result_type(_) -> none.\n\n", []),
file:close(File).
generate_code_ops(Modulename, SrcDir, Ops) ->
@ -369,6 +374,11 @@ gen_in_auth(#{macro := Macro, in_auth := InAuth}) ->
lists:flatten(io_lib:format("in_auth(~21s) -> ~w ;\n",
[Macro, InAuth])).
gen_res_type(#{macro := Macro, res_type := ResType}) ->
lists:flatten(io_lib:format("result_type(~21s) -> ~w ;\n",
[Macro, ResType])).
prelude(Doc) ->
"%%%-------------------------------------------------------------------\n"
"%%% @copyright (C) 2019, Aeternity Anstalt\n"

123
test/asm_code/add_loop.fate Normal file
View File

@ -0,0 +1,123 @@
;; CONTRACT empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH 0
JUMP 1
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
ADD a 0 0
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
ADDR_TO_STR a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

123
test/asm_code/and_loop.fate Normal file
View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH 0
JUMP 1
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
AND a true true
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
APPEND a [1] [2]
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
BALANCE a
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
BITS_ALL a
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
BITS_ALL_N a 42
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
BITS_ALLA
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
BITS_AND a <101010> <010101>
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
BITS_CLEAR a <101010> 1
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
BITS_DIFF a <101010> <010101>
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
BITS_NONE a
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
BITS_NONEA
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
BITS_OR a <101010> <010101>
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
BITS_SET a <101010> 2
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
BITS_SUM a <101010>
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
BITS_TEST a <101010> 1
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; CONTRACT empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH 0
JUMP 1
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
BLAKE2B a "This is a string"
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
BLOCKHASH var3 0
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
CALLER var3
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
CONS a 42 []
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

123
test/asm_code/dec_loop.fate Normal file
View File

@ -0,0 +1,123 @@
;; CONTRACT empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH 0
JUMP 1
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC a
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; CONTRACT empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH 0
JUMP 1
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DECA
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

123
test/asm_code/div_loop.fate Normal file
View File

@ -0,0 +1,123 @@
;; CONTRACT empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH 0
JUMP 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DIV a 1 1
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

123
test/asm_code/dup_loop.fate Normal file
View File

@ -0,0 +1,123 @@
;; CONTRACT empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH 0
JUMP 1
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DUP 0
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

123
test/asm_code/dup_lop.fate Normal file
View File

@ -0,0 +1,123 @@
;; CONTRACT empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH 0
JUMP 1
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; CONTRACT empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH 0
JUMP 1
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DUPA
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

123
test/asm_code/egt_loop.fate Normal file
View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH 0
JUMP 1
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
EGT a 0 0
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
ELEMENT a 0 (42)
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

123
test/asm_code/elt_loop.fate Normal file
View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH 0
JUMP 1
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
ELT a 0 0
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

5
test/asm_code/empty.fate Normal file
View File

@ -0,0 +1,5 @@
;; CONTRACT empty
FUNCTION run () : integer
RETURNR 0

View File

@ -0,0 +1,12 @@
;; CONTRACT empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
JUMP 1
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

123
test/asm_code/eq_loop.fate Normal file
View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH 0
JUMP 1
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
EQ a 0 0
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
GASPRICE var3
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

123
test/asm_code/gt_loop.fate Normal file
View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH 0
JUMP 1
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
GT a 0 0
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

123
test/asm_code/hd_loop.fate Normal file
View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
HD a [42]
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

123
test/asm_code/inc_loop.fate Normal file
View File

@ -0,0 +1,123 @@
;; CONTRACT empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH 0
JUMP 1
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
INC a
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; CONTRACT empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH 0
JUMP 1
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
INCA
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
INT_TO_ADDR a 42
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
INT_TO_STR a 42
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
IS_NIL a []
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
LENGTH a [42]
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

123
test/asm_code/lt_loop.fate Normal file
View File

@ -0,0 +1,123 @@
;; CONTRACT empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH 0
JUMP 1
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
LT a 0 0
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
MAP_DELETE a { 42 => true } 42
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
MAP_EMPTY a
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
MAP_FROM_LIST a [ ( 42, true) ]
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
MAP_LOOKUP a { 42 => true } 42
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
MAP_LOOKUPD a { 42 => true } 41 false
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
MAP_MEMBER a { 42 => true } 42
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
MAP_UPDATE a { 42 => true } 42 false
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

123
test/asm_code/mod_loop.fate Normal file
View File

@ -0,0 +1,123 @@
;; CONTRACT empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH 0
JUMP 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
MOD a 1 1
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

123
test/asm_code/mul_loop.fate Normal file
View File

@ -0,0 +1,123 @@
;; CONTRACT empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH 0
JUMP 1
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
MUL a 0 0
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

123
test/asm_code/neq_loop.fate Normal file
View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH 0
JUMP 1
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
NEQ a 0 0
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

123
test/asm_code/nil_loop.fate Normal file
View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
NIL a
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

123
test/asm_code/not_loop.fate Normal file
View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH 0
JUMP 1
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
NOT a true
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

123
test/asm_code/or_loop.fate Normal file
View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH 0
JUMP 1
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
OR a true true
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
ORIGIN var3
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

123
test/asm_code/pop_loop.fate Normal file
View File

@ -0,0 +1,123 @@
;; CONTRACT empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH 0
JUMP 1
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
POP a
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

123
test/asm_code/pow_loop.fate Normal file
View File

@ -0,0 +1,123 @@
;; CONTRACT empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH 0
JUMP 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
POW a 1 1
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,122 @@
;; CONTRACT empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
JUMP 1
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
PUSH 0
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
SETELEMENT a 0 (42) 0
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; CONTRACT empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH 0
JUMP 1
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; CONTRACT empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH 0
JUMP 1
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
SHA256 a "This is a string"
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; CONTRACT empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH 0
JUMP 1
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
STORE var3 0
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
STR_JOIN a "hello " "world!"
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
STR_REVERSE a "abba"
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

123
test/asm_code/sub_loop.fate Normal file
View File

@ -0,0 +1,123 @@
;; CONTRACT empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH 0
JUMP 1
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
SUB a 0 0
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

123
test/asm_code/tl_loop.fate Normal file
View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
TL a [42]
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH 0
JUMP 1
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
TUPLE a 0
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
VARIANT_ELEMENT a (| [1] | 0 | (42) |) 0
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
VARIANT a [0] 0 0
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0

View File

@ -0,0 +1,123 @@
;; Contract empty_loop
FUNCTION run (integer) : integer
STORE var0 arg0
PUSH (0)
JUMP 1
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
VARIANT_TEST a (| [0] | 0 | () |) 0
DEC var0
GT var1 var0 0
JUMPIF var1 1
RETURNR 0