md-abi.cpp

Go to the documentation of this file.

/* src/vm/jit/powerpc/netbsd/md-abi.cpp - PowerPC NetBSD ABI

   Copyright (C) 1996-2013
   CACAOVM - Verein zur Foerderung der freien virtuellen Maschine CACAO

   This file is part of CACAO.

   This program is free software; you can redistribute it and/or
   modify it under the terms of the GNU General Public License as
   published by the Free Software Foundation; either version 2, or (at
   your option) any later version.

   This program is distributed in the hope that it will be useful, but
   WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
   General Public License for more details.

   You should have received a copy of the GNU General Public License
   along with this program; if not, write to the Free Software
   Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
   02110-1301, USA.

*/


#include "config.h"
#include "vm/types.hpp"

#include "vm/jit/powerpc/netbsd/md-abi.hpp"

#include "vm/descriptor.hpp"
#include "vm/global.hpp"
#include "vm/method.hpp"

#include "vm/jit/abi.hpp"
#include "vm/jit/code.hpp"
#include "vm/jit/codegen-common.hpp" // for PACK_REGS
#include "vm/jit/stack.hpp"


#define _ALIGN(a)    do { if ((a) & 1) (a)++; } while (0)


/* register descripton array **************************************************/

s4 nregdescint[] = {
    /* zero,      sp, NO(sys),   a0/v0,   a0/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,      pv,      s0,      s1,   */
    REG_ARG, REG_ARG, REG_ARG, REG_RES, REG_RES, REG_RES, REG_SAV, 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,

    /*   s2,      s3,      s4,      s5,      s6,      s7,      s8,      s9,   */
    REG_SAV, REG_SAV, REG_SAV, REG_SAV, REG_SAV, REG_SAV, REG_SAV, REG_SAV,

    REG_END
};


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,

    /*  fa7,     ft0,     ft1,     ft2,     ft3,     ft4,     fs0,     fs1,   */
    REG_ARG, REG_TMP, REG_TMP, REG_TMP, REG_TMP, REG_TMP, REG_SAV, REG_SAV,

    /*ftmp1,   ftmp2,     ft5,     ft6,     ft7,     ft8,     ft9,    ft10,   */
    REG_RES, REG_RES, REG_TMP, REG_TMP, REG_TMP, REG_TMP, REG_TMP, REG_TMP,

    /*  fs2,     fs3,     fs4,     fs5,     fs6,     fs7,     fs8,     fs9    */
    REG_SAV, REG_SAV, REG_SAV, REG_SAV, REG_SAV, REG_SAV, REG_SAV, REG_SAV,

    REG_END
};


/* md_param_alloc **************************************************************

   Allocate Arguments to Stackslots according the Calling Conventions

   --- in
   md->paramcount:           Number of arguments for this method
   md->paramtypes[].type:    Argument types

   --- out
   md->params[].inmemory:    Argument spilled on stack
   md->params[].regoff:      Stack offset or rd->arg[int|flt]regs index
   md->memuse:               Stackslots needed for argument spilling
   md->argintreguse:         max number of integer arguments used
   md->argfltreguse:         max number of float arguments used

*******************************************************************************/

void md_param_alloc(methoddesc *md)
{
    paramdesc *pd;
    s4         i;
    s4         iarg;
    s4         farg;
    s4         stacksize;

    /* set default values */

    iarg = 0;
    farg = 0;
    stacksize = LA_WORD_SIZE;

    /* get params field of methoddesc */

    pd = md->params;

    for (i = 0; i < md->paramcount; i++, pd++) {
        switch (md->paramtypes[i].type) {
        case TYPE_INT:
        case TYPE_ADR:
            if (iarg < INT_ARG_CNT) {
                pd->inmemory = false;
                pd->regoff = iarg;
                iarg++;
            } else {
                pd->inmemory = true;
                pd->regoff = stacksize * 4;
                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);
                pd->inmemory = true;
                pd->regoff = stacksize * 4;
                iarg = INT_ARG_CNT;
                stacksize += 2;
            }
            break;
        case TYPE_FLT:
            if (farg < FLT_ARG_CNT) {
                pd->inmemory = false;
                pd->regoff = farg;
                farg++;
            } else {
                pd->inmemory = true;
                pd->regoff = stacksize * 4;
                stacksize++;
            }
            break;
        case TYPE_DBL:
            if (farg < FLT_ARG_CNT) {
                pd->inmemory = false;
                pd->regoff = farg;
                farg++;
            } else {
                _ALIGN(stacksize);
                pd->inmemory = true;
                pd->regoff = stacksize * 4;
                stacksize += 2;
            }
            break;
        }
    }

    /* Since R3/R4, F1 (==A0/A1, 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;
    }

    /* fill register and stack usage */

    md->argintreguse = iarg;
    md->argfltreguse = farg;
    md->memuse = stacksize;
}


/* md_return_alloc *************************************************************

   Precolor the Java Stackelement containing the Return Value, if
   possible.  (R3==a00 for int/adr, R4/R3 == a01/a00 for long, F1==a00
   for float/double)

   --- in
   jd:                      jitdata of current method
   stackslot:               Java Stackslot to contain the Return Value

   --- out
   if precoloring was possible:
   VAR(stackslot->varnum)->flags  = PREALLOC
   VAR(stackslot->varnum)->vv.regoff = [REG_RESULT, (REG_RESULT2/REG_RESULT), REG_FRESULT]
   rd->arg[flt|int]reguse   set to a value according the register usage

*******************************************************************************/

void md_return_alloc(jitdata *jd, stackelement_t* stackslot)
{
    methodinfo   *m;
    registerdata *rd;
    methoddesc   *md;

    /* get required compiler data */

    m  = jd->m;
    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 || (md->paramcount == 0)) {
        /* Only precolor the stackslot, if it is not a SAVEDVAR <->
           has not to survive method invokations. */

        if (!(stackslot->flags & SAVEDVAR)) {

            VAR(stackslot->varnum)->flags = PREALLOC;

            if (IS_INT_LNG_TYPE(md->returntype.type)) {
                if (!IS_2_WORD_TYPE(md->returntype.type)) {
                    if (rd->argintreguse < 1)
                        rd->argintreguse = 1;

                    VAR(stackslot->varnum)->vv.regoff = REG_RESULT;

                } else {
                    if (rd->argintreguse < 2)
                        rd->argintreguse = 2;

                    VAR(stackslot->varnum)->vv.regoff = PACK_REGS(REG_RESULT2, REG_RESULT);
                }

            } else { /* float/double */
                if (rd->argfltreguse < 1)
                    rd->argfltreguse = 1;

                VAR(stackslot->varnum)->vv.regoff = REG_FRESULT;
            }
        }
    }
}


/*
 * These are local overrides for various environment variables in Emacs.
 * Please do not remove this and leave it at the end of the file, where
 * Emacs will automagically detect them.
 * ---------------------------------------------------------------------
 * Local variables:
 * mode: c++
 * indent-tabs-mode: t
 * c-basic-offset: 4
 * tab-width: 4
 * End:
 * vim:noexpandtab:sw=4:ts=4:
 */