aboutsummaryrefslogtreecommitdiffstats
path: root/lib/hipe/flow
diff options
context:
space:
mode:
authorKostis Sagonas <[email protected]>2015-10-05 23:53:27 +0200
committerHans Bolinder <[email protected]>2015-10-09 11:37:54 +0200
commit9221ddadb0eb879462cd96183d3eaf6352830eb3 (patch)
treece049dd5ee655643256375f1cdacb5bf90d599dc /lib/hipe/flow
parentb0ad54fdc41528ddff7c1767403a514a4e0a3f9c (diff)
downloadotp-9221ddadb0eb879462cd96183d3eaf6352830eb3.tar.gz
otp-9221ddadb0eb879462cd96183d3eaf6352830eb3.tar.bz2
otp-9221ddadb0eb879462cd96183d3eaf6352830eb3.zip
Update and cleanup HiPE records
The bulk of the changes concerns cleanups and code refactorings concerning record constructions that assigned 'undefined' to record fields whose type did not contain this value. See commit 8ce35b2. While at it, some new type definitions were introduced and type names were used instead of record type notation. Minor code cleaups were also done.
Diffstat (limited to 'lib/hipe/flow')
-rw-r--r--lib/hipe/flow/cfg.hrl8
1 files changed, 5 insertions, 3 deletions
diff --git a/lib/hipe/flow/cfg.hrl b/lib/hipe/flow/cfg.hrl
index f79fff4efe..641ec102db 100644
--- a/lib/hipe/flow/cfg.hrl
+++ b/lib/hipe/flow/cfg.hrl
@@ -2,7 +2,7 @@
%%
%% %CopyrightBegin%
%%
-%% Copyright Ericsson AB 2007-2014. All Rights Reserved.
+%% Copyright Ericsson AB 2007-2015. All Rights Reserved.
%%
%% Licensed under the Apache License, Version 2.0 (the "License");
%% you may not use this file except in compliance with the License.
@@ -34,11 +34,13 @@
%%
-record(cfg_info, {'fun' :: mfa(),
start_label :: cfg_lbl(),
+ %% TODO: merge is_closure and closure_arity into one field
is_closure :: boolean(),
- closure_arity :: arity(),
+ closure_arity = none :: 'none' | arity(),
is_leaf :: boolean(),
params, % :: list()
info = []}). %% this field seems not needed; take out??
+-type cfg_info() :: #cfg_info{}.
%%
%% Data is a triple with a dict of constants, a list of labels and an integer
@@ -49,6 +51,6 @@
%% The following is to be used by other modules
%%
-record(cfg, {table = gb_trees:empty() :: gb_trees:tree(),
- info :: #cfg_info{},
+ info :: cfg_info(),
data :: cfg_data()}).
-type cfg() :: #cfg{}.