1/*
2 * Copyright (c) 1999, 2013, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 *
23 */
24
25#include "precompiled.hpp"
26#include "c1/c1_FrameMap.hpp"
27#include "c1/c1_LIR.hpp"
28#include "runtime/sharedRuntime.hpp"
29#include "vmreg_sparc.inline.hpp"
30
31
32const int FrameMap::pd_c_runtime_reserved_arg_size = 7;
33
34
35LIR_Opr FrameMap::map_to_opr(BasicType type, VMRegPair* reg, bool outgoing) {
36  LIR_Opr opr = LIR_OprFact::illegalOpr;
37  VMReg r_1 = reg->first();
38  VMReg r_2 = reg->second();
39  if (r_1->is_stack()) {
40    // Convert stack slot to an SP offset
41    // The calling convention does not count the SharedRuntime::out_preserve_stack_slots() value
42    // so we must add it in here.
43    int st_off = (r_1->reg2stack() + SharedRuntime::out_preserve_stack_slots()) * VMRegImpl::stack_slot_size;
44    opr = LIR_OprFact::address(new LIR_Address(SP_opr, st_off + STACK_BIAS, type));
45  } else if (r_1->is_Register()) {
46    Register reg = r_1->as_Register();
47    if (outgoing) {
48      assert(!reg->is_in(), "should be using I regs");
49    } else {
50      assert(!reg->is_out(), "should be using O regs");
51    }
52    if (r_2->is_Register() && (type == T_LONG || type == T_DOUBLE)) {
53      opr = as_long_opr(reg);
54    } else if (type == T_OBJECT || type == T_ARRAY) {
55      opr = as_oop_opr(reg);
56    } else if (type == T_METADATA) {
57      opr = as_metadata_opr(reg);
58    } else {
59      opr = as_opr(reg);
60    }
61  } else if (r_1->is_FloatRegister()) {
62    assert(type == T_DOUBLE || type == T_FLOAT, "wrong type");
63    FloatRegister f = r_1->as_FloatRegister();
64    if (type == T_DOUBLE) {
65      opr = as_double_opr(f);
66    } else {
67      opr = as_float_opr(f);
68    }
69  }
70  return opr;
71}
72
73//               FrameMap
74//--------------------------------------------------------
75
76FloatRegister FrameMap::_fpu_regs [FrameMap::nof_fpu_regs];
77
78// some useful constant RInfo's:
79LIR_Opr FrameMap::in_long_opr;
80LIR_Opr FrameMap::out_long_opr;
81LIR_Opr FrameMap::g1_long_single_opr;
82
83LIR_Opr FrameMap::F0_opr;
84LIR_Opr FrameMap::F0_double_opr;
85
86LIR_Opr FrameMap::G0_opr;
87LIR_Opr FrameMap::G1_opr;
88LIR_Opr FrameMap::G2_opr;
89LIR_Opr FrameMap::G3_opr;
90LIR_Opr FrameMap::G4_opr;
91LIR_Opr FrameMap::G5_opr;
92LIR_Opr FrameMap::G6_opr;
93LIR_Opr FrameMap::G7_opr;
94LIR_Opr FrameMap::O0_opr;
95LIR_Opr FrameMap::O1_opr;
96LIR_Opr FrameMap::O2_opr;
97LIR_Opr FrameMap::O3_opr;
98LIR_Opr FrameMap::O4_opr;
99LIR_Opr FrameMap::O5_opr;
100LIR_Opr FrameMap::O6_opr;
101LIR_Opr FrameMap::O7_opr;
102LIR_Opr FrameMap::L0_opr;
103LIR_Opr FrameMap::L1_opr;
104LIR_Opr FrameMap::L2_opr;
105LIR_Opr FrameMap::L3_opr;
106LIR_Opr FrameMap::L4_opr;
107LIR_Opr FrameMap::L5_opr;
108LIR_Opr FrameMap::L6_opr;
109LIR_Opr FrameMap::L7_opr;
110LIR_Opr FrameMap::I0_opr;
111LIR_Opr FrameMap::I1_opr;
112LIR_Opr FrameMap::I2_opr;
113LIR_Opr FrameMap::I3_opr;
114LIR_Opr FrameMap::I4_opr;
115LIR_Opr FrameMap::I5_opr;
116LIR_Opr FrameMap::I6_opr;
117LIR_Opr FrameMap::I7_opr;
118
119LIR_Opr FrameMap::G0_oop_opr;
120LIR_Opr FrameMap::G1_oop_opr;
121LIR_Opr FrameMap::G2_oop_opr;
122LIR_Opr FrameMap::G3_oop_opr;
123LIR_Opr FrameMap::G4_oop_opr;
124LIR_Opr FrameMap::G5_oop_opr;
125LIR_Opr FrameMap::G6_oop_opr;
126LIR_Opr FrameMap::G7_oop_opr;
127LIR_Opr FrameMap::O0_oop_opr;
128LIR_Opr FrameMap::O1_oop_opr;
129LIR_Opr FrameMap::O2_oop_opr;
130LIR_Opr FrameMap::O3_oop_opr;
131LIR_Opr FrameMap::O4_oop_opr;
132LIR_Opr FrameMap::O5_oop_opr;
133LIR_Opr FrameMap::O6_oop_opr;
134LIR_Opr FrameMap::O7_oop_opr;
135LIR_Opr FrameMap::L0_oop_opr;
136LIR_Opr FrameMap::L1_oop_opr;
137LIR_Opr FrameMap::L2_oop_opr;
138LIR_Opr FrameMap::L3_oop_opr;
139LIR_Opr FrameMap::L4_oop_opr;
140LIR_Opr FrameMap::L5_oop_opr;
141LIR_Opr FrameMap::L6_oop_opr;
142LIR_Opr FrameMap::L7_oop_opr;
143LIR_Opr FrameMap::I0_oop_opr;
144LIR_Opr FrameMap::I1_oop_opr;
145LIR_Opr FrameMap::I2_oop_opr;
146LIR_Opr FrameMap::I3_oop_opr;
147LIR_Opr FrameMap::I4_oop_opr;
148LIR_Opr FrameMap::I5_oop_opr;
149LIR_Opr FrameMap::I6_oop_opr;
150LIR_Opr FrameMap::I7_oop_opr;
151
152LIR_Opr FrameMap::G0_metadata_opr;
153LIR_Opr FrameMap::G1_metadata_opr;
154LIR_Opr FrameMap::G2_metadata_opr;
155LIR_Opr FrameMap::G3_metadata_opr;
156LIR_Opr FrameMap::G4_metadata_opr;
157LIR_Opr FrameMap::G5_metadata_opr;
158LIR_Opr FrameMap::G6_metadata_opr;
159LIR_Opr FrameMap::G7_metadata_opr;
160LIR_Opr FrameMap::O0_metadata_opr;
161LIR_Opr FrameMap::O1_metadata_opr;
162LIR_Opr FrameMap::O2_metadata_opr;
163LIR_Opr FrameMap::O3_metadata_opr;
164LIR_Opr FrameMap::O4_metadata_opr;
165LIR_Opr FrameMap::O5_metadata_opr;
166LIR_Opr FrameMap::O6_metadata_opr;
167LIR_Opr FrameMap::O7_metadata_opr;
168LIR_Opr FrameMap::L0_metadata_opr;
169LIR_Opr FrameMap::L1_metadata_opr;
170LIR_Opr FrameMap::L2_metadata_opr;
171LIR_Opr FrameMap::L3_metadata_opr;
172LIR_Opr FrameMap::L4_metadata_opr;
173LIR_Opr FrameMap::L5_metadata_opr;
174LIR_Opr FrameMap::L6_metadata_opr;
175LIR_Opr FrameMap::L7_metadata_opr;
176LIR_Opr FrameMap::I0_metadata_opr;
177LIR_Opr FrameMap::I1_metadata_opr;
178LIR_Opr FrameMap::I2_metadata_opr;
179LIR_Opr FrameMap::I3_metadata_opr;
180LIR_Opr FrameMap::I4_metadata_opr;
181LIR_Opr FrameMap::I5_metadata_opr;
182LIR_Opr FrameMap::I6_metadata_opr;
183LIR_Opr FrameMap::I7_metadata_opr;
184
185LIR_Opr FrameMap::SP_opr;
186LIR_Opr FrameMap::FP_opr;
187
188LIR_Opr FrameMap::Oexception_opr;
189LIR_Opr FrameMap::Oissuing_pc_opr;
190
191LIR_Opr FrameMap::_caller_save_cpu_regs[] = { 0, };
192LIR_Opr FrameMap::_caller_save_fpu_regs[] = { 0, };
193
194
195FloatRegister FrameMap::nr2floatreg (int rnr) {
196  assert(_init_done, "tables not initialized");
197  debug_only(fpu_range_check(rnr);)
198  return _fpu_regs[rnr];
199}
200
201
202// returns true if reg could be smashed by a callee.
203bool FrameMap::is_caller_save_register (LIR_Opr reg) {
204  if (reg->is_single_fpu() || reg->is_double_fpu()) { return true; }
205  if (reg->is_double_cpu()) {
206    return is_caller_save_register(reg->as_register_lo()) ||
207           is_caller_save_register(reg->as_register_hi());
208  }
209  return is_caller_save_register(reg->as_register());
210}
211
212
213NEEDS_CLEANUP   // once the new calling convention is enabled, we no
214                // longer need to treat I5, I4 and L0 specially
215// Because the interpreter destroys caller's I5, I4 and L0,
216// we must spill them before doing a Java call as we may land in
217// interpreter.
218bool FrameMap::is_caller_save_register (Register r) {
219  return (r->is_global() && (r != G0)) || r->is_out();
220}
221
222
223void FrameMap::initialize() {
224  assert(!_init_done, "once");
225
226  int i=0;
227  // Register usage:
228  //  O6: sp
229  //  I6: fp
230  //  I7: return address
231  //  G0: zero
232  //  G2: thread
233  //  G7: not available
234  //  G6: not available
235  /*  0 */ map_register(i++, L0);
236  /*  1 */ map_register(i++, L1);
237  /*  2 */ map_register(i++, L2);
238  /*  3 */ map_register(i++, L3);
239  /*  4 */ map_register(i++, L4);
240  /*  5 */ map_register(i++, L5);
241  /*  6 */ map_register(i++, L6);
242  /*  7 */ map_register(i++, L7);
243
244  /*  8 */ map_register(i++, I0);
245  /*  9 */ map_register(i++, I1);
246  /* 10 */ map_register(i++, I2);
247  /* 11 */ map_register(i++, I3);
248  /* 12 */ map_register(i++, I4);
249  /* 13 */ map_register(i++, I5);
250  /* 14 */ map_register(i++, O0);
251  /* 15 */ map_register(i++, O1);
252  /* 16 */ map_register(i++, O2);
253  /* 17 */ map_register(i++, O3);
254  /* 18 */ map_register(i++, O4);
255  /* 19 */ map_register(i++, O5); // <- last register visible in RegAlloc (RegAlloc::nof+cpu_regs)
256  /* 20 */ map_register(i++, G1);
257  /* 21 */ map_register(i++, G3);
258  /* 22 */ map_register(i++, G4);
259  /* 23 */ map_register(i++, G5);
260  /* 24 */ map_register(i++, G0);
261
262  // the following registers are not normally available
263  /* 25 */ map_register(i++, O7);
264  /* 26 */ map_register(i++, G2);
265  /* 27 */ map_register(i++, O6);
266  /* 28 */ map_register(i++, I6);
267  /* 29 */ map_register(i++, I7);
268  /* 30 */ map_register(i++, G6);
269  /* 31 */ map_register(i++, G7);
270  assert(i == nof_cpu_regs, "number of CPU registers");
271
272  for (i = 0; i < nof_fpu_regs; i++) {
273    _fpu_regs[i] = as_FloatRegister(i);
274  }
275
276  _init_done = true;
277
278  in_long_opr    = as_long_opr(I0);
279  out_long_opr   = as_long_opr(O0);
280  g1_long_single_opr    = as_long_single_opr(G1);
281
282  G0_opr = as_opr(G0);
283  G1_opr = as_opr(G1);
284  G2_opr = as_opr(G2);
285  G3_opr = as_opr(G3);
286  G4_opr = as_opr(G4);
287  G5_opr = as_opr(G5);
288  G6_opr = as_opr(G6);
289  G7_opr = as_opr(G7);
290  O0_opr = as_opr(O0);
291  O1_opr = as_opr(O1);
292  O2_opr = as_opr(O2);
293  O3_opr = as_opr(O3);
294  O4_opr = as_opr(O4);
295  O5_opr = as_opr(O5);
296  O6_opr = as_opr(O6);
297  O7_opr = as_opr(O7);
298  L0_opr = as_opr(L0);
299  L1_opr = as_opr(L1);
300  L2_opr = as_opr(L2);
301  L3_opr = as_opr(L3);
302  L4_opr = as_opr(L4);
303  L5_opr = as_opr(L5);
304  L6_opr = as_opr(L6);
305  L7_opr = as_opr(L7);
306  I0_opr = as_opr(I0);
307  I1_opr = as_opr(I1);
308  I2_opr = as_opr(I2);
309  I3_opr = as_opr(I3);
310  I4_opr = as_opr(I4);
311  I5_opr = as_opr(I5);
312  I6_opr = as_opr(I6);
313  I7_opr = as_opr(I7);
314
315  G0_oop_opr = as_oop_opr(G0);
316  G1_oop_opr = as_oop_opr(G1);
317  G2_oop_opr = as_oop_opr(G2);
318  G3_oop_opr = as_oop_opr(G3);
319  G4_oop_opr = as_oop_opr(G4);
320  G5_oop_opr = as_oop_opr(G5);
321  G6_oop_opr = as_oop_opr(G6);
322  G7_oop_opr = as_oop_opr(G7);
323  O0_oop_opr = as_oop_opr(O0);
324  O1_oop_opr = as_oop_opr(O1);
325  O2_oop_opr = as_oop_opr(O2);
326  O3_oop_opr = as_oop_opr(O3);
327  O4_oop_opr = as_oop_opr(O4);
328  O5_oop_opr = as_oop_opr(O5);
329  O6_oop_opr = as_oop_opr(O6);
330  O7_oop_opr = as_oop_opr(O7);
331  L0_oop_opr = as_oop_opr(L0);
332  L1_oop_opr = as_oop_opr(L1);
333  L2_oop_opr = as_oop_opr(L2);
334  L3_oop_opr = as_oop_opr(L3);
335  L4_oop_opr = as_oop_opr(L4);
336  L5_oop_opr = as_oop_opr(L5);
337  L6_oop_opr = as_oop_opr(L6);
338  L7_oop_opr = as_oop_opr(L7);
339  I0_oop_opr = as_oop_opr(I0);
340  I1_oop_opr = as_oop_opr(I1);
341  I2_oop_opr = as_oop_opr(I2);
342  I3_oop_opr = as_oop_opr(I3);
343  I4_oop_opr = as_oop_opr(I4);
344  I5_oop_opr = as_oop_opr(I5);
345  I6_oop_opr = as_oop_opr(I6);
346  I7_oop_opr = as_oop_opr(I7);
347
348  G0_metadata_opr = as_metadata_opr(G0);
349  G1_metadata_opr = as_metadata_opr(G1);
350  G2_metadata_opr = as_metadata_opr(G2);
351  G3_metadata_opr = as_metadata_opr(G3);
352  G4_metadata_opr = as_metadata_opr(G4);
353  G5_metadata_opr = as_metadata_opr(G5);
354  G6_metadata_opr = as_metadata_opr(G6);
355  G7_metadata_opr = as_metadata_opr(G7);
356  O0_metadata_opr = as_metadata_opr(O0);
357  O1_metadata_opr = as_metadata_opr(O1);
358  O2_metadata_opr = as_metadata_opr(O2);
359  O3_metadata_opr = as_metadata_opr(O3);
360  O4_metadata_opr = as_metadata_opr(O4);
361  O5_metadata_opr = as_metadata_opr(O5);
362  O6_metadata_opr = as_metadata_opr(O6);
363  O7_metadata_opr = as_metadata_opr(O7);
364  L0_metadata_opr = as_metadata_opr(L0);
365  L1_metadata_opr = as_metadata_opr(L1);
366  L2_metadata_opr = as_metadata_opr(L2);
367  L3_metadata_opr = as_metadata_opr(L3);
368  L4_metadata_opr = as_metadata_opr(L4);
369  L5_metadata_opr = as_metadata_opr(L5);
370  L6_metadata_opr = as_metadata_opr(L6);
371  L7_metadata_opr = as_metadata_opr(L7);
372  I0_metadata_opr = as_metadata_opr(I0);
373  I1_metadata_opr = as_metadata_opr(I1);
374  I2_metadata_opr = as_metadata_opr(I2);
375  I3_metadata_opr = as_metadata_opr(I3);
376  I4_metadata_opr = as_metadata_opr(I4);
377  I5_metadata_opr = as_metadata_opr(I5);
378  I6_metadata_opr = as_metadata_opr(I6);
379  I7_metadata_opr = as_metadata_opr(I7);
380
381  FP_opr = as_pointer_opr(FP);
382  SP_opr = as_pointer_opr(SP);
383
384  F0_opr = as_float_opr(F0);
385  F0_double_opr = as_double_opr(F0);
386
387  Oexception_opr = as_oop_opr(Oexception);
388  Oissuing_pc_opr = as_opr(Oissuing_pc);
389
390  _caller_save_cpu_regs[0] = FrameMap::O0_opr;
391  _caller_save_cpu_regs[1] = FrameMap::O1_opr;
392  _caller_save_cpu_regs[2] = FrameMap::O2_opr;
393  _caller_save_cpu_regs[3] = FrameMap::O3_opr;
394  _caller_save_cpu_regs[4] = FrameMap::O4_opr;
395  _caller_save_cpu_regs[5] = FrameMap::O5_opr;
396  _caller_save_cpu_regs[6] = FrameMap::G1_opr;
397  _caller_save_cpu_regs[7] = FrameMap::G3_opr;
398  _caller_save_cpu_regs[8] = FrameMap::G4_opr;
399  _caller_save_cpu_regs[9] = FrameMap::G5_opr;
400  for (int i = 0; i < nof_caller_save_fpu_regs; i++) {
401    _caller_save_fpu_regs[i] = LIR_OprFact::single_fpu(i);
402  }
403}
404
405
406Address FrameMap::make_new_address(ByteSize sp_offset) const {
407  return Address(SP, STACK_BIAS + in_bytes(sp_offset));
408}
409
410
411VMReg FrameMap::fpu_regname (int n) {
412  return as_FloatRegister(n)->as_VMReg();
413}
414
415
416LIR_Opr FrameMap::stack_pointer() {
417  return SP_opr;
418}
419
420
421// JSR 292
422LIR_Opr FrameMap::method_handle_invoke_SP_save_opr() {
423  assert(L7 == L7_mh_SP_save, "must be same register");
424  return L7_opr;
425}
426
427
428bool FrameMap::validate_frame() {
429  int max_offset = in_bytes(framesize_in_bytes());
430  int java_index = 0;
431  for (int i = 0; i < _incoming_arguments->length(); i++) {
432    LIR_Opr opr = _incoming_arguments->at(i);
433    if (opr->is_stack()) {
434      max_offset = MAX2(_argument_locations->at(java_index), max_offset);
435    }
436    java_index += type2size[opr->type()];
437  }
438  return Assembler::is_simm13(max_offset + STACK_BIAS);
439}
440