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
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
|
(* pseudo-ops-big.sml
*
* COPYRIGHT (c) 2001 Lucent Technologies, Bell Laboratories.
*
* Subset of pseudo-ops functions that are little endian sensitive
*)
functor PseudoOpsBig
( structure T : MLTREE
structure MLTreeEval : MLTREE_EVAL (* where T = T *)
where type T.Basis.cond = T.Basis.cond
and type T.Basis.div_rounding_mode = T.Basis.div_rounding_mode
and type T.Basis.ext = T.Basis.ext
and type T.Basis.fcond = T.Basis.fcond
and type T.Basis.rounding_mode = T.Basis.rounding_mode
and type T.Constant.const = T.Constant.const
and type ('s,'r,'f,'c) T.Extension.ccx = ('s,'r,'f,'c) T.Extension.ccx
and type ('s,'r,'f,'c) T.Extension.fx = ('s,'r,'f,'c) T.Extension.fx
and type ('s,'r,'f,'c) T.Extension.rx = ('s,'r,'f,'c) T.Extension.rx
and type ('s,'r,'f,'c) T.Extension.sx = ('s,'r,'f,'c) T.Extension.sx
and type T.I.div_rounding_mode = T.I.div_rounding_mode
and type T.Region.region = T.Region.region
and type T.ccexp = T.ccexp
and type T.fexp = T.fexp
(* and type T.labexp = T.labexp *)
and type T.mlrisc = T.mlrisc
and type T.oper = T.oper
and type T.rep = T.rep
and type T.rexp = T.rexp
and type T.stm = T.stm
val icache_alignment : int (* cache line size *)
val max_alignment : int option (* maximum alignment for internal labels *)
val nop: {sz:int, en:Word32.word} (* encoding for noop *)
) : PSEUDO_OPS_ENDIAN =
struct
structure W = Word
structure T = T
structure PB = PseudoOpsBasisTyp
type 'a pseudo_op = (T.labexp, 'a) PB.pseudo_op
fun error msg = MLRiscErrorMsg.error ("PseudoOpsBig.", msg)
val >> = Word.>>
val ~>> = Word.~>>
val & = Word.andb
infix >> ~>> &
(* return loc aligned at bndry *)
fun align(loc, bndry) = let
val mask = W.fromInt bndry - 0w1
in W.toIntX(W.andb(W.fromInt loc + mask, W.notb mask))
end
(* bytes of padding required *)
fun padding(loc, bndry) = align(loc, bndry) - loc
fun pow2(x, 0) = x
| pow2(x, n) = pow2(x * 2, n-1)
fun bytesIn sz = Int.quot(sz, 8)
fun sizeOf(pOp, loc) =
(case pOp
of PB.ALIGN_SZ n => padding(loc, pow2(1, n))
| PB.ALIGN_ENTRY => padding(loc, icache_alignment)
| PB.ALIGN_LABEL => let
val pad = padding(loc, icache_alignment)
in
case max_alignment
of NONE => pad
| SOME m => if pad <= m then pad else 0
end
| PB.INT{sz, i} => length(i) * bytesIn sz
| PB.ASCII s => String.size s
| PB.ASCIIZ s => String.size s + 1
| PB.SPACE(sz) => sz
| PB.FLOAT{sz, f} => length(f) * bytesIn sz
| PB.EXT _ => error "sizeOf: EXT"
| _ => 0
(*esac*))
fun emitValue{pOp, loc, emit} = let
val itow = W.fromInt
val toword8 = Word8.fromLargeWord o Word.toLargeWord o itow
fun emitByte n = emit (Word8.fromLargeWord (Word.toLargeWord n))
fun emitWord w = (emitByte((w >> 0w8) & 0w255); emitByte(w & 0w255))
fun emitLongX n = let val w = itow n
in emitWord(w ~>> 0w16); emitWord(w & 0w65535)
end
local
val {sz, en} = nop
val toWord = W.fromLargeInt o Word32.toLargeIntX
in
fun emitNop () =
case sz
of 1 => emitByte (toWord en)
| 2 => emitWord (toWord en)
| 4 => (emitWord(toWord(Word32.andb(en, 0w65535)));
emitWord(toWord(Word32.>>(en, 0w16))))
| n => error ("emitNop : sz = " ^ Int.toString n)
fun insertNops 0 = ()
| insertNops n =
if n >= sz then (emitNop(); insertNops(n-sz))
else error "insertNops"
end
fun align(loc, bndry) = let
val bndry = Word.fromInt bndry
val mask = bndry - 0w1
in
case W.andb(itow(loc), mask)
of 0w0 => ()
| w => let
val padSz = (bndry - w)
in insertNops(Word.toInt padSz)
end
(*esac*)
end
val {ccexp, rexp} =
MLTreeEval.eval
{const = IntInf.fromInt o T.Constant.valueOf,
label = Label.addrOf}
in
case pOp
of PB.ALIGN_SZ n => insertNops(sizeOf(pOp, loc))
| PB.ALIGN_ENTRY => insertNops(sizeOf(pOp, loc))
| PB.ALIGN_LABEL => insertNops(sizeOf(pOp, loc))
| PB.INT{sz, i} => let
val ints = map (IntInf.toInt o rexp) i
in
case sz
of 8 => app (emitByte o itow) ints
| 16 => app (emitWord o itow) ints
| 32 => app emitLongX ints
| _ => error "emitValue: INT 64"
(*esac*)
end
| PB.ASCII s => app (emit o Word8.fromInt o Char.ord) (String.explode s)
| PB.ASCIIZ s => (emitValue{pOp=PB.ASCII s, loc=loc, emit=emit}; emit 0w0)
| PB.FLOAT{sz, f} => error "emitValue: FLOAT - not implemented"
| PB.EXT _ => error "emitValue: EXT"
| PB.SPACE _ => error "emitValue: SPACE"
| _ => ()
end
end
|
