Return mapping from variables to registers in fate compilation #902

Merged
ghallak merged 13 commits from ghallak/vars-registers-map into master 2022-10-25 15:42:03 +09:00
Showing only changes of commit 20f6d0d130 - Show all commits

View File

@ -138,7 +138,8 @@ get_variables_registers() ->
add_variables_register(Env = #env{saved_fresh_names = SavedFreshNames}, Name, Register) ->
Olds = get_variables_registers(),
RealName = maps:get(Name, SavedFreshNames, Name),
New = {Env#env.contract, Env#env.current_function, RealName},
FunName = binary_to_list(make_function_name(Env#env.current_function)),
New = {Env#env.contract, FunName, RealName},
put(variables_registers, Olds#{New => Register}).
-define(tvars, '$tvars').