| OLD | NEW |
| 1 // Copyright 2014 the V8 project authors. All rights reserved. | 1 // Copyright 2014 the V8 project authors. All rights reserved. |
| 2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
| 4 | 4 |
| 5 #include "src/execution.h" | 5 #include "src/execution.h" |
| 6 | 6 |
| 7 #include "src/bootstrapper.h" | 7 #include "src/bootstrapper.h" |
| 8 #include "src/codegen.h" | 8 #include "src/codegen.h" |
| 9 #include "src/deoptimizer.h" | 9 #include "src/deoptimizer.h" |
| 10 #include "src/isolate-inl.h" | 10 #include "src/isolate-inl.h" |
| (...skipping 35 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 46 Object* name = Script::cast(script)->name(); | 46 Object* name = Script::cast(script)->name(); |
| 47 if (name->IsString()) { | 47 if (name->IsString()) { |
| 48 PrintF(": %s", String::cast(name)->ToCString().get()); | 48 PrintF(": %s", String::cast(name)->ToCString().get()); |
| 49 } | 49 } |
| 50 } | 50 } |
| 51 PrintF("]\n"); | 51 PrintF("]\n"); |
| 52 } | 52 } |
| 53 } | 53 } |
| 54 | 54 |
| 55 | 55 |
| 56 namespace { | 56 MUST_USE_RESULT static MaybeHandle<Object> Invoke( |
| 57 | 57 bool is_construct, |
| 58 MUST_USE_RESULT MaybeHandle<Object> Invoke(bool is_construct, | 58 Handle<JSFunction> function, |
| 59 Handle<JSFunction> function, | 59 Handle<Object> receiver, |
| 60 Handle<Object> receiver, int argc, | 60 int argc, |
| 61 Handle<Object> args[]) { | 61 Handle<Object> args[]) { |
| 62 Isolate* const isolate = function->GetIsolate(); | 62 Isolate* isolate = function->GetIsolate(); |
| 63 | |
| 64 // Convert calls on global objects to be calls on the global | |
| 65 // receiver instead to avoid having a 'this' pointer which refers | |
| 66 // directly to a global object. | |
| 67 if (receiver->IsGlobalObject()) { | |
| 68 receiver = | |
| 69 handle(Handle<GlobalObject>::cast(receiver)->global_proxy(), isolate); | |
| 70 } | |
| 71 | 63 |
| 72 // api callbacks can be called directly. | 64 // api callbacks can be called directly. |
| 73 if (!is_construct && function->shared()->IsApiFunction()) { | 65 if (!is_construct && function->shared()->IsApiFunction()) { |
| 74 SaveContext save(isolate); | 66 SaveContext save(isolate); |
| 75 isolate->set_context(function->context()); | 67 isolate->set_context(function->context()); |
| 68 if (receiver->IsGlobalObject()) { |
| 69 receiver = handle(Handle<GlobalObject>::cast(receiver)->global_proxy()); |
| 70 } |
| 76 DCHECK(function->context()->global_object()->IsGlobalObject()); | 71 DCHECK(function->context()->global_object()->IsGlobalObject()); |
| 77 auto value = Builtins::InvokeApiFunction(function, receiver, argc, args); | 72 auto value = Builtins::InvokeApiFunction(function, receiver, argc, args); |
| 78 bool has_exception = value.is_null(); | 73 bool has_exception = value.is_null(); |
| 79 DCHECK(has_exception == isolate->has_pending_exception()); | 74 DCHECK(has_exception == isolate->has_pending_exception()); |
| 80 if (has_exception) { | 75 if (has_exception) { |
| 81 isolate->ReportPendingMessages(); | 76 isolate->ReportPendingMessages(); |
| 82 return MaybeHandle<Object>(); | 77 return MaybeHandle<Object>(); |
| 83 } else { | 78 } else { |
| 84 isolate->clear_pending_message(); | 79 isolate->clear_pending_message(); |
| 85 } | 80 } |
| (...skipping 15 matching lines...) Expand all Loading... |
| 101 typedef Object* (*JSEntryFunction)(byte* entry, | 96 typedef Object* (*JSEntryFunction)(byte* entry, |
| 102 Object* function, | 97 Object* function, |
| 103 Object* receiver, | 98 Object* receiver, |
| 104 int argc, | 99 int argc, |
| 105 Object*** args); | 100 Object*** args); |
| 106 | 101 |
| 107 Handle<Code> code = is_construct | 102 Handle<Code> code = is_construct |
| 108 ? isolate->factory()->js_construct_entry_code() | 103 ? isolate->factory()->js_construct_entry_code() |
| 109 : isolate->factory()->js_entry_code(); | 104 : isolate->factory()->js_entry_code(); |
| 110 | 105 |
| 106 // Convert calls on global objects to be calls on the global |
| 107 // receiver instead to avoid having a 'this' pointer which refers |
| 108 // directly to a global object. |
| 109 if (receiver->IsGlobalObject()) { |
| 110 receiver = handle(Handle<GlobalObject>::cast(receiver)->global_proxy()); |
| 111 } |
| 112 |
| 111 // Make sure that the global object of the context we're about to | 113 // Make sure that the global object of the context we're about to |
| 112 // make the current one is indeed a global object. | 114 // make the current one is indeed a global object. |
| 113 DCHECK(function->context()->global_object()->IsGlobalObject()); | 115 DCHECK(function->context()->global_object()->IsGlobalObject()); |
| 114 | 116 |
| 115 { | 117 { |
| 116 // Save and restore context around invocation and block the | 118 // Save and restore context around invocation and block the |
| 117 // allocation of handles without explicit handle scopes. | 119 // allocation of handles without explicit handle scopes. |
| 118 SaveContext save(isolate); | 120 SaveContext save(isolate); |
| 119 SealHandleScope shs(isolate); | 121 SealHandleScope shs(isolate); |
| 120 JSEntryFunction stub_entry = FUNCTION_CAST<JSEntryFunction>(code->entry()); | 122 JSEntryFunction stub_entry = FUNCTION_CAST<JSEntryFunction>(code->entry()); |
| 121 | 123 |
| 122 // Call the function through the right JS entry stub. | 124 // Call the function through the right JS entry stub. |
| 123 byte* ignored = nullptr; // TODO(bmeurer): Remove this altogether. | 125 byte* function_entry = function->code()->entry(); |
| 124 JSFunction* func = *function; | 126 JSFunction* func = *function; |
| 125 Object* recv = *receiver; | 127 Object* recv = *receiver; |
| 126 Object*** argv = reinterpret_cast<Object***>(args); | 128 Object*** argv = reinterpret_cast<Object***>(args); |
| 127 if (FLAG_profile_deserialization) PrintDeserializedCodeInfo(function); | 129 if (FLAG_profile_deserialization) PrintDeserializedCodeInfo(function); |
| 128 value = CALL_GENERATED_CODE(stub_entry, ignored, func, recv, argc, argv); | 130 value = |
| 131 CALL_GENERATED_CODE(stub_entry, function_entry, func, recv, argc, argv); |
| 129 } | 132 } |
| 130 | 133 |
| 131 #ifdef VERIFY_HEAP | 134 #ifdef VERIFY_HEAP |
| 132 if (FLAG_verify_heap) { | 135 if (FLAG_verify_heap) { |
| 133 value->ObjectVerify(); | 136 value->ObjectVerify(); |
| 134 } | 137 } |
| 135 #endif | 138 #endif |
| 136 | 139 |
| 137 // Update the pending exception flag and return the value. | 140 // Update the pending exception flag and return the value. |
| 138 bool has_exception = value->IsException(); | 141 bool has_exception = value->IsException(); |
| 139 DCHECK(has_exception == isolate->has_pending_exception()); | 142 DCHECK(has_exception == isolate->has_pending_exception()); |
| 140 if (has_exception) { | 143 if (has_exception) { |
| 141 isolate->ReportPendingMessages(); | 144 isolate->ReportPendingMessages(); |
| 142 // Reset stepping state when script exits with uncaught exception. | 145 // Reset stepping state when script exits with uncaught exception. |
| 143 if (isolate->debug()->is_active()) { | 146 if (isolate->debug()->is_active()) { |
| 144 isolate->debug()->ClearStepping(); | 147 isolate->debug()->ClearStepping(); |
| 145 } | 148 } |
| 146 return MaybeHandle<Object>(); | 149 return MaybeHandle<Object>(); |
| 147 } else { | 150 } else { |
| 148 isolate->clear_pending_message(); | 151 isolate->clear_pending_message(); |
| 149 } | 152 } |
| 150 | 153 |
| 151 return Handle<Object>(value, isolate); | 154 return Handle<Object>(value, isolate); |
| 152 } | 155 } |
| 153 | 156 |
| 154 } // namespace | |
| 155 | 157 |
| 156 | 158 MaybeHandle<Object> Execution::Call(Isolate* isolate, |
| 157 MaybeHandle<Object> Execution::Call(Isolate* isolate, Handle<Object> callable, | 159 Handle<Object> callable, |
| 158 Handle<Object> receiver, int argc, | 160 Handle<Object> receiver, |
| 159 Handle<Object> argv[]) { | 161 int argc, |
| 162 Handle<Object> argv[], |
| 163 bool convert_receiver) { |
| 160 if (!callable->IsJSFunction()) { | 164 if (!callable->IsJSFunction()) { |
| 161 ASSIGN_RETURN_ON_EXCEPTION(isolate, callable, | 165 ASSIGN_RETURN_ON_EXCEPTION(isolate, callable, |
| 162 GetFunctionDelegate(isolate, callable), Object); | 166 GetFunctionDelegate(isolate, callable), Object); |
| 163 } | 167 } |
| 164 Handle<JSFunction> func = Handle<JSFunction>::cast(callable); | 168 Handle<JSFunction> func = Handle<JSFunction>::cast(callable); |
| 165 | 169 |
| 170 // In sloppy mode, convert receiver. |
| 171 if (convert_receiver && !receiver->IsJSReceiver() && |
| 172 !func->shared()->native() && is_sloppy(func->shared()->language_mode())) { |
| 173 if (receiver->IsUndefined() || receiver->IsNull()) { |
| 174 receiver = handle(func->global_proxy()); |
| 175 DCHECK(!receiver->IsJSBuiltinsObject()); |
| 176 } else { |
| 177 ASSIGN_RETURN_ON_EXCEPTION( |
| 178 isolate, receiver, ToObject(isolate, receiver), Object); |
| 179 } |
| 180 } |
| 181 |
| 166 return Invoke(false, func, receiver, argc, argv); | 182 return Invoke(false, func, receiver, argc, argv); |
| 167 } | 183 } |
| 168 | 184 |
| 169 | 185 |
| 170 MaybeHandle<Object> Execution::New(Handle<JSFunction> func, | 186 MaybeHandle<Object> Execution::New(Handle<JSFunction> func, |
| 171 int argc, | 187 int argc, |
| 172 Handle<Object> argv[]) { | 188 Handle<Object> argv[]) { |
| 173 return Invoke(true, func, handle(func->global_proxy()), argc, argv); | 189 return Invoke(true, func, handle(func->global_proxy()), argc, argv); |
| 174 } | 190 } |
| 175 | 191 |
| 176 | 192 |
| 177 MaybeHandle<Object> Execution::TryCall(Handle<JSFunction> func, | 193 MaybeHandle<Object> Execution::TryCall(Handle<JSFunction> func, |
| 178 Handle<Object> receiver, int argc, | 194 Handle<Object> receiver, int argc, |
| 179 Handle<Object> args[], | 195 Handle<Object> args[], |
| 180 MaybeHandle<Object>* exception_out) { | 196 MaybeHandle<Object>* exception_out) { |
| 181 bool is_termination = false; | 197 bool is_termination = false; |
| 182 Isolate* isolate = func->GetIsolate(); | 198 Isolate* isolate = func->GetIsolate(); |
| 183 MaybeHandle<Object> maybe_result; | 199 MaybeHandle<Object> maybe_result; |
| 184 if (exception_out != NULL) *exception_out = MaybeHandle<Object>(); | 200 if (exception_out != NULL) *exception_out = MaybeHandle<Object>(); |
| 185 // Enter a try-block while executing the JavaScript code. To avoid | 201 // Enter a try-block while executing the JavaScript code. To avoid |
| 186 // duplicate error printing it must be non-verbose. Also, to avoid | 202 // duplicate error printing it must be non-verbose. Also, to avoid |
| 187 // creating message objects during stack overflow we shouldn't | 203 // creating message objects during stack overflow we shouldn't |
| 188 // capture messages. | 204 // capture messages. |
| 189 { | 205 { |
| 190 v8::TryCatch catcher(reinterpret_cast<v8::Isolate*>(isolate)); | 206 v8::TryCatch catcher(reinterpret_cast<v8::Isolate*>(isolate)); |
| 191 catcher.SetVerbose(false); | 207 catcher.SetVerbose(false); |
| 192 catcher.SetCaptureMessage(false); | 208 catcher.SetCaptureMessage(false); |
| 193 | 209 |
| 194 maybe_result = Call(isolate, func, receiver, argc, args); | 210 maybe_result = Invoke(false, func, receiver, argc, args); |
| 195 | 211 |
| 196 if (maybe_result.is_null()) { | 212 if (maybe_result.is_null()) { |
| 197 DCHECK(catcher.HasCaught()); | 213 DCHECK(catcher.HasCaught()); |
| 198 DCHECK(isolate->has_pending_exception()); | 214 DCHECK(isolate->has_pending_exception()); |
| 199 DCHECK(isolate->external_caught_exception()); | 215 DCHECK(isolate->external_caught_exception()); |
| 200 if (isolate->pending_exception() == | 216 if (isolate->pending_exception() == |
| 201 isolate->heap()->termination_exception()) { | 217 isolate->heap()->termination_exception()) { |
| 202 is_termination = true; | 218 is_termination = true; |
| 203 } else { | 219 } else { |
| 204 if (exception_out != NULL) { | 220 if (exception_out != NULL) { |
| (...skipping 425 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 630 | 646 |
| 631 isolate_->counters()->stack_interrupts()->Increment(); | 647 isolate_->counters()->stack_interrupts()->Increment(); |
| 632 isolate_->counters()->runtime_profiler_ticks()->Increment(); | 648 isolate_->counters()->runtime_profiler_ticks()->Increment(); |
| 633 isolate_->runtime_profiler()->OptimizeNow(); | 649 isolate_->runtime_profiler()->OptimizeNow(); |
| 634 | 650 |
| 635 return isolate_->heap()->undefined_value(); | 651 return isolate_->heap()->undefined_value(); |
| 636 } | 652 } |
| 637 | 653 |
| 638 } // namespace internal | 654 } // namespace internal |
| 639 } // namespace v8 | 655 } // namespace v8 |
| OLD | NEW |