ŹR
test
, move
, allocate
считается за редукциюSize: a a a
ŹR
test
, move
, allocate
считается за редукциюŹR
A
ŹR
ŹR
Е
ŹR
ŹR
Е
ŹR
ŹR
-module(bind).
-export([bind/1]).
bind(A) ->
B=A+1,
C=B+1,
D=C+1,
io:format("~p~n", [D]),
ok.
{module, bind}. %% version = 0
{exports, [{bind,1},{module_info,0},{module_info,1}]}.
{attributes, []}.
{labels, 7}.
{function, bind, 1, 2}.
{label,1}.
{line,[{location,"test.erl",4}]}.
{func_info,{atom,bind},{atom,bind},1}.
{label,2}.
{line,[{location,"test.erl",5}]}.
{gc_bif,'+',{f,0},1,[{x,0},{integer,1}],{x,0}}.
{line,[{location,"test.erl",6}]}.
{gc_bif,'+',{f,0},1,[{x,0},{integer,1}],{x,0}}.
{line,[{location,"test.erl",7}]}.
{gc_bif,'+',{f,0},1,[{x,0},{integer,1}],{x,0}}.
{allocate_heap,0,2,1}.
{put_list,{x,0},nil,{x,1}}.
{move,{literal,"~p~n"},{x,0}}.
{line,[{location,"test.erl",8}]}.
{call_ext,2,{extfunc,io,format,2}}.
{move,{atom,ok},{x,0}}.
{deallocate,0}.
return.
{function, module_info, 0, 4}.
{label,3}.
{line,[]}.
{func_info,{atom,bind},{atom,module_info},0}.
{label,4}.
{move,{atom,bind},{x,0}}.
{line,[]}.
{call_ext_only,1,{extfunc,erlang,get_module_info,1}}.
{function, module_info, 1, 6}.
{label,5}.
{line,[]}.
{func_info,{atom,bind},{atom,module_info},1}.
{label,6}.
{move,{x,0},{x,1}}.
{move,{atom,bind},{x,0}}.
{line,[]}.
{call_ext_only,2,{extfunc,erlang,get_module_info,2}}.
ŹR
ŹR
SM
SM
ЛЛ
ЛЛ
AM
SM
V
SM