diff options
| author | Björn Gustavsson <[email protected]> | 2018-08-30 06:55:37 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2018-09-12 14:19:05 +0200 |
| commit | 8e4f23224a90d35683dbd45007682c861c4eb354 (patch) | |
| tree | 4e1b6246c1f1389d716a7df2882481250cb8a20c /lib/compiler/test/match_SUITE.erl | |
| parent | 71182c868e97dac0833c710c033fde871eb3a8f0 (diff) | |
| download | otp-8e4f23224a90d35683dbd45007682c861c4eb354.tar.gz otp-8e4f23224a90d35683dbd45007682c861c4eb354.tar.bz2 otp-8e4f23224a90d35683dbd45007682c861c4eb354.zip | |
beam_peep: Add is_boolean optimization of select_val
A select_val instruction that test whether a register is a boolean
like this:
{select_val,Reg,{f,Fail},{list,[{atom,true},Lbl,{atom,false},Lbl]}}.
can be replaced with an is_boolean test:
{test,is_boolean,{f,Fail},[Reg]}.
{jump,{f,Lbl}}.
This optimization is currently done in beam_dead. However, if done in
the beam_peep, it can catch more opportunities to do the optimization,
because after having run beam_jump, labels that were different have
been coalesced.
Diffstat (limited to 'lib/compiler/test/match_SUITE.erl')
0 files changed, 0 insertions, 0 deletions