1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
|
%% -*- erlang-indent-level: 2 -*-
%% ===========================================================================
%% Copyright (c) 2001 by Erik Johansson. All Rights Reserved
%% Time-stamp: <2008-04-20 14:54:00 richard>
%% ===========================================================================
%% Filename : hipe_temp_map.erl
%% Module : hipe_temp_map
%% Purpose :
%% Notes :
%% History : * 2001-07-24 Erik Johansson (happi@it.uu.se):
%% Created.
%% CVS :
%% $Author: richardc $
%% $Date: 2008/04/20 13:01:13 $
%% $Revision: 1.14 $
%% ===========================================================================
%% Exports :
%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-module(hipe_temp_map).
-export([cols2tuple/2, is_spilled/2,
%% sorted_cols2tuple/2, in_reg/2, in_fp_reg/2, find/2,
to_substlist/1]).
-include("../main/hipe.hrl").
%%----------------------------------------------------------------------------
%% Convert a list of [{R0, C1}, {R1, C2}, ...] to a temp_map
%% (Currently implemented as a tuple) tuple {C1, C2, ...}.
%%
%% The indices (Ri) must be unique but do not have to be sorted and
%% they can be sparse.
%% Note that the first allowed index is 0 -- this will be mapped to
%% element 1
%%----------------------------------------------------------------------------
-spec(cols2tuple/2 :: (hipe_map(), atom()) -> hipe_temp_map()).
cols2tuple(Map, Target) ->
?ASSERT(check_list(Map)),
SortedMap = lists:keysort(1, Map),
cols2tuple(0, SortedMap, [], Target).
%% sorted_cols2tuple(Map, Target) ->
%% ?ASSERT(check_list(Map)),
%% ?ASSERT(Map =:= lists:keysort(1, Map)),
%% cols2tuple(0, Map, [], Target).
%% Build a dense mapping
cols2tuple(_, [], Vs, _) ->
%% Done reverse the list and convert to tuple.
list_to_tuple(lists:reverse(Vs));
cols2tuple(N, [{R, C}|Ms], Vs, Target) when N =:= R ->
%% N makes sure the mapping is dense. N is he next key.
cols2tuple(N+1, Ms, [C|Vs], Target);
cols2tuple(N, SourceMapping, Vs, Target) ->
%% The source was sparse, make up some placeholders...
Val =
case Target:is_precoloured(N) of
%% If it is precoloured, we know what to map it to.
true -> {reg, N};
false -> unknown
end,
cols2tuple(N+1, SourceMapping, [Val|Vs], Target).
%%
%% True if temp Temp is spilled.
%%
-spec(is_spilled/2 :: (non_neg_integer(), hipe_temp_map()) -> bool()).
is_spilled(Temp, Map) ->
case element(Temp+1, Map) of
{reg, _R} -> false;
{fp_reg, _R}-> false;
{spill, _N} -> true;
unknown -> false
end.
%% %% True if temp Temp is allocated to a reg.
%% in_reg(Temp, Map) ->
%% case element(Temp+1, Map) of
%% {reg, _R} -> true;
%% {fp_reg, _R}-> false;
%% {spill, _N} -> false;
%% unknown -> false
%% end.
%%
%% %% True if temp Temp is allocated to a fp_reg.
%% in_fp_reg(Temp, Map) ->
%% case element(Temp+1, Map) of
%% {fp_reg, _R} -> true;
%% {reg, _R} -> false;
%% {spill, _N} -> false;
%% unknown -> false
%% end.
%%
%% %% Returns the inf temp Temp is mapped to.
%% find(Temp, Map) -> element(Temp+1, Map).
%%
%% Converts a temp_map tuple back to a (sorted) key-list.
%%
-spec(to_substlist/1 :: (hipe_temp_map()) -> hipe_map()).
to_substlist(Map) ->
T = tuple_to_list(Map),
mapping(T, 0).
mapping([R|Rs], Temp) ->
[{Temp, R}| mapping(Rs, Temp+1)];
mapping([], _) ->
[].
|
