Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(617)

Side by Side Diff: runtime/vm/code_generator.cc

Issue 1418863003: Precompilation: Generate instance calls as IC calls that can switch to Megamoprhic calls. (Closed) Base URL: git@github.com:dart-lang/sdk.git@master
Patch Set: Created 5 years, 1 month ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
« no previous file with comments | « no previous file | runtime/vm/code_patcher.h » ('j') | runtime/vm/code_patcher_ia32.cc » ('J')
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file
2 // for details. All rights reserved. Use of this source code is governed by a 2 // for details. All rights reserved. Use of this source code is governed by a
3 // BSD-style license that can be found in the LICENSE file. 3 // BSD-style license that can be found in the LICENSE file.
4 4
5 #include "vm/code_generator.h" 5 #include "vm/code_generator.h"
6 6
7 #include "vm/assembler.h" 7 #include "vm/assembler.h"
8 #include "vm/ast.h" 8 #include "vm/ast.h"
9 #include "vm/code_patcher.h" 9 #include "vm/code_patcher.h"
10 #include "vm/compiler.h" 10 #include "vm/compiler.h"
(...skipping 43 matching lines...) Expand 10 before | Expand all | Expand 10 after
54 "Trace IC miss in optimized code"); 54 "Trace IC miss in optimized code");
55 DEFINE_FLAG(bool, trace_optimized_ic_calls, false, 55 DEFINE_FLAG(bool, trace_optimized_ic_calls, false,
56 "Trace IC calls in optimized code."); 56 "Trace IC calls in optimized code.");
57 DEFINE_FLAG(bool, trace_patching, false, "Trace patching of code."); 57 DEFINE_FLAG(bool, trace_patching, false, "Trace patching of code.");
58 DEFINE_FLAG(bool, trace_runtime_calls, false, "Trace runtime calls"); 58 DEFINE_FLAG(bool, trace_runtime_calls, false, "Trace runtime calls");
59 DEFINE_FLAG(bool, trace_type_checks, false, "Trace runtime type checks."); 59 DEFINE_FLAG(bool, trace_type_checks, false, "Trace runtime type checks.");
60 60
61 DECLARE_FLAG(int, deoptimization_counter_threshold); 61 DECLARE_FLAG(int, deoptimization_counter_threshold);
62 DECLARE_FLAG(bool, trace_compiler); 62 DECLARE_FLAG(bool, trace_compiler);
63 DECLARE_FLAG(bool, warn_on_javascript_compatibility); 63 DECLARE_FLAG(bool, warn_on_javascript_compatibility);
64 DECLARE_FLAG(int, max_polymorphic_checks);
64 65
65 DEFINE_FLAG(bool, use_osr, true, "Use on-stack replacement."); 66 DEFINE_FLAG(bool, use_osr, true, "Use on-stack replacement.");
66 DEFINE_FLAG(bool, trace_osr, false, "Trace attempts at on-stack replacement."); 67 DEFINE_FLAG(bool, trace_osr, false, "Trace attempts at on-stack replacement.");
67 68
68 DEFINE_FLAG(int, stacktrace_every, 0, 69 DEFINE_FLAG(int, stacktrace_every, 0,
69 "Compute debugger stacktrace on every N stack overflow checks"); 70 "Compute debugger stacktrace on every N stack overflow checks");
70 DEFINE_FLAG(charp, stacktrace_filter, NULL, 71 DEFINE_FLAG(charp, stacktrace_filter, NULL,
71 "Compute stacktrace in named function on stack overflow checks"); 72 "Compute stacktrace in named function on stack overflow checks");
72 DEFINE_FLAG(int, deoptimize_every, 0, 73 DEFINE_FLAG(int, deoptimize_every, 0,
73 "Deoptimize on every N stack overflow checks"); 74 "Deoptimize on every N stack overflow checks");
(...skipping 698 matching lines...) Expand 10 before | Expand all | Expand 10 after
772 target_function.IsNull() ? "null" : target_function.ToCString()); 773 target_function.IsNull() ? "null" : target_function.ToCString());
773 } 774 }
774 *result = target_function.raw(); 775 *result = target_function.raw();
775 return true; 776 return true;
776 } 777 }
777 778
778 779
779 // Handle other invocations (implicit closures, noSuchMethod). 780 // Handle other invocations (implicit closures, noSuchMethod).
780 RawFunction* InlineCacheMissHelper( 781 RawFunction* InlineCacheMissHelper(
781 const Instance& receiver, 782 const Instance& receiver,
782 const ICData& ic_data) { 783 const Array& args_descriptor,
783 const Array& args_descriptor = Array::Handle(ic_data.arguments_descriptor()); 784 const String& target_name) {
784
785 const Class& receiver_class = Class::Handle(receiver.clazz()); 785 const Class& receiver_class = Class::Handle(receiver.clazz());
786 const String& target_name = String::Handle(ic_data.target_name());
787 786
788 Function& result = Function::Handle(); 787 Function& result = Function::Handle();
789 if (!ResolveCallThroughGetter(receiver, 788 if (!ResolveCallThroughGetter(receiver,
790 receiver_class, 789 receiver_class,
791 target_name, 790 target_name,
792 args_descriptor, 791 args_descriptor,
793 &result)) { 792 &result)) {
794 ArgumentsDescriptor desc(args_descriptor); 793 ArgumentsDescriptor desc(args_descriptor);
795 const Function& target_function = 794 const Function& target_function =
796 Function::Handle(receiver_class.GetInvocationDispatcher( 795 Function::Handle(receiver_class.GetInvocationDispatcher(
(...skipping 24 matching lines...) Expand all
821 String& function_name = String::Handle(ic_data.target_name()); 820 String& function_name = String::Handle(ic_data.target_name());
822 ASSERT(function_name.IsSymbol()); 821 ASSERT(function_name.IsSymbol());
823 Function& target_function = Function::Handle( 822 Function& target_function = Function::Handle(
824 Resolver::ResolveDynamic(receiver, function_name, arguments_descriptor)); 823 Resolver::ResolveDynamic(receiver, function_name, arguments_descriptor));
825 if (target_function.IsNull()) { 824 if (target_function.IsNull()) {
826 if (FLAG_trace_ic) { 825 if (FLAG_trace_ic) {
827 OS::PrintErr("InlineCacheMissHandler NULL function for %s receiver: %s\n", 826 OS::PrintErr("InlineCacheMissHandler NULL function for %s receiver: %s\n",
828 String::Handle(ic_data.target_name()).ToCString(), 827 String::Handle(ic_data.target_name()).ToCString(),
829 receiver.ToCString()); 828 receiver.ToCString());
830 } 829 }
831 target_function = InlineCacheMissHelper(receiver, ic_data); 830 const Array& args_descriptor =
831 Array::Handle(ic_data.arguments_descriptor());
832 const String& target_name = String::Handle(ic_data.target_name());
833 target_function = InlineCacheMissHelper(receiver,
834 args_descriptor,
835 target_name);
832 } 836 }
833 if (target_function.IsNull()) { 837 if (target_function.IsNull()) {
834 ASSERT(!FLAG_lazy_dispatchers); 838 ASSERT(!FLAG_lazy_dispatchers);
835 return target_function.raw(); 839 return target_function.raw();
836 } 840 }
837 if (args.length() == 1) { 841 if (args.length() == 1) {
838 ic_data.AddReceiverCheck(args[0]->GetClassId(), target_function); 842 ic_data.AddReceiverCheck(args[0]->GetClassId(), target_function);
839 } else { 843 } else {
840 GrowableArray<intptr_t> class_ids(args.length()); 844 GrowableArray<intptr_t> class_ids(args.length());
841 ASSERT(ic_data.NumArgsTested() == args.length()); 845 ASSERT(ic_data.NumArgsTested() == args.length());
(...skipping 159 matching lines...) Expand 10 before | Expand all | Expand 10 after
1001 OS::PrintErr("StaticCallMissHandler at %#" Px 1005 OS::PrintErr("StaticCallMissHandler at %#" Px
1002 " target %s (%" Pd ", %" Pd ")\n", 1006 " target %s (%" Pd ", %" Pd ")\n",
1003 caller_frame->pc(), target.ToCString(), cids[0], cids[1]); 1007 caller_frame->pc(), target.ToCString(), cids[0], cids[1]);
1004 } 1008 }
1005 arguments.SetReturn(target); 1009 arguments.SetReturn(target);
1006 } 1010 }
1007 1011
1008 1012
1009 // Handle a miss of a megamorphic cache. 1013 // Handle a miss of a megamorphic cache.
1010 // Arg0: Receiver. 1014 // Arg0: Receiver.
1011 // Arg1: ICData object. 1015 // Arg1: ICData object.
srdjan 2015/11/03 22:30:49 or cache
rmacnak 2015/11/03 23:54:29 Done.
1012 // Arg2: Arguments descriptor array. 1016 // Arg2: Arguments descriptor array.
1013 1017
1014 // Returns: target function to call. 1018 // Returns: target function to call.
1015 DEFINE_RUNTIME_ENTRY(MegamorphicCacheMissHandler, 3) { 1019 DEFINE_RUNTIME_ENTRY(MegamorphicCacheMissHandler, 3) {
1016 const Instance& receiver = Instance::CheckedHandle(arguments.ArgAt(0)); 1020 const Instance& receiver = Instance::CheckedHandle(arguments.ArgAt(0));
1017 const ICData& ic_data = ICData::CheckedHandle(arguments.ArgAt(1)); 1021 const Object& ic_data_or_cache = Object::Handle(arguments.ArgAt(1));
1018 const Array& descriptor = Array::CheckedHandle(arguments.ArgAt(2)); 1022 const Array& descriptor = Array::CheckedHandle(arguments.ArgAt(2));
1019 const String& name = String::Handle(ic_data.target_name()); 1023 String& name = String::Handle();
srdjan 2015/11/03 22:30:49 zone is already defined here, please use it for ha
rmacnak 2015/11/03 23:54:29 Done
1020 const MegamorphicCache& cache = MegamorphicCache::Handle( 1024 if (ic_data_or_cache.IsICData()) {
1021 MegamorphicCacheTable::Lookup(isolate, name, descriptor)); 1025 name = ICData::Cast(ic_data_or_cache).target_name();
1026 } else {
1027 ASSERT(ic_data_or_cache.IsMegamorphicCache());
1028 name = MegamorphicCache::Cast(ic_data_or_cache).target_name();
1029 }
1022 Class& cls = Class::Handle(receiver.clazz()); 1030 Class& cls = Class::Handle(receiver.clazz());
1023 ASSERT(!cls.IsNull()); 1031 ASSERT(!cls.IsNull());
1024 if (FLAG_trace_ic || FLAG_trace_ic_miss_in_optimized) { 1032 if (FLAG_trace_ic || FLAG_trace_ic_miss_in_optimized) {
1025 OS::PrintErr("Megamorphic IC miss, class=%s, function=%s\n", 1033 OS::PrintErr("Megamorphic IC miss, class=%s, function=%s\n",
1026 cls.ToCString(), name.ToCString()); 1034 cls.ToCString(), name.ToCString());
1027 } 1035 }
1028 1036
1029 ArgumentsDescriptor args_desc(descriptor); 1037 ArgumentsDescriptor args_desc(descriptor);
1030 Function& target_function = Function::Handle( 1038 Function& target_function = Function::Handle(
1031 Resolver::ResolveDynamicForReceiverClass(cls, 1039 Resolver::ResolveDynamicForReceiverClass(cls,
1032 name, 1040 name,
1033 args_desc)); 1041 args_desc));
1034 if (target_function.IsNull()) { 1042 if (target_function.IsNull()) {
1035 target_function = InlineCacheMissHelper(receiver, ic_data); 1043 target_function = InlineCacheMissHelper(receiver, descriptor, name);
1036 } 1044 }
1037 if (target_function.IsNull()) { 1045 if (target_function.IsNull()) {
1038 ASSERT(!FLAG_lazy_dispatchers); 1046 ASSERT(!FLAG_lazy_dispatchers);
1047 // TODO(rmacnak): Consider inserting null into the cache.
1039 arguments.SetReturn(target_function); 1048 arguments.SetReturn(target_function);
1040 return; 1049 return;
1041 } 1050 }
1042 // Insert function found into cache and return it. 1051
1043 cache.EnsureCapacity(); 1052 if (ic_data_or_cache.IsICData()) {
1044 const Smi& class_id = Smi::Handle(Smi::New(cls.id())); 1053 const ICData& ic_data = ICData::Cast(ic_data_or_cache);
1045 cache.Insert(class_id, target_function); 1054 if (ic_data.NumberOfChecks() == FLAG_max_polymorphic_checks) {
srdjan 2015/11/03 22:30:49 Use '>=', it is more reliable than '=='
rmacnak 2015/11/03 23:54:29 Done.
1055 // Switch
1056 const MegamorphicCache& cache = MegamorphicCache::Handle(
1057 MegamorphicCacheTable::Lookup(isolate, name, descriptor));
1058 DartFrameIterator iterator;
1059 StackFrame* miss_function_frame = iterator.NextFrame();
1060 ASSERT(miss_function_frame->IsDartFrame());
1061 StackFrame* caller_frame = iterator.NextFrame();
1062 ASSERT(caller_frame->IsDartFrame());
1063 const Code& code = Code::Handle(caller_frame->LookupDartCode());
1064 const Code& stub =
1065 Code::Handle(StubCode::MegamorphicLookup_entry()->code());
1066 CodePatcher::PatchSwitchableCallAt(caller_frame->pc(),
1067 code, ic_data, cache, stub);
1068 } else {
1069 ic_data.AddReceiverCheck(receiver.GetClassId(), target_function);
1070 }
1071 } else {
1072 const MegamorphicCache& cache = MegamorphicCache::Cast(ic_data_or_cache);
1073 // Insert function found into cache and return it.
1074 cache.EnsureCapacity();
1075 const Smi& class_id = Smi::Handle(Smi::New(cls.id()));
1076 cache.Insert(class_id, target_function);
1077 }
1046 arguments.SetReturn(target_function); 1078 arguments.SetReturn(target_function);
1047 } 1079 }
1048 1080
1049 1081
1050 // Invoke appropriate noSuchMethod or closure from getter. 1082 // Invoke appropriate noSuchMethod or closure from getter.
1051 // Arg0: receiver 1083 // Arg0: receiver
1052 // Arg1: IC data 1084 // Arg1: IC data
srdjan 2015/11/03 22:30:49 or cache
rmacnak 2015/11/03 23:54:29 Done.
1053 // Arg2: arguments descriptor array 1085 // Arg2: arguments descriptor array
1054 // Arg3: arguments array 1086 // Arg3: arguments array
1055 DEFINE_RUNTIME_ENTRY(InvokeNoSuchMethodDispatcher, 4) { 1087 DEFINE_RUNTIME_ENTRY(InvokeNoSuchMethodDispatcher, 4) {
1056 ASSERT(!FLAG_lazy_dispatchers); 1088 ASSERT(!FLAG_lazy_dispatchers);
1057 const Instance& receiver = Instance::CheckedHandle(arguments.ArgAt(0)); 1089 const Instance& receiver = Instance::CheckedHandle(arguments.ArgAt(0));
1058 const ICData& ic_data = ICData::CheckedHandle(arguments.ArgAt(1)); 1090 const Object& ic_data_or_cache = Object::Handle(arguments.ArgAt(1));
1059 const Array& orig_arguments_desc = Array::CheckedHandle(arguments.ArgAt(2)); 1091 const Array& orig_arguments_desc = Array::CheckedHandle(arguments.ArgAt(2));
1060 const Array& orig_arguments = Array::CheckedHandle(arguments.ArgAt(3)); 1092 const Array& orig_arguments = Array::CheckedHandle(arguments.ArgAt(3));
1061 const String& target_name = String::Handle(ic_data.target_name()); 1093 String& target_name = String::Handle();
1094 if (ic_data_or_cache.IsICData()) {
1095 target_name = ICData::Cast(ic_data_or_cache).target_name();
1096 } else {
1097 ASSERT(ic_data_or_cache.IsMegamorphicCache());
1098 target_name = MegamorphicCache::Cast(ic_data_or_cache).target_name();
1099 }
1062 1100
1063 Class& cls = Class::Handle(receiver.clazz()); 1101 Class& cls = Class::Handle(receiver.clazz());
1064 Function& function = Function::Handle(); 1102 Function& function = Function::Handle();
1065 1103
1066 // Dart distinguishes getters and regular methods and allows their calls 1104 // Dart distinguishes getters and regular methods and allows their calls
1067 // to mix with conversions, and its selectors are independent of arity. So do 1105 // to mix with conversions, and its selectors are independent of arity. So do
1068 // a zigzagged lookup to see if this call failed because of an arity mismatch, 1106 // a zigzagged lookup to see if this call failed because of an arity mismatch,
1069 // need for conversion, or there really is no such method. 1107 // need for conversion, or there really is no such method.
1070 1108
1071 #define NO_SUCH_METHOD() \ 1109 #define NO_SUCH_METHOD() \
(...skipping 772 matching lines...) Expand 10 before | Expand all | Expand 10 after
1844 const intptr_t elm_size = old_data.ElementSizeInBytes(); 1882 const intptr_t elm_size = old_data.ElementSizeInBytes();
1845 const TypedData& new_data = 1883 const TypedData& new_data =
1846 TypedData::Handle(TypedData::New(cid, new_size, Heap::kOld)); 1884 TypedData::Handle(TypedData::New(cid, new_size, Heap::kOld));
1847 TypedData::Copy(new_data, 0, old_data, 0, old_size * elm_size); 1885 TypedData::Copy(new_data, 0, old_data, 0, old_size * elm_size);
1848 typed_data_cell.SetAt(0, new_data); 1886 typed_data_cell.SetAt(0, new_data);
1849 arguments.SetReturn(new_data); 1887 arguments.SetReturn(new_data);
1850 } 1888 }
1851 1889
1852 1890
1853 } // namespace dart 1891 } // namespace dart
OLDNEW
« no previous file with comments | « no previous file | runtime/vm/code_patcher.h » ('j') | runtime/vm/code_patcher_ia32.cc » ('J')

Powered by Google App Engine
This is Rietveld 408576698