Apply common subexpression elimination in blocks

Eliminate repeated evaluation of guard BIFs and building of cons cells
in blocks. This optimization is applicable in more places than might be
expected, because code generation for binaries and record can generate
common sub expressions not visible in the original source code.

For example, consider this function:

make_binary(Term) ->
    Bin = term_to_binary(Term),
    Size = byte_size(Bin),
    <<Size:32,Bin/binary>>.

The compiler inserts a call to byte_size/2 to calculate the size of
the binary being built:

{function, make_binary, 1, 2}.
  {label,1}.
    {line,...}.
    {func_info,{atom,t},{atom,make_binary},1}.
  {label,2}.
    {allocate,0,1}.
    {line,...}.
    {call_ext,1,{extfunc,erlang,term_to_binary,1}}.

    {line,...}.
    {gc_bif,byte_size,{f,0},1,[{x,0}],{x,1}}.  %Present in original code.
    {line,...}.
    {gc_bif,byte_size,{f,0},2,[{x,0}],{x,2}}.  %Inserted by compiler.

    {bs_add,{f,0},[{x,2},{integer,4},1],{x,2}}.
    {bs_init2,{f,0},{x,2},0,2,{field_flags,[]},{x,2}}.
    {bs_put_integer,{f,0},{integer,32},1,{field_flags,[unsigned,big]},{x,1}}.
    {bs_put_binary,{f,0},{atom,all},8,{field_flags,[unsigned,big]},{x,0}}.
    {move,{x,2},{x,0}}.
    {deallocate,0}.
    return.

Common sub expression elimination (CSE) eliminates the second call to
byte_size/2:

{function, make_binary, 1, 2}.
  {label,1}.
    {line,...}.
    {func_info,{atom,t},{atom,make_binary},1}.
  {label,2}.
    {allocate,0,1}.
    {line,...}.
    {call_ext,1,{extfunc,erlang,term_to_binary,1}}.

    {line,...}.
    {gc_bif,byte_size,{f,0},1,[{x,0}],{x,1}}.
    {move,{x,1},{x,2}}.

    {bs_add,{f,0},[{x,2},{integer,4},1],{x,2}}.
    {bs_init2,{f,0},{x,2},0,2,{field_flags,[]},{x,2}}.
    {bs_put_integer,{f,0},{integer,32},1,{field_flags,[unsigned,big]},{x,1}}.
    {bs_put_binary,{f,0},{atom,all},8,{field_flags,[unsigned,big]},{x,0}}.
    {move,{x,2},{x,0}}.
    {deallocate,0}.
    return.

Note: A possible future optimization would be to include binary
construction instructions in blocks. If that is done, the
{move,{x,1},{x,2}} instruction could also be eliminated.

0 files changed, 0 insertions, 0 deletions