src/share/vm/compiler/compilerOracle.cpp

Thu, 12 Oct 2017 21:27:07 +0800

author
aoqi
date
Thu, 12 Oct 2017 21:27:07 +0800
changeset 7535
7ae4e26cb1e0
parent 7145
e09c0676c53f
parent 6876
710a3c8b516e
permissions
-rw-r--r--

merge

     1 /*
     2  * Copyright (c) 1998, 2014, Oracle and/or its affiliates. All rights reserved.
     3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
     4  *
     5  * This code is free software; you can redistribute it and/or modify it
     6  * under the terms of the GNU General Public License version 2 only, as
     7  * published by the Free Software Foundation.
     8  *
     9  * This code is distributed in the hope that it will be useful, but WITHOUT
    10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
    11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
    12  * version 2 for more details (a copy is included in the LICENSE file that
    13  * accompanied this code).
    14  *
    15  * You should have received a copy of the GNU General Public License version
    16  * 2 along with this work; if not, write to the Free Software Foundation,
    17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
    18  *
    19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
    20  * or visit www.oracle.com if you need additional information or have any
    21  * questions.
    22  *
    23  */
    25 #include "precompiled.hpp"
    26 #include "compiler/compilerOracle.hpp"
    27 #include "memory/allocation.inline.hpp"
    28 #include "memory/oopFactory.hpp"
    29 #include "memory/resourceArea.hpp"
    30 #include "oops/klass.hpp"
    31 #include "oops/method.hpp"
    32 #include "oops/oop.inline.hpp"
    33 #include "oops/symbol.hpp"
    34 #include "runtime/handles.inline.hpp"
    35 #include "runtime/jniHandles.hpp"
    37 class MethodMatcher : public CHeapObj<mtCompiler> {
    38  public:
    39   enum Mode {
    40     Exact,
    41     Prefix = 1,
    42     Suffix = 2,
    43     Substring = Prefix | Suffix,
    44     Any,
    45     Unknown = -1
    46   };
    48  protected:
    49   Symbol*        _class_name;
    50   Symbol*        _method_name;
    51   Symbol*        _signature;
    52   Mode           _class_mode;
    53   Mode           _method_mode;
    54   MethodMatcher* _next;
    56   static bool match(Symbol* candidate, Symbol* match, Mode match_mode);
    58   Symbol* class_name() const { return _class_name; }
    59   Symbol* method_name() const { return _method_name; }
    60   Symbol* signature() const { return _signature; }
    62  public:
    63   MethodMatcher(Symbol* class_name, Mode class_mode,
    64                 Symbol* method_name, Mode method_mode,
    65                 Symbol* signature, MethodMatcher* next);
    66   MethodMatcher(Symbol* class_name, Symbol* method_name, MethodMatcher* next);
    68   // utility method
    69   MethodMatcher* find(methodHandle method) {
    70     Symbol* class_name  = method->method_holder()->name();
    71     Symbol* method_name = method->name();
    72     for (MethodMatcher* current = this; current != NULL; current = current->_next) {
    73       if (match(class_name, current->class_name(), current->_class_mode) &&
    74           match(method_name, current->method_name(), current->_method_mode) &&
    75           (current->signature() == NULL || current->signature() == method->signature())) {
    76         return current;
    77       }
    78     }
    79     return NULL;
    80   }
    82   bool match(methodHandle method) {
    83     return find(method) != NULL;
    84   }
    86   MethodMatcher* next() const { return _next; }
    88   static void print_symbol(Symbol* h, Mode mode) {
    89     ResourceMark rm;
    91     if (mode == Suffix || mode == Substring || mode == Any) {
    92       tty->print("*");
    93     }
    94     if (mode != Any) {
    95       h->print_symbol_on(tty);
    96     }
    97     if (mode == Prefix || mode == Substring) {
    98       tty->print("*");
    99     }
   100   }
   102   void print_base() {
   103     print_symbol(class_name(), _class_mode);
   104     tty->print(".");
   105     print_symbol(method_name(), _method_mode);
   106     if (signature() != NULL) {
   107       tty->print(" ");
   108       signature()->print_symbol_on(tty);
   109     }
   110   }
   112   virtual void print() {
   113     print_base();
   114     tty->cr();
   115   }
   116 };
   118 MethodMatcher::MethodMatcher(Symbol* class_name, Symbol* method_name, MethodMatcher* next) {
   119   _class_name  = class_name;
   120   _method_name = method_name;
   121   _next        = next;
   122   _class_mode  = MethodMatcher::Exact;
   123   _method_mode = MethodMatcher::Exact;
   124   _signature   = NULL;
   125 }
   128 MethodMatcher::MethodMatcher(Symbol* class_name, Mode class_mode,
   129                              Symbol* method_name, Mode method_mode,
   130                              Symbol* signature, MethodMatcher* next):
   131     _class_mode(class_mode)
   132   , _method_mode(method_mode)
   133   , _next(next)
   134   , _class_name(class_name)
   135   , _method_name(method_name)
   136   , _signature(signature) {
   137 }
   139 bool MethodMatcher::match(Symbol* candidate, Symbol* match, Mode match_mode) {
   140   if (match_mode == Any) {
   141     return true;
   142   }
   144   if (match_mode == Exact) {
   145     return candidate == match;
   146   }
   148   ResourceMark rm;
   149   const char * candidate_string = candidate->as_C_string();
   150   const char * match_string = match->as_C_string();
   152   switch (match_mode) {
   153   case Prefix:
   154     return strstr(candidate_string, match_string) == candidate_string;
   156   case Suffix: {
   157     size_t clen = strlen(candidate_string);
   158     size_t mlen = strlen(match_string);
   159     return clen >= mlen && strcmp(candidate_string + clen - mlen, match_string) == 0;
   160   }
   162   case Substring:
   163     return strstr(candidate_string, match_string) != NULL;
   165   default:
   166     return false;
   167   }
   168 }
   170 enum OptionType {
   171   IntxType,
   172   UintxType,
   173   BoolType,
   174   CcstrType,
   175   UnknownType
   176 };
   178 /* Methods to map real type names to OptionType */
   179 template<typename T>
   180 static OptionType get_type_for() {
   181   return UnknownType;
   182 };
   184 template<> OptionType get_type_for<intx>() {
   185   return IntxType;
   186 }
   188 template<> OptionType get_type_for<uintx>() {
   189   return UintxType;
   190 }
   192 template<> OptionType get_type_for<bool>() {
   193   return BoolType;
   194 }
   196 template<> OptionType get_type_for<ccstr>() {
   197   return CcstrType;
   198 }
   200 template<typename T>
   201 static const T copy_value(const T value) {
   202   return value;
   203 }
   205 template<> const ccstr copy_value<ccstr>(const ccstr value) {
   206   return (const ccstr)strdup(value);
   207 }
   209 template <typename T>
   210 class TypedMethodOptionMatcher : public MethodMatcher {
   211   const char* _option;
   212   OptionType _type;
   213   const T _value;
   215 public:
   216   TypedMethodOptionMatcher(Symbol* class_name, Mode class_mode,
   217                            Symbol* method_name, Mode method_mode,
   218                            Symbol* signature, const char* opt,
   219                            const T value,  MethodMatcher* next) :
   220     MethodMatcher(class_name, class_mode, method_name, method_mode, signature, next),
   221                   _type(get_type_for<T>()), _value(copy_value<T>(value)) {
   222     _option = strdup(opt);
   223   }
   225   ~TypedMethodOptionMatcher() {
   226     free((void*)_option);
   227   }
   229   TypedMethodOptionMatcher* match(methodHandle method, const char* opt) {
   230     TypedMethodOptionMatcher* current = this;
   231     while (current != NULL) {
   232       current = (TypedMethodOptionMatcher*)current->find(method);
   233       if (current == NULL) {
   234         return NULL;
   235       }
   236       if (strcmp(current->_option, opt) == 0) {
   237         return current;
   238       }
   239       current = current->next();
   240     }
   241     return NULL;
   242   }
   244   TypedMethodOptionMatcher* next() {
   245     return (TypedMethodOptionMatcher*)_next;
   246   }
   248   OptionType get_type(void) {
   249       return _type;
   250   };
   252   T value() { return _value; }
   254   void print() {
   255     ttyLocker ttyl;
   256     print_base();
   257     tty->print(" %s", _option);
   258     tty->print(" <unknown option type>");
   259     tty->cr();
   260   }
   261 };
   263 template<>
   264 void TypedMethodOptionMatcher<intx>::print() {
   265   ttyLocker ttyl;
   266   print_base();
   267   tty->print(" intx %s", _option);
   268   tty->print(" = " INTX_FORMAT, _value);
   269   tty->cr();
   270 };
   272 template<>
   273 void TypedMethodOptionMatcher<uintx>::print() {
   274   ttyLocker ttyl;
   275   print_base();
   276   tty->print(" uintx %s", _option);
   277   tty->print(" = " UINTX_FORMAT, _value);
   278   tty->cr();
   279 };
   281 template<>
   282 void TypedMethodOptionMatcher<bool>::print() {
   283   ttyLocker ttyl;
   284   print_base();
   285   tty->print(" bool %s", _option);
   286   tty->print(" = %s", _value ? "true" : "false");
   287   tty->cr();
   288 };
   290 template<>
   291 void TypedMethodOptionMatcher<ccstr>::print() {
   292   ttyLocker ttyl;
   293   print_base();
   294   tty->print(" const char* %s", _option);
   295   tty->print(" = '%s'", _value);
   296   tty->cr();
   297 };
   299 // this must parallel the command_names below
   300 enum OracleCommand {
   301   UnknownCommand = -1,
   302   OracleFirstCommand = 0,
   303   BreakCommand = OracleFirstCommand,
   304   PrintCommand,
   305   ExcludeCommand,
   306   InlineCommand,
   307   DontInlineCommand,
   308   CompileOnlyCommand,
   309   LogCommand,
   310   OptionCommand,
   311   QuietCommand,
   312   HelpCommand,
   313   OracleCommandCount
   314 };
   316 // this must parallel the enum OracleCommand
   317 static const char * command_names[] = {
   318   "break",
   319   "print",
   320   "exclude",
   321   "inline",
   322   "dontinline",
   323   "compileonly",
   324   "log",
   325   "option",
   326   "quiet",
   327   "help"
   328 };
   330 class MethodMatcher;
   331 static MethodMatcher* lists[OracleCommandCount] = { 0, };
   334 static bool check_predicate(OracleCommand command, methodHandle method) {
   335   return ((lists[command] != NULL) &&
   336           !method.is_null() &&
   337           lists[command]->match(method));
   338 }
   341 static MethodMatcher* add_predicate(OracleCommand command,
   342                                     Symbol* class_name, MethodMatcher::Mode c_mode,
   343                                     Symbol* method_name, MethodMatcher::Mode m_mode,
   344                                     Symbol* signature) {
   345   assert(command != OptionCommand, "must use add_option_string");
   346   if (command == LogCommand && !LogCompilation && lists[LogCommand] == NULL)
   347     tty->print_cr("Warning:  +LogCompilation must be enabled in order for individual methods to be logged.");
   348   lists[command] = new MethodMatcher(class_name, c_mode, method_name, m_mode, signature, lists[command]);
   349   return lists[command];
   350 }
   352 template<typename T>
   353 static MethodMatcher* add_option_string(Symbol* class_name, MethodMatcher::Mode c_mode,
   354                                         Symbol* method_name, MethodMatcher::Mode m_mode,
   355                                         Symbol* signature,
   356                                         const char* option,
   357                                         T value) {
   358   lists[OptionCommand] = new TypedMethodOptionMatcher<T>(class_name, c_mode, method_name, m_mode,
   359                                                          signature, option, value, lists[OptionCommand]);
   360   return lists[OptionCommand];
   361 }
   363 template<typename T>
   364 static bool get_option_value(methodHandle method, const char* option, T& value) {
   365    TypedMethodOptionMatcher<T>* m;
   366    if (lists[OptionCommand] != NULL
   367        && (m = ((TypedMethodOptionMatcher<T>*)lists[OptionCommand])->match(method, option)) != NULL
   368        && m->get_type() == get_type_for<T>()) {
   369        value = m->value();
   370        return true;
   371    } else {
   372      return false;
   373    }
   374 }
   376 bool CompilerOracle::has_option_string(methodHandle method, const char* option) {
   377   bool value = false;
   378   get_option_value(method, option, value);
   379   return value;
   380 }
   382 template<typename T>
   383 bool CompilerOracle::has_option_value(methodHandle method, const char* option, T& value) {
   384   return ::get_option_value(method, option, value);
   385 }
   387 // Explicit instantiation for all OptionTypes supported.
   388 template bool CompilerOracle::has_option_value<intx>(methodHandle method, const char* option, intx& value);
   389 template bool CompilerOracle::has_option_value<uintx>(methodHandle method, const char* option, uintx& value);
   390 template bool CompilerOracle::has_option_value<bool>(methodHandle method, const char* option, bool& value);
   391 template bool CompilerOracle::has_option_value<ccstr>(methodHandle method, const char* option, ccstr& value);
   393 bool CompilerOracle::should_exclude(methodHandle method, bool& quietly) {
   394   quietly = true;
   395   if (lists[ExcludeCommand] != NULL) {
   396     if (lists[ExcludeCommand]->match(method)) {
   397       quietly = _quiet;
   398       return true;
   399     }
   400   }
   402   if (lists[CompileOnlyCommand] != NULL) {
   403     return !lists[CompileOnlyCommand]->match(method);
   404   }
   405   return false;
   406 }
   409 bool CompilerOracle::should_inline(methodHandle method) {
   410   return (check_predicate(InlineCommand, method));
   411 }
   414 bool CompilerOracle::should_not_inline(methodHandle method) {
   415   return (check_predicate(DontInlineCommand, method));
   416 }
   419 bool CompilerOracle::should_print(methodHandle method) {
   420   return (check_predicate(PrintCommand, method));
   421 }
   424 bool CompilerOracle::should_log(methodHandle method) {
   425   if (!LogCompilation)            return false;
   426   if (lists[LogCommand] == NULL)  return true;  // by default, log all
   427   return (check_predicate(LogCommand, method));
   428 }
   431 bool CompilerOracle::should_break_at(methodHandle method) {
   432   return check_predicate(BreakCommand, method);
   433 }
   436 static OracleCommand parse_command_name(const char * line, int* bytes_read) {
   437   assert(ARRAY_SIZE(command_names) == OracleCommandCount,
   438          "command_names size mismatch");
   440   *bytes_read = 0;
   441   char command[33];
   442   int result = sscanf(line, "%32[a-z]%n", command, bytes_read);
   443   for (uint i = 0; i < ARRAY_SIZE(command_names); i++) {
   444     if (strcmp(command, command_names[i]) == 0) {
   445       return (OracleCommand)i;
   446     }
   447   }
   448   return UnknownCommand;
   449 }
   452 static void usage() {
   453   tty->print_cr("  CompileCommand and the CompilerOracle allows simple control over");
   454   tty->print_cr("  what's allowed to be compiled.  The standard supported directives");
   455   tty->print_cr("  are exclude and compileonly.  The exclude directive stops a method");
   456   tty->print_cr("  from being compiled and compileonly excludes all methods except for");
   457   tty->print_cr("  the ones mentioned by compileonly directives.  The basic form of");
   458   tty->print_cr("  all commands is a command name followed by the name of the method");
   459   tty->print_cr("  in one of two forms: the standard class file format as in");
   460   tty->print_cr("  class/name.methodName or the PrintCompilation format");
   461   tty->print_cr("  class.name::methodName.  The method name can optionally be followed");
   462   tty->print_cr("  by a space then the signature of the method in the class file");
   463   tty->print_cr("  format.  Otherwise the directive applies to all methods with the");
   464   tty->print_cr("  same name and class regardless of signature.  Leading and trailing");
   465   tty->print_cr("  *'s in the class and/or method name allows a small amount of");
   466   tty->print_cr("  wildcarding.  ");
   467   tty->cr();
   468   tty->print_cr("  Examples:");
   469   tty->cr();
   470   tty->print_cr("  exclude java/lang/StringBuffer.append");
   471   tty->print_cr("  compileonly java/lang/StringBuffer.toString ()Ljava/lang/String;");
   472   tty->print_cr("  exclude java/lang/String*.*");
   473   tty->print_cr("  exclude *.toString");
   474 }
   477 // The characters allowed in a class or method name.  All characters > 0x7f
   478 // are allowed in order to handle obfuscated class files (e.g. Volano)
   479 #define RANGEBASE "abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789$_<>" \
   480         "\x80\x81\x82\x83\x84\x85\x86\x87\x88\x89\x8a\x8b\x8c\x8d\x8e\x8f" \
   481         "\x90\x91\x92\x93\x94\x95\x96\x97\x98\x99\x9a\x9b\x9c\x9d\x9e\x9f" \
   482         "\xa0\xa1\xa2\xa3\xa4\xa5\xa6\xa7\xa8\xa9\xaa\xab\xac\xad\xae\xaf" \
   483         "\xb0\xb1\xb2\xb3\xb4\xb5\xb6\xb7\xb8\xb9\xba\xbb\xbc\xbd\xbe\xbf" \
   484         "\xc0\xc1\xc2\xc3\xc4\xc5\xc6\xc7\xc8\xc9\xca\xcb\xcc\xcd\xce\xcf" \
   485         "\xd0\xd1\xd2\xd3\xd4\xd5\xd6\xd7\xd8\xd9\xda\xdb\xdc\xdd\xde\xdf" \
   486         "\xe0\xe1\xe2\xe3\xe4\xe5\xe6\xe7\xe8\xe9\xea\xeb\xec\xed\xee\xef" \
   487         "\xf0\xf1\xf2\xf3\xf4\xf5\xf6\xf7\xf8\xf9\xfa\xfb\xfc\xfd\xfe\xff"
   489 #define RANGE0 "[*" RANGEBASE "]"
   490 #define RANGEDOT "[*" RANGEBASE ".]"
   491 #define RANGESLASH "[*" RANGEBASE "/]"
   494 // Accept several syntaxes for these patterns
   495 //  original syntax
   496 //   cmd  java.lang.String foo
   497 //  PrintCompilation syntax
   498 //   cmd  java.lang.String::foo
   499 //  VM syntax
   500 //   cmd  java/lang/String[. ]foo
   501 //
   503 static const char* patterns[] = {
   504   "%*[ \t]%255" RANGEDOT    " "     "%255"  RANGE0 "%n",
   505   "%*[ \t]%255" RANGEDOT   "::"     "%255"  RANGE0 "%n",
   506   "%*[ \t]%255" RANGESLASH "%*[ .]" "%255"  RANGE0 "%n",
   507 };
   509 static MethodMatcher::Mode check_mode(char name[], const char*& error_msg) {
   510   int match = MethodMatcher::Exact;
   511   while (name[0] == '*') {
   512     match |= MethodMatcher::Suffix;
   513     strcpy(name, name + 1);
   514   }
   516   if (strcmp(name, "*") == 0) return MethodMatcher::Any;
   518   size_t len = strlen(name);
   519   while (len > 0 && name[len - 1] == '*') {
   520     match |= MethodMatcher::Prefix;
   521     name[--len] = '\0';
   522   }
   524   if (strstr(name, "*") != NULL) {
   525     error_msg = "  Embedded * not allowed";
   526     return MethodMatcher::Unknown;
   527   }
   528   return (MethodMatcher::Mode)match;
   529 }
   531 static bool scan_line(const char * line,
   532                       char class_name[],  MethodMatcher::Mode* c_mode,
   533                       char method_name[], MethodMatcher::Mode* m_mode,
   534                       int* bytes_read, const char*& error_msg) {
   535   *bytes_read = 0;
   536   error_msg = NULL;
   537   for (uint i = 0; i < ARRAY_SIZE(patterns); i++) {
   538     if (2 == sscanf(line, patterns[i], class_name, method_name, bytes_read)) {
   539       *c_mode = check_mode(class_name, error_msg);
   540       *m_mode = check_mode(method_name, error_msg);
   541       return *c_mode != MethodMatcher::Unknown && *m_mode != MethodMatcher::Unknown;
   542     }
   543   }
   544   return false;
   545 }
   549 // Scan next flag and value in line, return MethodMatcher object on success, NULL on failure.
   550 // On failure, error_msg contains description for the first error.
   551 // For future extensions: set error_msg on first error.
   552 static MethodMatcher* scan_flag_and_value(const char* type, const char* line, int& total_bytes_read,
   553                                           Symbol* c_name, MethodMatcher::Mode c_match,
   554                                           Symbol* m_name, MethodMatcher::Mode m_match,
   555                                           Symbol* signature,
   556                                           char* errorbuf, const int buf_size) {
   557   total_bytes_read = 0;
   558   int bytes_read = 0;
   559   char flag[256];
   561   // Read flag name.
   562   if (sscanf(line, "%*[ \t]%255[a-zA-Z0-9]%n", flag, &bytes_read) == 1) {
   563     line += bytes_read;
   564     total_bytes_read += bytes_read;
   566     // Read value.
   567     if (strcmp(type, "intx") == 0) {
   568       intx value;
   569       if (sscanf(line, "%*[ \t]" INTX_FORMAT "%n", &value, &bytes_read) == 1) {
   570         total_bytes_read += bytes_read;
   571         return add_option_string(c_name, c_match, m_name, m_match, signature, flag, value);
   572       } else {
   573         jio_snprintf(errorbuf, buf_size, "  Value cannot be read for flag %s of type %s ", flag, type);
   574       }
   575     } else if (strcmp(type, "uintx") == 0) {
   576       uintx value;
   577       if (sscanf(line, "%*[ \t]" UINTX_FORMAT "%n", &value, &bytes_read) == 1) {
   578         total_bytes_read += bytes_read;
   579         return add_option_string(c_name, c_match, m_name, m_match, signature, flag, value);
   580       } else {
   581         jio_snprintf(errorbuf, buf_size, "  Value cannot be read for flag %s of type %s", flag, type);
   582       }
   583     } else if (strcmp(type, "ccstr") == 0) {
   584       ResourceMark rm;
   585       char* value = NEW_RESOURCE_ARRAY(char, strlen(line) + 1);
   586       if (sscanf(line, "%*[ \t]%255[_a-zA-Z0-9]%n", value, &bytes_read) == 1) {
   587         total_bytes_read += bytes_read;
   588         return add_option_string(c_name, c_match, m_name, m_match, signature, flag, (ccstr)value);
   589       } else {
   590         jio_snprintf(errorbuf, buf_size, "  Value cannot be read for flag %s of type %s", flag, type);
   591       }
   592     } else if (strcmp(type, "ccstrlist") == 0) {
   593       // Accumulates several strings into one. The internal type is ccstr.
   594       ResourceMark rm;
   595       char* value = NEW_RESOURCE_ARRAY(char, strlen(line) + 1);
   596       char* next_value = value;
   597       if (sscanf(line, "%*[ \t]%255[_a-zA-Z0-9]%n", next_value, &bytes_read) == 1) {
   598         total_bytes_read += bytes_read;
   599         line += bytes_read;
   600         next_value += bytes_read;
   601         char* end_value = next_value-1;
   602         while (sscanf(line, "%*[ \t]%255[_a-zA-Z0-9]%n", next_value, &bytes_read) == 1) {
   603           total_bytes_read += bytes_read;
   604           line += bytes_read;
   605           *end_value = ' '; // override '\0'
   606           next_value += bytes_read;
   607           end_value = next_value-1;
   608         }
   609         return add_option_string(c_name, c_match, m_name, m_match, signature, flag, (ccstr)value);
   610       } else {
   611         jio_snprintf(errorbuf, buf_size, "  Value cannot be read for flag %s of type %s", flag, type);
   612       }
   613     } else if (strcmp(type, "bool") == 0) {
   614       char value[256];
   615       if (sscanf(line, "%*[ \t]%255[a-zA-Z]%n", value, &bytes_read) == 1) {
   616         if (strcmp(value, "true") == 0) {
   617           total_bytes_read += bytes_read;
   618           return add_option_string(c_name, c_match, m_name, m_match, signature, flag, true);
   619         } else if (strcmp(value, "false") == 0) {
   620           total_bytes_read += bytes_read;
   621           return add_option_string(c_name, c_match, m_name, m_match, signature, flag, false);
   622         } else {
   623           jio_snprintf(errorbuf, buf_size, "  Value cannot be read for flag %s of type %s", flag, type);
   624         }
   625       } else {
   626         jio_snprintf(errorbuf, sizeof(errorbuf), "  Value cannot be read for flag %s of type %s", flag, type);
   627       }
   628     } else {
   629       jio_snprintf(errorbuf, sizeof(errorbuf), "  Type %s not supported ", type);
   630     }
   631   } else {
   632     jio_snprintf(errorbuf, sizeof(errorbuf), "  Flag name for type %s should be alphanumeric ", type);
   633   }
   634   return NULL;
   635 }
   637 void CompilerOracle::parse_from_line(char* line) {
   638   if (line[0] == '\0') return;
   639   if (line[0] == '#')  return;
   641   bool have_colon = (strstr(line, "::") != NULL);
   642   for (char* lp = line; *lp != '\0'; lp++) {
   643     // Allow '.' to separate the class name from the method name.
   644     // This is the preferred spelling of methods:
   645     //      exclude java/lang/String.indexOf(I)I
   646     // Allow ',' for spaces (eases command line quoting).
   647     //      exclude,java/lang/String.indexOf
   648     // For backward compatibility, allow space as separator also.
   649     //      exclude java/lang/String indexOf
   650     //      exclude,java/lang/String,indexOf
   651     // For easy cut-and-paste of method names, allow VM output format
   652     // as produced by Method::print_short_name:
   653     //      exclude java.lang.String::indexOf
   654     // For simple implementation convenience here, convert them all to space.
   655     if (have_colon) {
   656       if (*lp == '.')  *lp = '/';   // dots build the package prefix
   657       if (*lp == ':')  *lp = ' ';
   658     }
   659     if (*lp == ',' || *lp == '.')  *lp = ' ';
   660   }
   662   char* original_line = line;
   663   int bytes_read;
   664   OracleCommand command = parse_command_name(line, &bytes_read);
   665   line += bytes_read;
   666   ResourceMark rm;
   668   if (command == UnknownCommand) {
   669     ttyLocker ttyl;
   670     tty->print_cr("CompilerOracle: unrecognized line");
   671     tty->print_cr("  \"%s\"", original_line);
   672     return;
   673   }
   675   if (command == QuietCommand) {
   676     _quiet = true;
   677     return;
   678   }
   680   if (command == HelpCommand) {
   681     usage();
   682     return;
   683   }
   685   MethodMatcher::Mode c_match = MethodMatcher::Exact;
   686   MethodMatcher::Mode m_match = MethodMatcher::Exact;
   687   char class_name[256];
   688   char method_name[256];
   689   char sig[1024];
   690   char errorbuf[1024];
   691   const char* error_msg = NULL; // description of first error that appears
   692   MethodMatcher* match = NULL;
   694   if (scan_line(line, class_name, &c_match, method_name, &m_match, &bytes_read, error_msg)) {
   695     EXCEPTION_MARK;
   696     Symbol* c_name = SymbolTable::new_symbol(class_name, CHECK);
   697     Symbol* m_name = SymbolTable::new_symbol(method_name, CHECK);
   698     Symbol* signature = NULL;
   700     line += bytes_read;
   701     // there might be a signature following the method.
   702     // signatures always begin with ( so match that by hand
   703     if (1 == sscanf(line, "%*[ \t](%254[[);/" RANGEBASE "]%n", sig + 1, &bytes_read)) {
   704       sig[0] = '(';
   705       line += bytes_read;
   706       signature = SymbolTable::new_symbol(sig, CHECK);
   707     }
   709     if (command == OptionCommand) {
   710       // Look for trailing options.
   711       //
   712       // Two types of trailing options are
   713       // supported:
   714       //
   715       // (1) CompileCommand=option,Klass::method,flag
   716       // (2) CompileCommand=option,Klass::method,type,flag,value
   717       //
   718       // Type (1) is used to support ciMethod::has_option("someflag")
   719       // (i.e., to check if a flag "someflag" is enabled for a method).
   720       //
   721       // Type (2) is used to support options with a value. Values can have the
   722       // the following types: intx, uintx, bool, ccstr, and ccstrlist.
   723       //
   724       // For future extensions: extend scan_flag_and_value()
   725       char option[256]; // stores flag for Type (1) and type of Type (2)
   726       while (sscanf(line, "%*[ \t]%255[a-zA-Z0-9]%n", option, &bytes_read) == 1) {
   727         if (match != NULL && !_quiet) {
   728           // Print out the last match added
   729           ttyLocker ttyl;
   730           tty->print("CompilerOracle: %s ", command_names[command]);
   731           match->print();
   732         }
   733         line += bytes_read;
   735         if (strcmp(option, "intx") == 0
   736             || strcmp(option, "uintx") == 0
   737             || strcmp(option, "bool") == 0
   738             || strcmp(option, "ccstr") == 0
   739             || strcmp(option, "ccstrlist") == 0
   740             ) {
   742           // Type (2) option: parse flag name and value.
   743           match = scan_flag_and_value(option, line, bytes_read,
   744                                       c_name, c_match, m_name, m_match, signature,
   745                                       errorbuf, sizeof(errorbuf));
   746           if (match == NULL) {
   747             error_msg = errorbuf;
   748             break;
   749           }
   750           line += bytes_read;
   751         } else {
   752           // Type (1) option
   753           match = add_option_string(c_name, c_match, m_name, m_match, signature, option, true);
   754         }
   755       } // while(
   756     } else {
   757       match = add_predicate(command, c_name, c_match, m_name, m_match, signature);
   758     }
   759   }
   761   ttyLocker ttyl;
   762   if (error_msg != NULL) {
   763     // an error has happened
   764     tty->print_cr("CompilerOracle: unrecognized line");
   765     tty->print_cr("  \"%s\"", original_line);
   766     if (error_msg != NULL) {
   767       tty->print_cr("%s", error_msg);
   768     }
   769   } else {
   770     // check for remaining characters
   771     bytes_read = 0;
   772     sscanf(line, "%*[ \t]%n", &bytes_read);
   773     if (line[bytes_read] != '\0') {
   774       tty->print_cr("CompilerOracle: unrecognized line");
   775       tty->print_cr("  \"%s\"", original_line);
   776       tty->print_cr("  Unrecognized text %s after command ", line);
   777     } else if (match != NULL && !_quiet) {
   778       tty->print("CompilerOracle: %s ", command_names[command]);
   779       match->print();
   780     }
   781   }
   782 }
   784 static const char* default_cc_file = ".hotspot_compiler";
   786 static const char* cc_file() {
   787 #ifdef ASSERT
   788   if (CompileCommandFile == NULL)
   789     return default_cc_file;
   790 #endif
   791   return CompileCommandFile;
   792 }
   794 bool CompilerOracle::has_command_file() {
   795   return cc_file() != NULL;
   796 }
   798 bool CompilerOracle::_quiet = false;
   800 void CompilerOracle::parse_from_file() {
   801   assert(has_command_file(), "command file must be specified");
   802   FILE* stream = fopen(cc_file(), "rt");
   803   if (stream == NULL) return;
   805   char token[1024];
   806   int  pos = 0;
   807   int  c = getc(stream);
   808   while(c != EOF && pos < (int)(sizeof(token)-1)) {
   809     if (c == '\n') {
   810       token[pos++] = '\0';
   811       parse_from_line(token);
   812       pos = 0;
   813     } else {
   814       token[pos++] = c;
   815     }
   816     c = getc(stream);
   817   }
   818   token[pos++] = '\0';
   819   parse_from_line(token);
   821   fclose(stream);
   822 }
   824 void CompilerOracle::parse_from_string(const char* str, void (*parse_line)(char*)) {
   825   char token[1024];
   826   int  pos = 0;
   827   const char* sp = str;
   828   int  c = *sp++;
   829   while (c != '\0' && pos < (int)(sizeof(token)-1)) {
   830     if (c == '\n') {
   831       token[pos++] = '\0';
   832       parse_line(token);
   833       pos = 0;
   834     } else {
   835       token[pos++] = c;
   836     }
   837     c = *sp++;
   838   }
   839   token[pos++] = '\0';
   840   parse_line(token);
   841 }
   843 void CompilerOracle::append_comment_to_file(const char* message) {
   844   assert(has_command_file(), "command file must be specified");
   845   fileStream stream(fopen(cc_file(), "at"));
   846   stream.print("# ");
   847   for (int index = 0; message[index] != '\0'; index++) {
   848     stream.put(message[index]);
   849     if (message[index] == '\n') stream.print("# ");
   850   }
   851   stream.cr();
   852 }
   854 void CompilerOracle::append_exclude_to_file(methodHandle method) {
   855   assert(has_command_file(), "command file must be specified");
   856   fileStream stream(fopen(cc_file(), "at"));
   857   stream.print("exclude ");
   858   method->method_holder()->name()->print_symbol_on(&stream);
   859   stream.print(".");
   860   method->name()->print_symbol_on(&stream);
   861   method->signature()->print_symbol_on(&stream);
   862   stream.cr();
   863   stream.cr();
   864 }
   867 void compilerOracle_init() {
   868   CompilerOracle::parse_from_string(CompileCommand, CompilerOracle::parse_from_line);
   869   CompilerOracle::parse_from_string(CompileOnly, CompilerOracle::parse_compile_only);
   870   if (CompilerOracle::has_command_file()) {
   871     CompilerOracle::parse_from_file();
   872   } else {
   873     struct stat buf;
   874     if (os::stat(default_cc_file, &buf) == 0) {
   875       warning("%s file is present but has been ignored.  "
   876               "Run with -XX:CompileCommandFile=%s to load the file.",
   877               default_cc_file, default_cc_file);
   878     }
   879   }
   880   if (lists[PrintCommand] != NULL) {
   881     if (PrintAssembly) {
   882       warning("CompileCommand and/or %s file contains 'print' commands, but PrintAssembly is also enabled", default_cc_file);
   883     } else if (FLAG_IS_DEFAULT(DebugNonSafepoints)) {
   884       warning("printing of assembly code is enabled; turning on DebugNonSafepoints to gain additional output");
   885       DebugNonSafepoints = true;
   886     }
   887   }
   888 }
   891 void CompilerOracle::parse_compile_only(char * line) {
   892   int i;
   893   char name[1024];
   894   const char* className = NULL;
   895   const char* methodName = NULL;
   897   bool have_colon = (strstr(line, "::") != NULL);
   898   char method_sep = have_colon ? ':' : '.';
   900   if (Verbose) {
   901     tty->print_cr("%s", line);
   902   }
   904   ResourceMark rm;
   905   while (*line != '\0') {
   906     MethodMatcher::Mode c_match = MethodMatcher::Exact;
   907     MethodMatcher::Mode m_match = MethodMatcher::Exact;
   909     for (i = 0;
   910          i < 1024 && *line != '\0' && *line != method_sep && *line != ',' && !isspace(*line);
   911          line++, i++) {
   912       name[i] = *line;
   913       if (name[i] == '.')  name[i] = '/';  // package prefix uses '/'
   914     }
   916     if (i > 0) {
   917       char* newName = NEW_RESOURCE_ARRAY( char, i + 1);
   918       if (newName == NULL)
   919         return;
   920       strncpy(newName, name, i);
   921       newName[i] = '\0';
   923       if (className == NULL) {
   924         className = newName;
   925         c_match = MethodMatcher::Prefix;
   926       } else {
   927         methodName = newName;
   928       }
   929     }
   931     if (*line == method_sep) {
   932       if (className == NULL) {
   933         className = "";
   934         c_match = MethodMatcher::Any;
   935       } else {
   936         // foo/bar.blah is an exact match on foo/bar, bar.blah is a suffix match on bar
   937         if (strchr(className, '/') != NULL) {
   938           c_match = MethodMatcher::Exact;
   939         } else {
   940           c_match = MethodMatcher::Suffix;
   941         }
   942       }
   943     } else {
   944       // got foo or foo/bar
   945       if (className == NULL) {
   946         ShouldNotReachHere();
   947       } else {
   948         // got foo or foo/bar
   949         if (strchr(className, '/') != NULL) {
   950           c_match = MethodMatcher::Prefix;
   951         } else if (className[0] == '\0') {
   952           c_match = MethodMatcher::Any;
   953         } else {
   954           c_match = MethodMatcher::Substring;
   955         }
   956       }
   957     }
   959     // each directive is terminated by , or NUL or . followed by NUL
   960     if (*line == ',' || *line == '\0' || (line[0] == '.' && line[1] == '\0')) {
   961       if (methodName == NULL) {
   962         methodName = "";
   963         if (*line != method_sep) {
   964           m_match = MethodMatcher::Any;
   965         }
   966       }
   968       EXCEPTION_MARK;
   969       Symbol* c_name = SymbolTable::new_symbol(className, CHECK);
   970       Symbol* m_name = SymbolTable::new_symbol(methodName, CHECK);
   971       Symbol* signature = NULL;
   973       add_predicate(CompileOnlyCommand, c_name, c_match, m_name, m_match, signature);
   974       if (PrintVMOptions) {
   975         tty->print("CompileOnly: compileonly ");
   976         lists[CompileOnlyCommand]->print();
   977       }
   979       className = NULL;
   980       methodName = NULL;
   981     }
   983     line = *line == '\0' ? line : line + 1;
   984   }
   985 }

mercurial