QPQ-AG/gmbytecode
10
0
Fork 0
Code Issues 1 Pull Requests 1 Actions Packages Projects Releases 9 Wiki Activity

Add missing basic instructions #162

Merged
gorillainduction merged 2 commits from PT-166282300-add-missing-fate-instructions into master 2019-05-28 18:15:05 +09:00
Conversation 4 Commits 2 Files Changed 2 +10
2 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/aeb_fate_generate_ops.erl
View File

@ -158,6 +158,10 @@ ops_defs() ->
, { 'AENS_REVOKE', 16#6d, false, 3, [], aens_revoke, {}, none, "NYI"} , { 'AENS_REVOKE', 16#6d, false, 3, [], aens_revoke, {}, none, "NYI"}
, { 'ECVERIFY', 16#6e, false, 3, [], ecverify, {}, none, "NYI"} , { 'ECVERIFY', 16#6e, false, 3, [], ecverify, {}, none, "NYI"}
, { 'BALANCE_OTHER', 16#6f, false, 3, [a,a], balance_other, {address}, integer, "Arg0 := The balance of address Arg1."} , { 'BALANCE_OTHER', 16#6f, false, 3, [a,a], balance_other, {address}, integer, "Arg0 := The balance of address Arg1."}
%% TODO: Reorder these before documenting the specification
, { 'MAP_SIZE', 16#70, false, 3, [a,a], map_size, {map}, integer, "Arg0 := The size of the map Arg1."}
, { 'MAP_TO_LIST', 16#71, false, 3, [a,a], map_to_list_, {map}, list, "Arg0 := The tuple list representation of the map Arg1."}
, { 'STR_LENGTH', 16#72, false, 3, [a,a], str_length, {string}, integer, "Arg0 := The length of the string Arg1."}
, { 'DEACTIVATE', 16#fa, false, 3, [], deactivate, {}, none, "Mark the current contract for deactivation."} , { 'DEACTIVATE', 16#fa, false, 3, [], deactivate, {}, none, "Mark the current contract for deactivation."}
, { 'ABORT', 16#fb, true, 3, [a], abort, {string}, none, "Abort execution (dont use all gas) with error message in Arg0."} , { 'ABORT', 16#fb, true, 3, [a], abort, {string}, none, "Abort execution (dont use all gas) with error message in Arg0."}

6
test/asm_code/all_instructions.fate
View File

@ -96,6 +96,10 @@ FUNCTION foo () : {tuple, []}
MAP_FROM_LIST () a MAP_FROM_LIST () a
MAP_TO_LIST a { true => 4 }
MAP_SIZE a { true => 42 }
NIL arg91 NIL arg91
IS_NIL a var6 IS_NIL a var6
@ -118,6 +122,8 @@ FUNCTION foo () : {tuple, []}
STR_REVERSE a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv STR_REVERSE a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
STR_LENGTH a "foo"
INT_TO_ADDR arg127 var207 INT_TO_ADDR arg127 var207
VARIANT a a 0x1f7b72200 a VARIANT a a 0x1f7b72200 a