blob: 3f5b2a728963785d291e7093e16946d985caa4e1 (
plain)
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
|
module SPARC.Stack (
spRel,
fpRel,
spillSlotToOffset,
maxSpillSlots
)
where
import GhcPrelude
import SPARC.AddrMode
import SPARC.Regs
import SPARC.Base
import SPARC.Imm
import DynFlags
import Outputable
-- | Get an AddrMode relative to the address in sp.
-- This gives us a stack relative addressing mode for volatile
-- temporaries and for excess call arguments.
--
spRel :: Int -- ^ stack offset in words, positive or negative
-> AddrMode
spRel n = AddrRegImm sp (ImmInt (n * wordLength))
-- | Get an address relative to the frame pointer.
-- This doesn't work work for offsets greater than 13 bits; we just hope for the best
--
fpRel :: Int -> AddrMode
fpRel n
= AddrRegImm fp (ImmInt (n * wordLength))
-- | Convert a spill slot number to a *byte* offset, with no sign.
--
spillSlotToOffset :: DynFlags -> Int -> Int
spillSlotToOffset dflags slot
| slot >= 0 && slot < maxSpillSlots dflags
= 64 + spillSlotSize * slot
| otherwise
= pprPanic "spillSlotToOffset:"
( text "invalid spill location: " <> int slot
$$ text "maxSpillSlots: " <> int (maxSpillSlots dflags))
-- | The maximum number of spill slots available on the C stack.
-- If we use up all of the slots, then we're screwed.
--
-- Why do we reserve 64 bytes, instead of using the whole thing??
-- -- BL 2009/02/15
--
maxSpillSlots :: DynFlags -> Int
maxSpillSlots dflags
= ((spillAreaLength dflags - 64) `div` spillSlotSize) - 1
|
