1 (***********************************************************************)
5 (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
7 (* Copyright 1996 Institut National de Recherche en Informatique et *)
8 (* en Automatique. All rights reserved. This file is distributed *)
9 (* under the terms of the Q Public License version 1.0. *)
11 (***********************************************************************)
15 (* Description of the Mips processor *)
23 (* Instruction selection *)
25 let word_addressed = false
27 (* Registers available for register allocation *)
31 $1 temporary for the assembler
32 $2 - $7 0 - 5 function results
33 $8 - $15 6 - 13 function arguments
34 $16 - $21 14 - 19 general purpose (preserved by C)
35 $22 allocation pointer (preserved by C)
36 $23 allocation limit (preserved by C)
38 $26 - $29 kernel regs, stack pointer, global pointer
39 $30 trap pointer (preserved by C)
42 $f0 - $f3 100 - 103 function results
43 $f4 - $f11 104 - 111 general purpose
44 $f12 - $f19 112 - 119 function arguments
45 $f20 - $f30 120 - 130 general purpose (even numbered preserved by C)
49 (* 0-5 *) "$2"; "$3"; "$4"; "$5"; "$6"; "$7";
50 (* 6-13 *) "$8"; "$9"; "$10"; "$11"; "$12"; "$13"; "$14"; "$15";
51 (* 14-19 *) "$16"; "$17"; "$18"; "$19"; "$20"; "$21"
54 let float_reg_name = [|
55 "$f0"; "$f1"; "$f2"; "$f3"; "$f4";
56 "$f5"; "$f6"; "$f7"; "$f8"; "$f9";
57 "$f10"; "$f11"; "$f12"; "$f13"; "$f14";
58 "$f15"; "$f16"; "$f17"; "$f18"; "$f19";
59 "$f20"; "$f21"; "$f22"; "$f23"; "$f24";
60 "$f25"; "$f26"; "$f27"; "$f28"; "$f29"; "$f30"
63 let num_register_classes = 2
65 let register_class r
=
71 let num_available_registers = [| 20; 31 |]
73 let first_available_register = [| 0; 100 |]
76 if r
< 100 then int_reg_name.(r
) else float_reg_name.(r
- 100)
78 let rotate_registers = true
80 (* Representation of hard registers by pseudo-registers *)
83 let v = Array.create
20 Reg.dummy
in
84 for i
= 0 to 19 do v.(i
) <- Reg.at_location Int
(Reg i
) done;
88 let v = Array.create
31 Reg.dummy
in
89 for i
= 0 to 30 do v.(i
) <- Reg.at_location Float
(Reg
(100 + i
)) done;
93 Array.append
hard_int_reg hard_float_reg
96 if n
< 100 then hard_int_reg.(n
) else hard_float_reg.(n
- 100)
98 let stack_slot slot ty
=
99 Reg.at_location ty
(Stack slot
)
101 (* Calling conventions *)
103 let calling_conventions first_int last_int first_float last_float
105 let loc = Array.create
(Array.length arg
) Reg.dummy
in
106 let int = ref first_int
in
107 let float = ref first_float
in
109 for i
= 0 to Array.length arg
- 1 do
110 match arg
.(i
).typ
with
112 if !int <= last_int
then begin
113 loc.(i
) <- phys_reg !int;
116 loc.(i
) <- stack_slot (make_stack
!ofs) ty
;
117 ofs := !ofs + size_int
120 if !float <= last_float
then begin
121 loc.(i
) <- phys_reg !float;
124 loc.(i
) <- stack_slot (make_stack
!ofs) Float
;
125 ofs := !ofs + size_float
128 (loc, Misc.align
!ofs 16) (* Keep stack 16-aligned *)
130 let incoming ofs = Incoming
ofs
131 let outgoing ofs = Outgoing
ofs
132 let not_supported ofs = fatal_error
"Proc.loc_results: cannot call"
134 let loc_arguments arg
=
135 calling_conventions 6 13 112 119 outgoing arg
136 let loc_parameters arg
=
137 let (loc, ofs) = calling_conventions 6 13 112 119 incoming arg
in loc
138 let loc_results res
=
139 let (loc, ofs) = calling_conventions 0 5 100 103 not_supported res
in loc
141 (* The C calling conventions are as follows:
142 the first 8 arguments are passed either in integer regs $4...$11
143 or float regs $f12...$f19. Each argument "consumes" both one slot
144 in the int register file and one slot in the float register file.
145 Extra arguments are passed on stack, in a 64-bits slot, right-justified
146 (i.e. at +4 from natural address). *)
148 let loc_external_arguments arg
=
149 let loc = Array.create
(Array.length arg
) Reg.dummy
in
151 let float = ref 112 in
153 for i
= 0 to Array.length arg
- 1 do
155 loc.(i
) <- phys_reg (if arg
.(i
).typ
= Float
then !float else !int);
159 begin match arg
.(i
).typ
with
160 Float
-> loc.(i
) <- stack_slot (Outgoing
!ofs) Float
161 | ty
-> loc.(i
) <- stack_slot (Outgoing
(!ofs + 4)) ty
166 (loc, Misc.align
!ofs 16)
168 let loc_external_results res
=
169 let (loc, ofs) = calling_conventions 0 0 100 100 not_supported res
in loc
171 let loc_exn_bucket = phys_reg 0 (* $2 *)
173 (* Registers destroyed by operations *)
175 let destroyed_at_c_call =
176 (* $16 - $21, $f20, $f22, $f24, $f26, $f28, $f30 preserved *)
177 Array.of_list
(List.map
phys_reg
178 [0;1;2;3;4;5;6;7;8;9;10;11;12;13;
179 100;101;102;103;104;105;106;107;108;109;110;111;112;113;114;
180 115;116;117;118;119;121;123;125;127;129])
182 let destroyed_at_oper = function
183 Iop
(Icall_ind
| Icall_imm _
| Iextcall
(_
, true)) -> all_phys_regs
184 | Iop
(Iextcall
(_
, false)) -> destroyed_at_c_call
187 let destroyed_at_raise = all_phys_regs
189 (* Maximal register pressure *)
191 let safe_register_pressure = function
194 let max_register_pressure = function
195 Iextcall
(_
, _
) -> [| 6; 6 |]
198 (* Layout of the stack *)
200 let num_stack_slots = [| 0; 0 |]
201 let contains_calls = ref false
203 (* Calling the assembler *)
205 let asm_command = "as -n32 -O2 -nocpp -g0 -o "
207 let assemble_file infile outfile
=
208 Ccomp.command
(asm_command ^
Filename.quote outfile ^
" " ^
Filename.quote infile
)