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
|
%% -*- erlang-indent-level: 2 -*-
%% ====================================================================
%% Filename : hipe_sparc_sdesc.hrl
%% Purpose :
%% Notes :
%% History : * 2001-11-20 Erik Johansson (happi@csd.uu.se): Created.
%% CVS :
%% $Author: kostis $
%% $Date: 2004/06/22 10:35:53 $
%% $Revision: 1.2 $
%% ====================================================================
%% Implements :
%%
%% @type sdesc().
%% A sdesc has the following properties
%% <ul>
%% <li> <code>Size::integer()</code> -- The size in words of local
%% temps.</li>
%% <li> <code>LiveSlots::[integer()]</code> -- A list of slots that are
%% live at the call site, The slots are counted from the stack pointer,
%% with position <code>0 == SP-1</code></li>
%% <li> <code>Exception::bool()</code> -- True if this call is within
%% an exception handler.</li>
%% <li> <code>Arity::integer()</code> -- The stack-arity of the caller
%% i.e. the number of arguments on the stack before the return
%% address.</li>
%% </ul>
%% <p> The total size of a stack frame is Size+Arity+1. (The +1 is for the
%% return address.)
%% </p>
%% Example of how a frame in a function with 5 arguments in registers
%% and 2 arguments on the stack, 4 local variables on the stack (2 of
%% them live).
%% At the moment the sparc stack grows towards higher addresses,
%% but downwards in this picture.
%% <pre>
%% | PREV FRAME |
%% |------------|
%% | Arg 6 |
%% | Arg 7 | Arity = 2
%% |------------|
%% | RA |
%% |------------|
%% | Spill 3 |
%% * | Spill 2 |
%% | Spill 1 | Size = 4
%% * | Spill 0 |
%% |------------|
%% | F R E E | - SP
%%
%% LiveSlots = [0,2]
%% </pre>
%% @end
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-export([sdesc_size/1, sdesc_size_update/2,
sdesc_live_slots/1, sdesc_live_slots_update/2,
sdesc_arity/1, sdesc_arity_update/2,
pp_sdesc/2]).
-record(stack_desc,{size=0,live_slots=[],arity=0}).
%% @spec sdesc_mk_empty() -> sdesc()
sdesc_mk_empty() ->
#stack_desc{}.
sdesc_size(#stack_desc{size=Size}) -> Size.
sdesc_live_slots(#stack_desc{live_slots=Slots}) -> Slots.
sdesc_arity(#stack_desc{arity=Arity}) -> Arity.
sdesc_size_update(SD, FSize) ->
SD#stack_desc{size=FSize}.
sdesc_live_slots_update(SD, Live) ->
SD#stack_desc{live_slots=Live}.
sdesc_arity_update(SD, Exn) ->
SD#stack_desc{arity=Exn}.
pp_sdesc(Dev,SD) ->
io:format(Dev, "<|~w| Live: ~w>", [sdesc_size(SD),sdesc_live_slots(SD)]).
|
