diff options
| author | Björn Gustavsson <[email protected]> | 2016-05-11 13:22:01 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2016-05-13 10:52:25 +0200 |
| commit | 3701f7078627d6a4daab3049f09036c4e410d5fb (patch) | |
| tree | 9a52bbf12f5f445777089b6ee5b986c4aea5517f /lib/compiler/src/beam_utils.erl | |
| parent | 8c76f74c376d8ced1742e59b8bee851502411124 (diff) | |
| download | otp-3701f7078627d6a4daab3049f09036c4e410d5fb.tar.gz otp-3701f7078627d6a4daab3049f09036c4e410d5fb.tar.bz2 otp-3701f7078627d6a4daab3049f09036c4e410d5fb.zip | |
beam_utils: Remove unused code
Diffstat (limited to 'lib/compiler/src/beam_utils.erl')
| -rw-r--r-- | lib/compiler/src/beam_utils.erl | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/lib/compiler/src/beam_utils.erl b/lib/compiler/src/beam_utils.erl index dd3c2ff913..9169a494f6 100644 --- a/lib/compiler/src/beam_utils.erl +++ b/lib/compiler/src/beam_utils.erl @@ -591,8 +591,10 @@ check_killed_block(_, []) -> transparent. %% killed - Reg is assigned a new value or killed by an allocation instruction %% transparent - Reg is neither used nor killed %% used - Reg is explicitly used by an instruction -%% -%% (Unknown instructions will cause an exception.) +%% +%% '%live' annotations are not allowed. +%% +%% (Unknown instructions will cause an exception.) check_used_block({x,X}=R, [{set,Ds,Ss,{alloc,Live,Op}}|Is], St) -> if @@ -601,11 +603,6 @@ check_used_block({x,X}=R, [{set,Ds,Ss,{alloc,Live,Op}}|Is], St) -> end; check_used_block(R, [{set,Ds,Ss,Op}|Is], St) -> check_used_block_1(R, Ss, Ds, Op, Is, St); -check_used_block(R, [{'%live',Live,_}|Is], St) -> - case R of - {x,X} when X >= Live -> {killed,St}; - _ -> check_used_block(R, Is, St) - end; check_used_block(_, [], St) -> {transparent,St}. check_used_block_1(R, Ss, Ds, Op, Is, St0) -> |