diff options
| author | Björn Gustavsson <[email protected]> | 2010-04-19 07:29:54 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2010-04-19 07:39:38 +0200 |
| commit | e965d90b5fe84fcb519ab8a8d41f7c0acb4c4c68 (patch) | |
| tree | dcc9df7e56536d8f2b5ede7c77a56b8c2e696e12 | |
| parent | f39289291f9fcbb7b813584edb7d465e480be212 (diff) | |
| download | otp-e965d90b5fe84fcb519ab8a8d41f7c0acb4c4c68.tar.gz otp-e965d90b5fe84fcb519ab8a8d41f7c0acb4c4c68.tar.bz2 otp-e965d90b5fe84fcb519ab8a8d41f7c0acb4c4c68.zip | |
beam_type: Improve coalescing of fmove/2 and move/2 instructions
The following instruction sequence:
fmove {fr,Fr} {x,TempXreg}
move {x,TempXreg} {y,Dest}
is rewritten to:
fmove {fr,Fr} {y,Dest}
(Provided that {x,TempXreg} is killed by the instructions following
the sequence.)
Generalize the optimization to also handle:
fmove {fr,Fr} {x,TempXreg}
move {x,TempXreg} {_,Dest}
That is, the destination register can be either an X or Y register.
| -rw-r--r-- | lib/compiler/src/beam_type.erl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/compiler/src/beam_type.erl b/lib/compiler/src/beam_type.erl index 66c8816409..3729ccb0da 100644 --- a/lib/compiler/src/beam_type.erl +++ b/lib/compiler/src/beam_type.erl @@ -183,7 +183,7 @@ simplify_float_1([], Ts, Rs, Acc0) -> {Is,Ts}. opt_fmoves([{set,[{x,_}=R],[{fr,_}]=Src,fmove}=I1, - {set,[{y,_}]=Dst,[{x,_}=R],move}=I2|Is], Acc) -> + {set,[_]=Dst,[{x,_}=R],move}=I2|Is], Acc) -> case beam_utils:is_killed_block(R, Is) of false -> opt_fmoves(Is, [I2,I1|Acc]); true -> opt_fmoves(Is, [{set,Dst,Src,fmove}|Acc]) |