hotspot/src/share/vm/adlc/main.cpp
changeset 1 489c9b5090e2
child 2129 e810a33b5c67
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/hotspot/src/share/vm/adlc/main.cpp	Sat Dec 01 00:00:00 2007 +0000
@@ -0,0 +1,442 @@
+/*
+ * Copyright 1997-2007 Sun Microsystems, Inc.  All Rights Reserved.
+ * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
+ *
+ * This code is free software; you can redistribute it and/or modify it
+ * under the terms of the GNU General Public License version 2 only, as
+ * published by the Free Software Foundation.
+ *
+ * This code is distributed in the hope that it will be useful, but WITHOUT
+ * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+ * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
+ * version 2 for more details (a copy is included in the LICENSE file that
+ * accompanied this code).
+ *
+ * You should have received a copy of the GNU General Public License version
+ * 2 along with this work; if not, write to the Free Software Foundation,
+ * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
+ *
+ * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
+ * CA 95054 USA or visit www.sun.com if you need additional information or
+ * have any questions.
+ *
+ */
+
+// MAIN.CPP - Entry point for the Architecture Description Language Compiler
+#include "adlc.hpp"
+
+//------------------------------Prototypes-------------------------------------
+static void  usage(ArchDesc& AD);          // Print usage message and exit
+static char *strip_ext(char *fname);       // Strip off name extension
+static char *base_plus_suffix(const char* base, const char *suffix);// New concatenated string
+static char *prefix_plus_base_plus_suffix(const char* prefix, const char* base, const char *suffix);// New concatenated string
+static int get_legal_text(FileBuff &fbuf, char **legal_text); // Get pointer to legal text
+
+ArchDesc* globalAD = NULL;      // global reference to Architecture Description object
+
+//------------------------------main-------------------------------------------
+int main(int argc, char *argv[])
+{
+  ArchDesc      AD;             // Architecture Description object
+  globalAD = &AD;
+
+  // ResourceMark  mark;
+  ADLParser    *ADL_Parse;      // ADL Parser object to parse AD file
+
+  // Check for proper arguments
+  if( argc == 1 ) usage(AD);    // No arguments?  Then print usage
+
+  // Read command line arguments and file names
+  for( int i = 1; i < argc; i++ ) { // For all arguments
+    register char *s = argv[i]; // Get option/filename
+
+    if( *s++ == '-' ) {         // It's a flag? (not a filename)
+      if( !*s ) {               // Stand-alone `-' means stdin
+        //********** INSERT CODE HERE **********
+      } else while (*s != '\0') { // While have flags on option
+        switch (*s++) {         // Handle flag
+        case 'd':               // Debug flag
+          AD._dfa_debug += 1;   // Set Debug Flag
+          break;
+        case 'g':               // Debug ad location flag
+          AD._adlocation_debug += 1;       // Set Debug ad location Flag
+          break;
+        case 'o':               // No Output Flag
+          AD._no_output ^= 1;   // Toggle no_output flag
+          break;
+        case 'q':               // Quiet Mode Flag
+          AD._quiet_mode ^= 1;  // Toggle quiet_mode flag
+          break;
+        case 'w':               // Disable Warnings Flag
+          AD._disable_warnings ^= 1; // Toggle disable_warnings flag
+          break;
+        case 'T':               // Option to make DFA as many subroutine calls.
+          AD._dfa_small += 1;   // Set Mode Flag
+          break;
+        case 'c': {             // Set C++ Output file name
+          AD._CPP_file._name = s;
+          const char *base = strip_ext(strdup(s));
+          AD._CPP_CLONE_file._name    = base_plus_suffix(base,"_clone.cpp");
+          AD._CPP_EXPAND_file._name   = base_plus_suffix(base,"_expand.cpp");
+          AD._CPP_FORMAT_file._name   = base_plus_suffix(base,"_format.cpp");
+          AD._CPP_GEN_file._name      = base_plus_suffix(base,"_gen.cpp");
+          AD._CPP_MISC_file._name     = base_plus_suffix(base,"_misc.cpp");
+          AD._CPP_PEEPHOLE_file._name = base_plus_suffix(base,"_peephole.cpp");
+          AD._CPP_PIPELINE_file._name = base_plus_suffix(base,"_pipeline.cpp");
+          s += strlen(s);
+          break;
+        }
+        case 'h':               // Set C++ Output file name
+          AD._HPP_file._name = s; s += strlen(s);
+          break;
+        case 'v':               // Set C++ Output file name
+          AD._VM_file._name = s; s += strlen(s);
+          break;
+        case 'a':               // Set C++ Output file name
+          AD._DFA_file._name = s;
+          AD._bug_file._name = s;
+          s += strlen(s);
+          break;
+        case '#':               // Special internal debug flag
+          AD._adl_debug++;      // Increment internal debug level
+          break;
+        case 's':               // Output which instructions are cisc-spillable
+          AD._cisc_spill_debug = true;
+          break;
+        case 'D':               // Flag Definition
+          {
+            char* flag = s;
+            s += strlen(s);
+            char* def = strchr(flag, '=');
+            if (def == NULL)  def = (char*)"1";
+            else              *def++ = '\0';
+            AD.set_preproc_def(flag, def);
+          }
+          break;
+        case 'U':               // Flag Un-Definition
+          {
+            char* flag = s;
+            s += strlen(s);
+            AD.set_preproc_def(flag, NULL);
+          }
+          break;
+        default:                // Unknown option
+          usage(AD);            // So print usage and exit
+        }                       // End of switch on options...
+      }                         // End of while have options...
+
+    } else {                    // Not an option; must be a filename
+      AD._ADL_file._name = argv[i]; // Set the input filename
+
+      // // Files for storage, based on input file name
+      const char *base = strip_ext(strdup(argv[i]));
+      char       *temp = base_plus_suffix("dfa_",base);
+      AD._DFA_file._name = base_plus_suffix(temp,".cpp");
+      delete temp;
+      temp = base_plus_suffix("ad_",base);
+      AD._CPP_file._name          = base_plus_suffix(temp,".cpp");
+      AD._CPP_CLONE_file._name    = base_plus_suffix(temp,"_clone.cpp");
+      AD._CPP_EXPAND_file._name   = base_plus_suffix(temp,"_expand.cpp");
+      AD._CPP_FORMAT_file._name   = base_plus_suffix(temp,"_format.cpp");
+      AD._CPP_GEN_file._name      = base_plus_suffix(temp,"_gen.cpp");
+      AD._CPP_MISC_file._name     = base_plus_suffix(temp,"_misc.cpp");
+      AD._CPP_PEEPHOLE_file._name = base_plus_suffix(temp,"_peephole.cpp");
+      AD._CPP_PIPELINE_file._name = base_plus_suffix(temp,"_pipeline.cpp");
+      AD._HPP_file._name = base_plus_suffix(temp,".hpp");
+      delete temp;
+      temp = base_plus_suffix("adGlobals_",base);
+      AD._VM_file._name = base_plus_suffix(temp,".hpp");
+      delete temp;
+      temp = base_plus_suffix("bugs_",base);
+      AD._bug_file._name = base_plus_suffix(temp,".out");
+      delete temp;
+    }                           // End of files vs options...
+  }                             // End of while have command line arguments
+
+  // Open files used to store the matcher and its components
+  if (AD.open_files() == 0) return 1; // Open all input/output files
+
+  // Build the File Buffer, Parse the input, & Generate Code
+  FileBuff  ADL_Buf(&AD._ADL_file, AD); // Create a file buffer for input file
+
+  // Get pointer to legal text at the beginning of AD file.
+  // It will be used in generated ad files.
+  char* legal_text;
+  int legal_sz = get_legal_text(ADL_Buf, &legal_text);
+
+  ADL_Parse = new ADLParser(ADL_Buf, AD); // Create a parser to parse the buffer
+  ADL_Parse->parse();           // Parse buffer & build description lists
+
+  if( AD._dfa_debug >= 1 ) {    // For higher debug settings, print dump
+    AD.dump();
+  }
+
+  delete ADL_Parse;             // Delete parser
+
+  // Verify that the results of the parse are consistent
+  AD.verify();
+
+  // Prepare to generate the result files:
+  AD.generateMatchLists();
+  AD.identify_unique_operands();
+  AD.identify_cisc_spill_instructions();
+  AD.identify_short_branches();
+  // Make sure every file starts with a copyright:
+  AD.addSunCopyright(legal_text, legal_sz, AD._HPP_file._fp);           // .hpp
+  AD.addSunCopyright(legal_text, legal_sz, AD._CPP_file._fp);           // .cpp
+  AD.addSunCopyright(legal_text, legal_sz, AD._CPP_CLONE_file._fp);     // .cpp
+  AD.addSunCopyright(legal_text, legal_sz, AD._CPP_EXPAND_file._fp);    // .cpp
+  AD.addSunCopyright(legal_text, legal_sz, AD._CPP_FORMAT_file._fp);    // .cpp
+  AD.addSunCopyright(legal_text, legal_sz, AD._CPP_GEN_file._fp);       // .cpp
+  AD.addSunCopyright(legal_text, legal_sz, AD._CPP_MISC_file._fp);      // .cpp
+  AD.addSunCopyright(legal_text, legal_sz, AD._CPP_PEEPHOLE_file._fp);  // .cpp
+  AD.addSunCopyright(legal_text, legal_sz, AD._CPP_PIPELINE_file._fp);  // .cpp
+  AD.addSunCopyright(legal_text, legal_sz, AD._VM_file._fp);            // .hpp
+  AD.addSunCopyright(legal_text, legal_sz, AD._DFA_file._fp);           // .cpp
+  // Make sure each .cpp file starts with include lines:
+  // files declaring and defining generators for Mach* Objects (hpp,cpp)
+  AD.machineDependentIncludes(AD._CPP_file);      // .cpp
+  AD.machineDependentIncludes(AD._CPP_CLONE_file);     // .cpp
+  AD.machineDependentIncludes(AD._CPP_EXPAND_file);    // .cpp
+  AD.machineDependentIncludes(AD._CPP_FORMAT_file);    // .cpp
+  AD.machineDependentIncludes(AD._CPP_GEN_file);       // .cpp
+  AD.machineDependentIncludes(AD._CPP_MISC_file);      // .cpp
+  AD.machineDependentIncludes(AD._CPP_PEEPHOLE_file);  // .cpp
+  AD.machineDependentIncludes(AD._CPP_PIPELINE_file);  // .cpp
+  // Generate the result files:
+  // enumerations, class definitions, object generators, and the DFA
+  // file containing enumeration of machine operands & instructions (hpp)
+  AD.addPreHeaderBlocks(AD._HPP_file._fp);        // .hpp
+  AD.buildMachOperEnum(AD._HPP_file._fp);         // .hpp
+  AD.buildMachOpcodesEnum(AD._HPP_file._fp);      // .hpp
+  AD.buildMachRegisterNumbers(AD._VM_file._fp);   // VM file
+  AD.buildMachRegisterEncodes(AD._HPP_file._fp);  // .hpp file
+  AD.declareRegSizes(AD._HPP_file._fp);           // .hpp
+  AD.build_pipeline_enums(AD._HPP_file._fp);      // .hpp
+  // output definition of class "State"
+  AD.defineStateClass(AD._HPP_file._fp);          // .hpp
+  // file declaring the Mach* classes derived from MachOper and MachNode
+  AD.declareClasses(AD._HPP_file._fp);
+  // declare and define maps: in the .hpp and .cpp files respectively
+  AD.addSourceBlocks(AD._CPP_file._fp);           // .cpp
+  AD.addHeaderBlocks(AD._HPP_file._fp);           // .hpp
+  AD.buildReduceMaps(AD._HPP_file._fp, AD._CPP_file._fp);
+  AD.buildMustCloneMap(AD._HPP_file._fp, AD._CPP_file._fp);
+  // build CISC_spilling oracle and MachNode::cisc_spill() methods
+  AD.build_cisc_spill_instructions(AD._HPP_file._fp, AD._CPP_file._fp);
+  // define methods for machine dependent State, MachOper, and MachNode classes
+  AD.defineClasses(AD._CPP_file._fp);
+  AD.buildMachOperGenerator(AD._CPP_GEN_file._fp);// .cpp
+  AD.buildMachNodeGenerator(AD._CPP_GEN_file._fp);// .cpp
+  // define methods for machine dependent instruction matching
+  AD.buildInstructMatchCheck(AD._CPP_file._fp);  // .cpp
+  // define methods for machine dependent frame management
+  AD.buildFrameMethods(AD._CPP_file._fp);         // .cpp
+
+  // do this last:
+  AD.addPreprocessorChecks(AD._CPP_file._fp);     // .cpp
+  AD.addPreprocessorChecks(AD._CPP_CLONE_file._fp);     // .cpp
+  AD.addPreprocessorChecks(AD._CPP_EXPAND_file._fp);    // .cpp
+  AD.addPreprocessorChecks(AD._CPP_FORMAT_file._fp);    // .cpp
+  AD.addPreprocessorChecks(AD._CPP_GEN_file._fp);       // .cpp
+  AD.addPreprocessorChecks(AD._CPP_MISC_file._fp);      // .cpp
+  AD.addPreprocessorChecks(AD._CPP_PEEPHOLE_file._fp);  // .cpp
+  AD.addPreprocessorChecks(AD._CPP_PIPELINE_file._fp);  // .cpp
+
+  // define the finite automata that selects lowest cost production
+  AD.machineDependentIncludes(AD._DFA_file);      // .cpp
+  AD.buildDFA(AD._DFA_file._fp);
+
+  AD.close_files(0);               // Close all input/output files
+
+  // Final printout and statistics
+  // cout << program;
+
+  if( AD._dfa_debug & 2 ) {    // For higher debug settings, print timing info
+    //    Timer t_stop;
+    //    Timer t_total = t_stop - t_start; // Total running time
+    //    cerr << "\n---Architecture Description Totals---\n";
+    //    cerr << ", Total lines: " << TotalLines;
+    //    float l = TotalLines;
+    //    cerr << "\nTotal Compilation Time: " << t_total << "\n";
+    //    float ft = (float)t_total;
+    //    if( ft > 0.0 ) fprintf(stderr,"Lines/sec: %#5.2f\n", l/ft);
+  }
+  return (AD._syntax_errs + AD._semantic_errs + AD._internal_errs); // Bye Bye!!
+}
+
+//------------------------------usage------------------------------------------
+static void usage(ArchDesc& AD)
+{
+  printf("Architecture Description Language Compiler\n\n");
+  printf("Usage: adl [-doqw] [-Dflag[=def]] [-Uflag] [-cFILENAME] [-hFILENAME] [-aDFAFILE] ADLFILE\n");
+  printf(" d  produce DFA debugging info\n");
+  printf(" o  no output produced, syntax and semantic checking only\n");
+  printf(" q  quiet mode, supresses all non-essential messages\n");
+  printf(" w  suppress warning messages\n");
+  printf(" c  specify CPP file name (default: %s)\n", AD._CPP_file._name);
+  printf(" h  specify HPP file name (default: %s)\n", AD._HPP_file._name);
+  printf(" a  specify DFA output file name\n");
+  printf("\n");
+}
+
+//------------------------------open_file------------------------------------
+int ArchDesc::open_file(bool required, ADLFILE & ADF, const char *action)
+{
+  if (required &&
+      (ADF._fp = fopen(ADF._name, action)) == NULL) {
+    printf("ERROR: Cannot open file for %s: %s\n", action, ADF._name);
+    close_files(1);
+    return 0;
+  }
+  return 1;
+}
+
+//------------------------------open_files-------------------------------------
+int ArchDesc::open_files(void)
+{
+  if (_ADL_file._name == NULL)
+  { printf("ERROR: No ADL input file specified\n"); return 0; }
+
+  if (!open_file(true       , _ADL_file, "r"))          { return 0; }
+  if (!open_file(!_no_output, _DFA_file, "w"))          { return 0; }
+  if (!open_file(!_no_output, _HPP_file, "w"))          { return 0; }
+  if (!open_file(!_no_output, _CPP_file, "w"))          { return 0; }
+  if (!open_file(!_no_output, _CPP_CLONE_file, "w"))    { return 0; }
+  if (!open_file(!_no_output, _CPP_EXPAND_file, "w"))   { return 0; }
+  if (!open_file(!_no_output, _CPP_FORMAT_file, "w"))   { return 0; }
+  if (!open_file(!_no_output, _CPP_GEN_file, "w"))      { return 0; }
+  if (!open_file(!_no_output, _CPP_MISC_file, "w"))     { return 0; }
+  if (!open_file(!_no_output, _CPP_PEEPHOLE_file, "w")) { return 0; }
+  if (!open_file(!_no_output, _CPP_PIPELINE_file, "w")) { return 0; }
+  if (!open_file(!_no_output, _VM_file , "w"))          { return 0; }
+  if (!open_file(_dfa_debug != 0, _bug_file, "w"))    { return 0; }
+
+  return 1;
+}
+
+//------------------------------close_file------------------------------------
+void ArchDesc::close_file(int delete_out, ADLFILE& ADF)
+{
+  if (ADF._fp) {
+    fclose(ADF._fp);
+    if (delete_out) remove(ADF._name);
+  }
+}
+
+//------------------------------close_files------------------------------------
+void ArchDesc::close_files(int delete_out)
+{
+  if (_ADL_file._fp) fclose(_ADL_file._fp);
+
+  close_file(delete_out, _CPP_file);
+  close_file(delete_out, _CPP_CLONE_file);
+  close_file(delete_out, _CPP_EXPAND_file);
+  close_file(delete_out, _CPP_FORMAT_file);
+  close_file(delete_out, _CPP_GEN_file);
+  close_file(delete_out, _CPP_MISC_file);
+  close_file(delete_out, _CPP_PEEPHOLE_file);
+  close_file(delete_out, _CPP_PIPELINE_file);
+  close_file(delete_out, _HPP_file);
+  close_file(delete_out, _DFA_file);
+  close_file(delete_out, _bug_file);
+
+  if (!_quiet_mode) {
+    printf("\n");
+    if (_no_output || delete_out) {
+      if (_ADL_file._name) printf("%s: ", _ADL_file._name);
+      printf("No output produced");
+    }
+    else {
+      if (_ADL_file._name) printf("%s --> ", _ADL_file._name);
+      printf("%s, %s, %s, %s, %s, %s, %s, %s, %s",
+             _CPP_file._name,
+             _CPP_CLONE_file._name,
+             _CPP_EXPAND_file._name,
+             _CPP_FORMAT_file._name,
+             _CPP_GEN_file._name,
+             _CPP_MISC_file._name,
+             _CPP_PEEPHOLE_file._name,
+             _CPP_PIPELINE_file._name,
+             _HPP_file._name, _DFA_file._name);
+    }
+    printf("\n");
+  }
+}
+
+//------------------------------strip_ext--------------------------------------
+static char *strip_ext(char *fname)
+{
+  char *ep;
+
+  if (fname) {
+    ep = fname + strlen(fname) - 1; // start at last character and look for '.'
+    while (ep >= fname && *ep != '.') --ep;
+    if (*ep == '.')     *ep = '\0'; // truncate string at '.'
+  }
+  return fname;
+}
+
+//------------------------------strip_path_and_ext------------------------------
+static char *strip_path_and_ext(char *fname)
+{
+  char *ep;
+  char *sp;
+
+  if (fname) {
+    for (sp = fname; *sp; sp++)
+      if (*sp == '/')  fname = sp+1;
+    ep = fname;                    // start at first character and look for '.'
+    while (ep <= (fname + strlen(fname) - 1) && *ep != '.') ep++;
+    if (*ep == '.')     *ep = '\0'; // truncate string at '.'
+  }
+  return fname;
+}
+
+//------------------------------base_plus_suffix-------------------------------
+// New concatenated string
+static char *base_plus_suffix(const char* base, const char *suffix)
+{
+  int len = (int)strlen(base) + (int)strlen(suffix) + 1;
+
+  char* fname = new char[len];
+  sprintf(fname,"%s%s",base,suffix);
+  return fname;
+}
+
+
+//------------------------------prefix_plus_base_plus_suffix-------------------
+// New concatenated string
+static char *prefix_plus_base_plus_suffix(const char* prefix, const char* base, const char *suffix)
+{
+  int len = (int)strlen(prefix) + (int)strlen(base) + (int)strlen(suffix) + 1;
+
+  char* fname = new char[len];
+  sprintf(fname,"%s%s%s",prefix,base,suffix);
+  return fname;
+}
+
+//------------------------------get_legal_text---------------------------------
+// Get pointer to legal text at the beginning of AD file.
+// This code assumes that a legal text starts at the beginning of .ad files,
+// is commented by "//" at each line and ends with empty line.
+//
+int get_legal_text(FileBuff &fbuf, char **legal_text)
+{
+  char* legal_start = fbuf.get_line();
+  assert(legal_start[0] == '/' && legal_start[1] == '/', "Incorrect header of AD file");
+  char* legal_end = fbuf.get_line();
+  assert(strncmp(legal_end, "// Copyright", 12) == 0, "Incorrect header of AD file");
+  while(legal_end[0] == '/' && legal_end[1] == '/') {
+    legal_end = fbuf.get_line();
+  }
+  *legal_text = legal_start;
+  return (legal_end - legal_start);
+}
+
+// VS2005 has its own definition, identical to this one.
+#if !defined(_WIN32) || defined(_WIN64) || _MSC_VER < 1400
+void *operator new( size_t size, int, const char *, int ) {
+  return ::operator new( size );
+}
+#endif