aboutsummaryrefslogtreecommitdiffstats
path: root/lib/compiler/src/beam_utils.erl
diff options
context:
space:
mode:
authorBjörn Gustavsson <[email protected]>2017-12-13 10:10:44 +0100
committerBjörn Gustavsson <[email protected]>2017-12-15 12:31:28 +0100
commit6a80fec6fdb754b82a9c92804802797195431729 (patch)
tree681a8ebbdfeb342d2d2a31119de179092fc1b7ea /lib/compiler/src/beam_utils.erl
parent46400bc3f3bf9ab5066723bd463989557bf2aabf (diff)
downloadotp-6a80fec6fdb754b82a9c92804802797195431729.tar.gz
otp-6a80fec6fdb754b82a9c92804802797195431729.tar.bz2
otp-6a80fec6fdb754b82a9c92804802797195431729.zip
beam_utils: Add usage/3
To avoid having to call both is_killed/3 and is_not_used/3, add usage/3 to answer both questions in one call.
Diffstat (limited to 'lib/compiler/src/beam_utils.erl')
-rw-r--r--lib/compiler/src/beam_utils.erl19
1 files changed, 18 insertions, 1 deletions
diff --git a/lib/compiler/src/beam_utils.erl b/lib/compiler/src/beam_utils.erl
index 1195a6b560..dcdbaa0bab 100644
--- a/lib/compiler/src/beam_utils.erl
+++ b/lib/compiler/src/beam_utils.erl
@@ -22,7 +22,7 @@
-module(beam_utils).
-export([is_killed_block/2,is_killed/3,is_killed_at/3,
- is_not_used/3,
+ is_not_used/3,usage/3,
empty_label_index/0,index_label/3,index_labels/1,replace_labels/4,
code_at/2,bif_to_test/3,is_pure_test/1,
live_opt/1,delete_live_annos/1,combine_heap_needs/2,
@@ -62,6 +62,23 @@
{lbl :: code_index(), %Label to code index.
res :: result_cache()}). %Result cache for each label.
+%% usage(Register, [Instruction], State) -> killed|not_used|used.
+%% Determine the usage of Register in the instruction sequence.
+%% The return value is one of:
+%%
+%% killed - The register is not used in any way.
+%% not_used - The register is referenced only by an allocating instruction
+%% (the actual value does not matter).
+%% used - The register is used (its value do matter).
+
+-spec usage(beam_asm:reg(), [instruction()], code_index()) ->
+ 'killed' | 'not_used' | 'used'.
+
+usage(R, Is, D) ->
+ St = #live{lbl=D,res=gb_trees:empty()},
+ {Usage,_} = check_liveness(R, Is, St),
+ Usage.
+
%% is_killed_block(Register, [Instruction]) -> true|false
%% Determine whether a register is killed by the instruction sequence inside