src/share/vm/adlc/forms.cpp

Sat, 01 Dec 2007 00:00:00 +0000

author
duke
date
Sat, 01 Dec 2007 00:00:00 +0000
changeset 435
a61af66fc99e
child 548
ba764ed4b6f2
permissions
-rw-r--r--

Initial load

duke@435 1 /*
duke@435 2 * Copyright 1997-2007 Sun Microsystems, Inc. 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 *
duke@435 19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
duke@435 20 * CA 95054 USA or visit www.sun.com if you need additional information or
duke@435 21 * have any questions.
duke@435 22 *
duke@435 23 */
duke@435 24
duke@435 25 // FORMS.CPP - Definitions for ADL Parser Generic & Utility Forms Classes
duke@435 26 #include "adlc.hpp"
duke@435 27
duke@435 28 //------------------------------Static Initializers----------------------------
duke@435 29 // allocate arena used by forms
duke@435 30 Arena *Form::arena = Form::generate_arena(); // = Form::generate_arena();
duke@435 31 Arena *Form::generate_arena() {
duke@435 32 return (new Arena);
duke@435 33 }
duke@435 34
duke@435 35 //------------------------------NameList---------------------------------------
duke@435 36 // reserved user-defined string
duke@435 37 const char *NameList::_signal = "$$SIGNAL$$";
duke@435 38
duke@435 39 // Constructor and Destructor
duke@435 40 NameList::NameList() : _cur(0), _max(4), _iter(0), _justReset(true) {
duke@435 41 _names = (const char**)malloc(_max*sizeof(char*));
duke@435 42 }
duke@435 43 NameList::~NameList() {
duke@435 44 // The following free is a double-free, and crashes the program:
duke@435 45 //free(_names); // not owner of strings
duke@435 46 }
duke@435 47
duke@435 48 void NameList::addName(const char *name) {
duke@435 49 if (_cur == _max) _names =(const char**)realloc(_names,(_max *=2)*sizeof(char*));
duke@435 50 _names[_cur++] = name;
duke@435 51 }
duke@435 52
duke@435 53 void NameList::add_signal() {
duke@435 54 addName( _signal );
duke@435 55 }
duke@435 56 void NameList::clear() {
duke@435 57 _cur = 0;
duke@435 58 _iter = 0;
duke@435 59 _justReset = true;
duke@435 60 // _max = 4; Already allocated
duke@435 61 }
duke@435 62
duke@435 63 int NameList::count() const { return _cur; }
duke@435 64
duke@435 65 void NameList::reset() { _iter = 0; _justReset = true;}
duke@435 66 const char *NameList::iter() {
duke@435 67 if (_justReset) {_justReset=false; return (_iter < _cur ? _names[_iter] : NULL);}
duke@435 68 else return (_iter <_cur-1 ? _names[++_iter] : NULL);
duke@435 69 }
duke@435 70 const char *NameList::current() { return (_iter < _cur ? _names[_iter] : NULL); }
duke@435 71
duke@435 72 // Return 'true' if current entry is signal
duke@435 73 bool NameList::current_is_signal() {
duke@435 74 const char *entry = current();
duke@435 75 return is_signal(entry);
duke@435 76 }
duke@435 77
duke@435 78 // Return true if entry is a signal
duke@435 79 bool NameList::is_signal(const char *entry) {
duke@435 80 return ( (strcmp(entry,NameList::_signal) == 0) ? true : false);
duke@435 81 }
duke@435 82
duke@435 83 // Search for a name in the list
duke@435 84 bool NameList::search(const char *name) {
duke@435 85 const char *entry;
duke@435 86 for(reset(); (entry = iter()) != NULL; ) {
duke@435 87 if(!strcmp(entry,name)) return true;
duke@435 88 }
duke@435 89 return false;
duke@435 90 }
duke@435 91
duke@435 92 // Return index of name in list
duke@435 93 int NameList::index(const char *name) {
duke@435 94 int cnt = 0;
duke@435 95 const char *entry;
duke@435 96 for(reset(); (entry = iter()) != NULL; ) {
duke@435 97 if(!strcmp(entry,name)) return cnt;
duke@435 98 cnt++;
duke@435 99 }
duke@435 100 return Not_in_list;
duke@435 101 }
duke@435 102
duke@435 103 // Return name at index in list
duke@435 104 const char *NameList::name(intptr_t index) {
duke@435 105 return ( index < _cur ? _names[index] : NULL);
duke@435 106 }
duke@435 107
duke@435 108 void NameList::dump() { output(stderr); }
duke@435 109
duke@435 110 void NameList::output(FILE *fp) {
duke@435 111 fprintf(fp, "\n");
duke@435 112
duke@435 113 // Run iteration over all entries, independent of position of iterator.
duke@435 114 const char *name = NULL;
duke@435 115 int iter = 0;
duke@435 116 bool justReset = true;
duke@435 117
duke@435 118 while( ( name = (justReset ?
duke@435 119 (justReset=false, (iter < _cur ? _names[iter] : NULL)) :
duke@435 120 (iter < _cur-1 ? _names[++iter] : NULL)) )
duke@435 121 != NULL ) {
duke@435 122 fprintf( fp, " %s,\n", name);
duke@435 123 }
duke@435 124 fprintf(fp, "\n");
duke@435 125 }
duke@435 126
duke@435 127 //------------------------------NameAndList------------------------------------
duke@435 128 // Storage for a name and an associated list of names
duke@435 129 NameAndList::NameAndList(char *name) : _name(name) {
duke@435 130 }
duke@435 131 NameAndList::~NameAndList() {
duke@435 132 }
duke@435 133
duke@435 134 // Add to entries in list
duke@435 135 void NameAndList::add_entry(const char *entry) {
duke@435 136 _list.addName(entry);
duke@435 137 }
duke@435 138
duke@435 139 // Access the name and its associated list.
duke@435 140 const char *NameAndList::name() const { return _name; }
duke@435 141 void NameAndList::reset() { _list.reset(); }
duke@435 142 const char *NameAndList::iter() { return _list.iter(); }
duke@435 143
duke@435 144 // Return the "index" entry in the list, zero-based
duke@435 145 const char *NameAndList::operator[](int index) {
duke@435 146 assert( index >= 0, "Internal Error(): index less than 0.");
duke@435 147
duke@435 148 _list.reset();
duke@435 149 const char *entry = _list.iter();
duke@435 150 // Iterate further if it isn't at index 0.
duke@435 151 for ( int position = 0; position != index; ++position ) {
duke@435 152 entry = _list.iter();
duke@435 153 }
duke@435 154
duke@435 155 return entry;
duke@435 156 }
duke@435 157
duke@435 158
duke@435 159 void NameAndList::dump() { output(stderr); }
duke@435 160 void NameAndList::output(FILE *fp) {
duke@435 161 fprintf(fp, "\n");
duke@435 162
duke@435 163 // Output the Name
duke@435 164 fprintf(fp, "Name == %s", (_name ? _name : "") );
duke@435 165
duke@435 166 // Output the associated list of names
duke@435 167 const char *name;
duke@435 168 fprintf(fp, " (");
duke@435 169 for (reset(); (name = iter()) != NULL;) {
duke@435 170 fprintf(fp, " %s,\n", name);
duke@435 171 }
duke@435 172 fprintf(fp, ")");
duke@435 173 fprintf(fp, "\n");
duke@435 174 }
duke@435 175
duke@435 176 //------------------------------Form-------------------------------------------
duke@435 177 OpClassForm *Form::is_opclass() const {
duke@435 178 return NULL;
duke@435 179 }
duke@435 180
duke@435 181 OperandForm *Form::is_operand() const {
duke@435 182 return NULL;
duke@435 183 }
duke@435 184
duke@435 185 InstructForm *Form::is_instruction() const {
duke@435 186 return NULL;
duke@435 187 }
duke@435 188
duke@435 189 MachNodeForm *Form::is_machnode() const {
duke@435 190 return NULL;
duke@435 191 }
duke@435 192
duke@435 193 AttributeForm *Form::is_attribute() const {
duke@435 194 return NULL;
duke@435 195 }
duke@435 196
duke@435 197 Effect *Form::is_effect() const {
duke@435 198 return NULL;
duke@435 199 }
duke@435 200
duke@435 201 ResourceForm *Form::is_resource() const {
duke@435 202 return NULL;
duke@435 203 }
duke@435 204
duke@435 205 PipeClassForm *Form::is_pipeclass() const {
duke@435 206 return NULL;
duke@435 207 }
duke@435 208
duke@435 209 Form::DataType Form::ideal_to_const_type(const char *name) const {
duke@435 210 if( name == NULL ) { return Form::none; }
duke@435 211
duke@435 212 if (strcmp(name,"ConI")==0) return Form::idealI;
duke@435 213 if (strcmp(name,"ConP")==0) return Form::idealP;
duke@435 214 if (strcmp(name,"ConL")==0) return Form::idealL;
duke@435 215 if (strcmp(name,"ConF")==0) return Form::idealF;
duke@435 216 if (strcmp(name,"ConD")==0) return Form::idealD;
duke@435 217 if (strcmp(name,"Bool")==0) return Form::idealI;
duke@435 218
duke@435 219 return Form::none;
duke@435 220 }
duke@435 221
duke@435 222 Form::DataType Form::ideal_to_sReg_type(const char *name) const {
duke@435 223 if( name == NULL ) { return Form::none; }
duke@435 224
duke@435 225 if (strcmp(name,"sRegI")==0) return Form::idealI;
duke@435 226 if (strcmp(name,"sRegP")==0) return Form::idealP;
duke@435 227 if (strcmp(name,"sRegF")==0) return Form::idealF;
duke@435 228 if (strcmp(name,"sRegD")==0) return Form::idealD;
duke@435 229 if (strcmp(name,"sRegL")==0) return Form::idealL;
duke@435 230 return Form::none;
duke@435 231 }
duke@435 232
duke@435 233 Form::DataType Form::ideal_to_Reg_type(const char *name) const {
duke@435 234 if( name == NULL ) { return Form::none; }
duke@435 235
duke@435 236 if (strcmp(name,"RegI")==0) return Form::idealI;
duke@435 237 if (strcmp(name,"RegP")==0) return Form::idealP;
duke@435 238 if (strcmp(name,"RegF")==0) return Form::idealF;
duke@435 239 if (strcmp(name,"RegD")==0) return Form::idealD;
duke@435 240 if (strcmp(name,"RegL")==0) return Form::idealL;
duke@435 241
duke@435 242 return Form::none;
duke@435 243 }
duke@435 244
duke@435 245 // True if 'opType', an ideal name, loads or stores.
duke@435 246 Form::DataType Form::is_load_from_memory(const char *opType) const {
duke@435 247 if( strcmp(opType,"LoadB")==0 ) return Form::idealB;
duke@435 248 if( strcmp(opType,"LoadC")==0 ) return Form::idealC;
duke@435 249 if( strcmp(opType,"LoadD")==0 ) return Form::idealD;
duke@435 250 if( strcmp(opType,"LoadD_unaligned")==0 ) return Form::idealD;
duke@435 251 if( strcmp(opType,"LoadF")==0 ) return Form::idealF;
duke@435 252 if( strcmp(opType,"LoadI")==0 ) return Form::idealI;
duke@435 253 if( strcmp(opType,"LoadKlass")==0 ) return Form::idealP;
duke@435 254 if( strcmp(opType,"LoadL")==0 ) return Form::idealL;
duke@435 255 if( strcmp(opType,"LoadL_unaligned")==0 ) return Form::idealL;
duke@435 256 if( strcmp(opType,"LoadPLocked")==0 ) return Form::idealP;
duke@435 257 if( strcmp(opType,"LoadLLocked")==0 ) return Form::idealL;
duke@435 258 if( strcmp(opType,"LoadP")==0 ) return Form::idealP;
duke@435 259 if( strcmp(opType,"LoadRange")==0 ) return Form::idealI;
duke@435 260 if( strcmp(opType,"LoadS")==0 ) return Form::idealS;
duke@435 261 if( strcmp(opType,"Load16B")==0 ) return Form::idealB;
duke@435 262 if( strcmp(opType,"Load8B")==0 ) return Form::idealB;
duke@435 263 if( strcmp(opType,"Load4B")==0 ) return Form::idealB;
duke@435 264 if( strcmp(opType,"Load8C")==0 ) return Form::idealC;
duke@435 265 if( strcmp(opType,"Load4C")==0 ) return Form::idealC;
duke@435 266 if( strcmp(opType,"Load2C")==0 ) return Form::idealC;
duke@435 267 if( strcmp(opType,"Load8S")==0 ) return Form::idealS;
duke@435 268 if( strcmp(opType,"Load4S")==0 ) return Form::idealS;
duke@435 269 if( strcmp(opType,"Load2S")==0 ) return Form::idealS;
duke@435 270 if( strcmp(opType,"Load2D")==0 ) return Form::idealD;
duke@435 271 if( strcmp(opType,"Load4F")==0 ) return Form::idealF;
duke@435 272 if( strcmp(opType,"Load2F")==0 ) return Form::idealF;
duke@435 273 if( strcmp(opType,"Load4I")==0 ) return Form::idealI;
duke@435 274 if( strcmp(opType,"Load2I")==0 ) return Form::idealI;
duke@435 275 if( strcmp(opType,"Load2L")==0 ) return Form::idealL;
duke@435 276 assert( strcmp(opType,"Load") != 0, "Must type Loads" );
duke@435 277 return Form::none;
duke@435 278 }
duke@435 279
duke@435 280 Form::DataType Form::is_store_to_memory(const char *opType) const {
duke@435 281 if( strcmp(opType,"StoreB")==0) return Form::idealB;
duke@435 282 if( strcmp(opType,"StoreCM")==0) return Form::idealB;
duke@435 283 if( strcmp(opType,"StoreC")==0) return Form::idealC;
duke@435 284 if( strcmp(opType,"StoreD")==0) return Form::idealD;
duke@435 285 if( strcmp(opType,"StoreF")==0) return Form::idealF;
duke@435 286 if( strcmp(opType,"StoreI")==0) return Form::idealI;
duke@435 287 if( strcmp(opType,"StoreL")==0) return Form::idealL;
duke@435 288 if( strcmp(opType,"StoreP")==0) return Form::idealP;
duke@435 289 if( strcmp(opType,"Store16B")==0) return Form::idealB;
duke@435 290 if( strcmp(opType,"Store8B")==0) return Form::idealB;
duke@435 291 if( strcmp(opType,"Store4B")==0) return Form::idealB;
duke@435 292 if( strcmp(opType,"Store8C")==0) return Form::idealC;
duke@435 293 if( strcmp(opType,"Store4C")==0) return Form::idealC;
duke@435 294 if( strcmp(opType,"Store2C")==0) return Form::idealC;
duke@435 295 if( strcmp(opType,"Store2D")==0) return Form::idealD;
duke@435 296 if( strcmp(opType,"Store4F")==0) return Form::idealF;
duke@435 297 if( strcmp(opType,"Store2F")==0) return Form::idealF;
duke@435 298 if( strcmp(opType,"Store4I")==0) return Form::idealI;
duke@435 299 if( strcmp(opType,"Store2I")==0) return Form::idealI;
duke@435 300 if( strcmp(opType,"Store2L")==0) return Form::idealL;
duke@435 301 assert( strcmp(opType,"Store") != 0, "Must type Stores" );
duke@435 302 return Form::none;
duke@435 303 }
duke@435 304
duke@435 305 Form::InterfaceType Form::interface_type(FormDict &globals) const {
duke@435 306 return Form::no_interface;
duke@435 307 }
duke@435 308
duke@435 309 //------------------------------FormList---------------------------------------
duke@435 310 // Destructor
duke@435 311 FormList::~FormList() {
duke@435 312 // // This list may not own its elements
duke@435 313 // Form *cur = _root;
duke@435 314 // Form *next = NULL;
duke@435 315 // for( ; (cur = next) != NULL; ) {
duke@435 316 // next = (Form *)cur->_next;
duke@435 317 // delete cur;
duke@435 318 // }
duke@435 319 };
duke@435 320
duke@435 321 //------------------------------FormDict---------------------------------------
duke@435 322 // Constructor
duke@435 323 FormDict::FormDict( CmpKey cmp, Hash hash, Arena *arena )
duke@435 324 : _form(cmp, hash, arena) {
duke@435 325 }
duke@435 326 FormDict::~FormDict() {
duke@435 327 }
duke@435 328
duke@435 329 // Return # of name-Form pairs in dict
duke@435 330 int FormDict::Size(void) const {
duke@435 331 return _form.Size();
duke@435 332 }
duke@435 333
duke@435 334 // Insert inserts the given key-value pair into the dictionary. The prior
duke@435 335 // value of the key is returned; NULL if the key was not previously defined.
duke@435 336 const Form *FormDict::Insert(const char *name, Form *form) {
duke@435 337 return (Form*)_form.Insert((void*)name, (void*)form);
duke@435 338 }
duke@435 339
duke@435 340 // Finds the value of a given key; or NULL if not found.
duke@435 341 // The dictionary is NOT changed.
duke@435 342 const Form *FormDict::operator [](const char *name) const {
duke@435 343 return (Form*)_form[name];
duke@435 344 }
duke@435 345
duke@435 346 //------------------------------FormDict::private------------------------------
duke@435 347 // Disable public use of constructor, copy-ctor, operator =, operator ==
duke@435 348 FormDict::FormDict( ) : _form(cmpkey,hashkey) {
duke@435 349 assert( false, "NotImplemented");
duke@435 350 }
duke@435 351 FormDict::FormDict( const FormDict & fd) : _form(fd._form) {
duke@435 352 }
duke@435 353 FormDict &FormDict::operator =( const FormDict &rhs) {
duke@435 354 assert( false, "NotImplemented");
duke@435 355 _form = rhs._form;
duke@435 356 return *this;
duke@435 357 }
duke@435 358 // == compares two dictionaries; they must have the same keys (their keys
duke@435 359 // must match using CmpKey) and they must have the same values (pointer
duke@435 360 // comparison). If so 1 is returned, if not 0 is returned.
duke@435 361 bool FormDict::operator ==(const FormDict &d) const {
duke@435 362 assert( false, "NotImplemented");
duke@435 363 return false;
duke@435 364 }
duke@435 365
duke@435 366 // Print out the dictionary contents as key-value pairs
duke@435 367 static void dumpkey (const void* key) { fprintf(stdout, "%s", key); }
duke@435 368 static void dumpform(const void* form) { fflush(stdout); ((Form*)form)->dump(); }
duke@435 369
duke@435 370 void FormDict::dump() {
duke@435 371 _form.print(dumpkey, dumpform);
duke@435 372 }
duke@435 373
duke@435 374 //------------------------------SourceForm-------------------------------------
duke@435 375 SourceForm::SourceForm(char* code) : _code(code) { }; // Constructor
duke@435 376 SourceForm::~SourceForm() {
duke@435 377 }
duke@435 378
duke@435 379 void SourceForm::dump() { // Debug printer
duke@435 380 output(stderr);
duke@435 381 }
duke@435 382
duke@435 383 void SourceForm::output(FILE *fp) {
duke@435 384 fprintf(fp,"\n//%s\n%s\n",classname(),(_code?_code:""));
duke@435 385 }

mercurial