aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorBjörn Gustavsson <[email protected]>2016-05-11 13:22:01 +0200
committerBjörn Gustavsson <[email protected]>2016-05-13 10:52:25 +0200
commit3701f7078627d6a4daab3049f09036c4e410d5fb (patch)
tree9a52bbf12f5f445777089b6ee5b986c4aea5517f
parent8c76f74c376d8ced1742e59b8bee851502411124 (diff)
downloadotp-3701f7078627d6a4daab3049f09036c4e410d5fb.tar.gz
otp-3701f7078627d6a4daab3049f09036c4e410d5fb.tar.bz2
otp-3701f7078627d6a4daab3049f09036c4e410d5fb.zip
beam_utils: Remove unused code
-rw-r--r--lib/compiler/src/beam_utils.erl11
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) ->