/* src/vm/jit/powerpc64/linux/md-abi.c - functions for PowerPC64 Linux ABI
- Copyright (C) 1996-2005, 2006 R. Grafl, A. Krall, C. Kruegel,
- C. Oates, R. Obermaisser, M. Platter, M. Probst, S. Ring,
- E. Steiner, C. Thalinger, D. Thuernbeck, P. Tomsich, C. Ullrich,
- J. Wenninger, Institut f. Computersprachen - TU Wien
+ Copyright (C) 1996-2005, 2006, 2007, 2008
+ CACAOVM - Verein zur Foerderung der freien virtuellen Maschine CACAO
This file is part of CACAO.
Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
02110-1301, USA.
- Contact: cacao@cacaojvm.org
-
- Authors: Roland Lezuo
-
- Changes:
-
- $Id: md-abi.c 5081 2006-07-06 13:59:01Z tbfg $
-
*/
#include "config.h"
+
+#include <assert.h>
+
#include "vm/types.h"
#include "vm/jit/powerpc64/linux/md-abi.h"
-#include "vm/descriptor.h"
+#include "vm/descriptor.hpp"
#include "vm/global.h"
-
-#define _ALIGN(a) do { if ((a) & 1) (a)++; } while (0)
+#include "vm/jit/abi.h"
+#include "vm/jit/stack.h"
/* register descripton array **************************************************/
s4 nregdescint[] = {
- /* zero, sp, TOC, a0/v0, a0/v1, a2, a3, a4, */
- REG_RES, REG_RES, REG_RES, REG_ARG, REG_ARG, REG_ARG, REG_ARG, REG_ARG,
+ /* zero, sp, TOC, a0/v0, a1/v1, a2, a3, a4, */
+ REG_RES, REG_RES, REG_RES, REG_ARG, REG_ARG, REG_ARG, REG_ARG, REG_ARG,
- /* a5, a6, a7, itmp1, itmp2, NO(SYS), pv, s0, */
- REG_ARG, REG_ARG, REG_ARG, REG_RES, REG_RES, REG_RES, REG_SAV, REG_SAV,
+ /* a5, a6, a7, itmp1, itmp2, NO(SYS), pv, s0, */
+ REG_ARG, REG_ARG, REG_ARG, REG_RES, REG_RES, REG_RES, REG_RES, REG_SAV,
- /*itmp3, t0, t1, t2, t3, t4, t5, t6, */
- REG_RES, REG_TMP, REG_TMP, REG_TMP, REG_TMP, REG_TMP, REG_TMP, REG_TMP,
+ /*itmp3, t0, t1, t2, t3, t4, t5, t6, */
+ REG_RES, REG_TMP, REG_TMP, REG_TMP, REG_TMP, REG_TMP, REG_TMP, REG_TMP,
- /* s1, s2, s3, s4, s5, s6, s7, s8, */
- REG_SAV, REG_SAV, REG_SAV, REG_SAV, REG_SAV, REG_SAV, REG_SAV, REG_SAV,
+ /* s1, s2, s3, s4, s5, s6, s7, s8, */
+ REG_SAV, REG_SAV, REG_SAV, REG_SAV, REG_SAV, REG_SAV, REG_SAV, REG_SAV,
+
+ REG_END
+};
+
+const char *abi_registers_integer_name[] = {
+ "r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7",
+ "r8", "r9", "r10", "r11", "r12", "r13", "r14", "r15",
+ "r16", "r17", "r18", "r19", "r20", "r21", "r22", "r23",
+ "r24", "r25", "r26", "r27", "r28", "r29", "r30", "r31",
+};
+
+const s4 abi_registers_integer_argument[] = {
+ 3, /* a0 */
+ 4, /* a1 */
+ 5, /* a2 */
+ 6, /* a3 */
+ 7, /* a4 */
+ 8, /* a5 */
+ 9, /* a6 */
+ 10, /* a7 */
+};
- REG_END
+const s4 abi_registers_integer_saved[] = {
+ 15, /* s0 */
+ 24, /* s1 */
+ 25, /* s2 */
+ 26, /* s3 */
+ 27, /* s4 */
+ 28, /* s5 */
+ 29, /* s6 */
+ 30, /* s7 */
+ 31, /* s8 */
};
-char *regs[] = {
- "r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7",
- "r8", "r9", "r10", "r11", "r12", "r13", "r14", "r15",
- "r16", "r17", "r18", "r19", "r20", "r21", "r22", "r23",
- "r24", "r25", "r26", "r27", "r28", "r29", "r30", "r31",
+const s4 abi_registers_integer_temporary[] = {
+ 17, /* t0 */
+ 18, /* t1 */
+ 19, /* t2 */
+ 20, /* t3 */
+ 21, /* t4 */
+ 22, /* t5 */
+ 23, /* t6 */
};
s4 nregdescfloat[] = {
- /*ftmp3, fa0/v0, fa1, fa2, fa3, fa4, fa5, fa6, */
- REG_RES, REG_ARG, REG_ARG, REG_ARG, REG_ARG, REG_ARG, REG_ARG, REG_ARG,
+ /*ftmp3, fa0/v0, fa1, fa2, fa3, fa4, fa5, fa6, */
+ REG_RES, REG_ARG, REG_ARG, REG_ARG, REG_ARG, REG_ARG, REG_ARG, REG_ARG,
- /* fa7, ft0, ft1, ft2, ft3, ft4, fs0, fs1, */
- REG_ARG, REG_TMP, REG_TMP, REG_TMP, REG_TMP, REG_TMP, REG_SAV, REG_SAV,
+ /* fa7, fa8, fa9, fa10, fa11, fa12, ftmp1, ftmp2, */
+ REG_ARG, REG_ARG, REG_ARG, REG_ARG, REG_ARG, REG_ARG, REG_RES, REG_RES,
- /*ftmp1, ftmp2, ft5, ft6, ft7, ft8, ft9, ft10, */
- REG_RES, REG_RES, REG_TMP, REG_TMP, REG_TMP, REG_TMP, REG_TMP, REG_TMP,
+ /* fs0, fs1, fs2, fs3, fs4, fs5, fs6, fs7 */
+ REG_SAV, REG_SAV, REG_SAV, REG_SAV, REG_SAV, REG_SAV, REG_SAV, REG_SAV,
- /* fs2, fs3, fs4, fs5, fs6, fs7, fs8, fs9 */
- REG_SAV, REG_SAV, REG_SAV, REG_SAV, REG_SAV, REG_SAV, REG_SAV, REG_SAV,
+ /* fs8, fs9, fs10, fs11, fs12, fs13, fs14, fs15 */
+ REG_SAV, REG_SAV, REG_SAV, REG_SAV, REG_SAV, REG_SAV, REG_SAV, REG_SAV,
- REG_END
+ REG_END
};
+const s4 abi_registers_float_argument[] = {
+ 1, /* fa0 */
+ 2, /* fa1 */
+ 3, /* fa2 */
+ 4, /* fa3 */
+ 5, /* fa4 */
+ 6, /* fa5 */
+ 7, /* fa6 */
+ 8, /* fa7 */
+ 9, /* fa8 */
+ 10, /* fa9 */
+ 11, /* fa10 */
+ 12, /* fa11 */
+ 13, /* fa12 */
+};
+
+const s4 abi_registers_float_saved[] = {
+ 16, /* fs0 */
+ 17, /* fs1 */
+ 18, /* fs2 */
+ 19, /* fs3 */
+ 20, /* fs4 */
+ 21, /* fs5 */
+ 22, /* fs6 */
+ 23, /* fs7 */
+ 24, /* fs8 */
+ 25, /* fs9 */
+ 26, /* fs10 */
+ 27, /* fs11 */
+ 28, /* fs12 */
+ 29, /* fs13 */
+ 30, /* fs14 */
+ 31, /* fs15 */
+};
+
+const s4 abi_registers_float_temporary[] = {
+ -1,
+};
+
+
/* md_param_alloc **************************************************************
Allocate Arguments to Stackslots according the Calling Conventions
s4 i;
s4 iarg;
s4 farg;
- s4 stacksize;
+ s4 arg;
+ s4 stacksize, stackcount;
+
/* set default values */
- iarg = 0;
- farg = 0;
- stacksize = LA_WORD_SIZE;
+ iarg = 0;
+ farg = 0;
+ arg = 0;
+ stacksize = LA_SIZE_IN_POINTERS;
+ stackcount = 0;
/* get params field of methoddesc */
for (i = 0; i < md->paramcount; i++, pd++) {
switch (md->paramtypes[i].type) {
+ case TYPE_LNG:
case TYPE_INT:
case TYPE_ADR:
if (iarg < INT_ARG_CNT) {
pd->inmemory = false;
- pd->regoff = iarg;
+ pd->index = iarg;
+ pd->regoff = abi_registers_integer_argument[iarg];
iarg++;
- } else {
- pd->inmemory = true;
- pd->regoff = stacksize;
- stacksize++;
}
- break;
- case TYPE_LNG:
- if (iarg < INT_ARG_CNT - 1) {
- _ALIGN(iarg);
- pd->inmemory = false;
- /* rd->arg[int|flt]regs index !! */
- pd->regoff = PACK_REGS(iarg + 1, iarg);
- iarg += 2;
- } else {
- _ALIGN(stacksize);
+ else {
pd->inmemory = true;
- pd->regoff = stacksize;
- iarg = INT_ARG_CNT;
- stacksize += 2;
+ pd->index = stacksize + stackcount;
+ pd->regoff = (stacksize + stackcount) * 8;
}
break;
case TYPE_FLT:
- if (farg < FLT_ARG_CNT) {
- pd->inmemory = false;
- pd->regoff = farg;
- farg++;
- } else {
- pd->inmemory = true;
- pd->regoff = stacksize;
- stacksize++;
- }
- break;
case TYPE_DBL:
if (farg < FLT_ARG_CNT) {
pd->inmemory = false;
- pd->regoff = farg;
+ pd->index = farg;
+ pd->regoff = abi_registers_float_argument[farg];
farg++;
- } else {
- _ALIGN(stacksize);
+ if (arg < INT_ARG_CNT) {
+ iarg++; /* yes, that is true, floating arguments take int register slots away */
+ }
+ }
+ else {
pd->inmemory = true;
- pd->regoff = stacksize;
- stacksize += 2;
+ pd->index = stacksize + stackcount;
+ pd->regoff = (stacksize + stackcount) * 8;
}
break;
+ default:
+ assert(0);
}
+ arg++;
+ stackcount++;
}
- /* Since R3/R4, F1 (==A0/A1, A0) are used for passing return values, this */
+ /* Since R3, F1 (==A0, A0) are used for passing return values, this */
/* argument register usage has to be regarded, too */
if (IS_INT_LNG_TYPE(md->returntype.type)) {
- if (iarg < (IS_2_WORD_TYPE(md->returntype.type) ? 2 : 1))
- iarg = IS_2_WORD_TYPE(md->returntype.type) ? 2 : 1;
- } else {
- if (IS_FLT_DBL_TYPE(md->returntype.type))
- if (farg < 1)
- farg = 1;
+ if (iarg < 1)
+ iarg = 1;
+ }
+ else if (IS_FLT_DBL_TYPE(md->returntype.type)) {
+ if (farg < 1)
+ farg = 1;
}
- /* fill register and stack usage */
+ /* fill register and stack usage, parameter areas is at least PA_SIZE_IN_POINTERS */
md->argintreguse = iarg;
md->argfltreguse = farg;
- md->memuse = stacksize;
+ md->memuse = stacksize + (stackcount<PA_SIZE_IN_POINTERS? PA_SIZE_IN_POINTERS: stackcount);
+}
+
+
+/* md_param_alloc_native *******************************************************
+
+ Pre-allocate arguments according the native ABI.
+
+*******************************************************************************/
+
+void md_param_alloc_native(methoddesc *md)
+{
+ /* On PowerPC64 we use the same ABI for JIT method calls as for
+ native method calls. */
+
+ md_param_alloc(md);
}
for float/double)
--- in
- m: Methodinfo of current method
- return_type: Return Type of the Method (TYPE_INT.. TYPE_ADR)
- TYPE_VOID is not allowed!
+ jd: jitdata of the current method
stackslot: Java Stackslot to contain the Return Value
--- out
if precoloring was possible:
- stackslot->varkind =ARGVAR
- ->varnum =-1
- ->flags =0
- ->regoff =[REG_RESULT, (REG_RESULT2/REG_RESULT), REG_FRESULT]
+ VAR(stackslot->varnum)->flags = PREALLOC
+ VAR(stackslot->varnum)->vv.regoff = [REG_RESULT, REG_FRESULT]
rd->arg[flt|int]reguse set to a value according the register usage
*******************************************************************************/
-void md_return_alloc(methodinfo *m, registerdata *rd, s4 return_type,
- stackptr stackslot)
+void md_return_alloc(jitdata *jd, stackelement_t *stackslot)
{
+ methodinfo *m;
+ codeinfo *code;
+ registerdata *rd;
+ methoddesc *md;
+
+ /* get required compiler data */
+
+ m = jd->m;
+ code = jd->code;
+ rd = jd->rd;
+
+ md = m->parseddesc;
+
/* In Leafmethods Local Vars holding parameters are precolored to
their argument register -> so leafmethods with paramcount > 0
could already use R3 == a00! */
- if (!m->isleafmethod || (m->parseddesc->paramcount == 0)) {
+ if (!code_is_leafmethod(code) || (md->paramcount == 0)) {
/* Only precolor the stackslot, if it is not a SAVEDVAR <->
has not to survive method invokations. */
if (!(stackslot->flags & SAVEDVAR)) {
- stackslot->varkind = ARGVAR;
- stackslot->varnum = -1;
- stackslot->flags = 0;
- if (IS_INT_LNG_TYPE(return_type)) {
- if (!IS_2_WORD_TYPE(return_type)) {
- if (rd->argintreguse < 1)
- rd->argintreguse = 1;
+ VAR(stackslot->varnum)->flags = PREALLOC;
- stackslot->regoff = REG_RESULT;
-
- } else {
- if (rd->argintreguse < 2)
- rd->argintreguse = 2;
-
- /* stackslot->regoff = PACK_REGS(REG_RESULT2, REG_RESULT); // FIXME */
- }
+ if (IS_INT_LNG_TYPE(md->returntype.type)) {
+ if (rd->argintreguse < 1)
+ rd->argintreguse = 1;
+ VAR(stackslot->varnum)->vv.regoff = REG_RESULT;
} else { /* float/double */
if (rd->argfltreguse < 1)
rd->argfltreguse = 1;
- stackslot->regoff = REG_FRESULT;
+ VAR(stackslot->varnum)->vv.regoff = REG_FRESULT;
}
}
}
* c-basic-offset: 4
* tab-width: 4
* End:
+ * vim:noexpandtab:sw=4:ts=4:
*/
projects / cacao.git / blobdiff