| OLD | NEW |
| 1 // Copyright 2016 the V8 project authors. All rights reserved. | 1 // Copyright 2016 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/builtins.h" | 5 #include "src/builtins/builtins.h" |
| 6 #include "src/builtins/builtins-utils.h" | 6 #include "src/builtins/builtins-utils.h" |
| 7 | 7 |
| 8 #include "src/code-factory.h" | 8 #include "src/code-factory.h" |
| 9 | 9 |
| 10 namespace v8 { | 10 namespace v8 { |
| (...skipping 13 matching lines...) Expand all Loading... |
| 24 } | 24 } |
| 25 return array_buffer->byte_length(); | 25 return array_buffer->byte_length(); |
| 26 } | 26 } |
| 27 | 27 |
| 28 namespace { | 28 namespace { |
| 29 | 29 |
| 30 void ValidateSharedTypedArray(CodeStubAssembler* a, compiler::Node* tagged, | 30 void ValidateSharedTypedArray(CodeStubAssembler* a, compiler::Node* tagged, |
| 31 compiler::Node* context, | 31 compiler::Node* context, |
| 32 compiler::Node** out_instance_type, | 32 compiler::Node** out_instance_type, |
| 33 compiler::Node** out_backing_store) { | 33 compiler::Node** out_backing_store) { |
| 34 using compiler::Node; | 34 using namespace compiler; |
| 35 CodeStubAssembler::Label is_smi(a), not_smi(a), is_typed_array(a), | 35 CodeStubAssembler::Label is_smi(a), not_smi(a), is_typed_array(a), |
| 36 not_typed_array(a), is_shared(a), not_shared(a), is_float_or_clamped(a), | 36 not_typed_array(a), is_shared(a), not_shared(a), is_float_or_clamped(a), |
| 37 not_float_or_clamped(a), invalid(a); | 37 not_float_or_clamped(a), invalid(a); |
| 38 | 38 |
| 39 // Fail if it is not a heap object. | 39 // Fail if it is not a heap object. |
| 40 a->Branch(a->TaggedIsSmi(tagged), &is_smi, ¬_smi); | 40 a->Branch(a->TaggedIsSmi(tagged), &is_smi, ¬_smi); |
| 41 a->Bind(&is_smi); | 41 a->Bind(&is_smi); |
| 42 a->Goto(&invalid); | 42 a->Goto(&invalid); |
| 43 | 43 |
| 44 // Fail if the array's instance type is not JSTypedArray. | 44 // Fail if the array's instance type is not JSTypedArray. |
| (...skipping 43 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 88 Node* byte_offset = a->ChangeUint32ToWord(a->TruncateTaggedToWord32( | 88 Node* byte_offset = a->ChangeUint32ToWord(a->TruncateTaggedToWord32( |
| 89 context, | 89 context, |
| 90 a->LoadObjectField(tagged, JSArrayBufferView::kByteOffsetOffset))); | 90 a->LoadObjectField(tagged, JSArrayBufferView::kByteOffsetOffset))); |
| 91 *out_backing_store = a->IntPtrAdd(backing_store, byte_offset); | 91 *out_backing_store = a->IntPtrAdd(backing_store, byte_offset); |
| 92 } | 92 } |
| 93 | 93 |
| 94 // https://tc39.github.io/ecmascript_sharedmem/shmem.html#Atomics.ValidateAtomic
Access | 94 // https://tc39.github.io/ecmascript_sharedmem/shmem.html#Atomics.ValidateAtomic
Access |
| 95 compiler::Node* ConvertTaggedAtomicIndexToWord32(CodeStubAssembler* a, | 95 compiler::Node* ConvertTaggedAtomicIndexToWord32(CodeStubAssembler* a, |
| 96 compiler::Node* tagged, | 96 compiler::Node* tagged, |
| 97 compiler::Node* context) { | 97 compiler::Node* context) { |
| 98 using compiler::Node; | 98 using namespace compiler; |
| 99 CodeStubAssembler::Variable var_result(a, MachineRepresentation::kWord32); | 99 CodeStubAssembler::Variable var_result(a, MachineRepresentation::kWord32); |
| 100 | 100 |
| 101 Callable to_number = CodeFactory::ToNumber(a->isolate()); | 101 Callable to_number = CodeFactory::ToNumber(a->isolate()); |
| 102 Node* number_index = a->CallStub(to_number, context, tagged); | 102 Node* number_index = a->CallStub(to_number, context, tagged); |
| 103 CodeStubAssembler::Label done(a, &var_result); | 103 CodeStubAssembler::Label done(a, &var_result); |
| 104 | 104 |
| 105 CodeStubAssembler::Label if_numberissmi(a), if_numberisnotsmi(a); | 105 CodeStubAssembler::Label if_numberissmi(a), if_numberisnotsmi(a); |
| 106 a->Branch(a->TaggedIsSmi(number_index), &if_numberissmi, &if_numberisnotsmi); | 106 a->Branch(a->TaggedIsSmi(number_index), &if_numberissmi, &if_numberisnotsmi); |
| 107 | 107 |
| 108 a->Bind(&if_numberissmi); | 108 a->Bind(&if_numberissmi); |
| (...skipping 23 matching lines...) Expand all Loading... |
| 132 a->CallRuntime(Runtime::kThrowInvalidAtomicAccessIndexError, context)); | 132 a->CallRuntime(Runtime::kThrowInvalidAtomicAccessIndexError, context)); |
| 133 } | 133 } |
| 134 | 134 |
| 135 a->Bind(&done); | 135 a->Bind(&done); |
| 136 return var_result.value(); | 136 return var_result.value(); |
| 137 } | 137 } |
| 138 | 138 |
| 139 void ValidateAtomicIndex(CodeStubAssembler* a, compiler::Node* index_word, | 139 void ValidateAtomicIndex(CodeStubAssembler* a, compiler::Node* index_word, |
| 140 compiler::Node* array_length_word, | 140 compiler::Node* array_length_word, |
| 141 compiler::Node* context) { | 141 compiler::Node* context) { |
| 142 using compiler::Node; | 142 using namespace compiler; |
| 143 // Check if the index is in bounds. If not, throw RangeError. | 143 // Check if the index is in bounds. If not, throw RangeError. |
| 144 CodeStubAssembler::Label if_inbounds(a), if_notinbounds(a); | 144 CodeStubAssembler::Label if_inbounds(a), if_notinbounds(a); |
| 145 // TODO(jkummerow): Use unsigned comparison instead of "i<0 || i>length". | 145 // TODO(jkummerow): Use unsigned comparison instead of "i<0 || i>length". |
| 146 a->Branch( | 146 a->Branch( |
| 147 a->WordOr(a->Int32LessThan(index_word, a->Int32Constant(0)), | 147 a->WordOr(a->Int32LessThan(index_word, a->Int32Constant(0)), |
| 148 a->Int32GreaterThanOrEqual(index_word, array_length_word)), | 148 a->Int32GreaterThanOrEqual(index_word, array_length_word)), |
| 149 &if_notinbounds, &if_inbounds); | 149 &if_notinbounds, &if_inbounds); |
| 150 a->Bind(&if_notinbounds); | 150 a->Bind(&if_notinbounds); |
| 151 a->Return( | 151 a->Return( |
| 152 a->CallRuntime(Runtime::kThrowInvalidAtomicAccessIndexError, context)); | 152 a->CallRuntime(Runtime::kThrowInvalidAtomicAccessIndexError, context)); |
| 153 a->Bind(&if_inbounds); | 153 a->Bind(&if_inbounds); |
| 154 } | 154 } |
| 155 | 155 |
| 156 } // anonymous namespace | 156 } // anonymous namespace |
| 157 | 157 |
| 158 void Builtins::Generate_AtomicsLoad(compiler::CodeAssemblerState* state) { | 158 void Builtins::Generate_AtomicsLoad(CodeStubAssembler* a) { |
| 159 using compiler::Node; | 159 using namespace compiler; |
| 160 CodeStubAssembler a(state); | 160 Node* array = a->Parameter(1); |
| 161 Node* array = a.Parameter(1); | 161 Node* index = a->Parameter(2); |
| 162 Node* index = a.Parameter(2); | 162 Node* context = a->Parameter(3 + 2); |
| 163 Node* context = a.Parameter(3 + 2); | |
| 164 | 163 |
| 165 Node* instance_type; | 164 Node* instance_type; |
| 166 Node* backing_store; | 165 Node* backing_store; |
| 167 ValidateSharedTypedArray(&a, array, context, &instance_type, &backing_store); | 166 ValidateSharedTypedArray(a, array, context, &instance_type, &backing_store); |
| 168 | 167 |
| 169 Node* index_word32 = ConvertTaggedAtomicIndexToWord32(&a, index, context); | 168 Node* index_word32 = ConvertTaggedAtomicIndexToWord32(a, index, context); |
| 170 Node* array_length_word32 = a.TruncateTaggedToWord32( | 169 Node* array_length_word32 = a->TruncateTaggedToWord32( |
| 171 context, a.LoadObjectField(array, JSTypedArray::kLengthOffset)); | 170 context, a->LoadObjectField(array, JSTypedArray::kLengthOffset)); |
| 172 ValidateAtomicIndex(&a, index_word32, array_length_word32, context); | 171 ValidateAtomicIndex(a, index_word32, array_length_word32, context); |
| 173 Node* index_word = a.ChangeUint32ToWord(index_word32); | 172 Node* index_word = a->ChangeUint32ToWord(index_word32); |
| 174 | 173 |
| 175 CodeStubAssembler::Label i8(&a), u8(&a), i16(&a), u16(&a), i32(&a), u32(&a), | 174 CodeStubAssembler::Label i8(a), u8(a), i16(a), u16(a), i32(a), u32(a), |
| 176 other(&a); | 175 other(a); |
| 177 int32_t case_values[] = { | 176 int32_t case_values[] = { |
| 178 FIXED_INT8_ARRAY_TYPE, FIXED_UINT8_ARRAY_TYPE, FIXED_INT16_ARRAY_TYPE, | 177 FIXED_INT8_ARRAY_TYPE, FIXED_UINT8_ARRAY_TYPE, FIXED_INT16_ARRAY_TYPE, |
| 179 FIXED_UINT16_ARRAY_TYPE, FIXED_INT32_ARRAY_TYPE, FIXED_UINT32_ARRAY_TYPE, | 178 FIXED_UINT16_ARRAY_TYPE, FIXED_INT32_ARRAY_TYPE, FIXED_UINT32_ARRAY_TYPE, |
| 180 }; | 179 }; |
| 181 CodeStubAssembler::Label* case_labels[] = { | 180 CodeStubAssembler::Label* case_labels[] = { |
| 182 &i8, &u8, &i16, &u16, &i32, &u32, | 181 &i8, &u8, &i16, &u16, &i32, &u32, |
| 183 }; | 182 }; |
| 184 a.Switch(instance_type, &other, case_values, case_labels, | 183 a->Switch(instance_type, &other, case_values, case_labels, |
| 185 arraysize(case_labels)); | 184 arraysize(case_labels)); |
| 186 | 185 |
| 187 a.Bind(&i8); | 186 a->Bind(&i8); |
| 188 a.Return( | 187 a->Return( |
| 189 a.SmiTag(a.AtomicLoad(MachineType::Int8(), backing_store, index_word))); | 188 a->SmiTag(a->AtomicLoad(MachineType::Int8(), backing_store, index_word))); |
| 190 | 189 |
| 191 a.Bind(&u8); | 190 a->Bind(&u8); |
| 192 a.Return( | 191 a->Return(a->SmiTag( |
| 193 a.SmiTag(a.AtomicLoad(MachineType::Uint8(), backing_store, index_word))); | 192 a->AtomicLoad(MachineType::Uint8(), backing_store, index_word))); |
| 194 | 193 |
| 195 a.Bind(&i16); | 194 a->Bind(&i16); |
| 196 a.Return(a.SmiTag(a.AtomicLoad(MachineType::Int16(), backing_store, | 195 a->Return(a->SmiTag(a->AtomicLoad(MachineType::Int16(), backing_store, |
| 197 a.WordShl(index_word, 1)))); | 196 a->WordShl(index_word, 1)))); |
| 198 | 197 |
| 199 a.Bind(&u16); | 198 a->Bind(&u16); |
| 200 a.Return(a.SmiTag(a.AtomicLoad(MachineType::Uint16(), backing_store, | 199 a->Return(a->SmiTag(a->AtomicLoad(MachineType::Uint16(), backing_store, |
| 201 a.WordShl(index_word, 1)))); | 200 a->WordShl(index_word, 1)))); |
| 202 | 201 |
| 203 a.Bind(&i32); | 202 a->Bind(&i32); |
| 204 a.Return(a.ChangeInt32ToTagged(a.AtomicLoad( | 203 a->Return(a->ChangeInt32ToTagged(a->AtomicLoad( |
| 205 MachineType::Int32(), backing_store, a.WordShl(index_word, 2)))); | 204 MachineType::Int32(), backing_store, a->WordShl(index_word, 2)))); |
| 206 | 205 |
| 207 a.Bind(&u32); | 206 a->Bind(&u32); |
| 208 a.Return(a.ChangeUint32ToTagged(a.AtomicLoad( | 207 a->Return(a->ChangeUint32ToTagged(a->AtomicLoad( |
| 209 MachineType::Uint32(), backing_store, a.WordShl(index_word, 2)))); | 208 MachineType::Uint32(), backing_store, a->WordShl(index_word, 2)))); |
| 210 | 209 |
| 211 // This shouldn't happen, we've already validated the type. | 210 // This shouldn't happen, we've already validated the type. |
| 212 a.Bind(&other); | 211 a->Bind(&other); |
| 213 a.Return(a.Int32Constant(0)); | 212 a->Return(a->Int32Constant(0)); |
| 214 } | 213 } |
| 215 | 214 |
| 216 void Builtins::Generate_AtomicsStore(compiler::CodeAssemblerState* state) { | 215 void Builtins::Generate_AtomicsStore(CodeStubAssembler* a) { |
| 217 using compiler::Node; | 216 using namespace compiler; |
| 218 CodeStubAssembler a(state); | 217 Node* array = a->Parameter(1); |
| 219 Node* array = a.Parameter(1); | 218 Node* index = a->Parameter(2); |
| 220 Node* index = a.Parameter(2); | 219 Node* value = a->Parameter(3); |
| 221 Node* value = a.Parameter(3); | 220 Node* context = a->Parameter(4 + 2); |
| 222 Node* context = a.Parameter(4 + 2); | |
| 223 | 221 |
| 224 Node* instance_type; | 222 Node* instance_type; |
| 225 Node* backing_store; | 223 Node* backing_store; |
| 226 ValidateSharedTypedArray(&a, array, context, &instance_type, &backing_store); | 224 ValidateSharedTypedArray(a, array, context, &instance_type, &backing_store); |
| 227 | 225 |
| 228 Node* index_word32 = ConvertTaggedAtomicIndexToWord32(&a, index, context); | 226 Node* index_word32 = ConvertTaggedAtomicIndexToWord32(a, index, context); |
| 229 Node* array_length_word32 = a.TruncateTaggedToWord32( | 227 Node* array_length_word32 = a->TruncateTaggedToWord32( |
| 230 context, a.LoadObjectField(array, JSTypedArray::kLengthOffset)); | 228 context, a->LoadObjectField(array, JSTypedArray::kLengthOffset)); |
| 231 ValidateAtomicIndex(&a, index_word32, array_length_word32, context); | 229 ValidateAtomicIndex(a, index_word32, array_length_word32, context); |
| 232 Node* index_word = a.ChangeUint32ToWord(index_word32); | 230 Node* index_word = a->ChangeUint32ToWord(index_word32); |
| 233 | 231 |
| 234 Node* value_integer = a.ToInteger(context, value); | 232 Node* value_integer = a->ToInteger(context, value); |
| 235 Node* value_word32 = a.TruncateTaggedToWord32(context, value_integer); | 233 Node* value_word32 = a->TruncateTaggedToWord32(context, value_integer); |
| 236 | 234 |
| 237 CodeStubAssembler::Label u8(&a), u16(&a), u32(&a), other(&a); | 235 CodeStubAssembler::Label u8(a), u16(a), u32(a), other(a); |
| 238 int32_t case_values[] = { | 236 int32_t case_values[] = { |
| 239 FIXED_INT8_ARRAY_TYPE, FIXED_UINT8_ARRAY_TYPE, FIXED_INT16_ARRAY_TYPE, | 237 FIXED_INT8_ARRAY_TYPE, FIXED_UINT8_ARRAY_TYPE, FIXED_INT16_ARRAY_TYPE, |
| 240 FIXED_UINT16_ARRAY_TYPE, FIXED_INT32_ARRAY_TYPE, FIXED_UINT32_ARRAY_TYPE, | 238 FIXED_UINT16_ARRAY_TYPE, FIXED_INT32_ARRAY_TYPE, FIXED_UINT32_ARRAY_TYPE, |
| 241 }; | 239 }; |
| 242 CodeStubAssembler::Label* case_labels[] = { | 240 CodeStubAssembler::Label* case_labels[] = { |
| 243 &u8, &u8, &u16, &u16, &u32, &u32, | 241 &u8, &u8, &u16, &u16, &u32, &u32, |
| 244 }; | 242 }; |
| 245 a.Switch(instance_type, &other, case_values, case_labels, | 243 a->Switch(instance_type, &other, case_values, case_labels, |
| 246 arraysize(case_labels)); | 244 arraysize(case_labels)); |
| 247 | 245 |
| 248 a.Bind(&u8); | 246 a->Bind(&u8); |
| 249 a.AtomicStore(MachineRepresentation::kWord8, backing_store, index_word, | 247 a->AtomicStore(MachineRepresentation::kWord8, backing_store, index_word, |
| 250 value_word32); | 248 value_word32); |
| 251 a.Return(value_integer); | 249 a->Return(value_integer); |
| 252 | 250 |
| 253 a.Bind(&u16); | 251 a->Bind(&u16); |
| 254 a.AtomicStore(MachineRepresentation::kWord16, backing_store, | 252 a->AtomicStore(MachineRepresentation::kWord16, backing_store, |
| 255 a.WordShl(index_word, 1), value_word32); | 253 a->WordShl(index_word, 1), value_word32); |
| 256 a.Return(value_integer); | 254 a->Return(value_integer); |
| 257 | 255 |
| 258 a.Bind(&u32); | 256 a->Bind(&u32); |
| 259 a.AtomicStore(MachineRepresentation::kWord32, backing_store, | 257 a->AtomicStore(MachineRepresentation::kWord32, backing_store, |
| 260 a.WordShl(index_word, 2), value_word32); | 258 a->WordShl(index_word, 2), value_word32); |
| 261 a.Return(value_integer); | 259 a->Return(value_integer); |
| 262 | 260 |
| 263 // This shouldn't happen, we've already validated the type. | 261 // This shouldn't happen, we've already validated the type. |
| 264 a.Bind(&other); | 262 a->Bind(&other); |
| 265 a.Return(a.Int32Constant(0)); | 263 a->Return(a->Int32Constant(0)); |
| 266 } | 264 } |
| 267 | 265 |
| 268 } // namespace internal | 266 } // namespace internal |
| 269 } // namespace v8 | 267 } // namespace v8 |
| OLD | NEW |