diff options
| author | Magnus Lång <[email protected]> | 2016-03-17 21:53:19 +0100 |
|---|---|---|
| committer | Magnus Lång <[email protected]> | 2016-07-11 17:57:47 +0200 |
| commit | 3f1fe056ba8673920a536093b23117f7d287cba7 (patch) | |
| tree | 5ad2c0cb3d44c869ed0951d4f4ba3f564d9a2de3 /lib/hipe/icode/hipe_icode_ssa.erl | |
| parent | ab4062063727d713a8eca8cf09b8a0f50744bc9b (diff) | |
| download | otp-3f1fe056ba8673920a536093b23117f7d287cba7.tar.gz otp-3f1fe056ba8673920a536093b23117f7d287cba7.tar.bz2 otp-3f1fe056ba8673920a536093b23117f7d287cba7.zip | |
hipe_ssa_liveness: Use map as liveness ADT
Diffstat (limited to 'lib/hipe/icode/hipe_icode_ssa.erl')
| -rw-r--r-- | lib/hipe/icode/hipe_icode_ssa.erl | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/lib/hipe/icode/hipe_icode_ssa.erl b/lib/hipe/icode/hipe_icode_ssa.erl index b222fbc7d2..aca13a2ff0 100644 --- a/lib/hipe/icode/hipe_icode_ssa.erl +++ b/lib/hipe/icode/hipe_icode_ssa.erl @@ -34,13 +34,16 @@ -define(LIVENESS, hipe_icode_liveness). -define(LIVENESS_NEEDED, true). +-export_type([liveness/0]). + -include("hipe_icode.hrl"). -include("../ssa/hipe_ssa.inc"). %% Declarations for exported functions which are Icode-specific. --spec ssa_liveness__analyze(#cfg{}) -> gb_trees:tree(). --spec ssa_liveness__livein(_, icode_lbl()) -> [#icode_variable{}]. -%% -spec ssa_liveness__livein(_, icode_lbl(), _) -> [#icode_var{}]. +-opaque liveness() :: liveness(icode_lbl(), #icode_variable{}). +-spec ssa_liveness__analyze(#cfg{}) -> liveness(). +-spec ssa_liveness__livein(liveness(), icode_lbl()) -> [#icode_variable{}]. +%% -spec ssa_liveness__livein(liveness(), icode_lbl(), _) -> [#icode_var{}]. %%---------------------------------------------------------------------- %% Auxiliary operations which seriously differ between Icode and RTL. |