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

Pt 164259596 generate format op #127

Merged
zxq9 merged 20 commits from PT-164259596-generate-format-op into fortuna 2019-03-01 03:18:26 +09:00
Conversation 7 Commits 20 Files Changed 12 +15 -8
1 changed files with 15 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 37a6a5ca74 - Show all commits

23
src/aeb_fate_asm.erl
View File

@ -2,6 +2,21 @@
%%% @copyright (C) 2019, Aeternity Anstalt %%% @copyright (C) 2019, Aeternity Anstalt
%%% @doc Assembler for Fate machine code. %%% @doc Assembler for Fate machine code.
%%% %%%
%%% Fate code exists in 3 formats:
%%%
%%% 1. Fate byte code. This format is under consensus.
%%% 2. Fate assembler. This is a text represenation of fate code.
%%% This is not under consensus and other
%%% implemenation and toolchains could have
%%% their own format.
%%% 3. Internal. This is an Erlang representation of fate code
%%% Used by this particular engin implementation.
%%%
%%% This library handles all tree representations.
%%% The byte code format is described in a separate document.
%%% The internal format is described in a separate document.
%%% The text representation is described here:
%%%
%%% Assembler code can be read from a file. %%% Assembler code can be read from a file.
%%% The assembler has the following format %%% The assembler has the following format
%%% Comments start with 2 semicolons and runs till end of line %%% Comments start with 2 semicolons and runs till end of line
@ -157,14 +172,6 @@ format_arg_types([T|Ts]) ->
, ", " , ", "
, format_arg_types(Ts)]. , format_arg_types(Ts)].
format_arg({immediate, I}) ->
aeb_fate_data:format(I);
format_arg({arg, N}) -> io_lib:format("arg~p", [N]);
format_arg({var, N}) -> io_lib:format("var~p", [N]);
format_arg({stack, 0}) -> "a";
format_arg({stack, N}) -> io_lib:format("a~p", [N]).
format_type(T) -> format_type(T) ->
%% TODO: Limit to ok types. %% TODO: Limit to ok types.
io_lib:format("~p", [T]). io_lib:format("~p", [T]).