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