From 93d5df429ccf509756e09a7e5aad6f5b9eeb5763 Mon Sep 17 00:00:00 2001 From: Erik Stenman Date: Sun, 30 Jun 2019 15:13:16 +0200 Subject: [PATCH] Test files for measurements. --- test/asm_code/add_loop.fate | 123 ++++++++++++++++++++++++++++++++ test/asm_code/and_loop.fate | 123 ++++++++++++++++++++++++++++++++ test/asm_code/blake2b_loop.fate | 123 ++++++++++++++++++++++++++++++++ test/asm_code/dec_loop.fate | 123 ++++++++++++++++++++++++++++++++ test/asm_code/deca_loop.fate | 123 ++++++++++++++++++++++++++++++++ test/asm_code/div_loop.fate | 123 ++++++++++++++++++++++++++++++++ test/asm_code/dup_loop.fate | 123 ++++++++++++++++++++++++++++++++ test/asm_code/dupa_loop.fate | 123 ++++++++++++++++++++++++++++++++ test/asm_code/egt_loop.fate | 123 ++++++++++++++++++++++++++++++++ test/asm_code/elt_loop.fate | 123 ++++++++++++++++++++++++++++++++ test/asm_code/empty_loop.fate | 12 ++++ test/asm_code/eq_loop.fate | 123 ++++++++++++++++++++++++++++++++ test/asm_code/gt_loop.fate | 123 ++++++++++++++++++++++++++++++++ test/asm_code/inc_loop.fate | 123 ++++++++++++++++++++++++++++++++ test/asm_code/inca_loop.fate | 123 ++++++++++++++++++++++++++++++++ test/asm_code/lt_loop.fate | 123 ++++++++++++++++++++++++++++++++ test/asm_code/mod_loop.fate | 123 ++++++++++++++++++++++++++++++++ test/asm_code/mul_loop.fate | 123 ++++++++++++++++++++++++++++++++ test/asm_code/neq_loop.fate | 123 ++++++++++++++++++++++++++++++++ test/asm_code/not_loop.fate | 123 ++++++++++++++++++++++++++++++++ test/asm_code/or_loop.fate | 123 ++++++++++++++++++++++++++++++++ test/asm_code/pop_loop.fate | 123 ++++++++++++++++++++++++++++++++ test/asm_code/pow_loop.fate | 123 ++++++++++++++++++++++++++++++++ test/asm_code/push_loop.fate | 122 +++++++++++++++++++++++++++++++ test/asm_code/sha256_loop.fate | 123 ++++++++++++++++++++++++++++++++ test/asm_code/sha3_loop.fate | 123 ++++++++++++++++++++++++++++++++ test/asm_code/store_loop.fate | 123 ++++++++++++++++++++++++++++++++ test/asm_code/sub_loop.fate | 123 ++++++++++++++++++++++++++++++++ test/asm_code/tuple_loop.fate | 123 ++++++++++++++++++++++++++++++++ 29 files changed, 3455 insertions(+) create mode 100644 test/asm_code/add_loop.fate create mode 100644 test/asm_code/and_loop.fate create mode 100644 test/asm_code/blake2b_loop.fate create mode 100644 test/asm_code/dec_loop.fate create mode 100644 test/asm_code/deca_loop.fate create mode 100644 test/asm_code/div_loop.fate create mode 100644 test/asm_code/dup_loop.fate create mode 100644 test/asm_code/dupa_loop.fate create mode 100644 test/asm_code/egt_loop.fate create mode 100644 test/asm_code/elt_loop.fate create mode 100644 test/asm_code/empty_loop.fate create mode 100644 test/asm_code/eq_loop.fate create mode 100644 test/asm_code/gt_loop.fate create mode 100644 test/asm_code/inc_loop.fate create mode 100644 test/asm_code/inca_loop.fate create mode 100644 test/asm_code/lt_loop.fate create mode 100644 test/asm_code/mod_loop.fate create mode 100644 test/asm_code/mul_loop.fate create mode 100644 test/asm_code/neq_loop.fate create mode 100644 test/asm_code/not_loop.fate create mode 100644 test/asm_code/or_loop.fate create mode 100644 test/asm_code/pop_loop.fate create mode 100644 test/asm_code/pow_loop.fate create mode 100644 test/asm_code/push_loop.fate create mode 100644 test/asm_code/sha256_loop.fate create mode 100644 test/asm_code/sha3_loop.fate create mode 100644 test/asm_code/store_loop.fate create mode 100644 test/asm_code/sub_loop.fate create mode 100644 test/asm_code/tuple_loop.fate diff --git a/test/asm_code/add_loop.fate b/test/asm_code/add_loop.fate new file mode 100644 index 0000000..260b418 --- /dev/null +++ b/test/asm_code/add_loop.fate @@ -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 + diff --git a/test/asm_code/and_loop.fate b/test/asm_code/and_loop.fate new file mode 100644 index 0000000..3b9ab64 --- /dev/null +++ b/test/asm_code/and_loop.fate @@ -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 + diff --git a/test/asm_code/blake2b_loop.fate b/test/asm_code/blake2b_loop.fate new file mode 100644 index 0000000..a6cc794 --- /dev/null +++ b/test/asm_code/blake2b_loop.fate @@ -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 + diff --git a/test/asm_code/dec_loop.fate b/test/asm_code/dec_loop.fate new file mode 100644 index 0000000..63b2269 --- /dev/null +++ b/test/asm_code/dec_loop.fate @@ -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 + diff --git a/test/asm_code/deca_loop.fate b/test/asm_code/deca_loop.fate new file mode 100644 index 0000000..9f796f2 --- /dev/null +++ b/test/asm_code/deca_loop.fate @@ -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 + diff --git a/test/asm_code/div_loop.fate b/test/asm_code/div_loop.fate new file mode 100644 index 0000000..ee7c0c2 --- /dev/null +++ b/test/asm_code/div_loop.fate @@ -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 + diff --git a/test/asm_code/dup_loop.fate b/test/asm_code/dup_loop.fate new file mode 100644 index 0000000..ebbf24f --- /dev/null +++ b/test/asm_code/dup_loop.fate @@ -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 + diff --git a/test/asm_code/dupa_loop.fate b/test/asm_code/dupa_loop.fate new file mode 100644 index 0000000..effa405 --- /dev/null +++ b/test/asm_code/dupa_loop.fate @@ -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 + diff --git a/test/asm_code/egt_loop.fate b/test/asm_code/egt_loop.fate new file mode 100644 index 0000000..90e0b0f --- /dev/null +++ b/test/asm_code/egt_loop.fate @@ -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 + diff --git a/test/asm_code/elt_loop.fate b/test/asm_code/elt_loop.fate new file mode 100644 index 0000000..4d5265e --- /dev/null +++ b/test/asm_code/elt_loop.fate @@ -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 + diff --git a/test/asm_code/empty_loop.fate b/test/asm_code/empty_loop.fate new file mode 100644 index 0000000..1c4045d --- /dev/null +++ b/test/asm_code/empty_loop.fate @@ -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 + diff --git a/test/asm_code/eq_loop.fate b/test/asm_code/eq_loop.fate new file mode 100644 index 0000000..7cf556f --- /dev/null +++ b/test/asm_code/eq_loop.fate @@ -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 + diff --git a/test/asm_code/gt_loop.fate b/test/asm_code/gt_loop.fate new file mode 100644 index 0000000..1761bd8 --- /dev/null +++ b/test/asm_code/gt_loop.fate @@ -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 + diff --git a/test/asm_code/inc_loop.fate b/test/asm_code/inc_loop.fate new file mode 100644 index 0000000..42c72b5 --- /dev/null +++ b/test/asm_code/inc_loop.fate @@ -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 + diff --git a/test/asm_code/inca_loop.fate b/test/asm_code/inca_loop.fate new file mode 100644 index 0000000..b1904ef --- /dev/null +++ b/test/asm_code/inca_loop.fate @@ -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 + diff --git a/test/asm_code/lt_loop.fate b/test/asm_code/lt_loop.fate new file mode 100644 index 0000000..7364cb0 --- /dev/null +++ b/test/asm_code/lt_loop.fate @@ -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 + diff --git a/test/asm_code/mod_loop.fate b/test/asm_code/mod_loop.fate new file mode 100644 index 0000000..7fd6551 --- /dev/null +++ b/test/asm_code/mod_loop.fate @@ -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 + diff --git a/test/asm_code/mul_loop.fate b/test/asm_code/mul_loop.fate new file mode 100644 index 0000000..82eb863 --- /dev/null +++ b/test/asm_code/mul_loop.fate @@ -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 + diff --git a/test/asm_code/neq_loop.fate b/test/asm_code/neq_loop.fate new file mode 100644 index 0000000..bfee624 --- /dev/null +++ b/test/asm_code/neq_loop.fate @@ -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 + diff --git a/test/asm_code/not_loop.fate b/test/asm_code/not_loop.fate new file mode 100644 index 0000000..d1c9d06 --- /dev/null +++ b/test/asm_code/not_loop.fate @@ -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 + diff --git a/test/asm_code/or_loop.fate b/test/asm_code/or_loop.fate new file mode 100644 index 0000000..3032956 --- /dev/null +++ b/test/asm_code/or_loop.fate @@ -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 + diff --git a/test/asm_code/pop_loop.fate b/test/asm_code/pop_loop.fate new file mode 100644 index 0000000..edb1900 --- /dev/null +++ b/test/asm_code/pop_loop.fate @@ -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 + diff --git a/test/asm_code/pow_loop.fate b/test/asm_code/pow_loop.fate new file mode 100644 index 0000000..4cef120 --- /dev/null +++ b/test/asm_code/pow_loop.fate @@ -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 + diff --git a/test/asm_code/push_loop.fate b/test/asm_code/push_loop.fate new file mode 100644 index 0000000..1ad6bc0 --- /dev/null +++ b/test/asm_code/push_loop.fate @@ -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 + diff --git a/test/asm_code/sha256_loop.fate b/test/asm_code/sha256_loop.fate new file mode 100644 index 0000000..7207308 --- /dev/null +++ b/test/asm_code/sha256_loop.fate @@ -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 + diff --git a/test/asm_code/sha3_loop.fate b/test/asm_code/sha3_loop.fate new file mode 100644 index 0000000..7207308 --- /dev/null +++ b/test/asm_code/sha3_loop.fate @@ -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 + diff --git a/test/asm_code/store_loop.fate b/test/asm_code/store_loop.fate new file mode 100644 index 0000000..f14a270 --- /dev/null +++ b/test/asm_code/store_loop.fate @@ -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 + diff --git a/test/asm_code/sub_loop.fate b/test/asm_code/sub_loop.fate new file mode 100644 index 0000000..9620805 --- /dev/null +++ b/test/asm_code/sub_loop.fate @@ -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 + diff --git a/test/asm_code/tuple_loop.fate b/test/asm_code/tuple_loop.fate new file mode 100644 index 0000000..a2da6e6 --- /dev/null +++ b/test/asm_code/tuple_loop.fate @@ -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 +