hotspot/src/share/vm/adlc/main.cpp
//------------------------------main-------------------------------------------
int main(int argc, char *argv[])
{
{- -------------------------------------------
(1) (変数宣言など)
---------------------------------------- -}
ArchDesc AD; // Architecture Description object
globalAD = &AD;
// ResourceMark mark;
ADLParser *ADL_Parse; // ADL Parser object to parse AD file
{- -------------------------------------------
(1) もしコマンドライン引数がなければ usage() を呼ぶ
---------------------------------------- -}
// Check for proper arguments
if( argc == 1 ) usage(AD); // No arguments? Then print usage
{- -------------------------------------------
(1) コマンドライン引数を処理する
---------------------------------------- -}
// 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
{- -------------------------------------------
(1) adlc の入力元ファイルおよび出力先ファイル(AD._*_file)を全て開く.
失敗したら, adlc をここで終了させる.
---------------------------------------- -}
// Open files used to store the matcher and its components
if (AD.open_files() == 0) return 1; // Open all input/output files
{- -------------------------------------------
(1) 入力ファイルから内容を読むための FileBuff を作成する
---------------------------------------- -}
// Build the File Buffer, Parse the input, & Generate Code
FileBuff ADL_Buf(&AD._ADL_file, AD); // Create a file buffer for input file
{- -------------------------------------------
(1) 入力ファイルの先頭にある Copyright 関係の文章の量を把握しておく
(生成したファイルの先頭にも同じ文章をコピーするため)
---------------------------------------- -}
// 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);
{- -------------------------------------------
(1) ADLParser を作成し, ADLParser::parse() でパース処理を行う.
---------------------------------------- -}
ADL_Parse = new ADLParser(ADL_Buf, AD); // Create a parser to parse the buffer
ADL_Parse->parse(); // Parse buffer & build description lists
{- -------------------------------------------
(1) オプションとして d が指定されていた場合は, ArchDesc::dump() で標準エラー出力にダンプ出力を出す.
---------------------------------------- -}
if( AD._dfa_debug >= 1 ) { // For higher debug settings, print dump
AD.dump();
}
{- -------------------------------------------
(1) 使い終わった ADLParser オブジェクトを破棄
---------------------------------------- -}
delete ADL_Parse; // Delete parser
{- -------------------------------------------
(1) 内容の verify 処理
---------------------------------------- -}
// Verify that the results of the parse are consistent
AD.verify();
{- -------------------------------------------
(1) ?? #TODO
---------------------------------------- -}
// Prepare to generate the result files:
AD.generateMatchLists();
AD.identify_unique_operands();
AD.identify_cisc_spill_instructions();
AD.identify_short_branches();
{- -------------------------------------------
(1) 出力先ファイルの全部の先頭に Copyright 関係の文章をコピーする
---------------------------------------- -}
// 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
{- -------------------------------------------
(1) hpp ファイルについては, 複数回 #include されても問題ないように,
"#ifndef ... #define ..." と "#endif" で囲んだ形にする
(ここで最初の "#ifndef ... #define ..." 部分を出力)
---------------------------------------- -}
// Add include guards for all .hpp files
AD.addIncludeGuardStart(AD._HPP_file, "GENERATED_ADFILES_AD_HPP"); // .hpp
AD.addIncludeGuardStart(AD._VM_file, "GENERATED_ADFILES_ADGLOBALS_HPP"); // .hpp
{- -------------------------------------------
(1) 各ファイルに対して, 必要な #include 文を出力する
---------------------------------------- -}
// Add includes
AD.addInclude(AD._CPP_file, "precompiled.hpp");
AD.addInclude(AD._CPP_file, "adfiles", get_basename(AD._VM_file._name));
AD.addInclude(AD._CPP_file, "adfiles", get_basename(AD._HPP_file._name));
AD.addInclude(AD._CPP_file, "memory/allocation.inline.hpp");
AD.addInclude(AD._CPP_file, "asm/assembler.hpp");
AD.addInclude(AD._CPP_file, "code/vmreg.hpp");
AD.addInclude(AD._CPP_file, "gc_interface/collectedHeap.inline.hpp");
AD.addInclude(AD._CPP_file, "oops/compiledICHolderOop.hpp");
AD.addInclude(AD._CPP_file, "oops/markOop.hpp");
AD.addInclude(AD._CPP_file, "oops/methodOop.hpp");
AD.addInclude(AD._CPP_file, "oops/oop.inline.hpp");
AD.addInclude(AD._CPP_file, "oops/oop.inline2.hpp");
AD.addInclude(AD._CPP_file, "opto/cfgnode.hpp");
AD.addInclude(AD._CPP_file, "opto/locknode.hpp");
AD.addInclude(AD._CPP_file, "opto/opcodes.hpp");
AD.addInclude(AD._CPP_file, "opto/regalloc.hpp");
AD.addInclude(AD._CPP_file, "opto/regmask.hpp");
AD.addInclude(AD._CPP_file, "opto/runtime.hpp");
AD.addInclude(AD._CPP_file, "runtime/biasedLocking.hpp");
AD.addInclude(AD._CPP_file, "runtime/sharedRuntime.hpp");
AD.addInclude(AD._CPP_file, "runtime/stubRoutines.hpp");
AD.addInclude(AD._CPP_file, "utilities/growableArray.hpp");
#ifdef TARGET_ARCH_x86
AD.addInclude(AD._CPP_file, "assembler_x86.inline.hpp");
AD.addInclude(AD._CPP_file, "nativeInst_x86.hpp");
AD.addInclude(AD._CPP_file, "vmreg_x86.inline.hpp");
#endif
#ifdef TARGET_ARCH_sparc
AD.addInclude(AD._CPP_file, "assembler_sparc.inline.hpp");
AD.addInclude(AD._CPP_file, "nativeInst_sparc.hpp");
AD.addInclude(AD._CPP_file, "vmreg_sparc.inline.hpp");
#endif
#ifdef TARGET_ARCH_arm
AD.addInclude(AD._CPP_file, "assembler_arm.inline.hpp");
AD.addInclude(AD._CPP_file, "nativeInst_arm.hpp");
AD.addInclude(AD._CPP_file, "vmreg_arm.inline.hpp");
#endif
AD.addInclude(AD._HPP_file, "memory/allocation.hpp");
AD.addInclude(AD._HPP_file, "opto/machnode.hpp");
AD.addInclude(AD._HPP_file, "opto/node.hpp");
AD.addInclude(AD._HPP_file, "opto/regalloc.hpp");
AD.addInclude(AD._HPP_file, "opto/subnode.hpp");
AD.addInclude(AD._CPP_CLONE_file, "precompiled.hpp");
AD.addInclude(AD._CPP_CLONE_file, "adfiles", get_basename(AD._HPP_file._name));
AD.addInclude(AD._CPP_EXPAND_file, "precompiled.hpp");
AD.addInclude(AD._CPP_EXPAND_file, "adfiles", get_basename(AD._HPP_file._name));
AD.addInclude(AD._CPP_FORMAT_file, "precompiled.hpp");
AD.addInclude(AD._CPP_FORMAT_file, "adfiles", get_basename(AD._HPP_file._name));
AD.addInclude(AD._CPP_GEN_file, "precompiled.hpp");
AD.addInclude(AD._CPP_GEN_file, "adfiles", get_basename(AD._HPP_file._name));
AD.addInclude(AD._CPP_GEN_file, "opto/cfgnode.hpp");
AD.addInclude(AD._CPP_GEN_file, "opto/locknode.hpp");
AD.addInclude(AD._CPP_MISC_file, "precompiled.hpp");
AD.addInclude(AD._CPP_MISC_file, "adfiles", get_basename(AD._HPP_file._name));
AD.addInclude(AD._CPP_PEEPHOLE_file, "precompiled.hpp");
AD.addInclude(AD._CPP_PEEPHOLE_file, "adfiles", get_basename(AD._HPP_file._name));
AD.addInclude(AD._CPP_PIPELINE_file, "precompiled.hpp");
AD.addInclude(AD._CPP_PIPELINE_file, "adfiles", get_basename(AD._HPP_file._name));
AD.addInclude(AD._DFA_file, "precompiled.hpp");
AD.addInclude(AD._DFA_file, "adfiles", get_basename(AD._HPP_file._name));
AD.addInclude(AD._DFA_file, "opto/matcher.hpp");
AD.addInclude(AD._DFA_file, "opto/opcodes.hpp");
{- -------------------------------------------
(1) 各ファイルに対して中身を出力する
---------------------------------------- -}
// Make sure each .cpp file starts with include lines:
// files declaring and defining generators for Mach* Objects (hpp,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
{- -------------------------------------------
(1) 各 CPP ファイルの末尾には, 指定のシンボルが
ビルド時にきちんと #define されているかをチェックするコードを出力
---------------------------------------- -}
// 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
{- -------------------------------------------
(1) _DFA_file の中身を出力
---------------------------------------- -}
// define the finite automata that selects lowest cost production
AD.buildDFA(AD._DFA_file._fp);
{- -------------------------------------------
(1) hpp ファイルについては, 複数回 #include されても問題ないように,
"#ifndef ... #define ..." と "#endif" で囲んだ形にする
(ここで末尾の "#endif" 部分を出力)
---------------------------------------- -}
// Add include guards for all .hpp files
AD.addIncludeGuardEnd(AD._HPP_file, "GENERATED_ADFILES_AD_HPP"); // .hpp
AD.addIncludeGuardEnd(AD._VM_file, "GENERATED_ADFILES_ADGLOBALS_HPP"); // .hpp
{- -------------------------------------------
(1) 入力／出力ファイルを全て閉じる
---------------------------------------- -}
AD.close_files(0); // Close all input/output files
{- -------------------------------------------
(1) 最後にここで統計情報などを出す
(ということになっているようだが, 現状は何も出していない)
---------------------------------------- -}
// 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);
}
{- -------------------------------------------
(1) サヨナラ, サヨナラ, サヨナラ
---------------------------------------- -}
return (AD._syntax_errs + AD._semantic_errs + AD._internal_errs); // Bye Bye!!
}
This document is available under the GNU GENERAL PUBLIC LICENSE Version 2.