6195ea86bc
In the VM, factory constructors always had an extra "type arguments" parameter, even if class is not generic. Factory constructor bodies were using class type parameters instead of function type parameters. This results in extra code when calling non-generic factories which is slightly inefficient in terms of code size and performance. Also, it creates an additional complexity throughout the system as factories should be special cased in many places. This change removes artificial "type arguments" parameter, treating factory constructors basically as static methods. This matches kernel AST representation. TEST=ci Change-Id: I957583cb2ce9a3c408699880a04036e06b01dd31 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/501762 Reviewed-by: Slava Egorov <vegorov@google.com> Commit-Queue: Alexander Markov <alexmarkov@google.com> Reviewed-by: Ryan Macnak <rmacnak@google.com>
207 lines
7.6 KiB
C++
207 lines
7.6 KiB
C++
// Copyright (c) 2011, 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 "lib/integers.h"
|
|
|
|
#include "vm/bootstrap_natives.h"
|
|
|
|
#include <math.h> // NOLINT
|
|
|
|
#include "vm/dart_entry.h"
|
|
#include "vm/double_conversion.h"
|
|
#include "vm/double_internals.h"
|
|
#include "vm/exceptions.h"
|
|
#include "vm/native_entry.h"
|
|
#include "vm/object.h"
|
|
#include "vm/symbols.h"
|
|
|
|
namespace dart {
|
|
|
|
DEFINE_NATIVE_ENTRY(Double_doubleFromInteger, 0, 1) {
|
|
GET_NON_NULL_NATIVE_ARGUMENT(Integer, value, arguments->NativeArgAt(0));
|
|
if (FLAG_trace_intrinsified_natives) {
|
|
OS::PrintErr("Double_doubleFromInteger %s\n", value.ToCString());
|
|
}
|
|
return Double::New(value.ToDouble());
|
|
}
|
|
|
|
DEFINE_NATIVE_ENTRY(Double_add, 0, 2) {
|
|
double left = Double::CheckedHandle(zone, arguments->NativeArgAt(0)).value();
|
|
GET_NON_NULL_NATIVE_ARGUMENT(Double, right_object, arguments->NativeArgAt(1));
|
|
double right = right_object.value();
|
|
if (FLAG_trace_intrinsified_natives) {
|
|
OS::PrintErr("Double_add %f + %f\n", left, right);
|
|
}
|
|
return Double::New(left + right);
|
|
}
|
|
|
|
DEFINE_NATIVE_ENTRY(Double_sub, 0, 2) {
|
|
double left = Double::CheckedHandle(zone, arguments->NativeArgAt(0)).value();
|
|
GET_NON_NULL_NATIVE_ARGUMENT(Double, right_object, arguments->NativeArgAt(1));
|
|
double right = right_object.value();
|
|
if (FLAG_trace_intrinsified_natives) {
|
|
OS::PrintErr("Double_sub %f - %f\n", left, right);
|
|
}
|
|
return Double::New(left - right);
|
|
}
|
|
|
|
DEFINE_NATIVE_ENTRY(Double_mul, 0, 2) {
|
|
double left = Double::CheckedHandle(zone, arguments->NativeArgAt(0)).value();
|
|
GET_NON_NULL_NATIVE_ARGUMENT(Double, right_object, arguments->NativeArgAt(1));
|
|
double right = right_object.value();
|
|
if (FLAG_trace_intrinsified_natives) {
|
|
OS::PrintErr("Double_mul %f * %f\n", left, right);
|
|
}
|
|
return Double::New(left * right);
|
|
}
|
|
|
|
DEFINE_NATIVE_ENTRY(Double_div, 0, 2) {
|
|
double left = Double::CheckedHandle(zone, arguments->NativeArgAt(0)).value();
|
|
GET_NON_NULL_NATIVE_ARGUMENT(Double, right_object, arguments->NativeArgAt(1));
|
|
double right = right_object.value();
|
|
if (FLAG_trace_intrinsified_natives) {
|
|
OS::PrintErr("Double_div %f / %f\n", left, right);
|
|
}
|
|
return Double::New(Utils::DivideAllowZero(left, right));
|
|
}
|
|
|
|
DEFINE_NATIVE_ENTRY(Double_greaterThan, 0, 2) {
|
|
const Double& left = Double::CheckedHandle(zone, arguments->NativeArgAt(0));
|
|
GET_NON_NULL_NATIVE_ARGUMENT(Double, right, arguments->NativeArgAt(1));
|
|
bool result = right.IsNull() ? false : (left.value() > right.value());
|
|
if (FLAG_trace_intrinsified_natives) {
|
|
OS::PrintErr("Double_greaterThan %s > %s\n", left.ToCString(),
|
|
right.ToCString());
|
|
}
|
|
return Bool::Get(result).ptr();
|
|
}
|
|
|
|
DEFINE_NATIVE_ENTRY(Double_greaterThanFromInteger, 0, 2) {
|
|
const Double& right = Double::CheckedHandle(zone, arguments->NativeArgAt(0));
|
|
GET_NON_NULL_NATIVE_ARGUMENT(Integer, left, arguments->NativeArgAt(1));
|
|
return Bool::Get(left.ToDouble() > right.value()).ptr();
|
|
}
|
|
|
|
DEFINE_NATIVE_ENTRY(Double_equal, 0, 2) {
|
|
const Double& left = Double::CheckedHandle(zone, arguments->NativeArgAt(0));
|
|
GET_NON_NULL_NATIVE_ARGUMENT(Double, right, arguments->NativeArgAt(1));
|
|
bool result = right.IsNull() ? false : (left.value() == right.value());
|
|
if (FLAG_trace_intrinsified_natives) {
|
|
OS::PrintErr("Double_equal %s == %s\n", left.ToCString(),
|
|
right.ToCString());
|
|
}
|
|
return Bool::Get(result).ptr();
|
|
}
|
|
|
|
DEFINE_NATIVE_ENTRY(Double_equalToInteger, 0, 2) {
|
|
const Double& left = Double::CheckedHandle(zone, arguments->NativeArgAt(0));
|
|
GET_NON_NULL_NATIVE_ARGUMENT(Integer, right, arguments->NativeArgAt(1));
|
|
return Bool::Get(left.value() == right.ToDouble()).ptr();
|
|
}
|
|
|
|
#if defined(DART_HOST_OS_MACOS)
|
|
// MAC OSX math library produces old style cast warning.
|
|
#pragma GCC diagnostic ignored "-Wold-style-cast"
|
|
#endif
|
|
|
|
DEFINE_NATIVE_ENTRY(Double_parse, 0, 3) {
|
|
GET_NON_NULL_NATIVE_ARGUMENT(String, value, arguments->NativeArgAt(0));
|
|
GET_NON_NULL_NATIVE_ARGUMENT(Smi, startValue, arguments->NativeArgAt(1));
|
|
GET_NON_NULL_NATIVE_ARGUMENT(Smi, endValue, arguments->NativeArgAt(2));
|
|
|
|
const intptr_t start = startValue.Value();
|
|
const intptr_t end = endValue.Value();
|
|
const intptr_t len = value.Length();
|
|
|
|
// Indices should be inside the string, and 0 <= start < end <= len.
|
|
if (0 <= start && start < end && end <= len) {
|
|
double double_value;
|
|
if (String::ParseDouble(value, start, end, &double_value)) {
|
|
return Double::New(double_value);
|
|
}
|
|
}
|
|
return Object::null();
|
|
}
|
|
|
|
DEFINE_NATIVE_ENTRY(Double_toString, 0, 1) {
|
|
const Number& number = Number::CheckedHandle(zone, arguments->NativeArgAt(0));
|
|
return number.ToString(Heap::kNew);
|
|
}
|
|
|
|
DEFINE_NATIVE_ENTRY(Double_toStringAsFixed, 0, 2) {
|
|
// The boundaries are exclusive.
|
|
const double kLowerBoundary = -1e21;
|
|
const double kUpperBoundary = 1e21;
|
|
|
|
const Double& arg = Double::CheckedHandle(zone, arguments->NativeArgAt(0));
|
|
GET_NON_NULL_NATIVE_ARGUMENT(Smi, fraction_digits, arguments->NativeArgAt(1));
|
|
double d = arg.value();
|
|
intptr_t fraction_digits_value = fraction_digits.Value();
|
|
if (0 <= fraction_digits_value && fraction_digits_value <= 20 &&
|
|
kLowerBoundary < d && d < kUpperBoundary) {
|
|
return DoubleToStringAsFixed(d, static_cast<int>(fraction_digits_value));
|
|
} else {
|
|
Exceptions::ThrowArgumentError(String::Handle(
|
|
String::New("Illegal arguments to double.toStringAsFixed")));
|
|
return Object::null();
|
|
}
|
|
}
|
|
|
|
DEFINE_NATIVE_ENTRY(Double_toStringAsExponential, 0, 2) {
|
|
const Double& arg = Double::CheckedHandle(zone, arguments->NativeArgAt(0));
|
|
GET_NON_NULL_NATIVE_ARGUMENT(Smi, fraction_digits, arguments->NativeArgAt(1));
|
|
double d = arg.value();
|
|
intptr_t fraction_digits_value = fraction_digits.Value();
|
|
if (-1 <= fraction_digits_value && fraction_digits_value <= 20) {
|
|
return DoubleToStringAsExponential(d,
|
|
static_cast<int>(fraction_digits_value));
|
|
} else {
|
|
Exceptions::ThrowArgumentError(String::Handle(
|
|
String::New("Illegal arguments to double.toStringAsExponential")));
|
|
return Object::null();
|
|
}
|
|
}
|
|
|
|
DEFINE_NATIVE_ENTRY(Double_toStringAsPrecision, 0, 2) {
|
|
const Double& arg = Double::CheckedHandle(zone, arguments->NativeArgAt(0));
|
|
GET_NON_NULL_NATIVE_ARGUMENT(Smi, precision, arguments->NativeArgAt(1));
|
|
double d = arg.value();
|
|
intptr_t precision_value = precision.Value();
|
|
if (1 <= precision_value && precision_value <= 21) {
|
|
return DoubleToStringAsPrecision(d, static_cast<int>(precision_value));
|
|
} else {
|
|
Exceptions::ThrowArgumentError(String::Handle(
|
|
String::New("Illegal arguments to double.toStringAsPrecision")));
|
|
return Object::null();
|
|
}
|
|
}
|
|
|
|
DEFINE_NATIVE_ENTRY(Double_getIsInfinite, 0, 1) {
|
|
const Double& arg = Double::CheckedHandle(zone, arguments->NativeArgAt(0));
|
|
return Bool::Get(isinf(arg.value())).ptr();
|
|
}
|
|
|
|
DEFINE_NATIVE_ENTRY(Double_getIsNaN, 0, 1) {
|
|
const Double& arg = Double::CheckedHandle(zone, arguments->NativeArgAt(0));
|
|
return Bool::Get(isnan(arg.value())).ptr();
|
|
}
|
|
|
|
DEFINE_NATIVE_ENTRY(Double_getIsNegative, 0, 1) {
|
|
const Double& arg = Double::CheckedHandle(zone, arguments->NativeArgAt(0));
|
|
// Include negative zero, infinity.
|
|
double dval = arg.value();
|
|
return Bool::Get(signbit(dval) && !isnan(dval)).ptr();
|
|
}
|
|
|
|
DEFINE_NATIVE_ENTRY(Double_flipSignBit, 0, 1) {
|
|
const Double& arg = Double::CheckedHandle(zone, arguments->NativeArgAt(0));
|
|
const double in_val = arg.value();
|
|
const int64_t bits = bit_cast<int64_t, double>(in_val) ^ kSignBitDouble;
|
|
return Double::New(bit_cast<double, int64_t>(bits));
|
|
}
|
|
|
|
// Add here only functions using/referring to old-style casts.
|
|
|
|
} // namespace dart
|