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
|
(*
* WARNING: This file was automatically generated by MDLGen (v3.0)
* from the machine description file "mips/mips.mdl".
* DO NOT EDIT this file directly
*)
functor MIPSMCEmitter(structure Instr : MIPSINSTR
structure MLTreeEval : MLTREE_EVAL where T = Instr.T
structure Stream : INSTRUCTION_STREAM
structure CodeString : CODE_STRING
) : INSTRUCTION_EMITTER =
struct
structure I = Instr
structure C = I.C
structure Constant = I.Constant
structure T = I.T
structure S = Stream
structure P = S.P
structure W = Word32
(* MIPS is little endian *)
fun error msg = MLRiscErrorMsg.error("MIPSMC",msg)
fun makeStream _ =
let infix && || << >> ~>>
val op << = W.<<
val op >> = W.>>
val op ~>> = W.~>>
val op || = W.orb
val op && = W.andb
val itow = W.fromInt
fun emit_bool false = 0w0 : W.word
| emit_bool true = 0w1 : W.word
val emit_int = itow
fun emit_word w = w
fun emit_label l = itow(Label.addrOf l)
fun emit_labexp le = itow(MLTreeEval.valueOf le)
fun emit_const c = itow(Constant.valueOf c)
val loc = ref 0
(* emit a byte *)
fun eByte b =
let val i = !loc in loc := i + 1; CodeString.update(i,b) end
(* emit the low order byte of a word *)
(* note: fromLargeWord strips the high order bits! *)
fun eByteW w =
let val i = !loc
in loc := i + 1; CodeString.update(i,Word8.fromLargeWord w) end
fun doNothing _ = ()
fun fail _ = raise Fail "MCEmitter"
fun getAnnotations () = error "getAnnotations"
fun pseudoOp pOp = P.emitValue{pOp=pOp, loc= !loc,emit=eByte}
fun init n = (CodeString.init n; loc := 0)
fun eWord32 w =
let val b8 = w
val w = w >> 0wx8
val b16 = w
val w = w >> 0wx8
val b24 = w
val w = w >> 0wx8
val b32 = w
in
( eByteW b8;
eByteW b16;
eByteW b24;
eByteW b32 )
end
fun emit_GP r = itow (CellsBasis.physicalRegisterNum r)
and emit_FP r = itow (CellsBasis.physicalRegisterNum r)
and emit_CC r = itow (CellsBasis.physicalRegisterNum r)
and emit_COND r = itow (CellsBasis.physicalRegisterNum r)
and emit_HI r = itow (CellsBasis.physicalRegisterNum r)
and emit_LO r = itow (CellsBasis.physicalRegisterNum r)
and emit_MEM r = itow (CellsBasis.physicalRegisterNum r)
and emit_CTRL r = itow (CellsBasis.physicalRegisterNum r)
and emit_CELLSET r = itow (CellsBasis.physicalRegisterNum r)
fun Load {l, rt, b, offset} =
let val rt = emit_GP rt
val b = emit_GP b
in eWord32 ((l << 0wx1a) + ((rt << 0wx15) + ((b << 0wx10) + (offset && 0wxffff))))
end
and Special {rs, rt, opc} =
let val rs = emit_GP rs
val rt = emit_GP rt
in eWord32 ((rs << 0wx15) + ((rt << 0wx10) + opc))
end
fun emitter instr =
let
fun emitInstr (I.NOP) = error "NOP"
| emitInstr (I.LUI{rt, imm}) = error "LUI"
| emitInstr (I.LA{rt, b, d}) = error "LA"
| emitInstr (I.DLA{rt, b, d}) = error "DLA"
| emitInstr (I.LOAD{l, rt, b, d, mem}) = error "LOAD"
| emitInstr (I.STORE{s, rs, b, d, mem}) = error "STORE"
| emitInstr (I.FLOAD{l, ft, b, d, mem}) = error "FLOAD"
| emitInstr (I.FSTORE{s, fs, b, d, mem}) = error "FSTORE"
| emitInstr (I.FCMP{fcond, fmt, cc, fs1, fs2}) = error "FCMP"
| emitInstr (I.TRAP{t, rs, i}) = error "TRAP"
| emitInstr (I.J{lab, nop}) = error "J"
| emitInstr (I.JR{rs, labels, nop}) = error "JR"
| emitInstr (I.JAL{lab, defs, uses, cutsTo, mem, nop}) = error "JAL"
| emitInstr (I.JALR{rt, rs, defs, uses, cutsTo, mem, nop}) = error "JALR"
| emitInstr (I.RET{nop}) = error "RET"
| emitInstr (I.BRANCH{likely, cond, rs, rt, lab, nop}) = error "BRANCH"
| emitInstr (I.FBRANCH{likely, fbranch, cc, lab, nop}) = error "FBRANCH"
| emitInstr (I.ARITH{oper, rt, rs, i}) = error "ARITH"
| emitInstr (I.UNARY{oper, rt, rs}) = error "UNARY"
| emitInstr (I.MULTIPLY{oper, rt, rs}) = error "MULTIPLY"
| emitInstr (I.DIVIDE{oper, rt, rs}) = error "DIVIDE"
| emitInstr (I.MFLO GP) = error "MFLO"
| emitInstr (I.MTLO GP) = error "MTLO"
| emitInstr (I.MFHI GP) = error "MFHI"
| emitInstr (I.MTHI GP) = error "MTHI"
| emitInstr (I.BREAK int) = error "BREAK"
| emitInstr (I.FARITH{oper, ft, fs1, fs2}) = error "FARITH"
| emitInstr (I.FUNARY{oper, ft, fs}) = error "FUNARY"
| emitInstr (I.FARITH3{oper, ft, fs1, fs2, fs3}) = error "FARITH3"
| emitInstr (I.FROUND{oper, ft, fs1, rs2}) = error "FROUND"
| emitInstr (I.CVTI2F{cvt, rs, ft}) = error "CVTI2F"
| emitInstr (I.CVTF2I{cvt, fs, rt}) = error "CVTF2I"
| emitInstr (I.COPY{dst, src, impl, tmp}) = error "COPY"
| emitInstr (I.FCOPY{dst, src, impl, tmp}) = error "FCOPY"
| emitInstr (I.ANNOTATION{i, a}) = emitInstr i
| emitInstr (I.PHI{}) = ()
| emitInstr (I.SOURCE{}) = ()
| emitInstr (I.SINK{}) = ()
in
emitInstr instr
end
fun emitInstruction(I.ANNOTATION{i, ...}) = emitInstruction(i)
| emitInstruction(I.INSTR(i)) = emitter(i)
| emitInstruction(I.LIVE _) = ()
| emitInstruction(I.KILL _) = ()
| emitInstruction _ = error "emitInstruction"
in S.STREAM{beginCluster=init,
pseudoOp=pseudoOp,
emit=emitInstruction,
endCluster=fail,
defineLabel=doNothing,
entryLabel=doNothing,
comment=doNothing,
exitBlock=doNothing,
annotation=doNothing,
getAnnotations=getAnnotations
}
end
end
|
