src/vm/jit/reg.c

   1 /* src/vm/jit/reg.c - register allocator setup
   2
   3    Copyright (C) 1996-2005, 2006 R. Grafl, A. Krall, C. Kruegel,
   4    C. Oates, R. Obermaisser, M. Platter, M. Probst, S. Ring,
   5    E. Steiner, C. Thalinger, D. Thuernbeck, P. Tomsich, C. Ullrich,
   6    J. Wenninger, Institut f. Computersprachen - TU Wien
   7
   8    This file is part of CACAO.
   9
  10    This program is free software; you can redistribute it and/or
  11    modify it under the terms of the GNU General Public License as
  12    published by the Free Software Foundation; either version 2, or (at
  13    your option) any later version.
  14
  15    This program is distributed in the hope that it will be useful, but
  16    WITHOUT ANY WARRANTY; without even the implied warranty of
  17    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  18    General Public License for more details.
  19
  20    You should have received a copy of the GNU General Public License
  21    along with this program; if not, write to the Free Software
  22    Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
  23    02110-1301, USA.
  24
  25    Contact: cacao@cacaojvm.org
  26
  27    Authors: Andreas Krall
  28
  29    Changes: Stefan Ring
  30             Christian Thalinger
  31             Christian Ullrich
  32             Michael Starzinger
  33             Edwin Steiner
  34
  35    $Id: reg.c 5404 2006-09-07 13:29:05Z christian $
  36
  37 */
  38
  39
  40 #include "config.h"
  41
  42 #include <assert.h>
  43
  44 #include "vm/types.h"
  45
  46 #include "arch.h"
  47 #include "md-abi.h"
  48
  49 #include "mm/memory.h"
  50 #include "vm/jit/abi.h"
  51 #include "vm/jit/reg.h"
  52
  53
  54 /* reg_setup *******************************************************************
  55
  56    TODO
  57
  58 *******************************************************************************/
  59
  60 void reg_setup(jitdata *jd)
  61 {
  62         methodinfo   *m;
  63         registerdata *rd;
  64         s4            i;
  65 #if !defined(NEW_VAR)
  66         varinfo5     *v;
  67 #endif
  68
  69         /* get required compiler data */
  70
  71         m  = jd->m;
  72         rd = jd->rd;
  73
  74         /* setup the integer register table */
  75
  76 #if defined(__ARM__)
  77         /* On ARM longs can be split across argument regs and stack. This is
  78          * signed by setting the HIGH_REG to INT_ARG_CNT in md_param_alloc().
  79          * Here we make sure it resolves to a special dummy reg (REG_SPLIT). */
  80         rd->argintregs = DMNEW(s4, INT_ARG_CNT + 1);
  81         rd->argintregs[INT_ARG_CNT] = REG_SPLIT;
  82 #else
  83         rd->argintregs = DMNEW(s4, INT_ARG_CNT);
  84 #endif
  85         rd->tmpintregs = DMNEW(s4, INT_TMP_CNT);
  86         rd->savintregs = DMNEW(s4, INT_SAV_CNT);
  87         rd->freeargintregs = DMNEW(s4, INT_ARG_CNT);
  88         rd->freetmpintregs = DMNEW(s4, INT_TMP_CNT);
  89         rd->freesavintregs = DMNEW(s4, INT_SAV_CNT);
  90
  91         rd->argintreguse = 0;
  92         rd->tmpintreguse = 0;
  93         rd->savintreguse = 0;
  94
  95         for (i = 0; i < INT_REG_CNT; i++) {
  96                 switch (nregdescint[i]) {
  97                 case REG_RET:
  98                         rd->intreg_ret = i;
  99                         break;
 100                 case REG_SAV:
 101                         rd->savintregs[rd->savintreguse++] = i;
 102                         break;
 103                 case REG_TMP:
 104                         rd->tmpintregs[rd->tmpintreguse++] = i;
 105                         break;
 106                 case REG_ARG:
 107                         rd->argintregs[rd->argintreguse++] = i;
 108                         break;
 109                 }
 110         }
 111         assert(rd->savintreguse == INT_SAV_CNT);
 112         assert(rd->tmpintreguse == INT_TMP_CNT);
 113         assert(rd->argintreguse == INT_ARG_CNT);
 114
 115 #if defined(__X86_64__)
 116         /*
 117          * on x86_64 the argument registers are not in ascending order
 118          * a00 (%rdi) <-> a03 (%rcx) and a01 (%rsi) <-> a02 (%rdx)
 119          */
 120         i = rd->argintregs[3];
 121         rd->argintregs[3] = rd->argintregs[0];
 122         rd->argintregs[0] = i;
 123
 124         i = rd->argintregs[2];
 125         rd->argintregs[2] = rd->argintregs[1];
 126         rd->argintregs[1] = i;
 127 #endif
 128
 129 #ifdef HAS_ADDRESS_REGISTER_FILE
 130         /* setup the address register table */
 131
 132         rd->argadrregs = DMNEW(s4, ADR_ARG_CNT);
 133         rd->tmpadrregs = DMNEW(s4, ADR_TMP_CNT);
 134         rd->savadrregs = DMNEW(s4, ADR_SAV_CNT);
 135         rd->freeargadrregs = DMNEW(s4, ADR_ARG_CNT);
 136         rd->freetmpadrregs = DMNEW(s4, ADR_TMP_CNT);
 137         rd->freesavadrregs = DMNEW(s4, ADR_SAV_CNT);
 138
 139         rd->adrreg_argnum = 0;
 140         rd->argadrreguse = 0;
 141         rd->tmpadrreguse = 0;
 142         rd->savadrreguse = 0;
 143
 144         for (i = 0; i < ADR_REG_CNT; i++) {
 145                 switch (nregdescadr[i]) {
 146                 case REG_RET:
 147                         rd->adrreg_ret = i;
 148                         break;
 149                 case REG_SAV:
 150                         rd->savadrregs[rd->savadrreguse++] = i;
 151                         break;
 152                 case REG_TMP:
 153                         rd->tmpadrregs[rd->tmpadrreguse++] = i;
 154                         break;
 155                 case REG_ARG:
 156                         rd->argadrregs[rd->argadrreguse++] = i;
 157                         break;
 158                 }
 159         }
 160         assert(rd->savadrreguse == ADR_SAV_CNT);
 161         assert(rd->tmpadrreguse == ADR_TMP_CNT);
 162         assert(rd->argadrreguse == ADR_ARG_CNT);
 163 #endif
 164
 165         /* setup the float register table */
 166
 167         rd->argfltregs = DMNEW(s4, FLT_ARG_CNT);
 168         rd->tmpfltregs = DMNEW(s4, FLT_TMP_CNT);
 169         rd->savfltregs = DMNEW(s4, FLT_SAV_CNT);
 170         rd->freeargfltregs = DMNEW(s4, FLT_ARG_CNT);
 171         rd->freetmpfltregs = DMNEW(s4, FLT_TMP_CNT);
 172         rd->freesavfltregs = DMNEW(s4, FLT_SAV_CNT);
 173
 174         rd->argfltreguse = 0;
 175         rd->tmpfltreguse = 0;
 176         rd->savfltreguse = 0;
 177
 178         for (i = 0; i < FLT_REG_CNT; i++) {
 179                 switch (nregdescfloat[i]) {
 180                 case REG_RET:
 181                         rd->fltreg_ret = i;
 182                         break;
 183                 case REG_SAV:
 184                         rd->savfltregs[rd->savfltreguse++] = i;
 185                         break;
 186                 case REG_TMP:
 187                         rd->tmpfltregs[rd->tmpfltreguse++] = i;
 188                         break;
 189                 case REG_ARG:
 190                         rd->argfltregs[rd->argfltreguse++] = i;
 191                         break;
 192                 }
 193         }
 194         assert(rd->savfltreguse == FLT_SAV_CNT);
 195         assert(rd->tmpfltreguse == FLT_TMP_CNT);
 196         assert(rd->argfltreguse == FLT_ARG_CNT);
 197
 198
 199         rd->freemem    = DMNEW(s4, m->maxstack);
 200 #if defined(HAS_4BYTE_STACKSLOT)
 201         rd->freemem_2  = DMNEW(s4, m->maxstack);
 202 #endif
 203 #if !defined(NEW_VAR)
 204         rd->locals     = DMNEW(varinfo5, m->maxlocals);
 205         rd->interfaces = DMNEW(varinfo5, m->maxstack);
 206         for (v = rd->locals, i = m->maxlocals; i > 0; v++, i--) {
 207                 v[0][TYPE_INT].type = -1;
 208                 v[0][TYPE_LNG].type = -1;
 209                 v[0][TYPE_FLT].type = -1;
 210                 v[0][TYPE_DBL].type = -1;
 211                 v[0][TYPE_ADR].type = -1;
 212
 213                 v[0][TYPE_INT].regoff = 0;
 214                 v[0][TYPE_LNG].regoff = 0;
 215                 v[0][TYPE_FLT].regoff = 0;
 216                 v[0][TYPE_DBL].regoff = 0;
 217                 v[0][TYPE_ADR].regoff = 0;
 218         }
 219
 220         for (v = rd->interfaces, i = m->maxstack; i > 0; v++, i--) {
 221                 v[0][TYPE_INT].type = -1;
 222                 v[0][TYPE_INT].flags = 0;
 223                 v[0][TYPE_LNG].type = -1;
 224                 v[0][TYPE_LNG].flags = 0;
 225                 v[0][TYPE_FLT].type = -1;
 226                 v[0][TYPE_FLT].flags = 0;
 227                 v[0][TYPE_DBL].type = -1;
 228                 v[0][TYPE_DBL].flags = 0;
 229                 v[0][TYPE_ADR].type = -1;
 230                 v[0][TYPE_ADR].flags = 0;
 231
 232                 v[0][TYPE_INT].regoff = 0;
 233                 v[0][TYPE_LNG].regoff = 0;
 234                 v[0][TYPE_FLT].regoff = 0;
 235                 v[0][TYPE_DBL].regoff = 0;
 236                 v[0][TYPE_ADR].regoff = 0;
 237         }
 238 #endif
 239
 240 #if defined(SPECIALMEMUSE)
 241 # if defined(__DARWIN__)
 242         /* 6*4=24 byte linkage area + 8*4=32 byte minimum parameter Area */
 243         rd->memuse = LA_SIZE_IN_POINTERS + INT_ARG_CNT;
 244 # else
 245         rd->memuse = LA_SIZE_IN_POINTERS;
 246 # endif
 247 #else
 248         rd->memuse = 0; /* init to zero -> analyse_stack will set it to a higher  */
 249                         /* value, if appropriate */
 250 #endif
 251
 252         /* Set rd->arg*reguse to *_ARG_CNBT to not use unused argument            */
 253         /* registers as temp registers  */
 254 #if defined(HAS_ADDRESS_REGISTER_FILE)
 255         rd->argadrreguse = 0;
 256 #endif /* defined(HAS_ADDRESS_REGISTER_FILE) */
 257         rd->argintreguse = 0;
 258         rd->argfltreguse = 0;
 259 }
 260
 261
 262 /*
 263  * These are local overrides for various environment variables in Emacs.
 264  * Please do not remove this and leave it at the end of the file, where
 265  * Emacs will automagically detect them.
 266  * ---------------------------------------------------------------------
 267  * Local variables:
 268  * mode: c
 269  * indent-tabs-mode: t
 270  * c-basic-offset: 4
 271  * tab-width: 4
 272  * End:
 273  * vim:noexpandtab:sw=4:ts=4:
 274  */