OLD | NEW |
1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2012 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/builtins.h" | 5 #include "src/builtins.h" |
6 | 6 |
7 #include "src/api.h" | 7 #include "src/api.h" |
8 #include "src/api-arguments.h" | 8 #include "src/api-arguments.h" |
9 #include "src/api-natives.h" | 9 #include "src/api-natives.h" |
10 #include "src/base/once.h" | 10 #include "src/base/once.h" |
(...skipping 5130 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
5141 } | 5141 } |
5142 | 5142 |
5143 | 5143 |
5144 void Builtins::Generate_StackCheck(MacroAssembler* masm) { | 5144 void Builtins::Generate_StackCheck(MacroAssembler* masm) { |
5145 masm->TailCallRuntime(Runtime::kStackGuard); | 5145 masm->TailCallRuntime(Runtime::kStackGuard); |
5146 } | 5146 } |
5147 | 5147 |
5148 namespace { | 5148 namespace { |
5149 | 5149 |
5150 void ValidateSharedTypedArray(compiler::CodeStubAssembler* a, | 5150 void ValidateSharedTypedArray(compiler::CodeStubAssembler* a, |
5151 compiler::Node* tagged, compiler::Node* context) { | 5151 compiler::Node* tagged, compiler::Node* context, |
| 5152 compiler::Node** out_instance_type, |
| 5153 compiler::Node** out_backing_store) { |
5152 using namespace compiler; | 5154 using namespace compiler; |
5153 CodeStubAssembler::Label is_smi(a), not_smi(a), is_typed_array(a), | 5155 CodeStubAssembler::Label is_smi(a), not_smi(a), is_typed_array(a), |
5154 not_typed_array(a), is_shared(a), not_shared(a), is_float_or_clamped(a), | 5156 not_typed_array(a), is_shared(a), not_shared(a), is_float_or_clamped(a), |
5155 not_float_or_clamped(a), invalid(a); | 5157 not_float_or_clamped(a), invalid(a); |
5156 | 5158 |
5157 // Fail if it is not a heap object. | 5159 // Fail if it is not a heap object. |
5158 a->Branch(a->WordIsSmi(tagged), &is_smi, ¬_smi); | 5160 a->Branch(a->WordIsSmi(tagged), &is_smi, ¬_smi); |
5159 a->Bind(&is_smi); | 5161 a->Bind(&is_smi); |
5160 a->Goto(&invalid); | 5162 a->Goto(&invalid); |
5161 | 5163 |
5162 // Fail if the array's instance type is not JSTypedArray. | 5164 // Fail if the array's instance type is not JSTypedArray. |
5163 a->Bind(¬_smi); | 5165 a->Bind(¬_smi); |
5164 a->Branch(a->WordEqual(a->LoadInstanceType(tagged), | 5166 a->Branch(a->WordEqual(a->LoadInstanceType(tagged), |
5165 a->Int32Constant(JS_TYPED_ARRAY_TYPE)), | 5167 a->Int32Constant(JS_TYPED_ARRAY_TYPE)), |
5166 &is_typed_array, ¬_typed_array); | 5168 &is_typed_array, ¬_typed_array); |
5167 a->Bind(¬_typed_array); | 5169 a->Bind(¬_typed_array); |
5168 a->Goto(&invalid); | 5170 a->Goto(&invalid); |
5169 | 5171 |
5170 // Fail if the array's JSArrayBuffer is not shared. | 5172 // Fail if the array's JSArrayBuffer is not shared. |
5171 a->Bind(&is_typed_array); | 5173 a->Bind(&is_typed_array); |
5172 Node* is_buffer_shared = | 5174 Node* array_buffer = a->LoadObjectField(tagged, JSTypedArray::kBufferOffset); |
5173 a->BitFieldDecode<JSArrayBuffer::IsShared>(a->LoadObjectField( | 5175 Node* is_buffer_shared = a->BitFieldDecode<JSArrayBuffer::IsShared>( |
5174 a->LoadObjectField(tagged, JSTypedArray::kBufferOffset), | 5176 a->LoadObjectField(array_buffer, JSArrayBuffer::kBitFieldOffset)); |
5175 JSArrayBuffer::kBitFieldOffset)); | |
5176 a->Branch(is_buffer_shared, &is_shared, ¬_shared); | 5177 a->Branch(is_buffer_shared, &is_shared, ¬_shared); |
5177 a->Bind(¬_shared); | 5178 a->Bind(¬_shared); |
5178 a->Goto(&invalid); | 5179 a->Goto(&invalid); |
5179 | 5180 |
5180 // Fail if the array's element type is float32, float64 or clamped. | 5181 // Fail if the array's element type is float32, float64 or clamped. |
5181 a->Bind(&is_shared); | 5182 a->Bind(&is_shared); |
5182 Node* elements_instance_type = a->LoadInstanceType( | 5183 Node* elements_instance_type = a->LoadInstanceType( |
5183 a->LoadObjectField(tagged, JSObject::kElementsOffset)); | 5184 a->LoadObjectField(tagged, JSObject::kElementsOffset)); |
5184 STATIC_ASSERT(FIXED_INT8_ARRAY_TYPE < FIXED_FLOAT32_ARRAY_TYPE); | 5185 STATIC_ASSERT(FIXED_INT8_ARRAY_TYPE < FIXED_FLOAT32_ARRAY_TYPE); |
5185 STATIC_ASSERT(FIXED_INT16_ARRAY_TYPE < FIXED_FLOAT32_ARRAY_TYPE); | 5186 STATIC_ASSERT(FIXED_INT16_ARRAY_TYPE < FIXED_FLOAT32_ARRAY_TYPE); |
5186 STATIC_ASSERT(FIXED_INT32_ARRAY_TYPE < FIXED_FLOAT32_ARRAY_TYPE); | 5187 STATIC_ASSERT(FIXED_INT32_ARRAY_TYPE < FIXED_FLOAT32_ARRAY_TYPE); |
5187 STATIC_ASSERT(FIXED_UINT8_ARRAY_TYPE < FIXED_FLOAT32_ARRAY_TYPE); | 5188 STATIC_ASSERT(FIXED_UINT8_ARRAY_TYPE < FIXED_FLOAT32_ARRAY_TYPE); |
5188 STATIC_ASSERT(FIXED_UINT16_ARRAY_TYPE < FIXED_FLOAT32_ARRAY_TYPE); | 5189 STATIC_ASSERT(FIXED_UINT16_ARRAY_TYPE < FIXED_FLOAT32_ARRAY_TYPE); |
5189 STATIC_ASSERT(FIXED_UINT32_ARRAY_TYPE < FIXED_FLOAT32_ARRAY_TYPE); | 5190 STATIC_ASSERT(FIXED_UINT32_ARRAY_TYPE < FIXED_FLOAT32_ARRAY_TYPE); |
5190 a->Branch(a->Int32LessThan(elements_instance_type, | 5191 a->Branch(a->Int32LessThan(elements_instance_type, |
5191 a->Int32Constant(FIXED_FLOAT32_ARRAY_TYPE)), | 5192 a->Int32Constant(FIXED_FLOAT32_ARRAY_TYPE)), |
5192 ¬_float_or_clamped, &is_float_or_clamped); | 5193 ¬_float_or_clamped, &is_float_or_clamped); |
5193 a->Bind(&is_float_or_clamped); | 5194 a->Bind(&is_float_or_clamped); |
5194 a->Goto(&invalid); | 5195 a->Goto(&invalid); |
5195 | 5196 |
5196 a->Bind(&invalid); | 5197 a->Bind(&invalid); |
5197 a->CallRuntime(Runtime::kThrowNotIntegerSharedTypedArrayError, context, | 5198 a->CallRuntime(Runtime::kThrowNotIntegerSharedTypedArrayError, context, |
5198 tagged); | 5199 tagged); |
5199 a->Return(a->UndefinedConstant()); | 5200 a->Return(a->UndefinedConstant()); |
5200 | 5201 |
5201 a->Bind(¬_float_or_clamped); | 5202 a->Bind(¬_float_or_clamped); |
| 5203 *out_instance_type = elements_instance_type; |
| 5204 |
| 5205 Node* backing_store = |
| 5206 a->LoadObjectField(array_buffer, JSArrayBuffer::kBackingStoreOffset); |
| 5207 Node* byte_offset = a->ChangeUint32ToWord(a->TruncateTaggedToWord32( |
| 5208 context, |
| 5209 a->LoadObjectField(tagged, JSArrayBufferView::kByteOffsetOffset))); |
| 5210 *out_backing_store = a->IntPtrAdd(backing_store, byte_offset); |
5202 } | 5211 } |
5203 | 5212 |
5204 // https://tc39.github.io/ecmascript_sharedmem/shmem.html#Atomics.ValidateAtomic
Access | 5213 // https://tc39.github.io/ecmascript_sharedmem/shmem.html#Atomics.ValidateAtomic
Access |
5205 compiler::Node* ConvertTaggedAtomicIndexToWord32(compiler::CodeStubAssembler* a, | 5214 compiler::Node* ConvertTaggedAtomicIndexToWord32(compiler::CodeStubAssembler* a, |
5206 compiler::Node* tagged, | 5215 compiler::Node* tagged, |
5207 compiler::Node* context) { | 5216 compiler::Node* context) { |
5208 using namespace compiler; | 5217 using namespace compiler; |
5209 CodeStubAssembler::Variable var_result(a, MachineRepresentation::kWord32); | 5218 CodeStubAssembler::Variable var_result(a, MachineRepresentation::kWord32); |
5210 | 5219 |
5211 Callable to_number = CodeFactory::ToNumber(a->isolate()); | 5220 Callable to_number = CodeFactory::ToNumber(a->isolate()); |
(...skipping 46 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
5258 a->Int32GreaterThanOrEqual(index_word, array_length_word)), | 5267 a->Int32GreaterThanOrEqual(index_word, array_length_word)), |
5259 &if_notinbounds, &if_inbounds); | 5268 &if_notinbounds, &if_inbounds); |
5260 a->Bind(&if_notinbounds); | 5269 a->Bind(&if_notinbounds); |
5261 a->Return( | 5270 a->Return( |
5262 a->CallRuntime(Runtime::kThrowInvalidAtomicAccessIndexError, context)); | 5271 a->CallRuntime(Runtime::kThrowInvalidAtomicAccessIndexError, context)); |
5263 a->Bind(&if_inbounds); | 5272 a->Bind(&if_inbounds); |
5264 } | 5273 } |
5265 | 5274 |
5266 } // anonymous namespace | 5275 } // anonymous namespace |
5267 | 5276 |
5268 void Builtins::Generate_AtomicsLoadCheck(compiler::CodeStubAssembler* a) { | 5277 void Builtins::Generate_AtomicsLoad(compiler::CodeStubAssembler* a) { |
5269 using namespace compiler; | 5278 using namespace compiler; |
5270 Isolate* isolate = a->isolate(); | |
5271 Node* array = a->Parameter(1); | 5279 Node* array = a->Parameter(1); |
5272 Node* index = a->Parameter(2); | 5280 Node* index = a->Parameter(2); |
5273 Node* context = a->Parameter(3 + 2); | 5281 Node* context = a->Parameter(3 + 2); |
5274 ValidateSharedTypedArray(a, array, context); | 5282 |
5275 Node* index_word = ConvertTaggedAtomicIndexToWord32(a, index, context); | 5283 Node* instance_type; |
5276 Node* array_length_word = a->TruncateTaggedToWord32( | 5284 Node* backing_store; |
| 5285 ValidateSharedTypedArray(a, array, context, &instance_type, &backing_store); |
| 5286 |
| 5287 Node* index_word32 = ConvertTaggedAtomicIndexToWord32(a, index, context); |
| 5288 Node* array_length_word32 = a->TruncateTaggedToWord32( |
5277 context, a->LoadObjectField(array, JSTypedArray::kLengthOffset)); | 5289 context, a->LoadObjectField(array, JSTypedArray::kLengthOffset)); |
5278 ValidateAtomicIndex(a, index_word, array_length_word, context); | 5290 ValidateAtomicIndex(a, index_word32, array_length_word32, context); |
| 5291 Node* index_word = a->ChangeUint32ToWord(index_word32); |
5279 | 5292 |
5280 Callable atomics_load = CodeFactory::AtomicsLoad(isolate); | 5293 CodeStubAssembler::Label i8(a), u8(a), i16(a), u16(a), i32(a), u32(a), |
5281 Node* target = a->HeapConstant(atomics_load.code()); | 5294 other(a); |
5282 a->Return(a->CallStub(atomics_load.descriptor(), target, context, array, | 5295 int32_t case_values[] = { |
5283 index_word)); | 5296 FIXED_INT8_ARRAY_TYPE, FIXED_UINT8_ARRAY_TYPE, FIXED_INT16_ARRAY_TYPE, |
| 5297 FIXED_UINT16_ARRAY_TYPE, FIXED_INT32_ARRAY_TYPE, FIXED_UINT32_ARRAY_TYPE, |
| 5298 }; |
| 5299 CodeStubAssembler::Label* case_labels[] = { |
| 5300 &i8, &u8, &i16, &u16, &i32, &u32, |
| 5301 }; |
| 5302 a->Switch(instance_type, &other, case_values, case_labels, |
| 5303 arraysize(case_labels)); |
| 5304 |
| 5305 a->Bind(&i8); |
| 5306 a->Return( |
| 5307 a->SmiTag(a->AtomicLoad(MachineType::Int8(), backing_store, index_word))); |
| 5308 |
| 5309 a->Bind(&u8); |
| 5310 a->Return(a->SmiTag( |
| 5311 a->AtomicLoad(MachineType::Uint8(), backing_store, index_word))); |
| 5312 |
| 5313 a->Bind(&i16); |
| 5314 a->Return(a->SmiTag(a->AtomicLoad(MachineType::Int16(), backing_store, |
| 5315 a->WordShl(index_word, 1)))); |
| 5316 |
| 5317 a->Bind(&u16); |
| 5318 a->Return(a->SmiTag(a->AtomicLoad(MachineType::Uint16(), backing_store, |
| 5319 a->WordShl(index_word, 1)))); |
| 5320 |
| 5321 a->Bind(&i32); |
| 5322 a->Return(a->ChangeInt32ToTagged(a->AtomicLoad( |
| 5323 MachineType::Int32(), backing_store, a->WordShl(index_word, 2)))); |
| 5324 |
| 5325 a->Bind(&u32); |
| 5326 a->Return(a->ChangeUint32ToTagged(a->AtomicLoad( |
| 5327 MachineType::Uint32(), backing_store, a->WordShl(index_word, 2)))); |
| 5328 |
| 5329 // This shouldn't happen, we've already validated the type. |
| 5330 a->Bind(&other); |
| 5331 a->Return(a->Int32Constant(0)); |
5284 } | 5332 } |
5285 | 5333 |
5286 #define DEFINE_BUILTIN_ACCESSOR_C(name, ignore) \ | 5334 #define DEFINE_BUILTIN_ACCESSOR_C(name, ignore) \ |
5287 Handle<Code> Builtins::name() { \ | 5335 Handle<Code> Builtins::name() { \ |
5288 Code** code_address = \ | 5336 Code** code_address = \ |
5289 reinterpret_cast<Code**>(builtin_address(k##name)); \ | 5337 reinterpret_cast<Code**>(builtin_address(k##name)); \ |
5290 return Handle<Code>(code_address); \ | 5338 return Handle<Code>(code_address); \ |
5291 } | 5339 } |
5292 #define DEFINE_BUILTIN_ACCESSOR_A(name, kind, state, extra) \ | 5340 #define DEFINE_BUILTIN_ACCESSOR_A(name, kind, state, extra) \ |
5293 Handle<Code> Builtins::name() { \ | 5341 Handle<Code> Builtins::name() { \ |
(...skipping 17 matching lines...) Expand all Loading... |
5311 BUILTIN_LIST_T(DEFINE_BUILTIN_ACCESSOR_T) | 5359 BUILTIN_LIST_T(DEFINE_BUILTIN_ACCESSOR_T) |
5312 BUILTIN_LIST_H(DEFINE_BUILTIN_ACCESSOR_H) | 5360 BUILTIN_LIST_H(DEFINE_BUILTIN_ACCESSOR_H) |
5313 BUILTIN_LIST_DEBUG_A(DEFINE_BUILTIN_ACCESSOR_A) | 5361 BUILTIN_LIST_DEBUG_A(DEFINE_BUILTIN_ACCESSOR_A) |
5314 #undef DEFINE_BUILTIN_ACCESSOR_C | 5362 #undef DEFINE_BUILTIN_ACCESSOR_C |
5315 #undef DEFINE_BUILTIN_ACCESSOR_A | 5363 #undef DEFINE_BUILTIN_ACCESSOR_A |
5316 #undef DEFINE_BUILTIN_ACCESSOR_T | 5364 #undef DEFINE_BUILTIN_ACCESSOR_T |
5317 #undef DEFINE_BUILTIN_ACCESSOR_H | 5365 #undef DEFINE_BUILTIN_ACCESSOR_H |
5318 | 5366 |
5319 } // namespace internal | 5367 } // namespace internal |
5320 } // namespace v8 | 5368 } // namespace v8 |
OLD | NEW |