Thu, 12 Oct 2017 21:27:07 +0800
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 }