src/share/vm/adlc/formsopt.cpp

Wed, 22 Jan 2014 17:42:23 -0800

author
kvn
date
Wed, 22 Jan 2014 17:42:23 -0800
changeset 6503
a9becfeecd1b
parent 3882
8c92982cbbc4
child 6876
710a3c8b516e
child 7853
a1642365d69f
permissions
-rw-r--r--

Merge

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

mercurial