| File: | jdk/src/hotspot/share/classfile/symbolTable.hpp |
| Warning: | line 191, column 34 Null pointer passed to 1st parameter expecting 'nonnull' |
Press '?' to see keyboard shortcuts
Keyboard shortcuts:
| 1 | /* | ||||
| 2 | * Copyright (c) 1998, 2021, 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 | */ | ||||
| 24 | |||||
| 25 | #include "precompiled.hpp" | ||||
| 26 | #include "jvm.h" | ||||
| 27 | #include "classfile/symbolTable.hpp" | ||||
| 28 | #include "compiler/compilerDirectives.hpp" | ||||
| 29 | #include "compiler/compilerOracle.hpp" | ||||
| 30 | #include "compiler/methodMatcher.hpp" | ||||
| 31 | #include "memory/allocation.inline.hpp" | ||||
| 32 | #include "memory/oopFactory.hpp" | ||||
| 33 | #include "memory/resourceArea.hpp" | ||||
| 34 | #include "oops/klass.hpp" | ||||
| 35 | #include "oops/method.inline.hpp" | ||||
| 36 | #include "oops/symbol.hpp" | ||||
| 37 | #include "runtime/globals_extension.hpp" | ||||
| 38 | #include "runtime/handles.inline.hpp" | ||||
| 39 | #include "runtime/jniHandles.hpp" | ||||
| 40 | #include "runtime/os.hpp" | ||||
| 41 | |||||
| 42 | static const char* optiontype_names[] = { | ||||
| 43 | #define enum_of_types(type, name) name, | ||||
| 44 | OPTION_TYPES(enum_of_types)enum_of_types(Intx, "intx") enum_of_types(Uintx, "uintx") enum_of_types (Bool, "bool") enum_of_types(Ccstr, "ccstr") enum_of_types(Ccstrlist , "ccstrlist") enum_of_types(Double, "double") | ||||
| 45 | #undef enum_of_types | ||||
| 46 | }; | ||||
| 47 | |||||
| 48 | const char* optiontype2name(enum OptionType type) { | ||||
| 49 | return optiontype_names[static_cast<int>(type)]; | ||||
| 50 | } | ||||
| 51 | |||||
| 52 | static enum OptionType option_types[] = { | ||||
| 53 | #define enum_of_options(option, name, ctype) OptionType::ctype, | ||||
| 54 | COMPILECOMMAND_OPTIONS(enum_of_options)enum_of_options(Help, "help", Unknown) enum_of_options(Quiet, "quiet", Unknown) enum_of_options(Log, "log", Bool) enum_of_options (Print, "print", Bool) enum_of_options(Inline, "inline", Bool ) enum_of_options(DontInline, "dontinline", Bool) enum_of_options (Blackhole, "blackhole", Bool) enum_of_options(CompileOnly, "compileonly" , Bool) enum_of_options(Exclude, "exclude", Bool) enum_of_options (Break, "break", Bool) enum_of_options(BreakAtExecute, "BreakAtExecute" , Bool) enum_of_options(BreakAtCompile, "BreakAtCompile", Bool ) enum_of_options(PrintAssembly, "PrintAssembly", Bool) enum_of_options (PrintInlining, "PrintInlining", Bool) enum_of_options(PrintIntrinsics , "PrintIntrinsics", Bool) enum_of_options(PrintNMethods, "PrintNMethods" , Bool) enum_of_options(PrintOptoAssembly, "PrintOptoAssembly" , Bool) enum_of_options(PrintDebugInfo, "PrintDebugInfo", Bool ) enum_of_options(PrintRelocations, "PrintRelocations", Bool) enum_of_options(PrintDependencies, "PrintDependencies", Bool ) enum_of_options(BackgroundCompilation, "BackgroundCompilation" , Bool) enum_of_options(RepeatCompilation, "RepeatCompilation" , Intx) enum_of_options(ReplayInline, "ReplayInline", Bool) enum_of_options (DumpReplay, "DumpReplay", Bool) enum_of_options(DumpInline, "DumpInline" , Bool) enum_of_options(CompileThresholdScaling, "CompileThresholdScaling" , Double) enum_of_options(ControlIntrinsic, "ControlIntrinsic" , Ccstrlist) enum_of_options(DisableIntrinsic, "DisableIntrinsic" , Ccstrlist) enum_of_options(NoRTMLockEliding, "NoRTMLockEliding" , Bool) enum_of_options(UseRTMLockEliding, "UseRTMLockEliding" , Bool) enum_of_options(BlockLayoutByFrequency, "BlockLayoutByFrequency" , Bool) enum_of_options(TraceOptoPipelining, "TraceOptoPipelining" , Bool) enum_of_options(TraceOptoOutput, "TraceOptoOutput", Bool ) enum_of_options(TraceSpilling, "TraceSpilling", Bool) enum_of_options (PrintIdeal, "PrintIdeal", Bool) enum_of_options(IGVPrintLevel , "IGVPrintLevel", Intx) enum_of_options(Vectorize, "Vectorize" , Bool) enum_of_options(VectorizeDebug, "VectorizeDebug", Uintx ) enum_of_options(CloneMapDebug, "CloneMapDebug", Bool) enum_of_options (IncrementalInlineForceCleanup, "IncrementalInlineForceCleanup" , Bool) enum_of_options(MaxNodeLimit, "MaxNodeLimit", Intx) enum_of_options (TestOptionInt, "TestOptionInt", Intx) enum_of_options(TestOptionUint , "TestOptionUint", Uintx) enum_of_options(TestOptionBool, "TestOptionBool" , Bool) enum_of_options(TestOptionBool2, "TestOptionBool2", Bool ) enum_of_options(TestOptionStr, "TestOptionStr", Ccstr) enum_of_options (TestOptionList, "TestOptionList", Ccstrlist) enum_of_options (TestOptionDouble, "TestOptionDouble", Double) enum_of_options (Option, "option", Unknown) enum_of_options(Unknown, "unknown" , Unknown) | ||||
| 55 | #undef enum_of_options | ||||
| 56 | }; | ||||
| 57 | |||||
| 58 | enum OptionType option2type(enum CompileCommand option) { | ||||
| 59 | return option_types[static_cast<int>(option)]; | ||||
| 60 | } | ||||
| 61 | |||||
| 62 | static const char* option_names[] = { | ||||
| 63 | #define enum_of_options(option, name, ctype) name, | ||||
| 64 | COMPILECOMMAND_OPTIONS(enum_of_options)enum_of_options(Help, "help", Unknown) enum_of_options(Quiet, "quiet", Unknown) enum_of_options(Log, "log", Bool) enum_of_options (Print, "print", Bool) enum_of_options(Inline, "inline", Bool ) enum_of_options(DontInline, "dontinline", Bool) enum_of_options (Blackhole, "blackhole", Bool) enum_of_options(CompileOnly, "compileonly" , Bool) enum_of_options(Exclude, "exclude", Bool) enum_of_options (Break, "break", Bool) enum_of_options(BreakAtExecute, "BreakAtExecute" , Bool) enum_of_options(BreakAtCompile, "BreakAtCompile", Bool ) enum_of_options(PrintAssembly, "PrintAssembly", Bool) enum_of_options (PrintInlining, "PrintInlining", Bool) enum_of_options(PrintIntrinsics , "PrintIntrinsics", Bool) enum_of_options(PrintNMethods, "PrintNMethods" , Bool) enum_of_options(PrintOptoAssembly, "PrintOptoAssembly" , Bool) enum_of_options(PrintDebugInfo, "PrintDebugInfo", Bool ) enum_of_options(PrintRelocations, "PrintRelocations", Bool) enum_of_options(PrintDependencies, "PrintDependencies", Bool ) enum_of_options(BackgroundCompilation, "BackgroundCompilation" , Bool) enum_of_options(RepeatCompilation, "RepeatCompilation" , Intx) enum_of_options(ReplayInline, "ReplayInline", Bool) enum_of_options (DumpReplay, "DumpReplay", Bool) enum_of_options(DumpInline, "DumpInline" , Bool) enum_of_options(CompileThresholdScaling, "CompileThresholdScaling" , Double) enum_of_options(ControlIntrinsic, "ControlIntrinsic" , Ccstrlist) enum_of_options(DisableIntrinsic, "DisableIntrinsic" , Ccstrlist) enum_of_options(NoRTMLockEliding, "NoRTMLockEliding" , Bool) enum_of_options(UseRTMLockEliding, "UseRTMLockEliding" , Bool) enum_of_options(BlockLayoutByFrequency, "BlockLayoutByFrequency" , Bool) enum_of_options(TraceOptoPipelining, "TraceOptoPipelining" , Bool) enum_of_options(TraceOptoOutput, "TraceOptoOutput", Bool ) enum_of_options(TraceSpilling, "TraceSpilling", Bool) enum_of_options (PrintIdeal, "PrintIdeal", Bool) enum_of_options(IGVPrintLevel , "IGVPrintLevel", Intx) enum_of_options(Vectorize, "Vectorize" , Bool) enum_of_options(VectorizeDebug, "VectorizeDebug", Uintx ) enum_of_options(CloneMapDebug, "CloneMapDebug", Bool) enum_of_options (IncrementalInlineForceCleanup, "IncrementalInlineForceCleanup" , Bool) enum_of_options(MaxNodeLimit, "MaxNodeLimit", Intx) enum_of_options (TestOptionInt, "TestOptionInt", Intx) enum_of_options(TestOptionUint , "TestOptionUint", Uintx) enum_of_options(TestOptionBool, "TestOptionBool" , Bool) enum_of_options(TestOptionBool2, "TestOptionBool2", Bool ) enum_of_options(TestOptionStr, "TestOptionStr", Ccstr) enum_of_options (TestOptionList, "TestOptionList", Ccstrlist) enum_of_options (TestOptionDouble, "TestOptionDouble", Double) enum_of_options (Option, "option", Unknown) enum_of_options(Unknown, "unknown" , Unknown) | ||||
| 65 | #undef enum_of_options | ||||
| 66 | }; | ||||
| 67 | |||||
| 68 | const char* option2name(enum CompileCommand option) { | ||||
| 69 | return option_names[static_cast<int>(option)]; | ||||
| 70 | } | ||||
| 71 | |||||
| 72 | /* Methods to map real type names to OptionType */ | ||||
| 73 | template<typename T> | ||||
| 74 | static OptionType get_type_for() { | ||||
| 75 | return OptionType::Unknown; | ||||
| 76 | }; | ||||
| 77 | |||||
| 78 | template<> OptionType get_type_for<intx>() { | ||||
| 79 | return OptionType::Intx; | ||||
| 80 | } | ||||
| 81 | |||||
| 82 | template<> OptionType get_type_for<uintx>() { | ||||
| 83 | return OptionType::Uintx; | ||||
| 84 | } | ||||
| 85 | |||||
| 86 | template<> OptionType get_type_for<bool>() { | ||||
| 87 | return OptionType::Bool; | ||||
| 88 | } | ||||
| 89 | |||||
| 90 | template<> OptionType get_type_for<ccstr>() { | ||||
| 91 | return OptionType::Ccstr; | ||||
| 92 | } | ||||
| 93 | |||||
| 94 | template<> OptionType get_type_for<double>() { | ||||
| 95 | return OptionType::Double; | ||||
| 96 | } | ||||
| 97 | |||||
| 98 | class MethodMatcher; | ||||
| 99 | class TypedMethodOptionMatcher; | ||||
| 100 | |||||
| 101 | static TypedMethodOptionMatcher* option_list = NULL__null; | ||||
| 102 | static bool any_set = false; | ||||
| 103 | |||||
| 104 | // A filter for quick lookup if an option is set | ||||
| 105 | static bool option_filter[static_cast<int>(CompileCommand::Unknown) + 1] = { 0 }; | ||||
| 106 | |||||
| 107 | void command_set_in_filter(enum CompileCommand option) { | ||||
| 108 | assert(option != CompileCommand::Unknown, "sanity")do { if (!(option != CompileCommand::Unknown)) { (*g_assert_poison ) = 'X';; report_vm_error("/home/daniel/Projects/java/jdk/src/hotspot/share/compiler/compilerOracle.cpp" , 108, "assert(" "option != CompileCommand::Unknown" ") failed" , "sanity"); ::breakpoint(); } } while (0); | ||||
| 109 | assert(option2type(option) != OptionType::Unknown, "sanity")do { if (!(option2type(option) != OptionType::Unknown)) { (*g_assert_poison ) = 'X';; report_vm_error("/home/daniel/Projects/java/jdk/src/hotspot/share/compiler/compilerOracle.cpp" , 109, "assert(" "option2type(option) != OptionType::Unknown" ") failed", "sanity"); ::breakpoint(); } } while (0); | ||||
| 110 | |||||
| 111 | if ((option != CompileCommand::DontInline) && | ||||
| 112 | (option != CompileCommand::Inline) && | ||||
| 113 | (option != CompileCommand::Log)) { | ||||
| 114 | any_set = true; | ||||
| 115 | } | ||||
| 116 | option_filter[static_cast<int>(option)] = true; | ||||
| 117 | } | ||||
| 118 | |||||
| 119 | bool has_command(enum CompileCommand option) { | ||||
| 120 | return option_filter[static_cast<int>(option)]; | ||||
| 121 | } | ||||
| 122 | |||||
| 123 | class TypedMethodOptionMatcher : public MethodMatcher { | ||||
| 124 | private: | ||||
| 125 | TypedMethodOptionMatcher* _next; | ||||
| 126 | enum CompileCommand _option; | ||||
| 127 | public: | ||||
| 128 | |||||
| 129 | union { | ||||
| 130 | bool bool_value; | ||||
| 131 | intx intx_value; | ||||
| 132 | uintx uintx_value; | ||||
| 133 | double double_value; | ||||
| 134 | ccstr ccstr_value; | ||||
| 135 | } _u; | ||||
| 136 | |||||
| 137 | TypedMethodOptionMatcher() : MethodMatcher(), | ||||
| 138 | _next(NULL__null), | ||||
| 139 | _option(CompileCommand::Unknown) { | ||||
| 140 | memset(&_u, 0, sizeof(_u)); | ||||
| 141 | } | ||||
| 142 | |||||
| 143 | ~TypedMethodOptionMatcher(); | ||||
| 144 | static TypedMethodOptionMatcher* parse_method_pattern(char*& line, char* errorbuf, const int buf_size); | ||||
| 145 | TypedMethodOptionMatcher* match(const methodHandle &method, enum CompileCommand option); | ||||
| 146 | |||||
| 147 | void init(enum CompileCommand option, TypedMethodOptionMatcher* next) { | ||||
| 148 | _next = next; | ||||
| 149 | _option = option; | ||||
| 150 | } | ||||
| 151 | |||||
| 152 | void init_matcher(Symbol* class_name, Mode class_mode, | ||||
| 153 | Symbol* method_name, Mode method_mode, | ||||
| 154 | Symbol* signature) { | ||||
| 155 | MethodMatcher::init(class_name, class_mode, method_name, method_mode, signature); | ||||
| 156 | } | ||||
| 157 | |||||
| 158 | void set_next(TypedMethodOptionMatcher* next) {_next = next; } | ||||
| 159 | TypedMethodOptionMatcher* next() { return _next; } | ||||
| 160 | enum CompileCommand option() { return _option; } | ||||
| 161 | template<typename T> T value(); | ||||
| 162 | template<typename T> void set_value(T value); | ||||
| 163 | void print(); | ||||
| 164 | void print_all(); | ||||
| 165 | TypedMethodOptionMatcher* clone(); | ||||
| 166 | }; | ||||
| 167 | |||||
| 168 | // A few templated accessors instead of a full template class. | ||||
| 169 | template<> intx TypedMethodOptionMatcher::value<intx>() { | ||||
| 170 | return _u.intx_value; | ||||
| 171 | } | ||||
| 172 | |||||
| 173 | template<> uintx TypedMethodOptionMatcher::value<uintx>() { | ||||
| 174 | return _u.uintx_value; | ||||
| 175 | } | ||||
| 176 | |||||
| 177 | template<> bool TypedMethodOptionMatcher::value<bool>() { | ||||
| 178 | return _u.bool_value; | ||||
| 179 | } | ||||
| 180 | |||||
| 181 | template<> double TypedMethodOptionMatcher::value<double>() { | ||||
| 182 | return _u.double_value; | ||||
| 183 | } | ||||
| 184 | |||||
| 185 | template<> ccstr TypedMethodOptionMatcher::value<ccstr>() { | ||||
| 186 | return _u.ccstr_value; | ||||
| 187 | } | ||||
| 188 | |||||
| 189 | template<> void TypedMethodOptionMatcher::set_value(intx value) { | ||||
| 190 | _u.intx_value = value; | ||||
| 191 | } | ||||
| 192 | |||||
| 193 | template<> void TypedMethodOptionMatcher::set_value(uintx value) { | ||||
| 194 | _u.uintx_value = value; | ||||
| 195 | } | ||||
| 196 | |||||
| 197 | template<> void TypedMethodOptionMatcher::set_value(double value) { | ||||
| 198 | _u.double_value = value; | ||||
| 199 | } | ||||
| 200 | |||||
| 201 | template<> void TypedMethodOptionMatcher::set_value(bool value) { | ||||
| 202 | _u.bool_value = value; | ||||
| 203 | } | ||||
| 204 | |||||
| 205 | template<> void TypedMethodOptionMatcher::set_value(ccstr value) { | ||||
| 206 | _u.ccstr_value = (const ccstr)os::strdup_check_oom(value); | ||||
| 207 | } | ||||
| 208 | |||||
| 209 | void TypedMethodOptionMatcher::print() { | ||||
| 210 | ttyLocker ttyl; | ||||
| 211 | print_base(tty); | ||||
| 212 | const char* name = option2name(_option); | ||||
| 213 | enum OptionType type = option2type(_option); | ||||
| 214 | switch (type) { | ||||
| 215 | case OptionType::Intx: | ||||
| 216 | tty->print_cr(" intx %s = " INTX_FORMAT"%" "l" "d", name, value<intx>()); | ||||
| 217 | break; | ||||
| 218 | case OptionType::Uintx: | ||||
| 219 | tty->print_cr(" uintx %s = " UINTX_FORMAT"%" "l" "u", name, value<uintx>()); | ||||
| 220 | break; | ||||
| 221 | case OptionType::Bool: | ||||
| 222 | tty->print_cr(" bool %s = %s", name, value<bool>() ? "true" : "false"); | ||||
| 223 | break; | ||||
| 224 | case OptionType::Double: | ||||
| 225 | tty->print_cr(" double %s = %f", name, value<double>()); | ||||
| 226 | break; | ||||
| 227 | case OptionType::Ccstr: | ||||
| 228 | case OptionType::Ccstrlist: | ||||
| 229 | tty->print_cr(" const char* %s = '%s'", name, value<ccstr>()); | ||||
| 230 | break; | ||||
| 231 | default: | ||||
| 232 | ShouldNotReachHere()do { (*g_assert_poison) = 'X';; report_should_not_reach_here( "/home/daniel/Projects/java/jdk/src/hotspot/share/compiler/compilerOracle.cpp" , 232); ::breakpoint(); } while (0); | ||||
| 233 | } | ||||
| 234 | } | ||||
| 235 | |||||
| 236 | void TypedMethodOptionMatcher::print_all() { | ||||
| 237 | print(); | ||||
| 238 | if (_next != NULL__null) { | ||||
| 239 | tty->print(" "); | ||||
| 240 | _next->print_all(); | ||||
| 241 | } | ||||
| 242 | } | ||||
| 243 | |||||
| 244 | TypedMethodOptionMatcher* TypedMethodOptionMatcher::clone() { | ||||
| 245 | TypedMethodOptionMatcher* m = new TypedMethodOptionMatcher(); | ||||
| 246 | m->_class_mode = _class_mode; | ||||
| 247 | m->_class_name = _class_name; | ||||
| 248 | m->_method_mode = _method_mode; | ||||
| 249 | m->_method_name = _method_name; | ||||
| 250 | m->_signature = _signature; | ||||
| 251 | // Need to ref count the symbols | ||||
| 252 | if (_class_name != NULL__null) { | ||||
| 253 | _class_name->increment_refcount(); | ||||
| 254 | } | ||||
| 255 | if (_method_name != NULL__null) { | ||||
| 256 | _method_name->increment_refcount(); | ||||
| 257 | } | ||||
| 258 | if (_signature != NULL__null) { | ||||
| 259 | _signature->increment_refcount(); | ||||
| 260 | } | ||||
| 261 | return m; | ||||
| 262 | } | ||||
| 263 | |||||
| 264 | TypedMethodOptionMatcher::~TypedMethodOptionMatcher() { | ||||
| 265 | enum OptionType type = option2type(_option); | ||||
| 266 | if (type == OptionType::Ccstr || type == OptionType::Ccstrlist) { | ||||
| 267 | ccstr v = value<ccstr>(); | ||||
| 268 | os::free((void*)v); | ||||
| 269 | } | ||||
| 270 | } | ||||
| 271 | |||||
| 272 | TypedMethodOptionMatcher* TypedMethodOptionMatcher::parse_method_pattern(char*& line, char* errorbuf, const int buf_size) { | ||||
| 273 | assert(*errorbuf == '\0', "Dont call here with error_msg already set")do { if (!(*errorbuf == '\0')) { (*g_assert_poison) = 'X';; report_vm_error ("/home/daniel/Projects/java/jdk/src/hotspot/share/compiler/compilerOracle.cpp" , 273, "assert(" "*errorbuf == '\\0'" ") failed", "Dont call here with error_msg already set" ); ::breakpoint(); } } while (0); | ||||
| 274 | const char* error_msg = NULL__null; | ||||
| 275 | TypedMethodOptionMatcher* tom = new TypedMethodOptionMatcher(); | ||||
| 276 | MethodMatcher::parse_method_pattern(line, error_msg, tom); | ||||
| 277 | if (error_msg != NULL__null) { | ||||
| 278 | jio_snprintf(errorbuf, buf_size, error_msg); | ||||
| 279 | delete tom; | ||||
| 280 | return NULL__null; | ||||
| 281 | } | ||||
| 282 | return tom; | ||||
| 283 | } | ||||
| 284 | |||||
| 285 | TypedMethodOptionMatcher* TypedMethodOptionMatcher::match(const methodHandle& method, enum CompileCommand option) { | ||||
| 286 | TypedMethodOptionMatcher* current = this; | ||||
| 287 | while (current != NULL__null) { | ||||
| 288 | if (current->_option == option) { | ||||
| 289 | if (current->matches(method)) { | ||||
| 290 | return current; | ||||
| 291 | } | ||||
| 292 | } | ||||
| 293 | current = current->next(); | ||||
| 294 | } | ||||
| 295 | return NULL__null; | ||||
| 296 | } | ||||
| 297 | |||||
| 298 | template<typename T> | ||||
| 299 | static void register_command(TypedMethodOptionMatcher* matcher, | ||||
| 300 | enum CompileCommand option, | ||||
| 301 | T value) { | ||||
| 302 | assert(matcher != option_list, "No circular lists please")do { if (!(matcher != option_list)) { (*g_assert_poison) = 'X' ;; report_vm_error("/home/daniel/Projects/java/jdk/src/hotspot/share/compiler/compilerOracle.cpp" , 302, "assert(" "matcher != option_list" ") failed", "No circular lists please" ); ::breakpoint(); } } while (0); | ||||
| 303 | if (option == CompileCommand::Log && !LogCompilation) { | ||||
| 304 | tty->print_cr("Warning: +LogCompilation must be enabled in order for individual methods to be logged with "); | ||||
| 305 | tty->print_cr(" CompileCommand=log,<method pattern>"); | ||||
| 306 | } | ||||
| 307 | assert(CompilerOracle::option_matches_type(option, value), "Value must match option type")do { if (!(CompilerOracle::option_matches_type(option, value) )) { (*g_assert_poison) = 'X';; report_vm_error("/home/daniel/Projects/java/jdk/src/hotspot/share/compiler/compilerOracle.cpp" , 307, "assert(" "CompilerOracle::option_matches_type(option, value)" ") failed", "Value must match option type"); ::breakpoint(); } } while (0); | ||||
| 308 | |||||
| 309 | if (option == CompileCommand::Blackhole && !UnlockExperimentalVMOptions) { | ||||
| 310 | warning("Blackhole compile option is experimental and must be enabled via -XX:+UnlockExperimentalVMOptions"); | ||||
| 311 | return; | ||||
| 312 | } | ||||
| 313 | |||||
| 314 | matcher->init(option, option_list); | ||||
| 315 | matcher->set_value<T>(value); | ||||
| 316 | option_list = matcher; | ||||
| 317 | command_set_in_filter(option); | ||||
| 318 | |||||
| 319 | if (!CompilerOracle::be_quiet()) { | ||||
| 320 | // Print out the successful registration of a compile command | ||||
| 321 | ttyLocker ttyl; | ||||
| 322 | tty->print("CompileCommand: %s ", option2name(option)); | ||||
| 323 | matcher->print(); | ||||
| 324 | } | ||||
| 325 | return; | ||||
| 326 | } | ||||
| 327 | |||||
| 328 | template<typename T> | ||||
| 329 | bool CompilerOracle::has_option_value(const methodHandle& method, enum CompileCommand option, T& value) { | ||||
| 330 | assert(option_matches_type(option, value), "Value must match option type")do { if (!(option_matches_type(option, value))) { (*g_assert_poison ) = 'X';; report_vm_error("/home/daniel/Projects/java/jdk/src/hotspot/share/compiler/compilerOracle.cpp" , 330, "assert(" "option_matches_type(option, value)" ") failed" , "Value must match option type"); ::breakpoint(); } } while ( 0); | ||||
| 331 | if (!has_command(option)) { | ||||
| 332 | return false; | ||||
| 333 | } | ||||
| 334 | if (option_list != NULL__null) { | ||||
| 335 | TypedMethodOptionMatcher* m = option_list->match(method, option); | ||||
| 336 | if (m != NULL__null) { | ||||
| 337 | value = m->value<T>(); | ||||
| 338 | return true; | ||||
| 339 | } | ||||
| 340 | } | ||||
| 341 | return false; | ||||
| 342 | } | ||||
| 343 | |||||
| 344 | static bool resolve_inlining_predicate(enum CompileCommand option, const methodHandle& method) { | ||||
| 345 | assert(option == CompileCommand::Inline || option == CompileCommand::DontInline, "Sanity")do { if (!(option == CompileCommand::Inline || option == CompileCommand ::DontInline)) { (*g_assert_poison) = 'X';; report_vm_error("/home/daniel/Projects/java/jdk/src/hotspot/share/compiler/compilerOracle.cpp" , 345, "assert(" "option == CompileCommand::Inline || option == CompileCommand::DontInline" ") failed", "Sanity"); ::breakpoint(); } } while (0); | ||||
| 346 | bool v1 = false; | ||||
| 347 | bool v2 = false; | ||||
| 348 | bool has_inline = CompilerOracle::has_option_value(method, CompileCommand::Inline, v1); | ||||
| 349 | bool has_dnotinline = CompilerOracle::has_option_value(method, CompileCommand::DontInline, v2); | ||||
| 350 | if (has_inline && has_dnotinline) { | ||||
| 351 | if (v1 && v2) { | ||||
| 352 | // Conflict options detected | ||||
| 353 | // Find the last one for that method and return the predicate accordingly | ||||
| 354 | // option_list lists options in reverse order. So the first option we find is the last which was specified. | ||||
| 355 | enum CompileCommand last_one = CompileCommand::Unknown; | ||||
| 356 | TypedMethodOptionMatcher* current = option_list; | ||||
| 357 | while (current != NULL__null) { | ||||
| 358 | last_one = current->option(); | ||||
| 359 | if (last_one == CompileCommand::Inline || last_one == CompileCommand::DontInline) { | ||||
| 360 | if (current->matches(method)) { | ||||
| 361 | return last_one == option; | ||||
| 362 | } | ||||
| 363 | } | ||||
| 364 | current = current->next(); | ||||
| 365 | } | ||||
| 366 | ShouldNotReachHere()do { (*g_assert_poison) = 'X';; report_should_not_reach_here( "/home/daniel/Projects/java/jdk/src/hotspot/share/compiler/compilerOracle.cpp" , 366); ::breakpoint(); } while (0); | ||||
| 367 | return false; | ||||
| 368 | } else { | ||||
| 369 | // No conflicts | ||||
| 370 | return option == CompileCommand::Inline ? v1 : v2; | ||||
| 371 | } | ||||
| 372 | } else { | ||||
| 373 | if (option == CompileCommand::Inline) { | ||||
| 374 | return has_inline ? v1 : false; | ||||
| 375 | } else { | ||||
| 376 | return has_dnotinline ? v2 : false; | ||||
| 377 | } | ||||
| 378 | } | ||||
| 379 | } | ||||
| 380 | |||||
| 381 | static bool check_predicate(enum CompileCommand option, const methodHandle& method) { | ||||
| 382 | // Special handling for Inline and DontInline since conflict options may be specified | ||||
| 383 | if (option == CompileCommand::Inline || option == CompileCommand::DontInline) { | ||||
| 384 | return resolve_inlining_predicate(option, method); | ||||
| 385 | } | ||||
| 386 | |||||
| 387 | bool value = false; | ||||
| 388 | if (CompilerOracle::has_option_value(method, option, value)) { | ||||
| 389 | return value; | ||||
| 390 | } | ||||
| 391 | return false; | ||||
| 392 | } | ||||
| 393 | |||||
| 394 | bool CompilerOracle::has_any_command_set() { | ||||
| 395 | return any_set; | ||||
| 396 | } | ||||
| 397 | |||||
| 398 | // Explicit instantiation for all OptionTypes supported. | ||||
| 399 | template bool CompilerOracle::has_option_value<intx>(const methodHandle& method, enum CompileCommand option, intx& value); | ||||
| 400 | template bool CompilerOracle::has_option_value<uintx>(const methodHandle& method, enum CompileCommand option, uintx& value); | ||||
| 401 | template bool CompilerOracle::has_option_value<bool>(const methodHandle& method, enum CompileCommand option, bool& value); | ||||
| 402 | template bool CompilerOracle::has_option_value<ccstr>(const methodHandle& method, enum CompileCommand option, ccstr& value); | ||||
| 403 | template bool CompilerOracle::has_option_value<double>(const methodHandle& method, enum CompileCommand option, double& value); | ||||
| 404 | |||||
| 405 | template<typename T> | ||||
| 406 | bool CompilerOracle::option_matches_type(enum CompileCommand option, T& value) { | ||||
| 407 | enum OptionType option_type = option2type(option); | ||||
| 408 | if (option_type == OptionType::Unknown) { | ||||
| 409 | return false; // Can't query options with type Unknown. | ||||
| 410 | } | ||||
| 411 | if (option_type == OptionType::Ccstrlist) { | ||||
| 412 | option_type = OptionType::Ccstr; // CCstrList type options are stored as Ccstr | ||||
| 413 | } | ||||
| 414 | return (get_type_for<T>() == option_type); | ||||
| 415 | } | ||||
| 416 | |||||
| 417 | template bool CompilerOracle::option_matches_type<intx>(enum CompileCommand option, intx& value); | ||||
| 418 | template bool CompilerOracle::option_matches_type<uintx>(enum CompileCommand option, uintx& value); | ||||
| 419 | template bool CompilerOracle::option_matches_type<bool>(enum CompileCommand option, bool& value); | ||||
| 420 | template bool CompilerOracle::option_matches_type<ccstr>(enum CompileCommand option, ccstr& value); | ||||
| 421 | template bool CompilerOracle::option_matches_type<double>(enum CompileCommand option, double& value); | ||||
| 422 | |||||
| 423 | bool CompilerOracle::has_option(const methodHandle& method, enum CompileCommand option) { | ||||
| 424 | bool value = false; | ||||
| 425 | has_option_value(method, option, value); | ||||
| 426 | return value; | ||||
| 427 | } | ||||
| 428 | |||||
| 429 | bool CompilerOracle::should_exclude(const methodHandle& method) { | ||||
| 430 | if (check_predicate(CompileCommand::Exclude, method)) { | ||||
| 431 | return true; | ||||
| 432 | } | ||||
| 433 | if (has_command(CompileCommand::CompileOnly)) { | ||||
| 434 | return !check_predicate(CompileCommand::CompileOnly, method); | ||||
| 435 | } | ||||
| 436 | return false; | ||||
| 437 | } | ||||
| 438 | |||||
| 439 | bool CompilerOracle::should_inline(const methodHandle& method) { | ||||
| 440 | return (check_predicate(CompileCommand::Inline, method)); | ||||
| 441 | } | ||||
| 442 | |||||
| 443 | bool CompilerOracle::should_not_inline(const methodHandle& method) { | ||||
| 444 | return check_predicate(CompileCommand::DontInline, method) || check_predicate(CompileCommand::Exclude, method); | ||||
| 445 | } | ||||
| 446 | |||||
| 447 | bool CompilerOracle::should_print(const methodHandle& method) { | ||||
| 448 | return check_predicate(CompileCommand::Print, method); | ||||
| 449 | } | ||||
| 450 | |||||
| 451 | bool CompilerOracle::should_print_methods() { | ||||
| 452 | return has_command(CompileCommand::Print); | ||||
| 453 | } | ||||
| 454 | |||||
| 455 | bool CompilerOracle::should_log(const methodHandle& method) { | ||||
| 456 | if (!LogCompilation) return false; | ||||
| 457 | if (!has_command(CompileCommand::Log)) { | ||||
| 458 | return true; // by default, log all | ||||
| 459 | } | ||||
| 460 | return (check_predicate(CompileCommand::Log, method)); | ||||
| 461 | } | ||||
| 462 | |||||
| 463 | bool CompilerOracle::should_break_at(const methodHandle& method) { | ||||
| 464 | return check_predicate(CompileCommand::Break, method); | ||||
| 465 | } | ||||
| 466 | |||||
| 467 | void CompilerOracle::tag_blackhole_if_possible(const methodHandle& method) { | ||||
| 468 | if (!check_predicate(CompileCommand::Blackhole, method)) { | ||||
| 469 | return; | ||||
| 470 | } | ||||
| 471 | guarantee(UnlockExperimentalVMOptions, "Checked during initial parsing")do { if (!(UnlockExperimentalVMOptions)) { (*g_assert_poison) = 'X';; report_vm_error("/home/daniel/Projects/java/jdk/src/hotspot/share/compiler/compilerOracle.cpp" , 471, "guarantee(" "UnlockExperimentalVMOptions" ") failed", "Checked during initial parsing"); ::breakpoint(); } } while (0); | ||||
| 472 | if (method->result_type() != T_VOID) { | ||||
| 473 | warning("Blackhole compile option only works for methods with void type: %s", | ||||
| 474 | method->name_and_sig_as_C_string()); | ||||
| 475 | return; | ||||
| 476 | } | ||||
| 477 | if (!method->is_empty_method()) { | ||||
| 478 | warning("Blackhole compile option only works for empty methods: %s", | ||||
| 479 | method->name_and_sig_as_C_string()); | ||||
| 480 | return; | ||||
| 481 | } | ||||
| 482 | if (!method->is_static()) { | ||||
| 483 | warning("Blackhole compile option only works for static methods: %s", | ||||
| 484 | method->name_and_sig_as_C_string()); | ||||
| 485 | return; | ||||
| 486 | } | ||||
| 487 | if (method->intrinsic_id() == vmIntrinsics::_blackhole) { | ||||
| 488 | return; | ||||
| 489 | } | ||||
| 490 | if (method->intrinsic_id() != vmIntrinsics::_none) { | ||||
| 491 | warning("Blackhole compile option only works for methods that do not have intrinsic set: %s, %s", | ||||
| 492 | method->name_and_sig_as_C_string(), vmIntrinsics::name_at(method->intrinsic_id())); | ||||
| 493 | return; | ||||
| 494 | } | ||||
| 495 | method->set_intrinsic_id(vmIntrinsics::_blackhole); | ||||
| 496 | } | ||||
| 497 | |||||
| 498 | static enum CompileCommand match_option_name(const char* line, int* bytes_read, char* errorbuf, int bufsize) { | ||||
| 499 | assert(ARRAY_SIZE(option_names) == static_cast<int>(CompileCommand::Count), "option_names size mismatch")do { if (!(sizeof(array_size_impl(option_names)) == static_cast <int>(CompileCommand::Count))) { (*g_assert_poison) = 'X' ;; report_vm_error("/home/daniel/Projects/java/jdk/src/hotspot/share/compiler/compilerOracle.cpp" , 499, "assert(" "sizeof(array_size_impl(option_names)) == static_cast<int>(CompileCommand::Count)" ") failed", "option_names size mismatch"); ::breakpoint(); } } while (0); | ||||
| 500 | |||||
| 501 | *bytes_read = 0; | ||||
| 502 | char option_buf[256]; | ||||
| 503 | int matches = sscanf(line, "%255[a-zA-Z0-9]%n", option_buf, bytes_read); | ||||
| 504 | if (matches > 0 && strcasecmp(option_buf, "unknown") != 0) { | ||||
| 505 | for (uint i = 0; i < ARRAY_SIZE(option_names)sizeof(array_size_impl(option_names)); i++) { | ||||
| 506 | if (strcasecmp(option_buf, option_names[i]) == 0) { | ||||
| 507 | return static_cast<enum CompileCommand>(i); | ||||
| 508 | } | ||||
| 509 | } | ||||
| 510 | } | ||||
| 511 | jio_snprintf(errorbuf, bufsize, "Unrecognized option '%s'", option_buf); | ||||
| 512 | return CompileCommand::Unknown; | ||||
| 513 | } | ||||
| 514 | |||||
| 515 | // match exactly and don't mess with errorbuf | ||||
| 516 | enum CompileCommand CompilerOracle::parse_option_name(const char* line) { | ||||
| 517 | for (uint i = 0; i < ARRAY_SIZE(option_names)sizeof(array_size_impl(option_names)); i++) { | ||||
| 518 | if (strcasecmp(line, option_names[i]) == 0) { | ||||
| 519 | return static_cast<enum CompileCommand>(i); | ||||
| 520 | } | ||||
| 521 | } | ||||
| 522 | return CompileCommand::Unknown; | ||||
| 523 | } | ||||
| 524 | |||||
| 525 | enum OptionType CompilerOracle::parse_option_type(const char* type_str) { | ||||
| 526 | for (uint i = 0; i < ARRAY_SIZE(optiontype_names)sizeof(array_size_impl(optiontype_names)); i++) { | ||||
| 527 | if (strcasecmp(type_str, optiontype_names[i]) == 0) { | ||||
| 528 | return static_cast<enum OptionType>(i); | ||||
| 529 | } | ||||
| 530 | } | ||||
| 531 | return OptionType::Unknown; | ||||
| 532 | } | ||||
| 533 | |||||
| 534 | void print_tip() { // CMH Update info | ||||
| 535 | tty->cr(); | ||||
| 536 | tty->print_cr("Usage: '-XX:CompileCommand=<option>,<method pattern>' - to set boolean option to true"); | ||||
| 537 | tty->print_cr("Usage: '-XX:CompileCommand=<option>,<method pattern>,<value>'"); | ||||
| 538 | tty->print_cr("Use: '-XX:CompileCommand=help' for more information and to list all option."); | ||||
| 539 | tty->cr(); | ||||
| 540 | } | ||||
| 541 | |||||
| 542 | void print_option(enum CompileCommand option, const char* name, enum OptionType type) { | ||||
| 543 | if (type != OptionType::Unknown) { | ||||
| 544 | tty->print_cr(" %s (%s)", name, optiontype2name(type)); | ||||
| 545 | } | ||||
| 546 | } | ||||
| 547 | |||||
| 548 | void print_commands() { | ||||
| 549 | tty->cr(); | ||||
| 550 | tty->print_cr("All available options:"); | ||||
| 551 | #define enum_of_options(option, name, ctype) print_option(CompileCommand::option, name, OptionType::ctype); | ||||
| 552 | COMPILECOMMAND_OPTIONS(enum_of_options)enum_of_options(Help, "help", Unknown) enum_of_options(Quiet, "quiet", Unknown) enum_of_options(Log, "log", Bool) enum_of_options (Print, "print", Bool) enum_of_options(Inline, "inline", Bool ) enum_of_options(DontInline, "dontinline", Bool) enum_of_options (Blackhole, "blackhole", Bool) enum_of_options(CompileOnly, "compileonly" , Bool) enum_of_options(Exclude, "exclude", Bool) enum_of_options (Break, "break", Bool) enum_of_options(BreakAtExecute, "BreakAtExecute" , Bool) enum_of_options(BreakAtCompile, "BreakAtCompile", Bool ) enum_of_options(PrintAssembly, "PrintAssembly", Bool) enum_of_options (PrintInlining, "PrintInlining", Bool) enum_of_options(PrintIntrinsics , "PrintIntrinsics", Bool) enum_of_options(PrintNMethods, "PrintNMethods" , Bool) enum_of_options(PrintOptoAssembly, "PrintOptoAssembly" , Bool) enum_of_options(PrintDebugInfo, "PrintDebugInfo", Bool ) enum_of_options(PrintRelocations, "PrintRelocations", Bool) enum_of_options(PrintDependencies, "PrintDependencies", Bool ) enum_of_options(BackgroundCompilation, "BackgroundCompilation" , Bool) enum_of_options(RepeatCompilation, "RepeatCompilation" , Intx) enum_of_options(ReplayInline, "ReplayInline", Bool) enum_of_options (DumpReplay, "DumpReplay", Bool) enum_of_options(DumpInline, "DumpInline" , Bool) enum_of_options(CompileThresholdScaling, "CompileThresholdScaling" , Double) enum_of_options(ControlIntrinsic, "ControlIntrinsic" , Ccstrlist) enum_of_options(DisableIntrinsic, "DisableIntrinsic" , Ccstrlist) enum_of_options(NoRTMLockEliding, "NoRTMLockEliding" , Bool) enum_of_options(UseRTMLockEliding, "UseRTMLockEliding" , Bool) enum_of_options(BlockLayoutByFrequency, "BlockLayoutByFrequency" , Bool) enum_of_options(TraceOptoPipelining, "TraceOptoPipelining" , Bool) enum_of_options(TraceOptoOutput, "TraceOptoOutput", Bool ) enum_of_options(TraceSpilling, "TraceSpilling", Bool) enum_of_options (PrintIdeal, "PrintIdeal", Bool) enum_of_options(IGVPrintLevel , "IGVPrintLevel", Intx) enum_of_options(Vectorize, "Vectorize" , Bool) enum_of_options(VectorizeDebug, "VectorizeDebug", Uintx ) enum_of_options(CloneMapDebug, "CloneMapDebug", Bool) enum_of_options (IncrementalInlineForceCleanup, "IncrementalInlineForceCleanup" , Bool) enum_of_options(MaxNodeLimit, "MaxNodeLimit", Intx) enum_of_options (TestOptionInt, "TestOptionInt", Intx) enum_of_options(TestOptionUint , "TestOptionUint", Uintx) enum_of_options(TestOptionBool, "TestOptionBool" , Bool) enum_of_options(TestOptionBool2, "TestOptionBool2", Bool ) enum_of_options(TestOptionStr, "TestOptionStr", Ccstr) enum_of_options (TestOptionList, "TestOptionList", Ccstrlist) enum_of_options (TestOptionDouble, "TestOptionDouble", Double) enum_of_options (Option, "option", Unknown) enum_of_options(Unknown, "unknown" , Unknown) | ||||
| 553 | #undef enum_of_options | ||||
| 554 | tty->cr(); | ||||
| 555 | } | ||||
| 556 | |||||
| 557 | static void usage() { | ||||
| 558 | tty->cr(); | ||||
| 559 | tty->print_cr("The CompileCommand option enables the user of the JVM to control specific"); | ||||
| 560 | tty->print_cr("behavior of the dynamic compilers."); | ||||
| 561 | tty->cr(); | ||||
| 562 | tty->print_cr("Compile commands has this general form:"); | ||||
| 563 | tty->print_cr("-XX:CompileCommand=<option><method pattern><value>"); | ||||
| 564 | tty->print_cr(" Sets <option> to the specified value for methods matching <method pattern>"); | ||||
| 565 | tty->print_cr(" All options are typed"); | ||||
| 566 | tty->cr(); | ||||
| 567 | tty->print_cr("-XX:CompileCommand=<option><method pattern>"); | ||||
| 568 | tty->print_cr(" Sets <option> to true for methods matching <method pattern>"); | ||||
| 569 | tty->print_cr(" Only applies to boolean options."); | ||||
| 570 | tty->cr(); | ||||
| 571 | tty->print_cr("-XX:CompileCommand=quiet"); | ||||
| 572 | tty->print_cr(" Silence the compile command output"); | ||||
| 573 | tty->cr(); | ||||
| 574 | tty->print_cr("-XX:CompileCommand=help"); | ||||
| 575 | tty->print_cr(" Prints this help text"); | ||||
| 576 | tty->cr(); | ||||
| 577 | print_commands(); | ||||
| 578 | tty->cr(); | ||||
| 579 | tty->print_cr("Method patterns has the format:"); | ||||
| 580 | tty->print_cr(" package/Class.method()"); | ||||
| 581 | tty->cr(); | ||||
| 582 | tty->print_cr("For backward compatibility this form is also allowed:"); | ||||
| 583 | tty->print_cr(" package.Class::method()"); | ||||
| 584 | tty->cr(); | ||||
| 585 | tty->print_cr("The signature can be separated by an optional whitespace or comma:"); | ||||
| 586 | tty->print_cr(" package/Class.method ()"); | ||||
| 587 | tty->cr(); | ||||
| 588 | tty->print_cr("The class and method identifier can be used together with leading or"); | ||||
| 589 | tty->print_cr("trailing *'s for wildcard matching:"); | ||||
| 590 | tty->print_cr(" *ackage/Clas*.*etho*()"); | ||||
| 591 | tty->cr(); | ||||
| 592 | tty->print_cr("It is possible to use more than one CompileCommand on the command line:"); | ||||
| 593 | tty->print_cr(" -XX:CompileCommand=exclude,java/*.* -XX:CompileCommand=log,java*.*"); | ||||
| 594 | tty->cr(); | ||||
| 595 | tty->print_cr("The CompileCommands can be loaded from a file with the flag"); | ||||
| 596 | tty->print_cr("-XX:CompileCommandFile=<file> or be added to the file '.hotspot_compiler'"); | ||||
| 597 | tty->print_cr("Use the same format in the file as the argument to the CompileCommand flag."); | ||||
| 598 | tty->print_cr("Add one command on each line."); | ||||
| 599 | tty->print_cr(" exclude java/*.*"); | ||||
| 600 | tty->print_cr(" option java/*.* ReplayInline"); | ||||
| 601 | tty->cr(); | ||||
| 602 | tty->print_cr("The following commands have conflicting behavior: 'exclude', 'inline', 'dontinline',"); | ||||
| 603 | tty->print_cr("and 'compileonly'. There is no priority of commands. Applying (a subset of) these"); | ||||
| 604 | tty->print_cr("commands to the same method results in undefined behavior."); | ||||
| 605 | tty->cr(); | ||||
| 606 | }; | ||||
| 607 | |||||
| 608 | int skip_whitespace(char* &line) { | ||||
| 609 | // Skip any leading spaces | ||||
| 610 | int whitespace_read = 0; | ||||
| 611 | sscanf(line, "%*[ \t]%n", &whitespace_read); | ||||
| 612 | line += whitespace_read; | ||||
| 613 | return whitespace_read; | ||||
| 614 | } | ||||
| 615 | |||||
| 616 | void skip_comma(char* &line) { | ||||
| 617 | // Skip any leading spaces | ||||
| 618 | if (*line == ',') { | ||||
| 619 | line++; | ||||
| 620 | } | ||||
| 621 | } | ||||
| 622 | |||||
| 623 | static void scan_value(enum OptionType type, char* line, int& total_bytes_read, | ||||
| 624 | TypedMethodOptionMatcher* matcher, enum CompileCommand option, char* errorbuf, const int buf_size) { | ||||
| 625 | int bytes_read = 0; | ||||
| 626 | const char* ccname = option2name(option); | ||||
| 627 | const char* type_str = optiontype2name(type); | ||||
| 628 | int skipped = skip_whitespace(line); | ||||
| 629 | total_bytes_read += skipped; | ||||
| 630 | if (type == OptionType::Intx) { | ||||
| 631 | intx value; | ||||
| 632 | if (sscanf(line, "" INTX_FORMAT"%" "l" "d" "%n", &value, &bytes_read) == 1) { | ||||
| 633 | total_bytes_read += bytes_read; | ||||
| 634 | line += bytes_read; | ||||
| 635 | register_command(matcher, option, value); | ||||
| 636 | return; | ||||
| 637 | } else { | ||||
| 638 | jio_snprintf(errorbuf, buf_size, "Value cannot be read for option '%s' of type '%s'", ccname, type_str); | ||||
| 639 | } | ||||
| 640 | } else if (type == OptionType::Uintx) { | ||||
| 641 | uintx value; | ||||
| 642 | if (sscanf(line, "" UINTX_FORMAT"%" "l" "u" "%n", &value, &bytes_read) == 1) { | ||||
| 643 | total_bytes_read += bytes_read; | ||||
| 644 | line += bytes_read; | ||||
| 645 | register_command(matcher, option, value); | ||||
| 646 | return; | ||||
| 647 | } else { | ||||
| 648 | jio_snprintf(errorbuf, buf_size, "Value cannot be read for option '%s' of type '%s'", ccname, type_str); | ||||
| 649 | } | ||||
| 650 | } else if (type == OptionType::Ccstr) { | ||||
| 651 | ResourceMark rm; | ||||
| 652 | char* value = NEW_RESOURCE_ARRAY(char, strlen(line) + 1)(char*) resource_allocate_bytes((strlen(line) + 1) * sizeof(char )); | ||||
| 653 | if (sscanf(line, "%255[_a-zA-Z0-9]%n", value, &bytes_read) == 1) { | ||||
| 654 | total_bytes_read += bytes_read; | ||||
| 655 | line += bytes_read; | ||||
| 656 | register_command(matcher, option, (ccstr) value); | ||||
| 657 | return; | ||||
| 658 | } else { | ||||
| 659 | jio_snprintf(errorbuf, buf_size, "Value cannot be read for option '%s' of type '%s'", ccname, type_str); | ||||
| 660 | } | ||||
| 661 | } else if (type == OptionType::Ccstrlist) { | ||||
| 662 | // Accumulates several strings into one. The internal type is ccstr. | ||||
| 663 | ResourceMark rm; | ||||
| 664 | char* value = NEW_RESOURCE_ARRAY(char, strlen(line) + 1)(char*) resource_allocate_bytes((strlen(line) + 1) * sizeof(char )); | ||||
| 665 | char* next_value = value; | ||||
| 666 | if (sscanf(line, "%255[_a-zA-Z0-9+\\-]%n", next_value, &bytes_read) == 1) { | ||||
| 667 | total_bytes_read += bytes_read; | ||||
| 668 | line += bytes_read; | ||||
| 669 | next_value += bytes_read + 1; | ||||
| 670 | char* end_value = next_value - 1; | ||||
| 671 | while (sscanf(line, "%*[ \t]%255[_a-zA-Z0-9+\\-]%n", next_value, &bytes_read) == 1) { | ||||
| 672 | total_bytes_read += bytes_read; | ||||
| 673 | line += bytes_read; | ||||
| 674 | *end_value = ' '; // override '\0' | ||||
| 675 | next_value += bytes_read; | ||||
| 676 | end_value = next_value-1; | ||||
| 677 | } | ||||
| 678 | |||||
| 679 | if (option == CompileCommand::ControlIntrinsic || option == CompileCommand::DisableIntrinsic) { | ||||
| 680 | ControlIntrinsicValidator validator(value, (option == CompileCommand::DisableIntrinsic)); | ||||
| 681 | |||||
| 682 | if (!validator.is_valid()) { | ||||
| 683 | jio_snprintf(errorbuf, buf_size, "Unrecognized intrinsic detected in %s: %s", option2name(option), validator.what()); | ||||
| 684 | } | ||||
| 685 | } | ||||
| 686 | |||||
| 687 | register_command(matcher, option, (ccstr) value); | ||||
| 688 | return; | ||||
| 689 | } else { | ||||
| 690 | jio_snprintf(errorbuf, buf_size, "Value cannot be read for option '%s' of type '%s'", ccname, type_str); | ||||
| 691 | } | ||||
| 692 | } else if (type == OptionType::Bool) { | ||||
| 693 | char value[256]; | ||||
| 694 | if (*line == '\0') { | ||||
| 695 | // Short version of a CompileCommand sets a boolean Option to true | ||||
| 696 | // -XXCompileCommand=<Option>,<method pattern> | ||||
| 697 | register_command(matcher, option, true); | ||||
| 698 | return; | ||||
| 699 | } | ||||
| 700 | if (sscanf(line, "%255[a-zA-Z]%n", value, &bytes_read) == 1) { | ||||
| 701 | if (strcasecmp(value, "true") == 0) { | ||||
| 702 | total_bytes_read += bytes_read; | ||||
| 703 | line += bytes_read; | ||||
| 704 | register_command(matcher, option, true); | ||||
| 705 | return; | ||||
| 706 | } else if (strcasecmp(value, "false") == 0) { | ||||
| 707 | total_bytes_read += bytes_read; | ||||
| 708 | line += bytes_read; | ||||
| 709 | register_command(matcher, option, false); | ||||
| 710 | return; | ||||
| 711 | } else { | ||||
| 712 | jio_snprintf(errorbuf, buf_size, "Value cannot be read for option '%s' of type '%s'", ccname, type_str); | ||||
| 713 | } | ||||
| 714 | } else { | ||||
| 715 | jio_snprintf(errorbuf, buf_size, "Value cannot be read for option '%s' of type '%s'", ccname, type_str); | ||||
| 716 | } | ||||
| 717 | } else if (type == OptionType::Double) { | ||||
| 718 | char buffer[2][256]; | ||||
| 719 | // Decimal separator '.' has been replaced with ' ' or '/' earlier, | ||||
| 720 | // so read integer and fraction part of double value separately. | ||||
| 721 | if (sscanf(line, "%255[0-9]%*[ /\t]%255[0-9]%n", buffer[0], buffer[1], &bytes_read) == 2) { | ||||
| 722 | char value[512] = ""; | ||||
| 723 | jio_snprintf(value, sizeof(value), "%s.%s", buffer[0], buffer[1]); | ||||
| 724 | total_bytes_read += bytes_read; | ||||
| 725 | line += bytes_read; | ||||
| 726 | register_command(matcher, option, atof(value)); | ||||
| 727 | return; | ||||
| 728 | } else { | ||||
| 729 | jio_snprintf(errorbuf, buf_size, "Value cannot be read for option '%s' of type '%s'", ccname, type_str); | ||||
| 730 | } | ||||
| 731 | } else { | ||||
| 732 | jio_snprintf(errorbuf, buf_size, "Type '%s' not supported ", type_str); | ||||
| 733 | } | ||||
| 734 | } | ||||
| 735 | |||||
| 736 | // Scan next option and value in line, return MethodMatcher object on success, NULL on failure. | ||||
| 737 | // On failure, error_msg contains description for the first error. | ||||
| 738 | // For future extensions: set error_msg on first error. | ||||
| 739 | static void scan_option_and_value(enum OptionType type, char* line, int& total_bytes_read, | ||||
| 740 | TypedMethodOptionMatcher* matcher, | ||||
| 741 | char* errorbuf, const int buf_size) { | ||||
| 742 | total_bytes_read = 0; | ||||
| 743 | int bytes_read = 0; | ||||
| 744 | char option_buf[256]; | ||||
| 745 | |||||
| 746 | // Read option name. | ||||
| 747 | if (sscanf(line, "%*[ \t]%255[a-zA-Z0-9]%n", option_buf, &bytes_read) == 1) { | ||||
| 748 | line += bytes_read; | ||||
| 749 | total_bytes_read += bytes_read; | ||||
| 750 | int bytes_read2 = 0; | ||||
| 751 | total_bytes_read += skip_whitespace(line); | ||||
| 752 | enum CompileCommand option = match_option_name(option_buf, &bytes_read2, errorbuf, buf_size); | ||||
| 753 | if (option == CompileCommand::Unknown) { | ||||
| 754 | assert(*errorbuf != '\0', "error must have been set")do { if (!(*errorbuf != '\0')) { (*g_assert_poison) = 'X';; report_vm_error ("/home/daniel/Projects/java/jdk/src/hotspot/share/compiler/compilerOracle.cpp" , 754, "assert(" "*errorbuf != '\\0'" ") failed", "error must have been set" ); ::breakpoint(); } } while (0); | ||||
| 755 | return; | ||||
| 756 | } | ||||
| 757 | enum OptionType optiontype = option2type(option); | ||||
| 758 | if (option2type(option) != type) { | ||||
| 759 | const char* optiontype_name = optiontype2name(optiontype); | ||||
| 760 | const char* type_name = optiontype2name(type); | ||||
| 761 | jio_snprintf(errorbuf, buf_size, "Option '%s' with type '%s' doesn't match supplied type '%s'", option_buf, optiontype_name, type_name); | ||||
| 762 | return; | ||||
| 763 | } | ||||
| 764 | scan_value(type, line, total_bytes_read, matcher, option, errorbuf, buf_size); | ||||
| 765 | } else { | ||||
| 766 | const char* type_str = optiontype2name(type); | ||||
| 767 | jio_snprintf(errorbuf, buf_size, "Option name for type '%s' should be alphanumeric ", type_str); | ||||
| 768 | } | ||||
| 769 | return; | ||||
| 770 | } | ||||
| 771 | |||||
| 772 | void CompilerOracle::print_parse_error(char* error_msg, char* original_line) { | ||||
| 773 | assert(*error_msg != '\0', "Must have error_message")do { if (!(*error_msg != '\0')) { (*g_assert_poison) = 'X';; report_vm_error ("/home/daniel/Projects/java/jdk/src/hotspot/share/compiler/compilerOracle.cpp" , 773, "assert(" "*error_msg != '\\0'" ") failed", "Must have error_message" ); ::breakpoint(); } } while (0); | ||||
| 774 | ttyLocker ttyl; | ||||
| 775 | tty->print_cr("CompileCommand: An error occurred during parsing"); | ||||
| 776 | tty->print_cr("Error: %s", error_msg); | ||||
| 777 | tty->print_cr("Line: '%s'", original_line); | ||||
| 778 | print_tip(); | ||||
| 779 | } | ||||
| 780 | |||||
| 781 | class LineCopy : StackObj { | ||||
| 782 | const char* _copy; | ||||
| 783 | public: | ||||
| 784 | LineCopy(char* line) { | ||||
| 785 | _copy = os::strdup(line, mtInternal); | ||||
| 786 | } | ||||
| 787 | ~LineCopy() { | ||||
| 788 | os::free((void*)_copy); | ||||
| 789 | } | ||||
| 790 | char* get() { | ||||
| 791 | return (char*)_copy; | ||||
| 792 | } | ||||
| 793 | }; | ||||
| 794 | |||||
| 795 | void CompilerOracle::parse_from_line(char* line) { | ||||
| 796 | if (line[0] == '\0') return; | ||||
| 797 | if (line[0] == '#') return; | ||||
| 798 | |||||
| 799 | LineCopy original(line); | ||||
| 800 | int bytes_read; | ||||
| 801 | char error_buf[1024] = {0}; | ||||
| 802 | |||||
| 803 | enum CompileCommand option = match_option_name(line, &bytes_read, error_buf, sizeof(error_buf)); | ||||
| 804 | line += bytes_read; | ||||
| 805 | ResourceMark rm; | ||||
| 806 | |||||
| 807 | if (option == CompileCommand::Unknown) { | ||||
| 808 | print_parse_error(error_buf, original.get()); | ||||
| 809 | return; | ||||
| 810 | } | ||||
| 811 | |||||
| 812 | if (option == CompileCommand::Quiet) { | ||||
| 813 | _quiet = true; | ||||
| 814 | return; | ||||
| 815 | } | ||||
| 816 | |||||
| 817 | if (option == CompileCommand::Help) { | ||||
| 818 | usage(); | ||||
| 819 | return; | ||||
| 820 | } | ||||
| 821 | |||||
| 822 | if (option == CompileCommand::Option) { | ||||
| 823 | // Look for trailing options. | ||||
| 824 | // | ||||
| 825 | // Two types of trailing options are | ||||
| 826 | // supported: | ||||
| 827 | // | ||||
| 828 | // (1) CompileCommand=option,Klass::method,option | ||||
| 829 | // (2) CompileCommand=option,Klass::method,type,option,value | ||||
| 830 | // | ||||
| 831 | // Type (1) is used to enable a boolean option for a method. | ||||
| 832 | // | ||||
| 833 | // Type (2) is used to support options with a value. Values can have the | ||||
| 834 | // the following types: intx, uintx, bool, ccstr, ccstrlist, and double. | ||||
| 835 | |||||
| 836 | char option_type[256]; // stores option for Type (1) and type of Type (2) | ||||
| 837 | skip_comma(line); | ||||
| 838 | TypedMethodOptionMatcher* archetype = TypedMethodOptionMatcher::parse_method_pattern(line, error_buf, sizeof(error_buf)); | ||||
| 839 | if (archetype == NULL__null) { | ||||
| 840 | print_parse_error(error_buf, original.get()); | ||||
| 841 | return; | ||||
| 842 | } | ||||
| 843 | |||||
| 844 | skip_whitespace(line); | ||||
| 845 | |||||
| 846 | // This is unnecessarily complex. Should retire multi-option lines and skip while loop | ||||
| 847 | while (sscanf(line, "%255[a-zA-Z0-9]%n", option_type, &bytes_read) == 1) { | ||||
| 848 | line += bytes_read; | ||||
| 849 | |||||
| 850 | // typed_matcher is used as a blueprint for each option, deleted at the end | ||||
| 851 | TypedMethodOptionMatcher* typed_matcher = archetype->clone(); | ||||
| 852 | enum OptionType type = parse_option_type(option_type); | ||||
| 853 | if (type != OptionType::Unknown) { | ||||
| 854 | // Type (2) option: parse option name and value. | ||||
| 855 | scan_option_and_value(type, line, bytes_read, typed_matcher, error_buf, sizeof(error_buf)); | ||||
| 856 | if (*error_buf != '\0') { | ||||
| 857 | print_parse_error(error_buf, original.get()); | ||||
| 858 | return; | ||||
| 859 | } | ||||
| 860 | line += bytes_read; | ||||
| 861 | } else { | ||||
| 862 | // Type (1) option - option_type contains the option name -> bool value = true is implied | ||||
| 863 | int bytes_read; | ||||
| 864 | enum CompileCommand option = match_option_name(option_type, &bytes_read, error_buf, sizeof(error_buf)); | ||||
| 865 | if (option == CompileCommand::Unknown) { | ||||
| 866 | print_parse_error(error_buf, original.get()); | ||||
| 867 | return; | ||||
| 868 | } | ||||
| 869 | if (option2type(option) == OptionType::Bool) { | ||||
| 870 | register_command(typed_matcher, option, true); | ||||
| 871 | } else { | ||||
| 872 | jio_snprintf(error_buf, sizeof(error_buf), " Missing type '%s' before option '%s'", | ||||
| 873 | optiontype2name(option2type(option)), option2name(option)); | ||||
| 874 | print_parse_error(error_buf, original.get()); | ||||
| 875 | return; | ||||
| 876 | } | ||||
| 877 | } | ||||
| 878 | assert(typed_matcher != NULL, "sanity")do { if (!(typed_matcher != __null)) { (*g_assert_poison) = 'X' ;; report_vm_error("/home/daniel/Projects/java/jdk/src/hotspot/share/compiler/compilerOracle.cpp" , 878, "assert(" "typed_matcher != __null" ") failed", "sanity" ); ::breakpoint(); } } while (0); | ||||
| 879 | assert(*error_buf == '\0', "No error here")do { if (!(*error_buf == '\0')) { (*g_assert_poison) = 'X';; report_vm_error ("/home/daniel/Projects/java/jdk/src/hotspot/share/compiler/compilerOracle.cpp" , 879, "assert(" "*error_buf == '\\0'" ") failed", "No error here" ); ::breakpoint(); } } while (0); | ||||
| 880 | skip_whitespace(line); | ||||
| 881 | } // while( | ||||
| 882 | delete archetype; | ||||
| 883 | } else { // not an OptionCommand | ||||
| 884 | // Command has the following form: | ||||
| 885 | // CompileCommand=<option>,<method pattern><value> | ||||
| 886 | // CompileCommand=<option>,<method pattern> (implies option is bool and value is true) | ||||
| 887 | assert(*error_buf == '\0', "Don't call here with error_buf already set")do { if (!(*error_buf == '\0')) { (*g_assert_poison) = 'X';; report_vm_error ("/home/daniel/Projects/java/jdk/src/hotspot/share/compiler/compilerOracle.cpp" , 887, "assert(" "*error_buf == '\\0'" ") failed", "Don't call here with error_buf already set" ); ::breakpoint(); } } while (0); | ||||
| 888 | enum OptionType type = option2type(option); | ||||
| 889 | int bytes_read = 0; | ||||
| 890 | skip_comma(line); | ||||
| 891 | TypedMethodOptionMatcher* matcher = TypedMethodOptionMatcher::parse_method_pattern(line, error_buf, sizeof(error_buf)); | ||||
| 892 | if (matcher == NULL__null) { | ||||
| 893 | print_parse_error(error_buf, original.get()); | ||||
| 894 | return; | ||||
| 895 | } | ||||
| 896 | skip_whitespace(line); | ||||
| 897 | if (*line == '\0') { | ||||
| 898 | // if this is a bool option this implies true | ||||
| 899 | if (option2type(option) == OptionType::Bool) { | ||||
| 900 | register_command(matcher, option, true); | ||||
| 901 | return; | ||||
| 902 | } else { | ||||
| 903 | jio_snprintf(error_buf, sizeof(error_buf), " Option '%s' is not followed by a value", option2name(option)); | ||||
| 904 | print_parse_error(error_buf, original.get()); | ||||
| 905 | return; | ||||
| 906 | } | ||||
| 907 | } | ||||
| 908 | scan_value(type, line, bytes_read, matcher, option, error_buf, sizeof(error_buf)); | ||||
| 909 | if (*error_buf != '\0') { | ||||
| 910 | print_parse_error(error_buf, original.get()); | ||||
| 911 | return; | ||||
| 912 | } | ||||
| 913 | assert(matcher != NULL, "consistency")do { if (!(matcher != __null)) { (*g_assert_poison) = 'X';; report_vm_error ("/home/daniel/Projects/java/jdk/src/hotspot/share/compiler/compilerOracle.cpp" , 913, "assert(" "matcher != __null" ") failed", "consistency" ); ::breakpoint(); } } while (0); | ||||
| 914 | } | ||||
| 915 | } | ||||
| 916 | |||||
| 917 | static const char* default_cc_file = ".hotspot_compiler"; | ||||
| 918 | |||||
| 919 | static const char* cc_file() { | ||||
| 920 | #ifdef ASSERT1 | ||||
| 921 | if (CompileCommandFile == NULL__null) | ||||
| 922 | return default_cc_file; | ||||
| 923 | #endif | ||||
| 924 | return CompileCommandFile; | ||||
| 925 | } | ||||
| 926 | |||||
| 927 | bool CompilerOracle::has_command_file() { | ||||
| 928 | return cc_file() != NULL__null; | ||||
| 929 | } | ||||
| 930 | |||||
| 931 | bool CompilerOracle::_quiet = false; | ||||
| 932 | |||||
| 933 | void CompilerOracle::parse_from_file() { | ||||
| 934 | assert(has_command_file(), "command file must be specified")do { if (!(has_command_file())) { (*g_assert_poison) = 'X';; report_vm_error ("/home/daniel/Projects/java/jdk/src/hotspot/share/compiler/compilerOracle.cpp" , 934, "assert(" "has_command_file()" ") failed", "command file must be specified" ); ::breakpoint(); } } while (0); | ||||
| 935 | FILE* stream = fopen(cc_file(), "rt"); | ||||
| 936 | if (stream == NULL__null) return; | ||||
| 937 | |||||
| 938 | char token[1024]; | ||||
| 939 | int pos = 0; | ||||
| 940 | int c = getc(stream)_IO_getc (stream); | ||||
| 941 | while(c != EOF(-1) && pos < (int)(sizeof(token)-1)) { | ||||
| 942 | if (c == '\n') { | ||||
| 943 | token[pos++] = '\0'; | ||||
| 944 | parse_from_line(token); | ||||
| 945 | pos = 0; | ||||
| 946 | } else { | ||||
| 947 | token[pos++] = c; | ||||
| 948 | } | ||||
| 949 | c = getc(stream)_IO_getc (stream); | ||||
| 950 | } | ||||
| 951 | token[pos++] = '\0'; | ||||
| 952 | parse_from_line(token); | ||||
| 953 | |||||
| 954 | fclose(stream); | ||||
| 955 | } | ||||
| 956 | |||||
| 957 | void CompilerOracle::parse_from_string(const char* str, void (*parse_line)(char*)) { | ||||
| 958 | char token[1024]; | ||||
| 959 | int pos = 0; | ||||
| 960 | const char* sp = str; | ||||
| 961 | int c = *sp++; | ||||
| 962 | while (c != '\0' && pos < (int)(sizeof(token)-1)) { | ||||
| 963 | if (c == '\n') { | ||||
| 964 | token[pos++] = '\0'; | ||||
| 965 | parse_line(token); | ||||
| 966 | pos = 0; | ||||
| 967 | } else { | ||||
| 968 | token[pos++] = c; | ||||
| 969 | } | ||||
| 970 | c = *sp++; | ||||
| 971 | } | ||||
| 972 | token[pos++] = '\0'; | ||||
| 973 | parse_line(token); | ||||
| 974 | } | ||||
| 975 | |||||
| 976 | void compilerOracle_init() { | ||||
| 977 | CompilerOracle::parse_from_string(CompileCommand, CompilerOracle::parse_from_line); | ||||
| 978 | CompilerOracle::parse_from_string(CompileOnly, CompilerOracle::parse_compile_only); | ||||
| 979 | if (CompilerOracle::has_command_file()) { | ||||
| 980 | CompilerOracle::parse_from_file(); | ||||
| 981 | } else { | ||||
| 982 | struct stat buf; | ||||
| 983 | if (os::stat(default_cc_file, &buf) == 0) { | ||||
| 984 | warning("%s file is present but has been ignored. " | ||||
| 985 | "Run with -XX:CompileCommandFile=%s to load the file.", | ||||
| 986 | default_cc_file, default_cc_file); | ||||
| 987 | } | ||||
| 988 | } | ||||
| 989 | if (has_command(CompileCommand::Print)) { | ||||
| 990 | if (PrintAssembly) { | ||||
| 991 | warning("CompileCommand and/or %s file contains 'print' commands, but PrintAssembly is also enabled", default_cc_file); | ||||
| 992 | } | ||||
| 993 | } | ||||
| 994 | } | ||||
| 995 | |||||
| 996 | void CompilerOracle::parse_compile_only(char* line) { | ||||
| 997 | int i; | ||||
| 998 | char name[1024]; | ||||
| 999 | const char* className = NULL__null; | ||||
| |||||
| 1000 | const char* methodName = NULL__null; | ||||
| 1001 | |||||
| 1002 | bool have_colon = (strstr(line, "::") != NULL__null); | ||||
| 1003 | char method_sep = have_colon
| ||||
| 1004 | |||||
| 1005 | if (Verbose) { | ||||
| 1006 | tty->print_cr("%s", line); | ||||
| 1007 | } | ||||
| 1008 | |||||
| 1009 | ResourceMark rm; | ||||
| 1010 | while (*line != '\0') { | ||||
| 1011 | MethodMatcher::Mode c_match = MethodMatcher::Exact; | ||||
| 1012 | MethodMatcher::Mode m_match = MethodMatcher::Exact; | ||||
| 1013 | |||||
| 1014 | for (i = 0; | ||||
| 1015 | i
| ||||
| 1016 | line++, i++) { | ||||
| 1017 | name[i] = *line; | ||||
| 1018 | if (name[i] == '.') name[i] = '/'; // package prefix uses '/' | ||||
| 1019 | } | ||||
| 1020 | |||||
| 1021 | if (i
| ||||
| 1022 | char* newName = NEW_RESOURCE_ARRAY( char, i + 1)(char*) resource_allocate_bytes((i + 1) * sizeof(char)); | ||||
| 1023 | if (newName == NULL__null) | ||||
| 1024 | return; | ||||
| 1025 | strncpy(newName, name, i); | ||||
| 1026 | newName[i] = '\0'; | ||||
| 1027 | |||||
| 1028 | if (className == NULL__null) { | ||||
| 1029 | className = newName; | ||||
| 1030 | } else { | ||||
| 1031 | methodName = newName; | ||||
| 1032 | } | ||||
| 1033 | } | ||||
| 1034 | |||||
| 1035 | if (*line == method_sep) { | ||||
| 1036 | if (className == NULL__null) { | ||||
| 1037 | className = ""; | ||||
| 1038 | c_match = MethodMatcher::Any; | ||||
| 1039 | } | ||||
| 1040 | } else { | ||||
| 1041 | // got foo or foo/bar | ||||
| 1042 | if (className
| ||||
| 1043 | ShouldNotReachHere()do { (*g_assert_poison) = 'X';; report_should_not_reach_here( "/home/daniel/Projects/java/jdk/src/hotspot/share/compiler/compilerOracle.cpp" , 1043); ::breakpoint(); } while (0); | ||||
| 1044 | } else { | ||||
| 1045 | // missing class name handled as "Any" class match | ||||
| 1046 | if (className[0] == '\0') { | ||||
| 1047 | c_match = MethodMatcher::Any; | ||||
| 1048 | } | ||||
| 1049 | } | ||||
| 1050 | } | ||||
| 1051 | |||||
| 1052 | // each directive is terminated by , or NUL or . followed by NUL | ||||
| 1053 | if (*line == ',' || *line == '\0' || (line[0] == '.' && line[1] == '\0')) { | ||||
| 1054 | if (methodName
| ||||
| 1055 | methodName = ""; | ||||
| 1056 | if (*line != method_sep) { | ||||
| 1057 | m_match = MethodMatcher::Any; | ||||
| 1058 | } | ||||
| 1059 | } | ||||
| 1060 | |||||
| 1061 | EXCEPTION_MARKExceptionMark __em; JavaThread* __the_thread__ = __em.thread( );; | ||||
| 1062 | Symbol* c_name = SymbolTable::new_symbol(className); | ||||
| 1063 | Symbol* m_name = SymbolTable::new_symbol(methodName); | ||||
| 1064 | Symbol* signature = NULL__null; | ||||
| 1065 | |||||
| 1066 | TypedMethodOptionMatcher* tom = new TypedMethodOptionMatcher(); | ||||
| 1067 | tom->init_matcher(c_name, c_match, m_name, m_match, signature); | ||||
| 1068 | register_command(tom, CompileCommand::CompileOnly, true); | ||||
| 1069 | if (PrintVMOptions) { | ||||
| 1070 | tty->print("CompileOnly: compileonly "); | ||||
| 1071 | tom->print(); | ||||
| 1072 | } | ||||
| 1073 | |||||
| 1074 | className = NULL__null; | ||||
| 1075 | methodName = NULL__null; | ||||
| 1076 | } | ||||
| 1077 | |||||
| 1078 | line = *line == '\0' ? line : line + 1; | ||||
| 1079 | } | ||||
| 1080 | } | ||||
| 1081 | |||||
| 1082 | enum CompileCommand CompilerOracle::string_to_option(const char* name) { | ||||
| 1083 | int bytes_read = 0; | ||||
| 1084 | char errorbuf[1024] = {0}; | ||||
| 1085 | return match_option_name(name, &bytes_read, errorbuf, sizeof(errorbuf)); | ||||
| 1086 | } |
| 1 | /* | |||
| 2 | * Copyright (c) 1997, 2021, 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 | */ | |||
| 24 | ||||
| 25 | #ifndef SHARE_CLASSFILE_SYMBOLTABLE_HPP | |||
| 26 | #define SHARE_CLASSFILE_SYMBOLTABLE_HPP | |||
| 27 | ||||
| 28 | #include "memory/allocation.hpp" | |||
| 29 | #include "memory/padded.hpp" | |||
| 30 | #include "oops/symbol.hpp" | |||
| 31 | #include "utilities/tableStatistics.hpp" | |||
| 32 | ||||
| 33 | class JavaThread; | |||
| 34 | template <typename T> class GrowableArray; | |||
| 35 | ||||
| 36 | // TempNewSymbol acts as a handle class in a handle/body idiom and is | |||
| 37 | // responsible for proper resource management of the body (which is a Symbol*). | |||
| 38 | // The body is resource managed by a reference counting scheme. | |||
| 39 | // TempNewSymbol can therefore be used to properly hold a newly created or referenced | |||
| 40 | // Symbol* temporarily in scope. | |||
| 41 | // | |||
| 42 | // Routines in SymbolTable will initialize the reference count of a Symbol* before | |||
| 43 | // it becomes "managed" by TempNewSymbol instances. As a handle class, TempNewSymbol | |||
| 44 | // needs to maintain proper reference counting in context of copy semantics. | |||
| 45 | // | |||
| 46 | // In SymbolTable, new_symbol() will create a Symbol* if not already in the | |||
| 47 | // symbol table and add to the symbol's reference count. | |||
| 48 | // probe() and lookup_only() will increment the refcount if symbol is found. | |||
| 49 | class TempNewSymbol : public StackObj { | |||
| 50 | Symbol* _temp; | |||
| 51 | ||||
| 52 | public: | |||
| 53 | TempNewSymbol() : _temp(NULL__null) {} | |||
| 54 | ||||
| 55 | // Conversion from a Symbol* to a TempNewSymbol. | |||
| 56 | // Does not increment the current reference count. | |||
| 57 | TempNewSymbol(Symbol *s) : _temp(s) {} | |||
| 58 | ||||
| 59 | // Copy constructor increments reference count. | |||
| 60 | TempNewSymbol(const TempNewSymbol& rhs) : _temp(rhs._temp) { | |||
| 61 | if (_temp != NULL__null) { | |||
| 62 | _temp->increment_refcount(); | |||
| 63 | } | |||
| 64 | } | |||
| 65 | ||||
| 66 | // Assignment operator uses a c++ trick called copy and swap idiom. | |||
| 67 | // rhs is passed by value so within the scope of this method it is a copy. | |||
| 68 | // At method exit it contains the former value of _temp, triggering the correct refcount | |||
| 69 | // decrement upon destruction. | |||
| 70 | void operator=(TempNewSymbol rhs) { | |||
| 71 | Symbol* tmp = rhs._temp; | |||
| 72 | rhs._temp = _temp; | |||
| 73 | _temp = tmp; | |||
| 74 | } | |||
| 75 | ||||
| 76 | // Decrement reference counter so it can go away if it's unused | |||
| 77 | ~TempNewSymbol() { | |||
| 78 | if (_temp != NULL__null) { | |||
| 79 | _temp->decrement_refcount(); | |||
| 80 | } | |||
| 81 | } | |||
| 82 | ||||
| 83 | // Symbol* conversion operators | |||
| 84 | Symbol* operator -> () const { return _temp; } | |||
| 85 | bool operator == (Symbol* o) const { return _temp == o; } | |||
| 86 | operator Symbol*() { return _temp; } | |||
| 87 | }; | |||
| 88 | ||||
| 89 | class CompactHashtableWriter; | |||
| 90 | class SerializeClosure; | |||
| 91 | ||||
| 92 | class SymbolTableConfig; | |||
| 93 | class SymbolTableCreateEntry; | |||
| 94 | ||||
| 95 | class constantPoolHandle; | |||
| 96 | class SymbolClosure; | |||
| 97 | ||||
| 98 | class SymbolTable : public AllStatic { | |||
| 99 | friend class VMStructs; | |||
| 100 | friend class Symbol; | |||
| 101 | friend class ClassFileParser; | |||
| 102 | friend class SymbolTableConfig; | |||
| 103 | friend class SymbolTableCreateEntry; | |||
| 104 | ||||
| 105 | private: | |||
| 106 | static volatile bool _has_work; | |||
| 107 | ||||
| 108 | // Set if one bucket is out of balance due to hash algorithm deficiency | |||
| 109 | static volatile bool _needs_rehashing; | |||
| 110 | ||||
| 111 | static void delete_symbol(Symbol* sym); | |||
| 112 | static void grow(JavaThread* jt); | |||
| 113 | static void clean_dead_entries(JavaThread* jt); | |||
| 114 | ||||
| 115 | static double get_load_factor(); | |||
| 116 | ||||
| 117 | static void check_concurrent_work(); | |||
| 118 | ||||
| 119 | static void item_added(); | |||
| 120 | static void item_removed(); | |||
| 121 | ||||
| 122 | // For cleaning | |||
| 123 | static void reset_has_items_to_clean(); | |||
| 124 | static void mark_has_items_to_clean(); | |||
| 125 | static bool has_items_to_clean(); | |||
| 126 | ||||
| 127 | static Symbol* allocate_symbol(const char* name, int len, bool c_heap); // Assumes no characters larger than 0x7F | |||
| 128 | static Symbol* do_lookup(const char* name, int len, uintx hash); | |||
| 129 | static Symbol* do_add_if_needed(const char* name, int len, uintx hash, bool heap); | |||
| 130 | ||||
| 131 | // lookup only, won't add. Also calculate hash. Used by the ClassfileParser. | |||
| 132 | static Symbol* lookup_only(const char* name, int len, unsigned int& hash); | |||
| 133 | static Symbol* lookup_only_unicode(const jchar* name, int len, unsigned int& hash); | |||
| 134 | ||||
| 135 | // Adding elements | |||
| 136 | static void new_symbols(ClassLoaderData* loader_data, | |||
| 137 | const constantPoolHandle& cp, int names_count, | |||
| 138 | const char** name, int* lengths, | |||
| 139 | int* cp_indices, unsigned int* hashValues); | |||
| 140 | ||||
| 141 | static Symbol* lookup_shared(const char* name, int len, unsigned int hash) NOT_CDS_RETURN_(NULL); | |||
| 142 | static Symbol* lookup_dynamic(const char* name, int len, unsigned int hash); | |||
| 143 | static Symbol* lookup_common(const char* name, int len, unsigned int hash); | |||
| 144 | ||||
| 145 | // Arena for permanent symbols (null class loader) that are never unloaded | |||
| 146 | static Arena* _arena; | |||
| 147 | static Arena* arena() { return _arena; } // called for statistics | |||
| 148 | ||||
| 149 | static void print_table_statistics(outputStream* st, const char* table_name); | |||
| 150 | ||||
| 151 | static void try_rehash_table(); | |||
| 152 | static bool do_rehash(); | |||
| 153 | ||||
| 154 | public: | |||
| 155 | // The symbol table | |||
| 156 | static size_t table_size(); | |||
| 157 | static TableStatistics get_table_statistics(); | |||
| 158 | ||||
| 159 | enum { | |||
| 160 | symbol_alloc_batch_size = 8, | |||
| 161 | // Pick initial size based on java -version size measurements | |||
| 162 | symbol_alloc_arena_size = 360*K // TODO (revisit) | |||
| 163 | }; | |||
| 164 | ||||
| 165 | static void create_table(); | |||
| 166 | ||||
| 167 | static void do_concurrent_work(JavaThread* jt); | |||
| 168 | static bool has_work() { return _has_work; } | |||
| 169 | static void trigger_cleanup(); | |||
| 170 | ||||
| 171 | // Probing | |||
| 172 | // Needed for preloading classes in signatures when compiling. | |||
| 173 | // Returns the symbol is already present in symbol table, otherwise | |||
| 174 | // NULL. NO ALLOCATION IS GUARANTEED! | |||
| 175 | static Symbol* probe(const char* name, int len) { | |||
| 176 | unsigned int ignore_hash; | |||
| 177 | return lookup_only(name, len, ignore_hash); | |||
| 178 | } | |||
| 179 | static Symbol* probe_unicode(const jchar* name, int len) { | |||
| 180 | unsigned int ignore_hash; | |||
| 181 | return lookup_only_unicode(name, len, ignore_hash); | |||
| 182 | } | |||
| 183 | ||||
| 184 | // Symbol lookup and create if not found. | |||
| 185 | // jchar (UTF16) version of lookup | |||
| 186 | static Symbol* new_symbol(const jchar* name, int len); | |||
| 187 | // char (UTF8) versions | |||
| 188 | static Symbol* new_symbol(const Symbol* sym, int begin, int end); | |||
| 189 | static Symbol* new_symbol(const char* utf8_buffer, int length); | |||
| 190 | static Symbol* new_symbol(const char* name) { | |||
| 191 | return new_symbol(name, (int)strlen(name)); | |||
| ||||
| 192 | } | |||
| 193 | ||||
| 194 | // Create a symbol in the arena for symbols that are not deleted | |||
| 195 | static Symbol* new_permanent_symbol(const char* name); | |||
| 196 | ||||
| 197 | // Rehash the string table if it gets out of balance | |||
| 198 | static void rehash_table(); | |||
| 199 | static bool needs_rehashing() { return _needs_rehashing; } | |||
| 200 | static inline void update_needs_rehash(bool rehash) { | |||
| 201 | if (rehash) { | |||
| 202 | _needs_rehashing = true; | |||
| 203 | } | |||
| 204 | } | |||
| 205 | ||||
| 206 | // Heap dumper and CDS | |||
| 207 | static void symbols_do(SymbolClosure *cl); | |||
| 208 | ||||
| 209 | // Sharing | |||
| 210 | static void shared_symbols_do(SymbolClosure *cl); // no safepoint iteration. | |||
| 211 | private: | |||
| 212 | static void copy_shared_symbol_table(GrowableArray<Symbol*>* symbols, | |||
| 213 | CompactHashtableWriter* ch_table); | |||
| 214 | public: | |||
| 215 | static size_t estimate_size_for_archive() NOT_CDS_RETURN_(0); | |||
| 216 | static void write_to_archive(GrowableArray<Symbol*>* symbols) NOT_CDS_RETURN; | |||
| 217 | static void serialize_shared_table_header(SerializeClosure* soc, | |||
| 218 | bool is_static_archive = true) NOT_CDS_RETURN; | |||
| 219 | ||||
| 220 | // Jcmd | |||
| 221 | static void dump(outputStream* st, bool verbose=false); | |||
| 222 | // Debugging | |||
| 223 | static void verify(); | |||
| 224 | ||||
| 225 | // Histogram | |||
| 226 | static void print_histogram() PRODUCT_RETURN; | |||
| 227 | }; | |||
| 228 | ||||
| 229 | #endif // SHARE_CLASSFILE_SYMBOLTABLE_HPP |