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