src/hotspot/share/adlc/formsopt.cpp
author erikj
Tue, 12 Sep 2017 19:03:39 +0200
changeset 47216 71c04702a3d5
parent 33164 hotspot/src/share/vm/adlc/formsopt.cpp@943f132e809a
child 59278 8375560db76b
permissions -rw-r--r--
8187443: Forest Consolidation: Move files to unified layout Reviewed-by: darcy, ihse
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     1
/*
13104
657b387034fb 7119644: Increase superword's vector size up to 256 bits
kvn
parents: 11197
diff changeset
     2
 * Copyright (c) 1998, 2012, Oracle and/or its affiliates. All rights reserved.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
489c9b5090e2 Initial load
duke
parents:
diff changeset
     4
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
489c9b5090e2 Initial load
duke
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
489c9b5090e2 Initial load
duke
parents:
diff changeset
     7
 * published by the Free Software Foundation.
489c9b5090e2 Initial load
duke
parents:
diff changeset
     8
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
489c9b5090e2 Initial load
duke
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
489c9b5090e2 Initial load
duke
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
489c9b5090e2 Initial load
duke
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
489c9b5090e2 Initial load
duke
parents:
diff changeset
    13
 * accompanied this code).
489c9b5090e2 Initial load
duke
parents:
diff changeset
    14
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
489c9b5090e2 Initial load
duke
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    18
 *
5547
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 2129
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 2129
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 2129
diff changeset
    21
 * questions.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    22
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    23
 */
489c9b5090e2 Initial load
duke
parents:
diff changeset
    24
489c9b5090e2 Initial load
duke
parents:
diff changeset
    25
// FORMS.CPP - Definitions for ADL Parser Forms Classes
489c9b5090e2 Initial load
duke
parents:
diff changeset
    26
#include "adlc.hpp"
489c9b5090e2 Initial load
duke
parents:
diff changeset
    27
489c9b5090e2 Initial load
duke
parents:
diff changeset
    28
//==============================Register Allocation============================
489c9b5090e2 Initial load
duke
parents:
diff changeset
    29
int RegisterForm::_reg_ctr = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    30
489c9b5090e2 Initial load
duke
parents:
diff changeset
    31
//------------------------------RegisterForm-----------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
    32
// Constructor
489c9b5090e2 Initial load
duke
parents:
diff changeset
    33
RegisterForm::RegisterForm()
489c9b5090e2 Initial load
duke
parents:
diff changeset
    34
  : _regDef(cmpstr,hashstr, Form::arena),
489c9b5090e2 Initial load
duke
parents:
diff changeset
    35
    _regClass(cmpstr,hashstr, Form::arena),
489c9b5090e2 Initial load
duke
parents:
diff changeset
    36
    _allocClass(cmpstr,hashstr, Form::arena) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    37
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    38
RegisterForm::~RegisterForm() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    39
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    40
489c9b5090e2 Initial load
duke
parents:
diff changeset
    41
// record a new register definition
489c9b5090e2 Initial load
duke
parents:
diff changeset
    42
void RegisterForm::addRegDef(char *name, char *callingConv, char *c_conv,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    43
                             char *idealtype, char *encoding, char* concrete) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    44
  RegDef *regDef = new RegDef(name, callingConv, c_conv, idealtype, encoding, concrete);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    45
  _rdefs.addName(name);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    46
  _regDef.Insert(name,regDef);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    47
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    48
489c9b5090e2 Initial load
duke
parents:
diff changeset
    49
// record a new register class
30202
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
    50
template <typename T>
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
    51
T* RegisterForm::addRegClass(const char* className) {
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
    52
  T* regClass = new T(className);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    53
  _rclasses.addName(className);
30202
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
    54
  _regClass.Insert(className, regClass);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    55
  return regClass;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    56
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    57
30202
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
    58
// Explicit instantiation for all supported register classes.
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
    59
template RegClass* RegisterForm::addRegClass<RegClass>(const char* className);
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
    60
template CodeSnippetRegClass* RegisterForm::addRegClass<CodeSnippetRegClass>(const char* className);
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
    61
template ConditionalRegClass* RegisterForm::addRegClass<ConditionalRegClass>(const char* className);
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
    62
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    63
// record a new register class
489c9b5090e2 Initial load
duke
parents:
diff changeset
    64
AllocClass *RegisterForm::addAllocClass(char *className) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    65
  AllocClass *allocClass = new AllocClass(className);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    66
  _aclasses.addName(className);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    67
  _allocClass.Insert(className,allocClass);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    68
  return allocClass;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    69
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    70
489c9b5090e2 Initial load
duke
parents:
diff changeset
    71
// Called after parsing the Register block.  Record the register class
489c9b5090e2 Initial load
duke
parents:
diff changeset
    72
// for spill-slots/regs.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    73
void RegisterForm::addSpillRegClass() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    74
  // Stack slots start at the next available even register number.
13104
657b387034fb 7119644: Increase superword's vector size up to 256 bits
kvn
parents: 11197
diff changeset
    75
  _reg_ctr = (_reg_ctr+7) & ~7;
30202
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
    76
  const char *rc_name = "stack_slots";
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
    77
  RegClass* reg_class = new RegClass(rc_name);
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
    78
  reg_class->set_stack_version(true);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    79
  _rclasses.addName(rc_name);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    80
  _regClass.Insert(rc_name,reg_class);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    81
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    82
489c9b5090e2 Initial load
duke
parents:
diff changeset
    83
489c9b5090e2 Initial load
duke
parents:
diff changeset
    84
// Provide iteration over all register definitions
489c9b5090e2 Initial load
duke
parents:
diff changeset
    85
// in the order used by the register allocator
489c9b5090e2 Initial load
duke
parents:
diff changeset
    86
void        RegisterForm::reset_RegDefs() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    87
  _current_ac = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    88
  _aclasses.reset();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    89
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    90
489c9b5090e2 Initial load
duke
parents:
diff changeset
    91
RegDef     *RegisterForm::iter_RegDefs() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    92
  // Check if we need to get the next AllocClass
489c9b5090e2 Initial load
duke
parents:
diff changeset
    93
  if ( _current_ac == NULL ) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    94
    const char *ac_name = _aclasses.iter();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    95
    if( ac_name == NULL )   return NULL;   // No more allocation classes
489c9b5090e2 Initial load
duke
parents:
diff changeset
    96
    _current_ac = (AllocClass*)_allocClass[ac_name];
489c9b5090e2 Initial load
duke
parents:
diff changeset
    97
    _current_ac->_regDefs.reset();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    98
    assert( _current_ac != NULL, "Name must match an allocation class");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    99
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   100
489c9b5090e2 Initial load
duke
parents:
diff changeset
   101
  const char *rd_name = _current_ac->_regDefs.iter();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   102
  if( rd_name == NULL ) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   103
    // At end of this allocation class, check the next
489c9b5090e2 Initial load
duke
parents:
diff changeset
   104
    _current_ac = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   105
    return iter_RegDefs();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   106
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   107
  RegDef *reg_def = (RegDef*)_current_ac->_regDef[rd_name];
489c9b5090e2 Initial load
duke
parents:
diff changeset
   108
  assert( reg_def != NULL, "Name must match a register definition");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   109
  return reg_def;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   110
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   111
489c9b5090e2 Initial load
duke
parents:
diff changeset
   112
// return the register definition with name 'regName'
489c9b5090e2 Initial load
duke
parents:
diff changeset
   113
RegDef *RegisterForm::getRegDef(const char *regName) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   114
  RegDef *regDef = (RegDef*)_regDef[regName];
489c9b5090e2 Initial load
duke
parents:
diff changeset
   115
  return  regDef;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   116
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   117
489c9b5090e2 Initial load
duke
parents:
diff changeset
   118
// return the register class with name 'className'
489c9b5090e2 Initial load
duke
parents:
diff changeset
   119
RegClass *RegisterForm::getRegClass(const char *className) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   120
  RegClass *regClass = (RegClass*)_regClass[className];
489c9b5090e2 Initial load
duke
parents:
diff changeset
   121
  return    regClass;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   122
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   123
489c9b5090e2 Initial load
duke
parents:
diff changeset
   124
489c9b5090e2 Initial load
duke
parents:
diff changeset
   125
// Check that register classes are compatible with chunks
489c9b5090e2 Initial load
duke
parents:
diff changeset
   126
bool   RegisterForm::verify() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   127
  bool valid = true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   128
489c9b5090e2 Initial load
duke
parents:
diff changeset
   129
  // Verify Register Classes
489c9b5090e2 Initial load
duke
parents:
diff changeset
   130
  // check that each register class contains registers from one chunk
489c9b5090e2 Initial load
duke
parents:
diff changeset
   131
  const char *rc_name = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   132
  _rclasses.reset();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   133
  while ( (rc_name = _rclasses.iter()) != NULL ) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   134
    // Check the chunk value for all registers in this class
489c9b5090e2 Initial load
duke
parents:
diff changeset
   135
    RegClass *reg_class = getRegClass(rc_name);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   136
    assert( reg_class != NULL, "InternalError() no matching register class");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   137
  } // end of RegClasses
489c9b5090e2 Initial load
duke
parents:
diff changeset
   138
489c9b5090e2 Initial load
duke
parents:
diff changeset
   139
  // Verify that every register has been placed into an allocation class
489c9b5090e2 Initial load
duke
parents:
diff changeset
   140
  RegDef *reg_def = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   141
  reset_RegDefs();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   142
  uint  num_register_zero = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   143
  while ( (reg_def = iter_RegDefs()) != NULL ) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   144
    if( reg_def->register_num() == 0 )  ++num_register_zero;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   145
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   146
  if( num_register_zero > 1 ) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   147
    fprintf(stderr,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   148
            "ERROR: More than one register has been assigned register-number 0.\n"
489c9b5090e2 Initial load
duke
parents:
diff changeset
   149
            "Probably because a register has not been entered into an allocation class.\n");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   150
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   151
489c9b5090e2 Initial load
duke
parents:
diff changeset
   152
  return  valid;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   153
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   154
489c9b5090e2 Initial load
duke
parents:
diff changeset
   155
// Compute RegMask size
489c9b5090e2 Initial load
duke
parents:
diff changeset
   156
int RegisterForm::RegMask_Size() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   157
  // Need at least this many words
489c9b5090e2 Initial load
duke
parents:
diff changeset
   158
  int words_for_regs = (_reg_ctr + 31)>>5;
13104
657b387034fb 7119644: Increase superword's vector size up to 256 bits
kvn
parents: 11197
diff changeset
   159
  // The array of Register Mask bits should be large enough to cover
657b387034fb 7119644: Increase superword's vector size up to 256 bits
kvn
parents: 11197
diff changeset
   160
  // all the machine registers and all parameters that need to be passed
657b387034fb 7119644: Increase superword's vector size up to 256 bits
kvn
parents: 11197
diff changeset
   161
  // on the stack (stack registers) up to some interesting limit.  Methods
657b387034fb 7119644: Increase superword's vector size up to 256 bits
kvn
parents: 11197
diff changeset
   162
  // that need more parameters will NOT be compiled.  On Intel, the limit
657b387034fb 7119644: Increase superword's vector size up to 256 bits
kvn
parents: 11197
diff changeset
   163
  // is something like 90+ parameters.
657b387034fb 7119644: Increase superword's vector size up to 256 bits
kvn
parents: 11197
diff changeset
   164
  // Add a few (3 words == 96 bits) for incoming & outgoing arguments to calls.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   165
  // Round up to the next doubleword size.
13104
657b387034fb 7119644: Increase superword's vector size up to 256 bits
kvn
parents: 11197
diff changeset
   166
  return (words_for_regs + 3 + 1) & ~1;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   167
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   168
489c9b5090e2 Initial load
duke
parents:
diff changeset
   169
void RegisterForm::dump() {                  // Debug printer
489c9b5090e2 Initial load
duke
parents:
diff changeset
   170
  output(stderr);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   171
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   172
489c9b5090e2 Initial load
duke
parents:
diff changeset
   173
void RegisterForm::output(FILE *fp) {          // Write info to output files
489c9b5090e2 Initial load
duke
parents:
diff changeset
   174
  const char *name;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   175
  fprintf(fp,"\n");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   176
  fprintf(fp,"-------------------- Dump RegisterForm --------------------\n");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   177
  for(_rdefs.reset(); (name = _rdefs.iter()) != NULL;) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   178
    ((RegDef*)_regDef[name])->output(fp);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   179
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   180
  fprintf(fp,"\n");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   181
  for (_rclasses.reset(); (name = _rclasses.iter()) != NULL;) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   182
    ((RegClass*)_regClass[name])->output(fp);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   183
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   184
  fprintf(fp,"\n");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   185
  for (_aclasses.reset(); (name = _aclasses.iter()) != NULL;) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   186
    ((AllocClass*)_allocClass[name])->output(fp);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   187
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   188
  fprintf(fp,"-------------------- end  RegisterForm --------------------\n");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   189
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   190
489c9b5090e2 Initial load
duke
parents:
diff changeset
   191
//------------------------------RegDef-----------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   192
// Constructor
489c9b5090e2 Initial load
duke
parents:
diff changeset
   193
RegDef::RegDef(char *regname, char *callconv, char *c_conv, char * idealtype, char * encode, char * concrete)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   194
  : _regname(regname), _callconv(callconv), _c_conv(c_conv),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   195
    _idealtype(idealtype),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   196
    _register_encode(encode),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   197
    _concrete(concrete),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   198
    _register_num(0) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   199
489c9b5090e2 Initial load
duke
parents:
diff changeset
   200
  // Chunk and register mask are determined by the register number
489c9b5090e2 Initial load
duke
parents:
diff changeset
   201
  // _register_num is set when registers are added to an allocation class
489c9b5090e2 Initial load
duke
parents:
diff changeset
   202
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   203
RegDef::~RegDef() {                      // Destructor
489c9b5090e2 Initial load
duke
parents:
diff changeset
   204
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   205
489c9b5090e2 Initial load
duke
parents:
diff changeset
   206
void RegDef::set_register_num(uint32 register_num) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   207
  _register_num      = register_num;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   208
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   209
489c9b5090e2 Initial load
duke
parents:
diff changeset
   210
// Bit pattern used for generating machine code
489c9b5090e2 Initial load
duke
parents:
diff changeset
   211
const char* RegDef::register_encode() const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   212
  return _register_encode;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   213
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   214
489c9b5090e2 Initial load
duke
parents:
diff changeset
   215
// Register number used in machine-independent code
489c9b5090e2 Initial load
duke
parents:
diff changeset
   216
uint32 RegDef::register_num()    const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   217
  return _register_num;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   218
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   219
489c9b5090e2 Initial load
duke
parents:
diff changeset
   220
void RegDef::dump() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   221
  output(stderr);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   222
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   223
489c9b5090e2 Initial load
duke
parents:
diff changeset
   224
void RegDef::output(FILE *fp) {         // Write info to output files
489c9b5090e2 Initial load
duke
parents:
diff changeset
   225
  fprintf(fp,"RegDef: %s (%s) encode as %s  using number %d\n",
489c9b5090e2 Initial load
duke
parents:
diff changeset
   226
          _regname, (_callconv?_callconv:""), _register_encode, _register_num);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   227
  fprintf(fp,"\n");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   228
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   229
489c9b5090e2 Initial load
duke
parents:
diff changeset
   230
489c9b5090e2 Initial load
duke
parents:
diff changeset
   231
//------------------------------RegClass---------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   232
// Construct a register class into which registers will be inserted
30202
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   233
RegClass::RegClass(const char* classid) : _stack_or_reg(false), _classid(classid), _regDef(cmpstr, hashstr, Form::arena) {
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   234
}
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   235
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   236
RegClass::~RegClass() {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   237
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   238
489c9b5090e2 Initial load
duke
parents:
diff changeset
   239
// record a register in this class
489c9b5090e2 Initial load
duke
parents:
diff changeset
   240
void RegClass::addReg(RegDef *regDef) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   241
  _regDefs.addName(regDef->_regname);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   242
  _regDef.Insert((void*)regDef->_regname, regDef);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   243
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   244
489c9b5090e2 Initial load
duke
parents:
diff changeset
   245
// Number of registers in class
489c9b5090e2 Initial load
duke
parents:
diff changeset
   246
uint RegClass::size() const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   247
  return _regDef.Size();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   248
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   249
489c9b5090e2 Initial load
duke
parents:
diff changeset
   250
const RegDef *RegClass::get_RegDef(const char *rd_name) const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   251
  return  (const RegDef*)_regDef[rd_name];
489c9b5090e2 Initial load
duke
parents:
diff changeset
   252
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   253
489c9b5090e2 Initial load
duke
parents:
diff changeset
   254
void RegClass::reset() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   255
  _regDefs.reset();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   256
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   257
489c9b5090e2 Initial load
duke
parents:
diff changeset
   258
const char *RegClass::rd_name_iter() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   259
  return _regDefs.iter();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   260
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   261
489c9b5090e2 Initial load
duke
parents:
diff changeset
   262
RegDef *RegClass::RegDef_iter() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   263
  const char *rd_name  = rd_name_iter();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   264
  RegDef     *reg_def  = rd_name ? (RegDef*)_regDef[rd_name] : NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   265
  return      reg_def;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   266
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   267
489c9b5090e2 Initial load
duke
parents:
diff changeset
   268
const RegDef* RegClass::find_first_elem() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   269
  const RegDef* first = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   270
  const RegDef* def = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   271
489c9b5090e2 Initial load
duke
parents:
diff changeset
   272
  reset();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   273
  while ((def = RegDef_iter()) != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   274
    if (first == NULL || def->register_num() < first->register_num()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   275
      first = def;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   276
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   277
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   278
489c9b5090e2 Initial load
duke
parents:
diff changeset
   279
  assert(first != NULL, "empty mask?");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   280
  return first;;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   281
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   282
489c9b5090e2 Initial load
duke
parents:
diff changeset
   283
// Collect all the registers in this register-word.  One bit per register.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   284
int RegClass::regs_in_word( int wordnum, bool stack_also ) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   285
  int         word = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   286
  const char *name;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   287
  for(_regDefs.reset(); (name = _regDefs.iter()) != NULL;) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   288
    int rnum = ((RegDef*)_regDef[name])->register_num();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   289
    if( (rnum >> 5) == wordnum )
2129
e810a33b5c67 6778669: Patch from Red Hat -- fixes compilation errors
twisti
parents: 1
diff changeset
   290
      word |= (1 << (rnum & 31));
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   291
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   292
  if( stack_also ) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   293
    // Now also collect stack bits
489c9b5090e2 Initial load
duke
parents:
diff changeset
   294
    for( int i = 0; i < 32; i++ )
489c9b5090e2 Initial load
duke
parents:
diff changeset
   295
      if( wordnum*32+i >= RegisterForm::_reg_ctr )
2129
e810a33b5c67 6778669: Patch from Red Hat -- fixes compilation errors
twisti
parents: 1
diff changeset
   296
        word |= (1 << i);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   297
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   298
489c9b5090e2 Initial load
duke
parents:
diff changeset
   299
  return word;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   300
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   301
489c9b5090e2 Initial load
duke
parents:
diff changeset
   302
void RegClass::dump() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   303
  output(stderr);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   304
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   305
489c9b5090e2 Initial load
duke
parents:
diff changeset
   306
void RegClass::output(FILE *fp) {           // Write info to output files
489c9b5090e2 Initial load
duke
parents:
diff changeset
   307
  fprintf(fp,"RegClass: %s\n",_classid);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   308
  const char *name;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   309
  for(_regDefs.reset(); (name = _regDefs.iter()) != NULL;) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   310
    ((RegDef*)_regDef[name])->output(fp);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   311
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   312
  fprintf(fp,"--- done with entries for reg_class %s\n\n",_classid);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   313
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   314
30202
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   315
void RegClass::declare_register_masks(FILE* fp) {
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   316
  const char* prefix = "";
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   317
  const char* rc_name_to_upper = toUpper(_classid);
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   318
  fprintf(fp, "extern const RegMask _%s%s_mask;\n", prefix,  rc_name_to_upper);
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   319
  fprintf(fp, "inline const RegMask &%s%s_mask() { return _%s%s_mask; }\n", prefix, rc_name_to_upper, prefix, rc_name_to_upper);
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   320
  if (_stack_or_reg) {
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   321
    fprintf(fp, "extern const RegMask _%sSTACK_OR_%s_mask;\n", prefix, rc_name_to_upper);
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   322
    fprintf(fp, "inline const RegMask &%sSTACK_OR_%s_mask() { return _%sSTACK_OR_%s_mask; }\n", prefix, rc_name_to_upper, prefix, rc_name_to_upper);
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   323
  }
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   324
  delete[] rc_name_to_upper;
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   325
}
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   326
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   327
void RegClass::build_register_masks(FILE* fp) {
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   328
  int len = RegisterForm::RegMask_Size();
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   329
  const char *prefix = "";
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   330
  const char* rc_name_to_upper = toUpper(_classid);
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   331
  fprintf(fp, "const RegMask _%s%s_mask(", prefix, rc_name_to_upper);
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   332
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   333
  int i;
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   334
  for(i = 0; i < len - 1; i++) {
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   335
    fprintf(fp," 0x%x,", regs_in_word(i, false));
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   336
  }
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   337
  fprintf(fp," 0x%x );\n", regs_in_word(i, false));
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   338
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   339
  if (_stack_or_reg) {
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   340
    fprintf(fp, "const RegMask _%sSTACK_OR_%s_mask(", prefix, rc_name_to_upper);
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   341
    for(i = 0; i < len - 1; i++) {
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   342
      fprintf(fp," 0x%x,", regs_in_word(i, true));
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   343
    }
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   344
    fprintf(fp," 0x%x );\n", regs_in_word(i, true));
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   345
  }
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   346
  delete[] rc_name_to_upper;
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   347
}
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   348
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   349
//------------------------------CodeSnippetRegClass---------------------------
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   350
CodeSnippetRegClass::CodeSnippetRegClass(const char* classid) : RegClass(classid), _code_snippet(NULL) {
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   351
}
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   352
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   353
CodeSnippetRegClass::~CodeSnippetRegClass() {
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   354
  delete _code_snippet;
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   355
}
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   356
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   357
void CodeSnippetRegClass::declare_register_masks(FILE* fp) {
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   358
  const char* prefix = "";
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   359
  const char* rc_name_to_upper = toUpper(_classid);
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   360
  fprintf(fp, "inline const RegMask &%s%s_mask() { %s }\n", prefix, rc_name_to_upper, _code_snippet);
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   361
  delete[] rc_name_to_upper;
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   362
}
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   363
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   364
//------------------------------ConditionalRegClass---------------------------
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   365
ConditionalRegClass::ConditionalRegClass(const char *classid) : RegClass(classid), _condition_code(NULL) {
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   366
}
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   367
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   368
ConditionalRegClass::~ConditionalRegClass() {
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   369
  delete _condition_code;
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   370
}
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   371
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   372
void ConditionalRegClass::declare_register_masks(FILE* fp) {
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   373
  const char* prefix = "";
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   374
  const char* rc_name_to_upper = toUpper(_classid);
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   375
  const char* rclass_0_to_upper = toUpper(_rclasses[0]->_classid);
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   376
  const char* rclass_1_to_upper = toUpper(_rclasses[1]->_classid);
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   377
  fprintf(fp, "inline const RegMask &%s%s_mask() {"
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   378
              " return (%s) ?"
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   379
              " %s%s_mask() :"
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   380
              " %s%s_mask(); }\n",
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   381
              prefix, rc_name_to_upper,
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   382
              _condition_code,
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   383
              prefix, rclass_0_to_upper,
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   384
              prefix, rclass_1_to_upper);
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   385
  if (_stack_or_reg) {
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   386
    fprintf(fp, "inline const RegMask &%sSTACK_OR_%s_mask() {"
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   387
                  " return (%s) ?"
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   388
                  " %sSTACK_OR_%s_mask() :"
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   389
                  " %sSTACK_OR_%s_mask(); }\n",
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   390
                  prefix, rc_name_to_upper,
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   391
                  _condition_code,
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   392
                  prefix, rclass_0_to_upper,
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   393
                  prefix, rclass_1_to_upper);
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   394
  }
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   395
  delete[] rc_name_to_upper;
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   396
  delete[] rclass_0_to_upper;
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   397
  delete[] rclass_1_to_upper;
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   398
  return;
6f5c48bd9b82 8075798: Allow ADLC register class to depend on runtime conditions also for cisc-spillable classes
zmajo
parents: 13104
diff changeset
   399
}
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   400
489c9b5090e2 Initial load
duke
parents:
diff changeset
   401
//------------------------------AllocClass-------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   402
AllocClass::AllocClass(char *classid) : _classid(classid), _regDef(cmpstr,hashstr, Form::arena) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   403
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   404
489c9b5090e2 Initial load
duke
parents:
diff changeset
   405
// record a register in this class
489c9b5090e2 Initial load
duke
parents:
diff changeset
   406
void AllocClass::addReg(RegDef *regDef) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   407
  assert( regDef != NULL, "Can not add a NULL to an allocation class");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   408
  regDef->set_register_num( RegisterForm::_reg_ctr++ );
489c9b5090e2 Initial load
duke
parents:
diff changeset
   409
  // Add regDef to this allocation class
489c9b5090e2 Initial load
duke
parents:
diff changeset
   410
  _regDefs.addName(regDef->_regname);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   411
  _regDef.Insert((void*)regDef->_regname, regDef);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   412
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   413
489c9b5090e2 Initial load
duke
parents:
diff changeset
   414
void AllocClass::dump() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   415
  output(stderr);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   416
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   417
489c9b5090e2 Initial load
duke
parents:
diff changeset
   418
void AllocClass::output(FILE *fp) {       // Write info to output files
489c9b5090e2 Initial load
duke
parents:
diff changeset
   419
  fprintf(fp,"AllocClass: %s \n",_classid);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   420
  const char *name;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   421
  for(_regDefs.reset(); (name = _regDefs.iter()) != NULL;) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   422
    ((RegDef*)_regDef[name])->output(fp);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   423
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   424
  fprintf(fp,"--- done with entries for alloc_class %s\n\n",_classid);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   425
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   426
489c9b5090e2 Initial load
duke
parents:
diff changeset
   427
//==============================Frame Handling=================================
489c9b5090e2 Initial load
duke
parents:
diff changeset
   428
//------------------------------FrameForm--------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   429
FrameForm::FrameForm() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   430
  _frame_pointer = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   431
  _c_frame_pointer = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   432
  _alignment = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   433
  _return_addr = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   434
  _c_return_addr = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   435
  _in_preserve_slots = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   436
  _varargs_C_out_slots_killed = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   437
  _calling_convention = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   438
  _c_calling_convention = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   439
  _return_value = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   440
  _c_return_value = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   441
  _interpreter_frame_pointer_reg = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   442
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   443
489c9b5090e2 Initial load
duke
parents:
diff changeset
   444
FrameForm::~FrameForm() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   445
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   446
489c9b5090e2 Initial load
duke
parents:
diff changeset
   447
void FrameForm::dump() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   448
  output(stderr);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   449
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   450
489c9b5090e2 Initial load
duke
parents:
diff changeset
   451
void FrameForm::output(FILE *fp) {           // Write info to output files
489c9b5090e2 Initial load
duke
parents:
diff changeset
   452
  fprintf(fp,"\nFrame:\n");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   453
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   454
489c9b5090e2 Initial load
duke
parents:
diff changeset
   455
//==============================Scheduling=====================================
489c9b5090e2 Initial load
duke
parents:
diff changeset
   456
//------------------------------PipelineForm-----------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   457
PipelineForm::PipelineForm()
489c9b5090e2 Initial load
duke
parents:
diff changeset
   458
  :  _reslist               ()
489c9b5090e2 Initial load
duke
parents:
diff changeset
   459
  ,  _resdict               (cmpstr, hashstr, Form::arena)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   460
  ,  _classdict             (cmpstr, hashstr, Form::arena)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   461
  ,  _rescount              (0)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   462
  ,  _maxcycleused          (0)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   463
  ,  _stages                ()
489c9b5090e2 Initial load
duke
parents:
diff changeset
   464
  ,  _stagecnt              (0)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   465
  ,  _classlist             ()
489c9b5090e2 Initial load
duke
parents:
diff changeset
   466
  ,  _classcnt              (0)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   467
  ,  _noplist               ()
489c9b5090e2 Initial load
duke
parents:
diff changeset
   468
  ,  _nopcnt                (0)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   469
  ,  _variableSizeInstrs    (false)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   470
  ,  _branchHasDelaySlot    (false)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   471
  ,  _maxInstrsPerBundle    (0)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   472
  ,  _maxBundlesPerCycle    (1)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   473
  ,  _instrUnitSize         (0)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   474
  ,  _bundleUnitSize        (0)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   475
  ,  _instrFetchUnitSize    (0)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   476
  ,  _instrFetchUnits       (0) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   477
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   478
PipelineForm::~PipelineForm() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   479
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   480
489c9b5090e2 Initial load
duke
parents:
diff changeset
   481
void PipelineForm::dump() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   482
  output(stderr);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   483
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   484
489c9b5090e2 Initial load
duke
parents:
diff changeset
   485
void PipelineForm::output(FILE *fp) {           // Write info to output files
489c9b5090e2 Initial load
duke
parents:
diff changeset
   486
  const char *res;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   487
  const char *stage;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   488
  const char *cls;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   489
  const char *nop;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   490
  int count = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   491
489c9b5090e2 Initial load
duke
parents:
diff changeset
   492
  fprintf(fp,"\nPipeline:");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   493
  if (_variableSizeInstrs)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   494
    if (_instrUnitSize > 0)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   495
      fprintf(fp," variable-sized instructions in %d byte units", _instrUnitSize);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   496
    else
489c9b5090e2 Initial load
duke
parents:
diff changeset
   497
      fprintf(fp," variable-sized instructions");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   498
  else
489c9b5090e2 Initial load
duke
parents:
diff changeset
   499
    if (_instrUnitSize > 0)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   500
      fprintf(fp," fixed-sized instructions of %d bytes", _instrUnitSize);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   501
    else if (_bundleUnitSize > 0)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   502
      fprintf(fp," fixed-sized bundles of %d bytes", _bundleUnitSize);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   503
    else
489c9b5090e2 Initial load
duke
parents:
diff changeset
   504
      fprintf(fp," fixed-sized instructions");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   505
  if (_branchHasDelaySlot)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   506
    fprintf(fp,", branch has delay slot");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   507
  if (_maxInstrsPerBundle > 0)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   508
    fprintf(fp,", max of %d instruction%s in parallel",
489c9b5090e2 Initial load
duke
parents:
diff changeset
   509
      _maxInstrsPerBundle, _maxInstrsPerBundle > 1 ? "s" : "");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   510
  if (_maxBundlesPerCycle > 0)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   511
    fprintf(fp,", max of %d bundle%s in parallel",
489c9b5090e2 Initial load
duke
parents:
diff changeset
   512
      _maxBundlesPerCycle, _maxBundlesPerCycle > 1 ? "s" : "");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   513
  if (_instrFetchUnitSize > 0 && _instrFetchUnits)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   514
    fprintf(fp, ", fetch %d x % d bytes per cycle", _instrFetchUnits, _instrFetchUnitSize);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   515
489c9b5090e2 Initial load
duke
parents:
diff changeset
   516
  fprintf(fp,"\nResource:");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   517
  for ( _reslist.reset(); (res = _reslist.iter()) != NULL; )
489c9b5090e2 Initial load
duke
parents:
diff changeset
   518
    fprintf(fp," %s(0x%08x)", res, _resdict[res]->is_resource()->mask());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   519
  fprintf(fp,"\n");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   520
489c9b5090e2 Initial load
duke
parents:
diff changeset
   521
  fprintf(fp,"\nDescription:\n");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   522
  for ( _stages.reset(); (stage = _stages.iter()) != NULL; )
489c9b5090e2 Initial load
duke
parents:
diff changeset
   523
    fprintf(fp," %s(%d)", stage, count++);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   524
  fprintf(fp,"\n");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   525
489c9b5090e2 Initial load
duke
parents:
diff changeset
   526
  fprintf(fp,"\nClasses:\n");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   527
  for ( _classlist.reset(); (cls = _classlist.iter()) != NULL; )
489c9b5090e2 Initial load
duke
parents:
diff changeset
   528
    _classdict[cls]->is_pipeclass()->output(fp);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   529
489c9b5090e2 Initial load
duke
parents:
diff changeset
   530
  fprintf(fp,"\nNop Instructions:");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   531
  for ( _noplist.reset(); (nop = _noplist.iter()) != NULL; )
489c9b5090e2 Initial load
duke
parents:
diff changeset
   532
    fprintf(fp, " \"%s\"", nop);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   533
  fprintf(fp,"\n");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   534
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   535
489c9b5090e2 Initial load
duke
parents:
diff changeset
   536
489c9b5090e2 Initial load
duke
parents:
diff changeset
   537
//------------------------------ResourceForm-----------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   538
ResourceForm::ResourceForm(unsigned resmask)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   539
: _resmask(resmask) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   540
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   541
ResourceForm::~ResourceForm() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   542
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   543
489c9b5090e2 Initial load
duke
parents:
diff changeset
   544
ResourceForm  *ResourceForm::is_resource() const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   545
  return (ResourceForm *)(this);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   546
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   547
489c9b5090e2 Initial load
duke
parents:
diff changeset
   548
void ResourceForm::dump() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   549
  output(stderr);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   550
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   551
489c9b5090e2 Initial load
duke
parents:
diff changeset
   552
void ResourceForm::output(FILE *fp) {          // Write info to output files
489c9b5090e2 Initial load
duke
parents:
diff changeset
   553
  fprintf(fp, "resource: 0x%08x;\n", mask());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   554
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   555
489c9b5090e2 Initial load
duke
parents:
diff changeset
   556
489c9b5090e2 Initial load
duke
parents:
diff changeset
   557
//------------------------------PipeClassOperandForm----------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   558
489c9b5090e2 Initial load
duke
parents:
diff changeset
   559
void PipeClassOperandForm::dump() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   560
  output(stderr);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   561
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   562
489c9b5090e2 Initial load
duke
parents:
diff changeset
   563
void PipeClassOperandForm::output(FILE *fp) {         // Write info to output files
489c9b5090e2 Initial load
duke
parents:
diff changeset
   564
  fprintf(stderr,"PipeClassOperandForm: %s", _stage);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   565
  fflush(stderr);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   566
  if (_more_instrs > 0)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   567
    fprintf(stderr,"+%d", _more_instrs);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   568
  fprintf(stderr," (%s)\n", _iswrite ? "write" : "read");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   569
  fflush(stderr);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   570
  fprintf(fp,"PipeClassOperandForm: %s", _stage);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   571
  if (_more_instrs > 0)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   572
    fprintf(fp,"+%d", _more_instrs);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   573
  fprintf(fp," (%s)\n", _iswrite ? "write" : "read");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   574
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   575
489c9b5090e2 Initial load
duke
parents:
diff changeset
   576
489c9b5090e2 Initial load
duke
parents:
diff changeset
   577
//------------------------------PipeClassResourceForm----------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   578
489c9b5090e2 Initial load
duke
parents:
diff changeset
   579
void PipeClassResourceForm::dump() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   580
  output(stderr);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   581
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   582
489c9b5090e2 Initial load
duke
parents:
diff changeset
   583
void PipeClassResourceForm::output(FILE *fp) {         // Write info to output files
489c9b5090e2 Initial load
duke
parents:
diff changeset
   584
  fprintf(fp,"PipeClassResourceForm: %s at stage %s for %d cycles\n",
489c9b5090e2 Initial load
duke
parents:
diff changeset
   585
     _resource, _stage, _cycles);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   586
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   587
489c9b5090e2 Initial load
duke
parents:
diff changeset
   588
489c9b5090e2 Initial load
duke
parents:
diff changeset
   589
//------------------------------PipeClassForm----------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   590
PipeClassForm::PipeClassForm(const char *id, int num)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   591
  : _ident(id)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   592
  , _num(num)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   593
  , _localNames(cmpstr, hashstr, Form::arena)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   594
  , _localUsage(cmpstr, hashstr, Form::arena)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   595
  , _has_fixed_latency(0)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   596
  , _fixed_latency(0)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   597
  , _instruction_count(0)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   598
  , _has_multiple_bundles(false)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   599
  , _has_branch_delay_slot(false)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   600
  , _force_serialization(false)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   601
  , _may_have_no_code(false) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   602
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   603
489c9b5090e2 Initial load
duke
parents:
diff changeset
   604
PipeClassForm::~PipeClassForm() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   605
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   606
489c9b5090e2 Initial load
duke
parents:
diff changeset
   607
PipeClassForm  *PipeClassForm::is_pipeclass() const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   608
  return (PipeClassForm *)(this);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   609
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   610
489c9b5090e2 Initial load
duke
parents:
diff changeset
   611
void PipeClassForm::dump() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   612
  output(stderr);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   613
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   614
489c9b5090e2 Initial load
duke
parents:
diff changeset
   615
void PipeClassForm::output(FILE *fp) {         // Write info to output files
489c9b5090e2 Initial load
duke
parents:
diff changeset
   616
  fprintf(fp,"PipeClassForm: #%03d", _num);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   617
  if (_ident)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   618
     fprintf(fp," \"%s\":", _ident);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   619
  if (_has_fixed_latency)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   620
     fprintf(fp," latency %d", _fixed_latency);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   621
  if (_force_serialization)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   622
     fprintf(fp, ", force serialization");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   623
  if (_may_have_no_code)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   624
     fprintf(fp, ", may have no code");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   625
  fprintf(fp, ", %d instruction%s\n", InstructionCount(), InstructionCount() != 1 ? "s" : "");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   626
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   627
489c9b5090e2 Initial load
duke
parents:
diff changeset
   628
489c9b5090e2 Initial load
duke
parents:
diff changeset
   629
//==============================Peephole Optimization==========================
489c9b5090e2 Initial load
duke
parents:
diff changeset
   630
int Peephole::_peephole_counter = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   631
//------------------------------Peephole---------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   632
Peephole::Peephole() : _match(NULL), _constraint(NULL), _replace(NULL), _next(NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   633
  _peephole_number = _peephole_counter++;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   634
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   635
Peephole::~Peephole() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   636
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   637
489c9b5090e2 Initial load
duke
parents:
diff changeset
   638
// Append a peephole rule with the same root instruction
489c9b5090e2 Initial load
duke
parents:
diff changeset
   639
void Peephole::append_peephole(Peephole *next_peephole) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   640
  if( _next == NULL ) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   641
    _next = next_peephole;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   642
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   643
    _next->append_peephole( next_peephole );
489c9b5090e2 Initial load
duke
parents:
diff changeset
   644
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   645
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   646
489c9b5090e2 Initial load
duke
parents:
diff changeset
   647
// Store the components of this peephole rule
489c9b5090e2 Initial load
duke
parents:
diff changeset
   648
void Peephole::add_match(PeepMatch *match) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   649
  assert( _match == NULL, "fatal()" );
489c9b5090e2 Initial load
duke
parents:
diff changeset
   650
  _match = match;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   651
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   652
489c9b5090e2 Initial load
duke
parents:
diff changeset
   653
void Peephole::append_constraint(PeepConstraint *next_constraint) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   654
  if( _constraint == NULL ) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   655
    _constraint = next_constraint;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   656
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   657
    _constraint->append( next_constraint );
489c9b5090e2 Initial load
duke
parents:
diff changeset
   658
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   659
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   660
489c9b5090e2 Initial load
duke
parents:
diff changeset
   661
void Peephole::add_replace(PeepReplace *replace) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   662
  assert( _replace == NULL, "fatal()" );
489c9b5090e2 Initial load
duke
parents:
diff changeset
   663
  _replace = replace;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   664
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   665
489c9b5090e2 Initial load
duke
parents:
diff changeset
   666
// class Peephole accessor methods are in the declaration.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   667
489c9b5090e2 Initial load
duke
parents:
diff changeset
   668
489c9b5090e2 Initial load
duke
parents:
diff changeset
   669
void Peephole::dump() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   670
  output(stderr);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   671
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   672
489c9b5090e2 Initial load
duke
parents:
diff changeset
   673
void Peephole::output(FILE *fp) {         // Write info to output files
489c9b5090e2 Initial load
duke
parents:
diff changeset
   674
  fprintf(fp,"Peephole:\n");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   675
  if( _match != NULL )       _match->output(fp);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   676
  if( _constraint != NULL )  _constraint->output(fp);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   677
  if( _replace != NULL )     _replace->output(fp);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   678
  // Output the next entry
489c9b5090e2 Initial load
duke
parents:
diff changeset
   679
  if( _next ) _next->output(fp);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   680
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   681
489c9b5090e2 Initial load
duke
parents:
diff changeset
   682
//------------------------------PeepMatch--------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   683
PeepMatch::PeepMatch(char *rule) : _max_position(0), _rule(rule) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   684
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   685
PeepMatch::~PeepMatch() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   686
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   687
489c9b5090e2 Initial load
duke
parents:
diff changeset
   688
489c9b5090e2 Initial load
duke
parents:
diff changeset
   689
// Insert info into the match-rule
489c9b5090e2 Initial load
duke
parents:
diff changeset
   690
void  PeepMatch::add_instruction(int parent, int position, const char *name,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   691
                                 int input) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   692
  if( position > _max_position ) _max_position = position;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   693
2129
e810a33b5c67 6778669: Patch from Red Hat -- fixes compilation errors
twisti
parents: 1
diff changeset
   694
  _parent.addName((char*) (intptr_t) parent);
e810a33b5c67 6778669: Patch from Red Hat -- fixes compilation errors
twisti
parents: 1
diff changeset
   695
  _position.addName((char*) (intptr_t) position);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   696
  _instrs.addName(name);
2129
e810a33b5c67 6778669: Patch from Red Hat -- fixes compilation errors
twisti
parents: 1
diff changeset
   697
  _input.addName((char*) (intptr_t) input);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   698
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   699
489c9b5090e2 Initial load
duke
parents:
diff changeset
   700
// Access info about instructions in the peep-match rule
489c9b5090e2 Initial load
duke
parents:
diff changeset
   701
int   PeepMatch::max_position() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   702
  return _max_position;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   703
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   704
2129
e810a33b5c67 6778669: Patch from Red Hat -- fixes compilation errors
twisti
parents: 1
diff changeset
   705
const char *PeepMatch::instruction_name(int position) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   706
  return _instrs.name(position);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   707
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   708
489c9b5090e2 Initial load
duke
parents:
diff changeset
   709
// Iterate through all info on matched instructions
489c9b5090e2 Initial load
duke
parents:
diff changeset
   710
void  PeepMatch::reset() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   711
  _parent.reset();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   712
  _position.reset();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   713
  _instrs.reset();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   714
  _input.reset();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   715
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   716
2129
e810a33b5c67 6778669: Patch from Red Hat -- fixes compilation errors
twisti
parents: 1
diff changeset
   717
void  PeepMatch::next_instruction(int &parent, int &position, const char* &name, int &input) {
e810a33b5c67 6778669: Patch from Red Hat -- fixes compilation errors
twisti
parents: 1
diff changeset
   718
  parent   = (int) (intptr_t) _parent.iter();
e810a33b5c67 6778669: Patch from Red Hat -- fixes compilation errors
twisti
parents: 1
diff changeset
   719
  position = (int) (intptr_t) _position.iter();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   720
  name     = _instrs.iter();
2129
e810a33b5c67 6778669: Patch from Red Hat -- fixes compilation errors
twisti
parents: 1
diff changeset
   721
  input    = (int) (intptr_t) _input.iter();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   722
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   723
489c9b5090e2 Initial load
duke
parents:
diff changeset
   724
// 'true' if current position in iteration is a placeholder, not matched.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   725
bool  PeepMatch::is_placeholder() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   726
  return _instrs.current_is_signal();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   727
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   728
489c9b5090e2 Initial load
duke
parents:
diff changeset
   729
489c9b5090e2 Initial load
duke
parents:
diff changeset
   730
void PeepMatch::dump() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   731
  output(stderr);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   732
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   733
489c9b5090e2 Initial load
duke
parents:
diff changeset
   734
void PeepMatch::output(FILE *fp) {        // Write info to output files
489c9b5090e2 Initial load
duke
parents:
diff changeset
   735
  fprintf(fp,"PeepMatch:\n");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   736
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   737
489c9b5090e2 Initial load
duke
parents:
diff changeset
   738
//------------------------------PeepConstraint---------------------------------
2129
e810a33b5c67 6778669: Patch from Red Hat -- fixes compilation errors
twisti
parents: 1
diff changeset
   739
PeepConstraint::PeepConstraint(int left_inst,  char* left_op, char* relation,
e810a33b5c67 6778669: Patch from Red Hat -- fixes compilation errors
twisti
parents: 1
diff changeset
   740
                               int right_inst, char* right_op)
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   741
  : _left_inst(left_inst), _left_op(left_op), _relation(relation),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   742
    _right_inst(right_inst), _right_op(right_op), _next(NULL) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   743
PeepConstraint::~PeepConstraint() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   744
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   745
489c9b5090e2 Initial load
duke
parents:
diff changeset
   746
// Check if constraints use instruction at position
2129
e810a33b5c67 6778669: Patch from Red Hat -- fixes compilation errors
twisti
parents: 1
diff changeset
   747
bool PeepConstraint::constrains_instruction(int position) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   748
  // Check local instruction constraints
489c9b5090e2 Initial load
duke
parents:
diff changeset
   749
  if( _left_inst  == position ) return true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   750
  if( _right_inst == position ) return true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   751
489c9b5090e2 Initial load
duke
parents:
diff changeset
   752
  // Check remaining constraints in list
489c9b5090e2 Initial load
duke
parents:
diff changeset
   753
  if( _next == NULL )  return false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   754
  else                 return _next->constrains_instruction(position);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   755
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   756
489c9b5090e2 Initial load
duke
parents:
diff changeset
   757
// Add another constraint
489c9b5090e2 Initial load
duke
parents:
diff changeset
   758
void PeepConstraint::append(PeepConstraint *next_constraint) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   759
  if( _next == NULL ) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   760
    _next = next_constraint;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   761
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   762
    _next->append( next_constraint );
489c9b5090e2 Initial load
duke
parents:
diff changeset
   763
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   764
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   765
489c9b5090e2 Initial load
duke
parents:
diff changeset
   766
// Access the next constraint in the list
489c9b5090e2 Initial load
duke
parents:
diff changeset
   767
PeepConstraint *PeepConstraint::next() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   768
  return _next;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   769
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   770
489c9b5090e2 Initial load
duke
parents:
diff changeset
   771
489c9b5090e2 Initial load
duke
parents:
diff changeset
   772
void PeepConstraint::dump() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   773
  output(stderr);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   774
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   775
489c9b5090e2 Initial load
duke
parents:
diff changeset
   776
void PeepConstraint::output(FILE *fp) {   // Write info to output files
489c9b5090e2 Initial load
duke
parents:
diff changeset
   777
  fprintf(fp,"PeepConstraint:\n");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   778
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   779
489c9b5090e2 Initial load
duke
parents:
diff changeset
   780
//------------------------------PeepReplace------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   781
PeepReplace::PeepReplace(char *rule) : _rule(rule) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   782
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   783
PeepReplace::~PeepReplace() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   784
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   785
489c9b5090e2 Initial load
duke
parents:
diff changeset
   786
// Add contents of peepreplace
489c9b5090e2 Initial load
duke
parents:
diff changeset
   787
void  PeepReplace::add_instruction(char *root) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   788
  _instruction.addName(root);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   789
  _operand_inst_num.add_signal();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   790
  _operand_op_name.add_signal();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   791
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   792
void  PeepReplace::add_operand( int inst_num, char *inst_operand ) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   793
  _instruction.add_signal();
2129
e810a33b5c67 6778669: Patch from Red Hat -- fixes compilation errors
twisti
parents: 1
diff changeset
   794
  _operand_inst_num.addName((char*) (intptr_t) inst_num);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   795
  _operand_op_name.addName(inst_operand);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   796
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   797
489c9b5090e2 Initial load
duke
parents:
diff changeset
   798
// Access contents of peepreplace
489c9b5090e2 Initial load
duke
parents:
diff changeset
   799
void  PeepReplace::reset() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   800
  _instruction.reset();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   801
  _operand_inst_num.reset();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   802
  _operand_op_name.reset();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   803
}
2129
e810a33b5c67 6778669: Patch from Red Hat -- fixes compilation errors
twisti
parents: 1
diff changeset
   804
void  PeepReplace::next_instruction(const char* &inst){
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   805
  inst                     = _instruction.iter();
2129
e810a33b5c67 6778669: Patch from Red Hat -- fixes compilation errors
twisti
parents: 1
diff changeset
   806
  int         inst_num     = (int) (intptr_t) _operand_inst_num.iter();
e810a33b5c67 6778669: Patch from Red Hat -- fixes compilation errors
twisti
parents: 1
diff changeset
   807
  const char* inst_operand = _operand_op_name.iter();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   808
}
2129
e810a33b5c67 6778669: Patch from Red Hat -- fixes compilation errors
twisti
parents: 1
diff changeset
   809
void  PeepReplace::next_operand(int &inst_num, const char* &inst_operand) {
e810a33b5c67 6778669: Patch from Red Hat -- fixes compilation errors
twisti
parents: 1
diff changeset
   810
  const char* inst = _instruction.iter();
e810a33b5c67 6778669: Patch from Red Hat -- fixes compilation errors
twisti
parents: 1
diff changeset
   811
  inst_num         = (int) (intptr_t) _operand_inst_num.iter();
e810a33b5c67 6778669: Patch from Red Hat -- fixes compilation errors
twisti
parents: 1
diff changeset
   812
  inst_operand     = _operand_op_name.iter();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   813
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   814
489c9b5090e2 Initial load
duke
parents:
diff changeset
   815
489c9b5090e2 Initial load
duke
parents:
diff changeset
   816
489c9b5090e2 Initial load
duke
parents:
diff changeset
   817
void PeepReplace::dump() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   818
  output(stderr);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   819
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   820
489c9b5090e2 Initial load
duke
parents:
diff changeset
   821
void PeepReplace::output(FILE *fp) {      // Write info to output files
489c9b5090e2 Initial load
duke
parents:
diff changeset
   822
  fprintf(fp,"PeepReplace:\n");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   823
}