OLD | NEW |
1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, 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/bootstrap_natives.h" | 5 #include "vm/bootstrap_natives.h" |
6 | 6 |
7 #include "include/dart_api.h" | 7 #include "include/dart_api.h" |
8 #include "vm/dart_entry.h" | 8 #include "vm/dart_entry.h" |
9 #include "vm/dart_api_impl.h" | 9 #include "vm/dart_api_impl.h" |
10 #include "vm/exceptions.h" | 10 #include "vm/exceptions.h" |
(...skipping 233 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
244 if (result.IsSmi()) { | 244 if (result.IsSmi()) { |
245 return result.raw(); | 245 return result.raw(); |
246 } | 246 } |
247 return result.CheckAndCanonicalize(NULL); | 247 return result.CheckAndCanonicalize(NULL); |
248 } | 248 } |
249 } | 249 } |
250 return default_value.raw(); | 250 return default_value.raw(); |
251 } | 251 } |
252 | 252 |
253 | 253 |
254 // Passing true for 'silent' prevents throwing JavascriptIntegerOverflow. | |
255 static RawInteger* ShiftOperationHelper(Token::Kind kind, | 254 static RawInteger* ShiftOperationHelper(Token::Kind kind, |
256 const Integer& value, | 255 const Integer& value, |
257 const Smi& amount, | 256 const Smi& amount) { |
258 const bool silent = false) { | |
259 if (amount.Value() < 0) { | 257 if (amount.Value() < 0) { |
260 Exceptions::ThrowArgumentError(amount); | 258 Exceptions::ThrowArgumentError(amount); |
261 } | 259 } |
262 if (value.IsSmi()) { | 260 if (value.IsSmi()) { |
263 const Smi& smi_value = Smi::Cast(value); | 261 const Smi& smi_value = Smi::Cast(value); |
264 return smi_value.ShiftOp(kind, amount, Heap::kNew, silent); | 262 return smi_value.ShiftOp(kind, amount, Heap::kNew); |
265 } | 263 } |
266 if (value.IsMint()) { | 264 if (value.IsMint()) { |
267 const int64_t mint_value = value.AsInt64Value(); | 265 const int64_t mint_value = value.AsInt64Value(); |
268 const int count = Utils::HighestBit(mint_value); | 266 const int count = Utils::HighestBit(mint_value); |
269 intptr_t shift_count = amount.Value(); | 267 intptr_t shift_count = amount.Value(); |
270 if (kind == Token::kSHR) { | 268 if (kind == Token::kSHR) { |
271 shift_count = -shift_count; | 269 shift_count = -shift_count; |
272 } | 270 } |
273 if ((count + shift_count) < Mint::kBits) { | 271 if ((count + shift_count) < Mint::kBits) { |
274 switch (kind) { | 272 switch (kind) { |
275 case Token::kSHL: | 273 case Token::kSHL: |
276 return Integer::New(mint_value << shift_count, Heap::kNew, silent); | 274 return Integer::New(mint_value << shift_count, Heap::kNew); |
277 case Token::kSHR: | 275 case Token::kSHR: |
278 shift_count = | 276 shift_count = |
279 (-shift_count > Mint::kBits) ? Mint::kBits : -shift_count; | 277 (-shift_count > Mint::kBits) ? Mint::kBits : -shift_count; |
280 return Integer::New(mint_value >> shift_count, Heap::kNew, silent); | 278 return Integer::New(mint_value >> shift_count, Heap::kNew); |
281 default: | 279 default: |
282 UNIMPLEMENTED(); | 280 UNIMPLEMENTED(); |
283 } | 281 } |
284 } else { | 282 } else { |
285 // Overflow in shift, use Bigints | 283 // Overflow in shift, use Bigints |
286 return Integer::null(); | 284 return Integer::null(); |
287 } | 285 } |
288 } else { | 286 } else { |
289 ASSERT(value.IsBigint()); | 287 ASSERT(value.IsBigint()); |
290 } | 288 } |
291 return Integer::null(); | 289 return Integer::null(); |
292 } | 290 } |
293 | 291 |
294 | 292 |
295 DEFINE_NATIVE_ENTRY(Integer_leftShiftWithMask32, 3) { | 293 DEFINE_NATIVE_ENTRY(Integer_leftShiftWithMask32, 3) { |
296 const Integer& value = Integer::CheckedHandle(arguments->NativeArgAt(0)); | 294 const Integer& value = Integer::CheckedHandle(arguments->NativeArgAt(0)); |
297 GET_NON_NULL_NATIVE_ARGUMENT(Integer, shift_count, arguments->NativeArgAt(1)); | 295 GET_NON_NULL_NATIVE_ARGUMENT(Integer, shift_count, arguments->NativeArgAt(1)); |
298 GET_NON_NULL_NATIVE_ARGUMENT(Integer, mask, arguments->NativeArgAt(2)); | 296 GET_NON_NULL_NATIVE_ARGUMENT(Integer, mask, arguments->NativeArgAt(2)); |
299 ASSERT(CheckInteger(value)); | 297 ASSERT(CheckInteger(value)); |
300 ASSERT(CheckInteger(shift_count)); | 298 ASSERT(CheckInteger(shift_count)); |
301 ASSERT(CheckInteger(mask)); | 299 ASSERT(CheckInteger(mask)); |
302 if (!shift_count.IsSmi()) { | 300 if (!shift_count.IsSmi()) { |
303 // Shift count is too large.. | 301 // Shift count is too large.. |
304 const Instance& exception = | 302 const Instance& exception = |
305 Instance::Handle(isolate->object_store()->out_of_memory()); | 303 Instance::Handle(isolate->object_store()->out_of_memory()); |
306 Exceptions::Throw(thread, exception); | 304 Exceptions::Throw(thread, exception); |
307 } | 305 } |
308 const Smi& smi_shift_count = Smi::Cast(shift_count); | 306 const Smi& smi_shift_count = Smi::Cast(shift_count); |
309 const Integer& shift_result = Integer::Handle( | 307 const Integer& shift_result = Integer::Handle( |
310 ShiftOperationHelper(Token::kSHL, value, smi_shift_count, true)); | 308 ShiftOperationHelper(Token::kSHL, value, smi_shift_count)); |
311 const Integer& result = | 309 const Integer& result = |
312 Integer::Handle(shift_result.BitOp(Token::kBIT_AND, mask)); | 310 Integer::Handle(shift_result.BitOp(Token::kBIT_AND, mask)); |
313 return result.AsValidInteger(); | 311 return result.AsValidInteger(); |
314 } | 312 } |
315 | 313 |
316 | 314 |
317 DEFINE_NATIVE_ENTRY(Smi_shrFromInt, 2) { | 315 DEFINE_NATIVE_ENTRY(Smi_shrFromInt, 2) { |
318 const Smi& amount = Smi::CheckedHandle(arguments->NativeArgAt(0)); | 316 const Smi& amount = Smi::CheckedHandle(arguments->NativeArgAt(0)); |
319 GET_NON_NULL_NATIVE_ARGUMENT(Integer, value, arguments->NativeArgAt(1)); | 317 GET_NON_NULL_NATIVE_ARGUMENT(Integer, value, arguments->NativeArgAt(1)); |
320 ASSERT(CheckInteger(amount)); | 318 ASSERT(CheckInteger(amount)); |
(...skipping 105 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
426 DEFINE_NATIVE_ENTRY(Bigint_allocate, 4) { | 424 DEFINE_NATIVE_ENTRY(Bigint_allocate, 4) { |
427 // First arg is null type arguments, since class Bigint is not parameterized. | 425 // First arg is null type arguments, since class Bigint is not parameterized. |
428 const Bool& neg = Bool::CheckedHandle(arguments->NativeArgAt(1)); | 426 const Bool& neg = Bool::CheckedHandle(arguments->NativeArgAt(1)); |
429 const Smi& used = Smi::CheckedHandle(arguments->NativeArgAt(2)); | 427 const Smi& used = Smi::CheckedHandle(arguments->NativeArgAt(2)); |
430 const TypedData& digits = TypedData::CheckedHandle(arguments->NativeArgAt(3)); | 428 const TypedData& digits = TypedData::CheckedHandle(arguments->NativeArgAt(3)); |
431 ASSERT(!digits.IsNull()); | 429 ASSERT(!digits.IsNull()); |
432 return Bigint::New(neg.value(), used.Value(), digits); | 430 return Bigint::New(neg.value(), used.Value(), digits); |
433 } | 431 } |
434 | 432 |
435 } // namespace dart | 433 } // namespace dart |
OLD | NEW |