* Removed all Id tags.
[cacao.git] / src / vm / jit / x86_64 / md-abi.c
index 47b9a965740f49d5b61fbd5d51af957e0a0abd78..34bc9e4f7bd063d93c20a5a13876b480dba8c564 100644 (file)
@@ -1,6 +1,6 @@
 /* src/vm/jit/x86_64/md-abi.c - functions for x86_64 Linux 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:
-
-   $Id: md-abi.c 5595 2006-09-30 23:06:36Z edwin $
-
 */
 
 
 
 #include "vm/jit/x86_64/md-abi.h"
 
-#include "vm/descriptor.h"
 #include "vm/global.h"
 
+#include "vm/jit/abi.h"
+#include "vm/jit/jit.h" /* for REG_* (maybe can be removed) */
+
+#include "vmcore/descriptor.h"
+
 
 /* register descripton array **************************************************/
 
@@ -50,6 +46,42 @@ s4 nregdescint[] = {
     REG_END
 };
 
+const char *abi_registers_integer_name[] = {
+       "rax", "rcx", "rdx", "rbx", "rsp", "rbp", "rsi", "rdi",
+       "r8",  "r9",  "r10", "r11", "r12", "r13", "r14", "r15"
+};
+
+const s4 abi_registers_integer_argument[] = {
+       7,  /* a0 */
+       6,  /* a1 */
+       2,  /* a2 */
+       1,  /* a3 */
+       8,  /* a4 */
+       9,  /* a5 */
+};
+
+const s4 abi_registers_integer_saved[] = {
+       7,  /* s0 */
+       12, /* s1 */
+       13, /* s2 */
+       14, /* s3 */
+       15, /* s4 */
+};
+
+const s4 abi_registers_integer_temporary[] = {
+       3,  /* t0 */
+};
+
+
+/* float registers *************************************************************
+
+   xmm0,   xmm1,   xmm2,   xmm3,   xmm4,   xmm5,   xmm6,   xmm7,
+   (fa0)   (fa1)   (fa2)   (fa3)   (fa4)   (fa5)   (fa6)   (fa7)
+
+   xmm8,   xmm9,   xmm10,  xmm11,  xmm12,  xmm13,  xmm14,  xmm15
+   (ftmp1) (ftmp2) (ftmp3) (ft0)   (ft1)   (ft2)   (ft3)   (ft4)
+
+*******************************************************************************/
 
 s4 nregdescfloat[] = {
     REG_ARG, REG_ARG, REG_ARG, REG_ARG, REG_ARG, REG_ARG, REG_ARG, REG_ARG,
@@ -58,6 +90,30 @@ s4 nregdescfloat[] = {
 };
 
 
+const s4 abi_registers_float_argument[] = {
+       0,  /* fa0 */
+       1,  /* fa1 */
+       2,  /* fa2 */
+       3,  /* fa3 */
+       4,  /* fa4 */
+       5,  /* fa5 */
+       6,  /* fa6 */
+       7,  /* fa7 */
+};
+
+const s4 abi_registers_float_saved[] = {
+       -1,
+};
+
+const s4 abi_registers_float_temporary[] = {
+       11, /* ft0 */
+       12, /* ft1 */
+       13, /* ft2 */
+       14, /* ft3 */
+       15, /* ft4 */
+};
+
+
 /* md_param_alloc **************************************************************
 
    XXX
@@ -74,8 +130,8 @@ void md_param_alloc(methoddesc *md)
 
        /* set default values */
 
-       iarg = 0;
-       farg = 0;
+       iarg      = 0;
+       farg      = 0;
        stacksize = 0;
 
        /* get params field of methoddesc */
@@ -89,32 +145,32 @@ void md_param_alloc(methoddesc *md)
                case TYPE_LNG:
                        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;
-                       }
-                       if (iarg < INT_ARG_CNT)
-                               iarg++;
-                       else
+                               pd->index    = stacksize;
+                               pd->regoff   = stacksize * 8;
                                stacksize++;
+                       }
                        break;
 
                case TYPE_FLT:
                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 {
                                pd->inmemory = true;
-                               pd->regoff   = stacksize;
-                       }
-                       if (farg < FLT_ARG_CNT)
-                               farg++;
-                       else
+                               pd->index    = stacksize;
+                               pd->regoff   = stacksize * 8;
                                stacksize++;
+                       }
                        break;
                }
        }
@@ -134,6 +190,21 @@ void md_param_alloc(methoddesc *md)
 }
 
 
+/* md_param_alloc_native *******************************************************
+
+   Pre-allocate arguments according the native ABI.
+
+*******************************************************************************/
+
+void md_param_alloc_native(methoddesc *md)
+{
+       /* On x86_64 we use the same ABI for JIT method calls as for
+          native method calls. */
+
+       md_param_alloc(md);
+}
+
+
 /* md_return_alloc *************************************************************
 
    Precolor the Java Stackelement containing the Return Value. Only
@@ -142,15 +213,13 @@ void md_param_alloc(methoddesc *md)
    return register.
 
    --- 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:
-   jd->var[stackslot->varnum]->flags       = PREALLOC
-                                        ->regoff      =[REG_RESULT|REG_FRESULT]
+   VAR(stackslot->varnum)->flags     = PREALLOC
+                                    ->vv.regoff = [REG_RESULT|REG_FRESULT]
    rd->arg[flt|int]reguse   set to a value according the register usage
 
    NOTE: Do not pass a LOCALVAR in stackslot->varnum.
@@ -185,16 +254,13 @@ void md_return_alloc(jitdata *jd, stackptr stackslot)
                           <-> has not to survive method invokations */
 
                        if (!(stackslot->flags & SAVEDVAR)) {
-/*                             stackslot->varkind = ARGVAR; */
-/*                             stackslot->varnum  = -1; */
-/*                             stackslot->flags   = 0; */
+
+                               VAR(stackslot->varnum)->flags = PREALLOC;
 
                            /* float/double */
                                if (rd->argfltreguse < 1)
                                        rd->argfltreguse = 1;
 
-/*                             stackslot->regoff = REG_FRESULT; */
-                               VAR(stackslot->varnum)->flags = PREALLOC;
                                VAR(stackslot->varnum)->vv.regoff = REG_FRESULT;
                        }
                }