1// Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file
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.
4
5#include "lib/integers.h"
6
7#include "vm/bootstrap_natives.h"
8
9#include <math.h> // NOLINT
10
11#include "vm/dart_entry.h"
12#include "vm/double_conversion.h"
13#include "vm/double_internals.h"
14#include "vm/exceptions.h"
15#include "vm/native_entry.h"
16#include "vm/object.h"
17#include "vm/runtime_entry.h" // DartModulo.
18#include "vm/symbols.h"
19
20namespace dart {
21
22DEFINE_NATIVE_ENTRY(Double_doubleFromInteger, 0, 2) {
23 ASSERT(
24 TypeArguments::CheckedHandle(zone, arguments->NativeArgAt(0)).IsNull());
25 GET_NON_NULL_NATIVE_ARGUMENT(Integer, value, arguments->NativeArgAt(1));
26 if (FLAG_trace_intrinsified_natives) {
27 OS::PrintErr(format: "Double_doubleFromInteger %s\n", value.ToCString());
28 }
29 return Double::New(d: value.AsDoubleValue());
30}
31
32DEFINE_NATIVE_ENTRY(Double_add, 0, 2) {
33 double left = Double::CheckedHandle(zone, ptr: arguments->NativeArgAt(index: 0)).value();
34 GET_NON_NULL_NATIVE_ARGUMENT(Double, right_object, arguments->NativeArgAt(1));
35 double right = right_object.value();
36 if (FLAG_trace_intrinsified_natives) {
37 OS::PrintErr(format: "Double_add %f + %f\n", left, right);
38 }
39 return Double::New(d: left + right);
40}
41
42DEFINE_NATIVE_ENTRY(Double_sub, 0, 2) {
43 double left = Double::CheckedHandle(zone, ptr: arguments->NativeArgAt(index: 0)).value();
44 GET_NON_NULL_NATIVE_ARGUMENT(Double, right_object, arguments->NativeArgAt(1));
45 double right = right_object.value();
46 if (FLAG_trace_intrinsified_natives) {
47 OS::PrintErr(format: "Double_sub %f - %f\n", left, right);
48 }
49 return Double::New(d: left - right);
50}
51
52DEFINE_NATIVE_ENTRY(Double_mul, 0, 2) {
53 double left = Double::CheckedHandle(zone, ptr: arguments->NativeArgAt(index: 0)).value();
54 GET_NON_NULL_NATIVE_ARGUMENT(Double, right_object, arguments->NativeArgAt(1));
55 double right = right_object.value();
56 if (FLAG_trace_intrinsified_natives) {
57 OS::PrintErr(format: "Double_mul %f * %f\n", left, right);
58 }
59 return Double::New(d: left * right);
60}
61
62DEFINE_NATIVE_ENTRY(Double_div, 0, 2) {
63 double left = Double::CheckedHandle(zone, ptr: arguments->NativeArgAt(index: 0)).value();
64 GET_NON_NULL_NATIVE_ARGUMENT(Double, right_object, arguments->NativeArgAt(1));
65 double right = right_object.value();
66 if (FLAG_trace_intrinsified_natives) {
67 OS::PrintErr(format: "Double_div %f / %f\n", left, right);
68 }
69 return Double::New(d: left / right);
70}
71
72DEFINE_NATIVE_ENTRY(Double_modulo, 0, 2) {
73 double left = Double::CheckedHandle(zone, ptr: arguments->NativeArgAt(index: 0)).value();
74 GET_NON_NULL_NATIVE_ARGUMENT(Double, right_object, arguments->NativeArgAt(1));
75 double right = right_object.value();
76 return Double::New(d: DartModulo(a: left, b: right));
77}
78
79DEFINE_NATIVE_ENTRY(Double_remainder, 0, 2) {
80 double left = Double::CheckedHandle(zone, ptr: arguments->NativeArgAt(index: 0)).value();
81 GET_NON_NULL_NATIVE_ARGUMENT(Double, right_object, arguments->NativeArgAt(1));
82 double right = right_object.value();
83 return Double::New(d: fmod_ieee(x: left, y: right));
84}
85
86DEFINE_NATIVE_ENTRY(Double_greaterThan, 0, 2) {
87 const Double& left = Double::CheckedHandle(zone, ptr: arguments->NativeArgAt(index: 0));
88 GET_NON_NULL_NATIVE_ARGUMENT(Double, right, arguments->NativeArgAt(1));
89 bool result = right.IsNull() ? false : (left.value() > right.value());
90 if (FLAG_trace_intrinsified_natives) {
91 OS::PrintErr(format: "Double_greaterThan %s > %s\n", left.ToCString(),
92 right.ToCString());
93 }
94 return Bool::Get(value: result).ptr();
95}
96
97DEFINE_NATIVE_ENTRY(Double_greaterThanFromInteger, 0, 2) {
98 const Double& right = Double::CheckedHandle(zone, ptr: arguments->NativeArgAt(index: 0));
99 GET_NON_NULL_NATIVE_ARGUMENT(Integer, left, arguments->NativeArgAt(1));
100 return Bool::Get(value: left.AsDoubleValue() > right.value()).ptr();
101}
102
103DEFINE_NATIVE_ENTRY(Double_equal, 0, 2) {
104 const Double& left = Double::CheckedHandle(zone, ptr: arguments->NativeArgAt(index: 0));
105 GET_NON_NULL_NATIVE_ARGUMENT(Double, right, arguments->NativeArgAt(1));
106 bool result = right.IsNull() ? false : (left.value() == right.value());
107 if (FLAG_trace_intrinsified_natives) {
108 OS::PrintErr(format: "Double_equal %s == %s\n", left.ToCString(),
109 right.ToCString());
110 }
111 return Bool::Get(value: result).ptr();
112}
113
114DEFINE_NATIVE_ENTRY(Double_equalToInteger, 0, 2) {
115 const Double& left = Double::CheckedHandle(zone, ptr: arguments->NativeArgAt(index: 0));
116 GET_NON_NULL_NATIVE_ARGUMENT(Integer, right, arguments->NativeArgAt(1));
117 return Bool::Get(value: left.value() == right.AsDoubleValue()).ptr();
118}
119
120DEFINE_NATIVE_ENTRY(Double_round, 0, 1) {
121 const Double& arg = Double::CheckedHandle(zone, ptr: arguments->NativeArgAt(index: 0));
122 return Double::New(d: round(x: arg.value()));
123}
124
125DEFINE_NATIVE_ENTRY(Double_floor, 0, 1) {
126 const Double& arg = Double::CheckedHandle(zone, ptr: arguments->NativeArgAt(index: 0));
127 return Double::New(d: floor(x: arg.value()));
128}
129
130DEFINE_NATIVE_ENTRY(Double_ceil, 0, 1) {
131 const Double& arg = Double::CheckedHandle(zone, ptr: arguments->NativeArgAt(index: 0));
132 return Double::New(d: ceil(x: arg.value()));
133}
134
135DEFINE_NATIVE_ENTRY(Double_truncate, 0, 1) {
136 const Double& arg = Double::CheckedHandle(zone, ptr: arguments->NativeArgAt(index: 0));
137 return Double::New(d: trunc(x: arg.value()));
138}
139
140#if defined(DART_HOST_OS_MACOS)
141// MAC OSX math library produces old style cast warning.
142#pragma GCC diagnostic ignored "-Wold-style-cast"
143#endif
144
145DEFINE_NATIVE_ENTRY(Double_toInt, 0, 1) {
146 const Double& arg = Double::CheckedHandle(zone, ptr: arguments->NativeArgAt(index: 0));
147 return DoubleToInteger(zone, val: arg.value());
148}
149
150DEFINE_NATIVE_ENTRY(Double_parse, 0, 3) {
151 GET_NON_NULL_NATIVE_ARGUMENT(String, value, arguments->NativeArgAt(0));
152 GET_NON_NULL_NATIVE_ARGUMENT(Integer, startValue, arguments->NativeArgAt(1));
153 GET_NON_NULL_NATIVE_ARGUMENT(Integer, endValue, arguments->NativeArgAt(2));
154
155 const intptr_t start = startValue.AsTruncatedUint32Value();
156 const intptr_t end = endValue.AsTruncatedUint32Value();
157 const intptr_t len = value.Length();
158
159 // Indices should be inside the string, and 0 <= start < end <= len.
160 if (0 <= start && start < end && end <= len) {
161 double double_value;
162 if (String::ParseDouble(str: value, start, end, result: &double_value)) {
163 return Double::New(d: double_value);
164 }
165 }
166 return Object::null();
167}
168
169DEFINE_NATIVE_ENTRY(Double_toString, 0, 1) {
170 const Number& number = Number::CheckedHandle(zone, ptr: arguments->NativeArgAt(index: 0));
171 return number.ToString(space: Heap::kNew);
172}
173
174DEFINE_NATIVE_ENTRY(Double_toStringAsFixed, 0, 2) {
175 // The boundaries are exclusive.
176 const double kLowerBoundary = -1e21;
177 const double kUpperBoundary = 1e21;
178
179 const Double& arg = Double::CheckedHandle(zone, ptr: arguments->NativeArgAt(index: 0));
180 GET_NON_NULL_NATIVE_ARGUMENT(Smi, fraction_digits, arguments->NativeArgAt(1));
181 double d = arg.value();
182 intptr_t fraction_digits_value = fraction_digits.Value();
183 if (0 <= fraction_digits_value && fraction_digits_value <= 20 &&
184 kLowerBoundary < d && d < kUpperBoundary) {
185 return DoubleToStringAsFixed(d, fraction_digits: static_cast<int>(fraction_digits_value));
186 } else {
187 Exceptions::ThrowArgumentError(arg: String::Handle(
188 ptr: String::New(cstr: "Illegal arguments to double.toStringAsFixed")));
189 return Object::null();
190 }
191}
192
193DEFINE_NATIVE_ENTRY(Double_toStringAsExponential, 0, 2) {
194 const Double& arg = Double::CheckedHandle(zone, ptr: arguments->NativeArgAt(index: 0));
195 GET_NON_NULL_NATIVE_ARGUMENT(Smi, fraction_digits, arguments->NativeArgAt(1));
196 double d = arg.value();
197 intptr_t fraction_digits_value = fraction_digits.Value();
198 if (-1 <= fraction_digits_value && fraction_digits_value <= 20) {
199 return DoubleToStringAsExponential(d,
200 fraction_digits: static_cast<int>(fraction_digits_value));
201 } else {
202 Exceptions::ThrowArgumentError(arg: String::Handle(
203 ptr: String::New(cstr: "Illegal arguments to double.toStringAsExponential")));
204 return Object::null();
205 }
206}
207
208DEFINE_NATIVE_ENTRY(Double_toStringAsPrecision, 0, 2) {
209 const Double& arg = Double::CheckedHandle(zone, ptr: arguments->NativeArgAt(index: 0));
210 GET_NON_NULL_NATIVE_ARGUMENT(Smi, precision, arguments->NativeArgAt(1));
211 double d = arg.value();
212 intptr_t precision_value = precision.Value();
213 if (1 <= precision_value && precision_value <= 21) {
214 return DoubleToStringAsPrecision(d, precision: static_cast<int>(precision_value));
215 } else {
216 Exceptions::ThrowArgumentError(arg: String::Handle(
217 ptr: String::New(cstr: "Illegal arguments to double.toStringAsPrecision")));
218 return Object::null();
219 }
220}
221
222DEFINE_NATIVE_ENTRY(Double_getIsInfinite, 0, 1) {
223 const Double& arg = Double::CheckedHandle(zone, ptr: arguments->NativeArgAt(index: 0));
224 return Bool::Get(value: isinf(lcpp_x: arg.value())).ptr();
225}
226
227DEFINE_NATIVE_ENTRY(Double_getIsNaN, 0, 1) {
228 const Double& arg = Double::CheckedHandle(zone, ptr: arguments->NativeArgAt(index: 0));
229 return Bool::Get(value: isnan(lcpp_x: arg.value())).ptr();
230}
231
232DEFINE_NATIVE_ENTRY(Double_getIsNegative, 0, 1) {
233 const Double& arg = Double::CheckedHandle(zone, ptr: arguments->NativeArgAt(index: 0));
234 // Include negative zero, infinity.
235 double dval = arg.value();
236 return Bool::Get(value: signbit(lcpp_x: dval) && !isnan(lcpp_x: dval)).ptr();
237}
238
239DEFINE_NATIVE_ENTRY(Double_flipSignBit, 0, 1) {
240 const Double& arg = Double::CheckedHandle(zone, ptr: arguments->NativeArgAt(index: 0));
241 const double in_val = arg.value();
242 const int64_t bits = bit_cast<int64_t, double>(source: in_val) ^ kSignBitDouble;
243 return Double::New(d: bit_cast<double, int64_t>(source: bits));
244}
245
246// Add here only functions using/referring to old-style casts.
247
248} // namespace dart
249

source code of flutter_engine/third_party/dart/runtime/lib/double.cc