/* src/vm/jit/mips/md-abi.c - functions for MIPS ABI
- Copyright (C) 1996-2005, 2006 R. Grafl, A. Krall, C. Kruegel,
+ Copyright (C) 1996-2005, 2006, 2007 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
Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
02110-1301, USA.
- Contact: cacao@cacaojvm.org
-
- Authors: Christian Thalinger
-
- Changes: Christian Ullrich
-
- $Id: md-abi.c 5114 2006-07-12 14:53:28Z twisti $
+ $Id: md-abi.c 8013 2007-06-05 10:19:09Z twisti $
*/
#include "vm/jit/mips/md-abi.h"
-#include "vm/descriptor.h"
#include "vm/global.h"
+
#include "vm/jit/abi.h"
+#include "vmcore/descriptor.h"
+
/* register descripton array **************************************************/
REG_END
};
+const char *abi_registers_integer_name[] = {
+ "zero", "at", "v0", "v1", "a0", "a1", "a2", "a3",
+ "a4", "a5", "a6", "a7", "t0", "t1", "t2", "t3",
+ "s0", "s1", "s2", "s3", "s4", "s5", "s6", "s7",
+ "t8", "t9", "k0", "k1", "gp", "sp", "s8", "ra"
+};
+
+const s4 abi_registers_integer_argument[] = {
+ 4, /* a0 */
+ 5, /* a1 */
+ 6, /* a2 */
+ 7, /* a3 */
+ 8, /* a4 */
+ 9, /* a5 */
+ 10, /* a6 */
+ 11, /* a7 */
+};
+
+const s4 abi_registers_integer_saved[] = {
+ 16, /* s0 */
+ 17, /* s1 */
+ 18, /* s2 */
+ 19, /* s3 */
+ 20, /* s4 */
+ 21, /* s5 */
+ 22, /* s6 */
+ 23, /* s7 */
+};
+
+const s4 abi_registers_integer_temporary[] = {
+ 12, /* t0 */
+ 13, /* t1 */
+ 14, /* t2 */
+ 15, /* t3 */
+ 24, /* t4 */
+};
+
+
s4 nregdescfloat[] = {
/* fv0, ftmp1, ftmp2, ftmp3, ft0, ft1, ft2, ft3, */
REG_RET, REG_RES, REG_RES, REG_RES, REG_TMP, REG_TMP, REG_TMP, REG_TMP,
REG_END
};
+const s4 abi_registers_float_argument[] = {
+ 12, /* fa0 */
+ 13, /* fa1 */
+ 14, /* fa2 */
+ 15, /* fa3 */
+ 16, /* fa4 */
+ 17, /* fa5 */
+ 18, /* fa6 */
+ 19, /* fa7 */
+};
+
+const s4 abi_registers_float_saved[] = {
+ 24, /* fs0 */
+ 26, /* fs1 */
+ 28, /* fs2 */
+ 30, /* fs3 */
+};
+
+const s4 abi_registers_float_temporary[] = {
+ 4, /* ft0 */
+ 5, /* ft1 */
+ 6, /* ft2 */
+ 7, /* ft3 */
+ 8, /* ft4 */
+ 9, /* ft5 */
+ 10, /* ft6 */
+ 11, /* ft7 */
+ 20, /* ft8 */
+ 21, /* ft9 */
+ 22, /* ft10 */
+ 23, /* ft11 */
+ 25, /* ft12 */
+ 27, /* ft13 */
+ 29, /* ft14 */
+ 31, /* ft15 */
+};
+
#else /* SIZEOF_VOID_P == 8 */
/* MIPS32 */
REG_END
};
+const char *abi_registers_integer_name[] = {
+ "zero", "at", "v0", "v1", "a0", "a1", "a2", "a3",
+ "a4", "a5", "a6", "a7", "t0", "t1", "t2", "t3",
+ "s0", "s1", "s2", "s3", "s4", "s5", "s6", "s7",
+ "t8", "t9", "k0", "k1", "gp", "sp", "s8", "ra"
+};
+
+const s4 abi_registers_integer_argument[] = {
+ 4, /* a0 */
+ 5, /* a1 */
+ 6, /* a2 */
+ 7, /* a3 */
+};
+
+const s4 abi_registers_integer_saved[] = {
+ 16, /* s0 */
+ 17, /* s1 */
+ 18, /* s2 */
+ 19, /* s3 */
+ 20, /* s4 */
+ 21, /* s5 */
+ 22, /* s6 */
+ 23, /* s7 */
+};
+
+const s4 abi_registers_integer_temporary[] = {
+ 8, /* t0 */
+ 9, /* t1 */
+ 10, /* t2 */
+ 11, /* t3 */
+ 12, /* t4 */
+ 13, /* t5 */
+ 14, /* t6 */
+ 15, /* t7 */
+};
+
+
#if !defined(ENABLE_SOFT_FLOAT)
s4 nregdescfloat[] = {
REG_END
};
+const s4 abi_registers_float_argument[] = {
+ 12, /* fa0 */
+ 14, /* fa1 */
+};
+
+const s4 abi_registers_float_saved[] = {
+ 20, /* fs0 */
+ 22, /* fs1 */
+ 24, /* fs2 */
+ 26, /* fs3 */
+ 28, /* fs4 */
+ 30, /* fs5 */
+};
+
+const s4 abi_registers_float_temporary[] = {
+ 8, /* ft0 */
+ 10, /* ft1 */
+ 16, /* ft2 */
+ 18, /* ft3 */
+};
+
+
#else /* !defined(ENABLE_SOFT_FLOAT) */
s4 nregdescfloat[] = {
/* md_param_alloc **************************************************************
- XXX
+ Pre-allocate arguments according to the internal JIT ABI.
*******************************************************************************/
/* set default values */
- reguse = 0;
- stacksize = 0;
+ reguse = 0;
+ stacksize = 0;
/* get params field of methoddesc */
pd = md->params;
+#if SIZEOF_VOID_P == 8
+
for (i = 0; i < md->paramcount; i++, pd++) {
switch (md->paramtypes[i].type) {
case TYPE_INT:
case TYPE_ADR:
case TYPE_LNG:
- if (i < INT_ARG_CNT) {
+ if (reguse < INT_ARG_CNT) {
+ pd->inmemory = false;
+ pd->regoff = abi_registers_integer_argument[reguse];
+ reguse++;
+ md->argintreguse = reguse;
+ }
+ else {
+ pd->inmemory = true;
+ pd->regoff = stacksize;
+ stacksize++;
+ }
+ break;
+
+ case TYPE_FLT:
+ case TYPE_DBL:
+ if (reguse < FLT_ARG_CNT) {
+ pd->inmemory = false;
+ pd->regoff = abi_registers_float_argument[reguse];
+ reguse++;
+ md->argfltreguse = reguse;
+ }
+ else {
+ pd->inmemory = true;
+ pd->regoff = stacksize;
+ stacksize++;
+ }
+ break;
+ }
+
+ /* register type is the same as java type */
+
+ pd->type = md->paramtypes[i].type;
+ }
+
+#else /* SIZEOF_VOID_P == 8 */
+
+# if !defined(ENABLE_SOFT_FLOAT)
+
+ /* Set stacksize to 2, as 4 32-bit argument registers can be
+ stored. */
+ /* XXX maybe this should be done in stack.c? */
+
+ stacksize = 2;
+
+ for (i = 0; i < md->paramcount; i++, pd++) {
+ switch (md->paramtypes[i].type) {
+ case TYPE_INT:
+ case TYPE_ADR:
+ if (reguse < INT_ARG_CNT) {
pd->inmemory = false;
- pd->regoff = reguse;
+ pd->regoff = abi_registers_integer_argument[reguse];
reguse++;
md->argintreguse = reguse;
- } else {
+ }
+ else {
+ pd->inmemory = true;
+ pd->regoff = stacksize;
+ stacksize++;
+ }
+ break;
+
+ case TYPE_LNG:
+ ALIGN_2(reguse);
+
+ if (reguse < INT_ARG_CNT) {
+ pd->inmemory = false;
+# if WORDS_BIGENDIAN == 1
+ pd->regoff =
+ PACK_REGS(abi_registers_integer_argument[reguse + 1],
+ abi_registers_integer_argument[reguse]);
+# else
+ pd->regoff =
+ PACK_REGS(abi_registers_integer_argument[reguse],
+ abi_registers_integer_argument[reguse + 1]);
+# endif
+ reguse += 2;
+ md->argintreguse = reguse;
+ }
+ else {
pd->inmemory = true;
- pd->regoff = stacksize;
+ pd->regoff = stacksize;
stacksize++;
}
break;
+
case TYPE_FLT:
case TYPE_DBL:
- if (i < FLT_ARG_CNT) {
+ if (reguse < FLT_ARG_CNT) {
pd->inmemory = false;
- pd->regoff = reguse;
+ pd->regoff = abi_registers_float_argument[reguse];
reguse++;
md->argfltreguse = reguse;
- } else {
+ }
+ else {
+ pd->inmemory = true;
+ pd->regoff = stacksize;
+ stacksize++;
+ }
+ break;
+ }
+
+ /* register type is the same as java type */
+
+ pd->type = md->paramtypes[i].type;
+ }
+
+# else /* !defined(ENABLE_SOFT_FLOAT) */
+# error never actually tested!
+
+ for (i = 0; i < md->paramcount; i++, pd++) {
+ switch (md->paramtypes[i].type) {
+ case TYPE_INT:
+ case TYPE_ADR:
+ case TYPE_FLT:
+ pd->type = TYPE_INT;
+
+ if (reguse < INT_ARG_CNT) {
+ pd->inmemory = false;
+ pd->regoff = abi_registers_integer_argument[reguse];
+ reguse++;
+ md->argintreguse = reguse;
+ }
+ else {
+ pd->inmemory = true;
+ pd->regoff = stacksize;
+ }
+ stacksize++;
+ break;
+
+ case TYPE_LNG:
+ case TYPE_DBL:
+ pd->type = TYPE_LNG;
+
+ if (reguse < INT_ARG_CNT) {
+ pd->inmemory = false;
+# if WORDS_BIGENDIAN == 1
+ pd->regoff =
+ PACK_REGS(abi_registers_integer_argument[reguse + 1],
+ abi_registers_integer_argument[reguse]);
+# else
+ pd->regoff =
+ PACK_REGS(abi_registers_integer_argument[reguse],
+ abi_registers_integer_argument[reguse + 1]);
+# endif
+ reguse += 2;
+ md->argintreguse = reguse;
+ }
+ else {
pd->inmemory = true;
- pd->regoff = stacksize;
+ pd->regoff = stacksize;
+ }
+ stacksize += 2;
+ break;
+ }
+ }
+
+# endif /* !defined(ENABLE_SOFT_FLOAT) */
+#endif /* SIZEOF_VOID_P == 8 */
+
+ /* fill register and stack usage */
+
+ md->memuse = stacksize;
+}
+
+
+/* md_param_alloc_native *******************************************************
+
+ Pre-allocate arguments according the native ABI.
+
+*******************************************************************************/
+
+void md_param_alloc_native(methoddesc *md)
+{
+#if SIZEOF_VOID_P == 8
+
+ /* On MIPS n64 we use the same ABI for JIT method calls as for
+ native method calls. */
+
+ md_param_alloc(md);
+
+#else /* SIZEOF_VOID_P == 8 */
+
+ paramdesc *pd;
+ s4 i;
+ s4 reguse;
+ s4 stacksize;
+# if !defined(ENABLE_SOFT_FLOAT)
+ s4 t;
+ bool a0_is_float;
+# endif
+
+ /* set default values */
+
+ reguse = 0;
+ stacksize = 0;
+# if !defined(ENABLE_SOFT_FLOAT)
+ a0_is_float = false;
+# endif
+
+ /* get params field of methoddesc */
+
+ pd = md->params;
+
+# if !defined(ENABLE_SOFT_FLOAT)
+
+ for (i = 0; i < md->paramcount; i++, pd++) {
+ t = md->paramtypes[i].type;
+
+ if (IS_FLT_DBL_TYPE(t) &&
+ ((i == 0) ||
+ ((i == 1) && IS_FLT_DBL_TYPE(md->paramtypes[0].type)))) {
+ if (IS_2_WORD_TYPE(t)) {
+ pd->type = TYPE_DBL;
+ pd->regoff = abi_registers_float_argument[reguse];
+ reguse++;
+ stacksize += 2;
+ }
+ else {
+ pd->type = TYPE_FLT;
+ pd->regoff = abi_registers_float_argument[reguse];
+ reguse++;
stacksize++;
}
+ md->argfltreguse = reguse;
+ a0_is_float = true;
+ }
+ else {
+ if (IS_2_WORD_TYPE(t)) {
+ ALIGN_2(reguse);
+ pd->type = TYPE_LNG;
+
+ if (reguse < INT_ARG_CNT) {
+ pd->inmemory = false;
+# if WORDS_BIGENDIAN == 1
+ pd->regoff =
+ PACK_REGS(abi_registers_integer_argument[reguse + 1],
+ abi_registers_integer_argument[reguse]);
+# else
+ pd->regoff =
+ PACK_REGS(abi_registers_integer_argument[reguse],
+ abi_registers_integer_argument[reguse + 1]);
+# endif
+ reguse += 2;
+ md->argintreguse = reguse;
+ }
+ else {
+ ALIGN_2(stacksize);
+
+ pd->inmemory = true;
+ pd->regoff = stacksize;
+ }
+ stacksize += 2;
+ }
+ else {
+ pd->type = TYPE_INT;
+
+ if (reguse < INT_ARG_CNT) {
+ pd->inmemory = false;
+ pd->regoff = abi_registers_integer_argument[reguse];
+ reguse++;
+ md->argintreguse = reguse;
+ }
+ else {
+ pd->inmemory = true;
+ pd->regoff = stacksize;
+ }
+ stacksize++;
+ }
+ }
+ }
+
+# else /* !defined(ENABLE_SOFT_FLOAT) */
+# error never actually tested!
+
+ for (i = 0; i < md->paramcount; i++, pd++) {
+ switch (md->paramtypes[i].type) {
+ case TYPE_INT:
+ case TYPE_ADR:
+ case TYPE_FLT:
+ pd->type = TYPE_INT;
+
+ if (i < INT_ARG_CNT) {
+ pd->inmemory = false;
+ pd->regoff = abi_registers_integer_argument[reguse];
+ reguse++;
+ md->argintreguse = reguse;
+ }
+ else {
+ pd->inmemory = true;
+ pd->regoff = stacksize;
+ }
+ stacksize++;
+ break;
+ case TYPE_LNG:
+ case TYPE_DBL:
+ pd->type = TYPE_LNG;
+
+ if (i < INT_ARG_CNT) {
+ pd->inmemory = false;
+# if WORDS_BIGENDIAN == 1
+ pd->regoff =
+ PACK_REGS(abi_registers_integer_argument[reguse + 1],
+ abi_registers_integer_argument[reguse]);
+# else
+ pd->regoff =
+ PACK_REGS(abi_registers_integer_argument[reguse],
+ abi_registers_integer_argument[reguse + 1]);
+# endif
+ reguse += 2;
+ md->argintreguse = reguse;
+ }
+ else {
+ pd->inmemory = true;
+ pd->regoff = stacksize;
+ }
+ stacksize += 2;
break;
}
}
+# endif /* !defined(ENABLE_SOFT_FLOAT) */
+
/* fill register and stack usage */
md->memuse = stacksize;
+
+#endif /* SIZEOF_VOID_P == 8 */
}
(SAVEDVAR)
--- 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_FRESULT]
+ VAR(stackslot->varnum)->flags = PREALLOC
+ ->regoff = [REG_RESULT|REG_FRESULT]
*******************************************************************************/
not to survive method invokations. */
if (!(stackslot->flags & SAVEDVAR)) {
- stackslot->varkind = ARGVAR;
- stackslot->varnum = -1;
- stackslot->flags = 0;
-
- if (IS_INT_LNG_TYPE(md->returntype.type))
- stackslot->regoff = REG_RESULT;
+ VAR(stackslot->varnum)->flags = PREALLOC;
+
+ if (IS_INT_LNG_TYPE(md->returntype.type)) {
+#if SIZEOF_VOID_P == 4
+ if (IS_2_WORD_TYPE(md->returntype.type))
+ VAR(stackslot->varnum)->vv.regoff = REG_RESULT_PACKED;
+ else
+#endif
+ VAR(stackslot->varnum)->vv.regoff = REG_RESULT;
+ }
else
- stackslot->regoff = REG_FRESULT;
+ VAR(stackslot->varnum)->vv.regoff = REG_FRESULT;
}
}