QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

Add DBG_CONTRACT instruction

Browse Source
This commit is contained in:
Gaith Hallak 2023-03-19 13:15:31 +03:00
parent 73133e39dc
commit e579ea15e8
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/aeso_fcode_to_fate.erl
View File

@ -122,7 +122,7 @@ function_to_scode(ChildContracts, ContractName, Functions, Name, Attrs0, Args, B
%% DBG_LOC is added before the function body to make it possible to break %% DBG_LOC is added before the function body to make it possible to break
%% at the function signature %% at the function signature
SCode = dbg_loc(Env, Attrs0) ++ to_scode(Env, Body), SCode = dbg_contract(Env) ++ dbg_loc(Env, Attrs0) ++ to_scode(Env, Body),
ScopedSCode = dbg_scoped_vars(Env, ArgsNames, SCode), ScopedSCode = dbg_scoped_vars(Env, ArgsNames, SCode),
{Attrs, {ArgTypes, ResType1}, ScopedSCode}. {Attrs, {ArgTypes, ResType1}, ScopedSCode}.
@ -738,6 +738,11 @@ tuple(N) -> aeb_fate_ops:tuple(?a, N).
%% -- Debug info functions -- %% -- Debug info functions --
dbg_contract(#env{debug_info = false}) ->
[];
dbg_contract(#env{contract = Contract}) ->
[{'DBG_CONTRACT', {immediate, Contract}}].
dbg_loc(#env{debug_info = false}, _) -> dbg_loc(#env{debug_info = false}, _) ->
[]; [];
dbg_loc(_Env, Ann) -> dbg_loc(_Env, Ann) ->
@ -934,6 +939,7 @@ attributes(I) ->
{'DBG_LOC', _, _} -> Impure(none, []); {'DBG_LOC', _, _} -> Impure(none, []);
{'DBG_DEF', _, _} -> Impure(none, []); {'DBG_DEF', _, _} -> Impure(none, []);
{'DBG_UNDEF', _, _} -> Impure(none, []); {'DBG_UNDEF', _, _} -> Impure(none, []);
{'DBG_CONTRACT', _} -> Impure(none, []);
{'RETURNR', A} -> Impure(pc, A); {'RETURNR', A} -> Impure(pc, A);
{'CALL', A} -> Impure(?a, [A]); {'CALL', A} -> Impure(?a, [A]);
{'CALL_R', A, _, B, C, D} -> Impure(?a, [A, B, C, D]); {'CALL_R', A, _, B, C, D} -> Impure(?a, [A, B, C, D]);