diff options
| author | José Valim <[email protected]> | 2019-03-01 05:18:34 -0800 |
|---|---|---|
| committer | José Valim <[email protected]> | 2019-03-01 05:19:55 -0800 |
| commit | 1b706c511e9508c910296b255bdeb279e0957ff5 (patch) | |
| tree | ef1695a4ae349e421207a785e86acf96f141123a /lib/compiler/src/v3_kernel.erl | |
| parent | cc12aeb0ce4a9444aba199f6d145ef525de268a9 (diff) | |
| download | otp-1b706c511e9508c910296b255bdeb279e0957ff5.tar.gz otp-1b706c511e9508c910296b255bdeb279e0957ff5.tar.bz2 otp-1b706c511e9508c910296b255bdeb279e0957ff5.zip | |
Move size=all binary clause prunning to v3_kernel
The advantage of moving it up is that it reduces the
size of the code emitted by v3_kernel, speeding
v3_kernel itself and beam_kernel_to_ssa pass.
Diffstat (limited to 'lib/compiler/src/v3_kernel.erl')
| -rw-r--r-- | lib/compiler/src/v3_kernel.erl | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/compiler/src/v3_kernel.erl b/lib/compiler/src/v3_kernel.erl index 86351bc0c5..7bf1a202d9 100644 --- a/lib/compiler/src/v3_kernel.erl +++ b/lib/compiler/src/v3_kernel.erl @@ -2040,6 +2040,10 @@ get_match(#k_cons{}, St0) -> get_match(#k_binary{}, St0) -> {[V]=Mes,St1} = new_vars(1, St0), {#k_binary{segs=V},Mes,St1}; +get_match(#k_bin_seg{size=#k_atom{val=all},next={k_bin_end,[]}}=Seg, St0) -> + {[S,N0],St1} = new_vars(2, St0), + N = set_kanno(N0, [no_usage]), + {Seg#k_bin_seg{seg=S,next=N},[S],St1}; get_match(#k_bin_seg{}=Seg, St0) -> {[S,N0],St1} = new_vars(2, St0), N = set_kanno(N0, [no_usage]), @@ -2067,6 +2071,9 @@ new_clauses(Cs0, U, St) -> #k_cons{hd=H,tl=T} -> [H,T|As]; #k_tuple{es=Es} -> Es ++ As; #k_binary{segs=E} -> [E|As]; + #k_bin_seg{size=#k_atom{val=all}, + seg=S,next={k_bin_end,[]}} -> + [S|As]; #k_bin_seg{seg=S,next=N} -> [S,N|As]; #k_bin_int{next=N} -> |