| OLD | NEW |
| 1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2012 the V8 project authors. All rights reserved. |
| 2 // Redistribution and use in source and binary forms, with or without | 2 // Redistribution and use in source and binary forms, with or without |
| 3 // modification, are permitted provided that the following conditions are | 3 // modification, are permitted provided that the following conditions are |
| 4 // met: | 4 // met: |
| 5 // | 5 // |
| 6 // * Redistributions of source code must retain the above copyright | 6 // * Redistributions of source code must retain the above copyright |
| 7 // notice, this list of conditions and the following disclaimer. | 7 // notice, this list of conditions and the following disclaimer. |
| 8 // * Redistributions in binary form must reproduce the above | 8 // * Redistributions in binary form must reproduce the above |
| 9 // copyright notice, this list of conditions and the following | 9 // copyright notice, this list of conditions and the following |
| 10 // disclaimer in the documentation and/or other materials provided | 10 // disclaimer in the documentation and/or other materials provided |
| (...skipping 2134 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2145 __ ucomisd(double_exponent, double_scratch); | 2145 __ ucomisd(double_exponent, double_scratch); |
| 2146 __ j(equal, &int_exponent); | 2146 __ j(equal, &int_exponent); |
| 2147 | 2147 |
| 2148 if (exponent_type_ == ON_STACK) { | 2148 if (exponent_type_ == ON_STACK) { |
| 2149 // Detect square root case. Crankshaft detects constant +/-0.5 at | 2149 // Detect square root case. Crankshaft detects constant +/-0.5 at |
| 2150 // compile time and uses DoMathPowHalf instead. We then skip this check | 2150 // compile time and uses DoMathPowHalf instead. We then skip this check |
| 2151 // for non-constant cases of +/-0.5 as these hardly occur. | 2151 // for non-constant cases of +/-0.5 as these hardly occur. |
| 2152 Label continue_sqrt, continue_rsqrt, not_plus_half; | 2152 Label continue_sqrt, continue_rsqrt, not_plus_half; |
| 2153 // Test for 0.5. | 2153 // Test for 0.5. |
| 2154 // Load double_scratch with 0.5. | 2154 // Load double_scratch with 0.5. |
| 2155 __ movq(scratch, V8_UINT64_C(0x3FE0000000000000), RelocInfo::NONE); | 2155 __ movq(scratch, V8_UINT64_C(0x3FE0000000000000), RelocInfo::NONE64); |
| 2156 __ movq(double_scratch, scratch); | 2156 __ movq(double_scratch, scratch); |
| 2157 // Already ruled out NaNs for exponent. | 2157 // Already ruled out NaNs for exponent. |
| 2158 __ ucomisd(double_scratch, double_exponent); | 2158 __ ucomisd(double_scratch, double_exponent); |
| 2159 __ j(not_equal, ¬_plus_half, Label::kNear); | 2159 __ j(not_equal, ¬_plus_half, Label::kNear); |
| 2160 | 2160 |
| 2161 // Calculates square root of base. Check for the special case of | 2161 // Calculates square root of base. Check for the special case of |
| 2162 // Math.pow(-Infinity, 0.5) == Infinity (ECMA spec, 15.8.2.13). | 2162 // Math.pow(-Infinity, 0.5) == Infinity (ECMA spec, 15.8.2.13). |
| 2163 // According to IEEE-754, double-precision -Infinity has the highest | 2163 // According to IEEE-754, double-precision -Infinity has the highest |
| 2164 // 12 bits set and the lowest 52 bits cleared. | 2164 // 12 bits set and the lowest 52 bits cleared. |
| 2165 __ movq(scratch, V8_UINT64_C(0xFFF0000000000000), RelocInfo::NONE); | 2165 __ movq(scratch, V8_UINT64_C(0xFFF0000000000000), RelocInfo::NONE64); |
| 2166 __ movq(double_scratch, scratch); | 2166 __ movq(double_scratch, scratch); |
| 2167 __ ucomisd(double_scratch, double_base); | 2167 __ ucomisd(double_scratch, double_base); |
| 2168 // Comparing -Infinity with NaN results in "unordered", which sets the | 2168 // Comparing -Infinity with NaN results in "unordered", which sets the |
| 2169 // zero flag as if both were equal. However, it also sets the carry flag. | 2169 // zero flag as if both were equal. However, it also sets the carry flag. |
| 2170 __ j(not_equal, &continue_sqrt, Label::kNear); | 2170 __ j(not_equal, &continue_sqrt, Label::kNear); |
| 2171 __ j(carry, &continue_sqrt, Label::kNear); | 2171 __ j(carry, &continue_sqrt, Label::kNear); |
| 2172 | 2172 |
| 2173 // Set result to Infinity in the special case. | 2173 // Set result to Infinity in the special case. |
| 2174 __ xorps(double_result, double_result); | 2174 __ xorps(double_result, double_result); |
| 2175 __ subsd(double_result, double_scratch); | 2175 __ subsd(double_result, double_scratch); |
| (...skipping 11 matching lines...) Expand all Loading... |
| 2187 // Load double_scratch with -0.5 by substracting 1. | 2187 // Load double_scratch with -0.5 by substracting 1. |
| 2188 __ subsd(double_scratch, double_result); | 2188 __ subsd(double_scratch, double_result); |
| 2189 // Already ruled out NaNs for exponent. | 2189 // Already ruled out NaNs for exponent. |
| 2190 __ ucomisd(double_scratch, double_exponent); | 2190 __ ucomisd(double_scratch, double_exponent); |
| 2191 __ j(not_equal, &fast_power, Label::kNear); | 2191 __ j(not_equal, &fast_power, Label::kNear); |
| 2192 | 2192 |
| 2193 // Calculates reciprocal of square root of base. Check for the special | 2193 // Calculates reciprocal of square root of base. Check for the special |
| 2194 // case of Math.pow(-Infinity, -0.5) == 0 (ECMA spec, 15.8.2.13). | 2194 // case of Math.pow(-Infinity, -0.5) == 0 (ECMA spec, 15.8.2.13). |
| 2195 // According to IEEE-754, double-precision -Infinity has the highest | 2195 // According to IEEE-754, double-precision -Infinity has the highest |
| 2196 // 12 bits set and the lowest 52 bits cleared. | 2196 // 12 bits set and the lowest 52 bits cleared. |
| 2197 __ movq(scratch, V8_UINT64_C(0xFFF0000000000000), RelocInfo::NONE); | 2197 __ movq(scratch, V8_UINT64_C(0xFFF0000000000000), RelocInfo::NONE64); |
| 2198 __ movq(double_scratch, scratch); | 2198 __ movq(double_scratch, scratch); |
| 2199 __ ucomisd(double_scratch, double_base); | 2199 __ ucomisd(double_scratch, double_base); |
| 2200 // Comparing -Infinity with NaN results in "unordered", which sets the | 2200 // Comparing -Infinity with NaN results in "unordered", which sets the |
| 2201 // zero flag as if both were equal. However, it also sets the carry flag. | 2201 // zero flag as if both were equal. However, it also sets the carry flag. |
| 2202 __ j(not_equal, &continue_rsqrt, Label::kNear); | 2202 __ j(not_equal, &continue_rsqrt, Label::kNear); |
| 2203 __ j(carry, &continue_rsqrt, Label::kNear); | 2203 __ j(carry, &continue_rsqrt, Label::kNear); |
| 2204 | 2204 |
| 2205 // Set result to 0 in the special case. | 2205 // Set result to 0 in the special case. |
| 2206 __ xorps(double_result, double_result); | 2206 __ xorps(double_result, double_result); |
| 2207 __ jmp(&done); | 2207 __ jmp(&done); |
| (...skipping 1797 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 4005 // Handling of failure. | 4005 // Handling of failure. |
| 4006 __ bind(&failure_returned); | 4006 __ bind(&failure_returned); |
| 4007 | 4007 |
| 4008 Label retry; | 4008 Label retry; |
| 4009 // If the returned exception is RETRY_AFTER_GC continue at retry label | 4009 // If the returned exception is RETRY_AFTER_GC continue at retry label |
| 4010 STATIC_ASSERT(Failure::RETRY_AFTER_GC == 0); | 4010 STATIC_ASSERT(Failure::RETRY_AFTER_GC == 0); |
| 4011 __ testl(rax, Immediate(((1 << kFailureTypeTagSize) - 1) << kFailureTagSize)); | 4011 __ testl(rax, Immediate(((1 << kFailureTypeTagSize) - 1) << kFailureTagSize)); |
| 4012 __ j(zero, &retry, Label::kNear); | 4012 __ j(zero, &retry, Label::kNear); |
| 4013 | 4013 |
| 4014 // Special handling of out of memory exceptions. | 4014 // Special handling of out of memory exceptions. |
| 4015 __ movq(kScratchRegister, Failure::OutOfMemoryException(), RelocInfo::NONE); | 4015 __ movq(kScratchRegister, Failure::OutOfMemoryException(), RelocInfo::NONE64); |
| 4016 __ cmpq(rax, kScratchRegister); | 4016 __ cmpq(rax, kScratchRegister); |
| 4017 __ j(equal, throw_out_of_memory_exception); | 4017 __ j(equal, throw_out_of_memory_exception); |
| 4018 | 4018 |
| 4019 // Retrieve the pending exception and clear the variable. | 4019 // Retrieve the pending exception and clear the variable. |
| 4020 ExternalReference pending_exception_address( | 4020 ExternalReference pending_exception_address( |
| 4021 Isolate::kPendingExceptionAddress, masm->isolate()); | 4021 Isolate::kPendingExceptionAddress, masm->isolate()); |
| 4022 Operand pending_exception_operand = | 4022 Operand pending_exception_operand = |
| 4023 masm->ExternalOperand(pending_exception_address); | 4023 masm->ExternalOperand(pending_exception_address); |
| 4024 __ movq(rax, pending_exception_operand); | 4024 __ movq(rax, pending_exception_operand); |
| 4025 __ LoadRoot(rdx, Heap::kTheHoleValueRootIndex); | 4025 __ LoadRoot(rdx, Heap::kTheHoleValueRootIndex); |
| (...skipping 59 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 4085 // Do space-specific GC and retry runtime call. | 4085 // Do space-specific GC and retry runtime call. |
| 4086 GenerateCore(masm, | 4086 GenerateCore(masm, |
| 4087 &throw_normal_exception, | 4087 &throw_normal_exception, |
| 4088 &throw_termination_exception, | 4088 &throw_termination_exception, |
| 4089 &throw_out_of_memory_exception, | 4089 &throw_out_of_memory_exception, |
| 4090 true, | 4090 true, |
| 4091 false); | 4091 false); |
| 4092 | 4092 |
| 4093 // Do full GC and retry runtime call one final time. | 4093 // Do full GC and retry runtime call one final time. |
| 4094 Failure* failure = Failure::InternalError(); | 4094 Failure* failure = Failure::InternalError(); |
| 4095 __ movq(rax, failure, RelocInfo::NONE); | 4095 __ movq(rax, failure, RelocInfo::NONE64); |
| 4096 GenerateCore(masm, | 4096 GenerateCore(masm, |
| 4097 &throw_normal_exception, | 4097 &throw_normal_exception, |
| 4098 &throw_termination_exception, | 4098 &throw_termination_exception, |
| 4099 &throw_out_of_memory_exception, | 4099 &throw_out_of_memory_exception, |
| 4100 true, | 4100 true, |
| 4101 true); | 4101 true); |
| 4102 | 4102 |
| 4103 __ bind(&throw_out_of_memory_exception); | 4103 __ bind(&throw_out_of_memory_exception); |
| 4104 // Set external caught exception to false. | 4104 // Set external caught exception to false. |
| 4105 Isolate* isolate = masm->isolate(); | 4105 Isolate* isolate = masm->isolate(); |
| 4106 ExternalReference external_caught(Isolate::kExternalCaughtExceptionAddress, | 4106 ExternalReference external_caught(Isolate::kExternalCaughtExceptionAddress, |
| 4107 isolate); | 4107 isolate); |
| 4108 __ Set(rax, static_cast<int64_t>(false)); | 4108 __ Set(rax, static_cast<int64_t>(false)); |
| 4109 __ Store(external_caught, rax); | 4109 __ Store(external_caught, rax); |
| 4110 | 4110 |
| 4111 // Set pending exception and rax to out of memory exception. | 4111 // Set pending exception and rax to out of memory exception. |
| 4112 ExternalReference pending_exception(Isolate::kPendingExceptionAddress, | 4112 ExternalReference pending_exception(Isolate::kPendingExceptionAddress, |
| 4113 isolate); | 4113 isolate); |
| 4114 __ movq(rax, Failure::OutOfMemoryException(), RelocInfo::NONE); | 4114 __ movq(rax, Failure::OutOfMemoryException(), RelocInfo::NONE64); |
| 4115 __ Store(pending_exception, rax); | 4115 __ Store(pending_exception, rax); |
| 4116 // Fall through to the next label. | 4116 // Fall through to the next label. |
| 4117 | 4117 |
| 4118 __ bind(&throw_termination_exception); | 4118 __ bind(&throw_termination_exception); |
| 4119 __ ThrowUncatchable(rax); | 4119 __ ThrowUncatchable(rax); |
| 4120 | 4120 |
| 4121 __ bind(&throw_normal_exception); | 4121 __ bind(&throw_normal_exception); |
| 4122 __ Throw(rax); | 4122 __ Throw(rax); |
| 4123 } | 4123 } |
| 4124 | 4124 |
| 4125 | 4125 |
| 4126 void JSEntryStub::GenerateBody(MacroAssembler* masm, bool is_construct) { | 4126 void JSEntryStub::GenerateBody(MacroAssembler* masm, bool is_construct) { |
| 4127 Label invoke, handler_entry, exit; | 4127 Label invoke, handler_entry, exit; |
| 4128 Label not_outermost_js, not_outermost_js_2; | 4128 Label not_outermost_js, not_outermost_js_2; |
| 4129 { // NOLINT. Scope block confuses linter. | 4129 { // NOLINT. Scope block confuses linter. |
| 4130 MacroAssembler::NoRootArrayScope uninitialized_root_register(masm); | 4130 MacroAssembler::NoRootArrayScope uninitialized_root_register(masm); |
| 4131 // Set up frame. | 4131 // Set up frame. |
| 4132 __ push(rbp); | 4132 __ push(rbp); |
| 4133 __ movq(rbp, rsp); | 4133 __ movq(rbp, rsp); |
| 4134 | 4134 |
| 4135 // Push the stack frame type marker twice. | 4135 // Push the stack frame type marker twice. |
| 4136 int marker = is_construct ? StackFrame::ENTRY_CONSTRUCT : StackFrame::ENTRY; | 4136 int marker = is_construct ? StackFrame::ENTRY_CONSTRUCT : StackFrame::ENTRY; |
| 4137 // Scratch register is neither callee-save, nor an argument register on any | 4137 // Scratch register is neither callee-save, nor an argument register on any |
| 4138 // platform. It's free to use at this point. | 4138 // platform. It's free to use at this point. |
| 4139 // Cannot use smi-register for loading yet. | 4139 // Cannot use smi-register for loading yet. |
| 4140 __ movq(kScratchRegister, | 4140 __ movq(kScratchRegister, |
| 4141 reinterpret_cast<uint64_t>(Smi::FromInt(marker)), | 4141 reinterpret_cast<uint64_t>(Smi::FromInt(marker)), |
| 4142 RelocInfo::NONE); | 4142 RelocInfo::NONE64); |
| 4143 __ push(kScratchRegister); // context slot | 4143 __ push(kScratchRegister); // context slot |
| 4144 __ push(kScratchRegister); // function slot | 4144 __ push(kScratchRegister); // function slot |
| 4145 // Save callee-saved registers (X64/Win64 calling conventions). | 4145 // Save callee-saved registers (X64/Win64 calling conventions). |
| 4146 __ push(r12); | 4146 __ push(r12); |
| 4147 __ push(r13); | 4147 __ push(r13); |
| 4148 __ push(r14); | 4148 __ push(r14); |
| 4149 __ push(r15); | 4149 __ push(r15); |
| 4150 #ifdef _WIN64 | 4150 #ifdef _WIN64 |
| 4151 __ push(rdi); // Only callee save in Win64 ABI, argument in AMD64 ABI. | 4151 __ push(rdi); // Only callee save in Win64 ABI, argument in AMD64 ABI. |
| 4152 __ push(rsi); // Only callee save in Win64 ABI, argument in AMD64 ABI. | 4152 __ push(rsi); // Only callee save in Win64 ABI, argument in AMD64 ABI. |
| (...skipping 34 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 4187 // Jump to a faked try block that does the invoke, with a faked catch | 4187 // Jump to a faked try block that does the invoke, with a faked catch |
| 4188 // block that sets the pending exception. | 4188 // block that sets the pending exception. |
| 4189 __ jmp(&invoke); | 4189 __ jmp(&invoke); |
| 4190 __ bind(&handler_entry); | 4190 __ bind(&handler_entry); |
| 4191 handler_offset_ = handler_entry.pos(); | 4191 handler_offset_ = handler_entry.pos(); |
| 4192 // Caught exception: Store result (exception) in the pending exception | 4192 // Caught exception: Store result (exception) in the pending exception |
| 4193 // field in the JSEnv and return a failure sentinel. | 4193 // field in the JSEnv and return a failure sentinel. |
| 4194 ExternalReference pending_exception(Isolate::kPendingExceptionAddress, | 4194 ExternalReference pending_exception(Isolate::kPendingExceptionAddress, |
| 4195 isolate); | 4195 isolate); |
| 4196 __ Store(pending_exception, rax); | 4196 __ Store(pending_exception, rax); |
| 4197 __ movq(rax, Failure::Exception(), RelocInfo::NONE); | 4197 __ movq(rax, Failure::Exception(), RelocInfo::NONE64); |
| 4198 __ jmp(&exit); | 4198 __ jmp(&exit); |
| 4199 | 4199 |
| 4200 // Invoke: Link this frame into the handler chain. There's only one | 4200 // Invoke: Link this frame into the handler chain. There's only one |
| 4201 // handler block in this code object, so its index is 0. | 4201 // handler block in this code object, so its index is 0. |
| 4202 __ bind(&invoke); | 4202 __ bind(&invoke); |
| 4203 __ PushTryHandler(StackHandler::JS_ENTRY, 0); | 4203 __ PushTryHandler(StackHandler::JS_ENTRY, 0); |
| 4204 | 4204 |
| 4205 // Clear any pending exceptions. | 4205 // Clear any pending exceptions. |
| 4206 __ LoadRoot(rax, Heap::kTheHoleValueRootIndex); | 4206 __ LoadRoot(rax, Heap::kTheHoleValueRootIndex); |
| 4207 __ Store(pending_exception, rax); | 4207 __ Store(pending_exception, rax); |
| (...skipping 2250 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 6458 // Calculate the function address to the first arg. | 6458 // Calculate the function address to the first arg. |
| 6459 #ifdef _WIN64 | 6459 #ifdef _WIN64 |
| 6460 __ movq(rcx, Operand(rdx, 0)); | 6460 __ movq(rcx, Operand(rdx, 0)); |
| 6461 __ subq(rcx, Immediate(Assembler::kShortCallInstructionLength)); | 6461 __ subq(rcx, Immediate(Assembler::kShortCallInstructionLength)); |
| 6462 #else | 6462 #else |
| 6463 __ movq(rdi, Operand(rsi, 0)); | 6463 __ movq(rdi, Operand(rsi, 0)); |
| 6464 __ subq(rdi, Immediate(Assembler::kShortCallInstructionLength)); | 6464 __ subq(rdi, Immediate(Assembler::kShortCallInstructionLength)); |
| 6465 #endif | 6465 #endif |
| 6466 | 6466 |
| 6467 // Call the entry hook function. | 6467 // Call the entry hook function. |
| 6468 __ movq(rax, &entry_hook_, RelocInfo::NONE); | 6468 __ movq(rax, &entry_hook_, RelocInfo::NONE64); |
| 6469 __ movq(rax, Operand(rax, 0)); | 6469 __ movq(rax, Operand(rax, 0)); |
| 6470 | 6470 |
| 6471 AllowExternalCallThatCantCauseGC scope(masm); | 6471 AllowExternalCallThatCantCauseGC scope(masm); |
| 6472 | 6472 |
| 6473 const int kArgumentCount = 2; | 6473 const int kArgumentCount = 2; |
| 6474 __ PrepareCallCFunction(kArgumentCount); | 6474 __ PrepareCallCFunction(kArgumentCount); |
| 6475 __ CallCFunction(rax, kArgumentCount); | 6475 __ CallCFunction(rax, kArgumentCount); |
| 6476 | 6476 |
| 6477 // Restore volatile regs. | 6477 // Restore volatile regs. |
| 6478 #ifdef _WIN64 | 6478 #ifdef _WIN64 |
| 6479 __ pop(rcx); | 6479 __ pop(rcx); |
| 6480 #else | 6480 #else |
| 6481 __ pop(rsi); | 6481 __ pop(rsi); |
| 6482 __ pop(rdi); | 6482 __ pop(rdi); |
| 6483 __ pop(rcx); | 6483 __ pop(rcx); |
| 6484 #endif | 6484 #endif |
| 6485 | 6485 |
| 6486 __ Ret(); | 6486 __ Ret(); |
| 6487 } | 6487 } |
| 6488 | 6488 |
| 6489 #undef __ | 6489 #undef __ |
| 6490 | 6490 |
| 6491 } } // namespace v8::internal | 6491 } } // namespace v8::internal |
| 6492 | 6492 |
| 6493 #endif // V8_TARGET_ARCH_X64 | 6493 #endif // V8_TARGET_ARCH_X64 |
| OLD | NEW |