src/share/vm/adlc/forms.cpp

Wed, 27 Apr 2016 01:25:04 +0800

author
aoqi
date
Wed, 27 Apr 2016 01:25:04 +0800
changeset 0
f90c822e73f8
child 6876
710a3c8b516e
permissions
-rw-r--r--

Initial load
http://hg.openjdk.java.net/jdk8u/jdk8u/hotspot/
changeset: 6782:28b50d07f6f8
tag: jdk8u25-b17

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

mercurial