mirror of
https://github.com/dart-lang/sdk
synced 2024-09-18 20:31:21 +00:00
9451963493
If the intrinsic on int.op fails, then the intrinsic on _opFromInteger will also fail, since both handle the same range of values. Add intrinsic on int.% as previously only _moduloFromInteger was intrinsified. All the other ops already intrinsified the public method. Remove _bitAndFromSmi; this was once useful for handling BigInt & Smi, but this case no longer exists. TEST=ci Change-Id: Ie33b75126e56110db3caabb9bcb6e9198a3158bf Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/187160 Reviewed-by: Alexander Markov <alexmarkov@google.com> Commit-Queue: Ryan Macnak <rmacnak@google.com>
299 lines
10 KiB
C++
299 lines
10 KiB
C++
// Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file
|
|
// for details. All rights reserved. Use of this source code is governed by a
|
|
// BSD-style license that can be found in the LICENSE file.
|
|
|
|
#include "vm/bootstrap_natives.h"
|
|
|
|
#include "include/dart_api.h"
|
|
#include "vm/dart_api_impl.h"
|
|
#include "vm/dart_entry.h"
|
|
#include "vm/exceptions.h"
|
|
#include "vm/isolate.h"
|
|
#include "vm/native_entry.h"
|
|
#include "vm/object.h"
|
|
#include "vm/object_store.h"
|
|
#include "vm/symbols.h"
|
|
|
|
namespace dart {
|
|
|
|
// Smi natives.
|
|
|
|
// Returns false if integer is in wrong representation, e.g., as is a Mint
|
|
// when it could have been a Smi.
|
|
static bool CheckInteger(const Integer& i) {
|
|
if (i.IsMint()) {
|
|
const Mint& mint = Mint::Cast(i);
|
|
return !Smi::IsValid(mint.value());
|
|
}
|
|
return true;
|
|
}
|
|
|
|
DEFINE_NATIVE_ENTRY(Integer_bitAndFromInteger, 0, 2) {
|
|
const Integer& right =
|
|
Integer::CheckedHandle(zone, arguments->NativeArgAt(0));
|
|
GET_NON_NULL_NATIVE_ARGUMENT(Integer, left, arguments->NativeArgAt(1));
|
|
ASSERT(CheckInteger(right));
|
|
ASSERT(CheckInteger(left));
|
|
if (FLAG_trace_intrinsified_natives) {
|
|
OS::PrintErr("Integer_bitAndFromInteger %s & %s\n", right.ToCString(),
|
|
left.ToCString());
|
|
}
|
|
return left.BitOp(Token::kBIT_AND, right);
|
|
}
|
|
|
|
DEFINE_NATIVE_ENTRY(Integer_bitOrFromInteger, 0, 2) {
|
|
const Integer& right =
|
|
Integer::CheckedHandle(zone, arguments->NativeArgAt(0));
|
|
GET_NON_NULL_NATIVE_ARGUMENT(Integer, left, arguments->NativeArgAt(1));
|
|
ASSERT(CheckInteger(right));
|
|
ASSERT(CheckInteger(left));
|
|
if (FLAG_trace_intrinsified_natives) {
|
|
OS::PrintErr("Integer_bitOrFromInteger %s | %s\n", left.ToCString(),
|
|
right.ToCString());
|
|
}
|
|
return left.BitOp(Token::kBIT_OR, right);
|
|
}
|
|
|
|
DEFINE_NATIVE_ENTRY(Integer_bitXorFromInteger, 0, 2) {
|
|
const Integer& right =
|
|
Integer::CheckedHandle(zone, arguments->NativeArgAt(0));
|
|
GET_NON_NULL_NATIVE_ARGUMENT(Integer, left, arguments->NativeArgAt(1));
|
|
ASSERT(CheckInteger(right));
|
|
ASSERT(CheckInteger(left));
|
|
if (FLAG_trace_intrinsified_natives) {
|
|
OS::PrintErr("Integer_bitXorFromInteger %s ^ %s\n", left.ToCString(),
|
|
right.ToCString());
|
|
}
|
|
return left.BitOp(Token::kBIT_XOR, right);
|
|
}
|
|
|
|
DEFINE_NATIVE_ENTRY(Integer_addFromInteger, 0, 2) {
|
|
const Integer& right_int =
|
|
Integer::CheckedHandle(zone, arguments->NativeArgAt(0));
|
|
GET_NON_NULL_NATIVE_ARGUMENT(Integer, left_int, arguments->NativeArgAt(1));
|
|
ASSERT(CheckInteger(right_int));
|
|
ASSERT(CheckInteger(left_int));
|
|
if (FLAG_trace_intrinsified_natives) {
|
|
OS::PrintErr("Integer_addFromInteger %s + %s\n", left_int.ToCString(),
|
|
right_int.ToCString());
|
|
}
|
|
return left_int.ArithmeticOp(Token::kADD, right_int);
|
|
}
|
|
|
|
DEFINE_NATIVE_ENTRY(Integer_subFromInteger, 0, 2) {
|
|
const Integer& right_int =
|
|
Integer::CheckedHandle(zone, arguments->NativeArgAt(0));
|
|
GET_NON_NULL_NATIVE_ARGUMENT(Integer, left_int, arguments->NativeArgAt(1));
|
|
ASSERT(CheckInteger(right_int));
|
|
ASSERT(CheckInteger(left_int));
|
|
if (FLAG_trace_intrinsified_natives) {
|
|
OS::PrintErr("Integer_subFromInteger %s - %s\n", left_int.ToCString(),
|
|
right_int.ToCString());
|
|
}
|
|
return left_int.ArithmeticOp(Token::kSUB, right_int);
|
|
}
|
|
|
|
DEFINE_NATIVE_ENTRY(Integer_mulFromInteger, 0, 2) {
|
|
const Integer& right_int =
|
|
Integer::CheckedHandle(zone, arguments->NativeArgAt(0));
|
|
GET_NON_NULL_NATIVE_ARGUMENT(Integer, left_int, arguments->NativeArgAt(1));
|
|
ASSERT(CheckInteger(right_int));
|
|
ASSERT(CheckInteger(left_int));
|
|
if (FLAG_trace_intrinsified_natives) {
|
|
OS::PrintErr("Integer_mulFromInteger %s * %s\n", left_int.ToCString(),
|
|
right_int.ToCString());
|
|
}
|
|
return left_int.ArithmeticOp(Token::kMUL, right_int);
|
|
}
|
|
|
|
DEFINE_NATIVE_ENTRY(Integer_truncDivFromInteger, 0, 2) {
|
|
const Integer& right_int =
|
|
Integer::CheckedHandle(zone, arguments->NativeArgAt(0));
|
|
GET_NON_NULL_NATIVE_ARGUMENT(Integer, left_int, arguments->NativeArgAt(1));
|
|
ASSERT(CheckInteger(right_int));
|
|
ASSERT(CheckInteger(left_int));
|
|
ASSERT(!right_int.IsZero());
|
|
return left_int.ArithmeticOp(Token::kTRUNCDIV, right_int);
|
|
}
|
|
|
|
DEFINE_NATIVE_ENTRY(Integer_moduloFromInteger, 0, 2) {
|
|
const Integer& right_int =
|
|
Integer::CheckedHandle(zone, arguments->NativeArgAt(0));
|
|
GET_NON_NULL_NATIVE_ARGUMENT(Integer, left_int, arguments->NativeArgAt(1));
|
|
ASSERT(CheckInteger(right_int));
|
|
ASSERT(CheckInteger(left_int));
|
|
if (FLAG_trace_intrinsified_natives) {
|
|
OS::PrintErr("Integer_moduloFromInteger %s mod %s\n", left_int.ToCString(),
|
|
right_int.ToCString());
|
|
}
|
|
if (right_int.IsZero()) {
|
|
// Should have been caught before calling into runtime.
|
|
UNIMPLEMENTED();
|
|
}
|
|
return left_int.ArithmeticOp(Token::kMOD, right_int);
|
|
}
|
|
|
|
DEFINE_NATIVE_ENTRY(Integer_greaterThanFromInteger, 0, 2) {
|
|
const Integer& right =
|
|
Integer::CheckedHandle(zone, arguments->NativeArgAt(0));
|
|
GET_NON_NULL_NATIVE_ARGUMENT(Integer, left, arguments->NativeArgAt(1));
|
|
ASSERT(CheckInteger(right));
|
|
ASSERT(CheckInteger(left));
|
|
if (FLAG_trace_intrinsified_natives) {
|
|
OS::PrintErr("Integer_greaterThanFromInteger %s > %s\n", left.ToCString(),
|
|
right.ToCString());
|
|
}
|
|
return Bool::Get(left.CompareWith(right) == 1).ptr();
|
|
}
|
|
|
|
DEFINE_NATIVE_ENTRY(Integer_equalToInteger, 0, 2) {
|
|
const Integer& left = Integer::CheckedHandle(zone, arguments->NativeArgAt(0));
|
|
GET_NON_NULL_NATIVE_ARGUMENT(Integer, right, arguments->NativeArgAt(1));
|
|
ASSERT(CheckInteger(left));
|
|
ASSERT(CheckInteger(right));
|
|
if (FLAG_trace_intrinsified_natives) {
|
|
OS::PrintErr("Integer_equalToInteger %s == %s\n", left.ToCString(),
|
|
right.ToCString());
|
|
}
|
|
return Bool::Get(left.CompareWith(right) == 0).ptr();
|
|
}
|
|
|
|
static IntegerPtr ParseInteger(const String& value) {
|
|
// Used by both Integer_parse and Integer_fromEnvironment.
|
|
if (value.IsOneByteString()) {
|
|
// Quick conversion for unpadded integers in strings.
|
|
const intptr_t len = value.Length();
|
|
if (len > 0) {
|
|
const char* cstr = value.ToCString();
|
|
ASSERT(cstr != NULL);
|
|
char* p_end = NULL;
|
|
const int64_t int_value = strtoll(cstr, &p_end, 10);
|
|
if (p_end == (cstr + len)) {
|
|
if ((int_value != LLONG_MIN) && (int_value != LLONG_MAX)) {
|
|
return Integer::New(int_value);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
return Integer::New(value);
|
|
}
|
|
|
|
DEFINE_NATIVE_ENTRY(Integer_parse, 0, 1) {
|
|
GET_NON_NULL_NATIVE_ARGUMENT(String, value, arguments->NativeArgAt(0));
|
|
return ParseInteger(value);
|
|
}
|
|
|
|
DEFINE_NATIVE_ENTRY(Integer_fromEnvironment, 0, 3) {
|
|
GET_NON_NULL_NATIVE_ARGUMENT(String, name, arguments->NativeArgAt(1));
|
|
GET_NATIVE_ARGUMENT(Integer, default_value, arguments->NativeArgAt(2));
|
|
// Call the embedder to supply us with the environment.
|
|
const String& env_value =
|
|
String::Handle(Api::GetEnvironmentValue(thread, name));
|
|
if (!env_value.IsNull()) {
|
|
const Integer& result = Integer::Handle(ParseInteger(env_value));
|
|
if (!result.IsNull()) {
|
|
if (result.IsSmi()) {
|
|
return result.ptr();
|
|
}
|
|
return result.Canonicalize(thread);
|
|
}
|
|
}
|
|
return default_value.ptr();
|
|
}
|
|
|
|
static IntegerPtr ShiftOperationHelper(Token::Kind kind,
|
|
const Integer& value,
|
|
const Integer& amount) {
|
|
if (amount.AsInt64Value() < 0) {
|
|
Exceptions::ThrowArgumentError(amount);
|
|
}
|
|
return value.ShiftOp(kind, amount, Heap::kNew);
|
|
}
|
|
|
|
DEFINE_NATIVE_ENTRY(Integer_shrFromInteger, 0, 2) {
|
|
const Integer& amount =
|
|
Integer::CheckedHandle(zone, arguments->NativeArgAt(0));
|
|
GET_NON_NULL_NATIVE_ARGUMENT(Integer, value, arguments->NativeArgAt(1));
|
|
ASSERT(CheckInteger(amount));
|
|
ASSERT(CheckInteger(value));
|
|
if (FLAG_trace_intrinsified_natives) {
|
|
OS::PrintErr("Integer_shrFromInteger: %s >> %s\n", value.ToCString(),
|
|
amount.ToCString());
|
|
}
|
|
return ShiftOperationHelper(Token::kSHR, value, amount);
|
|
}
|
|
|
|
DEFINE_NATIVE_ENTRY(Integer_ushrFromInteger, 0, 2) {
|
|
const Integer& amount =
|
|
Integer::CheckedHandle(zone, arguments->NativeArgAt(0));
|
|
GET_NON_NULL_NATIVE_ARGUMENT(Integer, value, arguments->NativeArgAt(1));
|
|
ASSERT(CheckInteger(amount));
|
|
ASSERT(CheckInteger(value));
|
|
if (FLAG_trace_intrinsified_natives) {
|
|
OS::PrintErr("Integer_ushrFromInteger: %s >>> %s\n", value.ToCString(),
|
|
amount.ToCString());
|
|
}
|
|
return ShiftOperationHelper(Token::kUSHR, value, amount);
|
|
}
|
|
|
|
DEFINE_NATIVE_ENTRY(Integer_shlFromInteger, 0, 2) {
|
|
const Integer& amount =
|
|
Integer::CheckedHandle(zone, arguments->NativeArgAt(0));
|
|
GET_NON_NULL_NATIVE_ARGUMENT(Integer, value, arguments->NativeArgAt(1));
|
|
ASSERT(CheckInteger(amount));
|
|
ASSERT(CheckInteger(value));
|
|
if (FLAG_trace_intrinsified_natives) {
|
|
OS::PrintErr("Integer_shlFromInteger: %s << %s\n", value.ToCString(),
|
|
amount.ToCString());
|
|
}
|
|
return ShiftOperationHelper(Token::kSHL, value, amount);
|
|
}
|
|
|
|
DEFINE_NATIVE_ENTRY(Smi_bitNegate, 0, 1) {
|
|
const Smi& operand = Smi::CheckedHandle(zone, arguments->NativeArgAt(0));
|
|
if (FLAG_trace_intrinsified_natives) {
|
|
OS::PrintErr("Smi_bitNegate: %s\n", operand.ToCString());
|
|
}
|
|
intptr_t result = ~operand.Value();
|
|
ASSERT(Smi::IsValid(result));
|
|
return Smi::New(result);
|
|
}
|
|
|
|
DEFINE_NATIVE_ENTRY(Smi_bitLength, 0, 1) {
|
|
const Smi& operand = Smi::CheckedHandle(zone, arguments->NativeArgAt(0));
|
|
if (FLAG_trace_intrinsified_natives) {
|
|
OS::PrintErr("Smi_bitLength: %s\n", operand.ToCString());
|
|
}
|
|
int64_t value = operand.AsInt64Value();
|
|
intptr_t result = Utils::BitLength(value);
|
|
ASSERT(Smi::IsValid(result));
|
|
return Smi::New(result);
|
|
}
|
|
|
|
// Mint natives.
|
|
|
|
DEFINE_NATIVE_ENTRY(Mint_bitNegate, 0, 1) {
|
|
const Mint& operand = Mint::CheckedHandle(zone, arguments->NativeArgAt(0));
|
|
ASSERT(CheckInteger(operand));
|
|
if (FLAG_trace_intrinsified_natives) {
|
|
OS::PrintErr("Mint_bitNegate: %s\n", operand.ToCString());
|
|
}
|
|
int64_t result = ~operand.value();
|
|
return Integer::New(result);
|
|
}
|
|
|
|
DEFINE_NATIVE_ENTRY(Mint_bitLength, 0, 1) {
|
|
const Mint& operand = Mint::CheckedHandle(zone, arguments->NativeArgAt(0));
|
|
ASSERT(CheckInteger(operand));
|
|
if (FLAG_trace_intrinsified_natives) {
|
|
OS::PrintErr("Mint_bitLength: %s\n", operand.ToCString());
|
|
}
|
|
int64_t value = operand.AsInt64Value();
|
|
intptr_t result = Utils::BitLength(value);
|
|
ASSERT(Smi::IsValid(result));
|
|
return Smi::New(result);
|
|
}
|
|
|
|
} // namespace dart
|