0fcdc08e60
The new feature 'declaring constructors' will change the syntax such that it is an error for a non-declaring formal parameter declaration to have the modifier `final`, and it is an error to use `var` as a replacement for a type annotation (but the type annotation can still be omitted entirely). This CL removes those modifiers such that the tests will not start failing on things that aren't errors any more. Change-Id: Ie6628f66eca696b28900759d8234b814033b4027 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/456740 Reviewed-by: Chloe Stefantsova <cstefantsova@google.com> Commit-Queue: Erik Ernst <eernst@google.com>
570 lines
15 KiB
Dart
570 lines
15 KiB
Dart
// 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.
|
|
|
|
// Dart test program to test arithmetic operations.
|
|
|
|
// VMOptions=--optimization-counter-threshold=10 --no-use-osr --no-background-compilation
|
|
// VMOptions=--use_slow_path
|
|
|
|
library arithmetic_test;
|
|
|
|
import "package:expect/expect.dart";
|
|
import 'dart:math';
|
|
|
|
class ArithmeticTest {
|
|
static bool exceptionCaughtParseInt(String s) {
|
|
try {
|
|
int.parse(s);
|
|
return false;
|
|
} on FormatException catch (e) {
|
|
return true;
|
|
}
|
|
}
|
|
|
|
static bool exceptionCaughtParseDouble(String s) {
|
|
try {
|
|
double.parse(s);
|
|
return false;
|
|
} on FormatException catch (e) {
|
|
return true;
|
|
}
|
|
}
|
|
|
|
static bool toIntThrowsUnsupportedError(String str) {
|
|
// No exception allowed for parse double.
|
|
double d = double.parse(str);
|
|
try {
|
|
var a = d.toInt();
|
|
return false;
|
|
} on UnsupportedError catch (e) {
|
|
return true;
|
|
}
|
|
}
|
|
|
|
static runOne() {
|
|
var a = 22;
|
|
var b = 4;
|
|
// Smi & smi.
|
|
Expect.equals(26, a + b);
|
|
Expect.equals(18, a - b);
|
|
Expect.equals(88, a * b);
|
|
Expect.equals(5, a ~/ b);
|
|
Expect.equals(5.5, a / b);
|
|
Expect.equals(2.0, 10 / 5);
|
|
Expect.equals(2, a % b);
|
|
Expect.equals(2, a.remainder(b));
|
|
// Smi corner cases.
|
|
for (int i = 0; i < 80; i++) {
|
|
a = -(1 << i);
|
|
b = -1;
|
|
Expect.equals(1 << i, a ~/ b);
|
|
}
|
|
a = 22;
|
|
var c = 4.0;
|
|
// Smi & double.
|
|
Expect.equals(26.0, a + c);
|
|
Expect.equals(18.0, a - c);
|
|
Expect.equals(88.0, a * c);
|
|
Expect.equals(5, a ~/ c);
|
|
Expect.equals(5.5, a / c);
|
|
Expect.equals(2.0, a % c);
|
|
Expect.equals(2.0, a.remainder(c));
|
|
var d = 22.0;
|
|
b = 4;
|
|
// Double & smi.
|
|
Expect.equals(26.0, d + b);
|
|
Expect.equals(18.0, d - b);
|
|
Expect.equals(88.0, d * b);
|
|
Expect.equals(5, d ~/ b);
|
|
Expect.equals(5.5, d / b);
|
|
Expect.equals(2.0, d % b);
|
|
Expect.equals(2.0, d.remainder(b));
|
|
d = 22.0;
|
|
c = 4.0;
|
|
// Double & double.
|
|
Expect.equals(26.0, d + c);
|
|
Expect.equals(18.0, d - c);
|
|
Expect.equals(88.0, d * c);
|
|
Expect.equals(5, d ~/ c);
|
|
Expect.equals(5.5, d / c);
|
|
Expect.equals(2.0, d % c);
|
|
Expect.equals(2.0, d.remainder(c));
|
|
|
|
// Special int operations.
|
|
Expect.equals(2, (2).floor());
|
|
Expect.equals(2, (2).ceil());
|
|
Expect.equals(2, (2).round());
|
|
Expect.equals(2, (2).truncate());
|
|
|
|
Expect.equals(-2, (-2).floor());
|
|
Expect.equals(-2, (-2).ceil());
|
|
Expect.equals(-2, (-2).round());
|
|
Expect.equals(-2, (-2).truncate());
|
|
|
|
// Note that this number fits into 53 bits of a double.
|
|
int big = 123456789012345;
|
|
|
|
Expect.equals(big, big.floor());
|
|
Expect.equals(big, big.ceil());
|
|
Expect.equals(big, big.round());
|
|
Expect.equals(big, big.truncate());
|
|
big = -big;
|
|
Expect.equals(big, big.floor());
|
|
Expect.equals(big, big.ceil());
|
|
Expect.equals(big, big.round());
|
|
Expect.equals(big, big.truncate());
|
|
|
|
// Test if double is contagious. The assignment will check the type.
|
|
{
|
|
double d = 1 + 1.0;
|
|
}
|
|
{
|
|
double d = 1.0 + 1;
|
|
}
|
|
{
|
|
double d = 1 * 1.0;
|
|
}
|
|
{
|
|
double d = 0 * 1.0;
|
|
}
|
|
{
|
|
double d = 1.0 * 0;
|
|
}
|
|
{
|
|
double d = 1 / 1.0;
|
|
}
|
|
{
|
|
double d = 1.0 / 0;
|
|
}
|
|
{
|
|
double d = 1 - 1.0;
|
|
}
|
|
{
|
|
double d = 1.0 - 1;
|
|
}
|
|
{
|
|
double d = big * 1.0;
|
|
}
|
|
{
|
|
double d = 1.0 * big;
|
|
}
|
|
|
|
// Constants.
|
|
final nan = 0.0 / 0.0;
|
|
final infinity = 1.0 / 0.0;
|
|
|
|
// Reset big to positive value.
|
|
big = 123456789012345;
|
|
// -- isNegative --.
|
|
// Smi.
|
|
Expect.equals(false, (0).isNegative);
|
|
Expect.equals(false, (1).isNegative);
|
|
Expect.equals(true, (-1).isNegative);
|
|
// Big.
|
|
Expect.equals(false, big.isNegative);
|
|
Expect.equals(true, (-big).isNegative);
|
|
// Double.
|
|
Expect.equals(true, (-0.0).isNegative);
|
|
Expect.equals(false, (0.0).isNegative);
|
|
Expect.equals(false, (2.0).isNegative);
|
|
Expect.equals(true, (-2.0).isNegative);
|
|
Expect.equals(false, nan.isNegative);
|
|
Expect.equals(false, infinity.isNegative);
|
|
Expect.equals(true, (-infinity).isNegative);
|
|
|
|
double negateDouble(double x) {
|
|
return -x;
|
|
}
|
|
|
|
Expect.isTrue(negateDouble(0.0).isNegative);
|
|
Expect.isFalse(negateDouble(-0.0).isNegative);
|
|
Expect.isTrue(negateDouble(3.5e3).isNegative);
|
|
Expect.isFalse(negateDouble(-3.5e3).isNegative);
|
|
|
|
// -- isInfinite --.
|
|
// Smi.
|
|
Expect.equals(false, (0).isInfinite);
|
|
Expect.equals(false, (1).isInfinite);
|
|
Expect.equals(false, (-1).isInfinite);
|
|
// Big.
|
|
Expect.equals(false, big.isInfinite);
|
|
Expect.equals(false, (-big).isInfinite);
|
|
// Double.
|
|
Expect.equals(false, (0.0).isInfinite);
|
|
Expect.equals(true, infinity.isInfinite);
|
|
Expect.equals(true, (-infinity).isInfinite);
|
|
Expect.equals(false, (12.0).isInfinite);
|
|
Expect.equals(false, (-12.0).isInfinite);
|
|
Expect.equals(false, nan.isInfinite);
|
|
|
|
// -- isNaN --.
|
|
// Smi.
|
|
Expect.equals(false, (0).isNaN);
|
|
Expect.equals(false, (1).isNaN);
|
|
Expect.equals(false, (-1).isNaN);
|
|
// Big.
|
|
Expect.equals(false, big.isNaN);
|
|
Expect.equals(false, (-big).isNaN);
|
|
// Double.
|
|
Expect.equals(true, nan.isNaN);
|
|
Expect.equals(false, (12.0).isNaN);
|
|
Expect.equals(false, infinity.isNaN);
|
|
|
|
// -- abs --.
|
|
// Smi.
|
|
Expect.equals(0, (0).abs());
|
|
Expect.equals(2, (2).abs());
|
|
Expect.equals(2, (-2).abs());
|
|
// Big.
|
|
Expect.equals(big, big.abs());
|
|
Expect.equals(big, (-big).abs());
|
|
// Double.
|
|
Expect.equals(false, (0.0).abs().isNegative);
|
|
Expect.equals(false, (-0.0).abs().isNegative);
|
|
Expect.equals(2.0, (2.0).abs());
|
|
Expect.equals(2.0, (-2.0).abs());
|
|
|
|
// -- ceil --.
|
|
// Smi.
|
|
Expect.equals(0, (0).ceil());
|
|
Expect.equals(1, (1).ceil());
|
|
Expect.equals(-1, (-1).ceil());
|
|
// Big.
|
|
Expect.equals(big, big.ceil());
|
|
Expect.equals(-big, (-big).ceil());
|
|
// Double.
|
|
Expect.equals(0, (0.0).ceil());
|
|
Expect.equals(false, (0.0).ceil().isNegative);
|
|
Expect.equals(1, (0.1).ceil());
|
|
Expect.equals(1, double.minPositive.ceil());
|
|
Expect.equals(1, (0.49999999999999994).ceil());
|
|
Expect.equals(0, (-0.0).ceil());
|
|
Expect.equals(0, (-0.3).ceil());
|
|
Expect.isTrue((-0.0).ceil() is int);
|
|
Expect.isTrue((-0.3).ceil() is int);
|
|
Expect.equals(0, (-0.49999999999999994).ceil());
|
|
Expect.equals(3, (2.1).ceil());
|
|
Expect.equals(-2, (-2.1).ceil());
|
|
|
|
// -- floor --.
|
|
// Smi.
|
|
Expect.equals(0, (0).floor());
|
|
Expect.equals(1, (1).floor());
|
|
Expect.equals(-1, (-1).floor());
|
|
// Big.
|
|
Expect.equals(big, big.floor());
|
|
Expect.equals(-big, (-big).floor());
|
|
// Double.
|
|
Expect.equals(0, (0.0).floor());
|
|
Expect.equals(0, (0.1).floor());
|
|
Expect.equals(0, (0.49999999999999994).floor());
|
|
Expect.equals(0, double.minPositive.floor());
|
|
Expect.isTrue((0.0).floor() is int);
|
|
Expect.isTrue((0.1).floor() is int);
|
|
Expect.equals(0, (-0.0).floor());
|
|
Expect.isTrue((-0.0).floor() is int);
|
|
Expect.equals(-1, (-0.1).floor());
|
|
Expect.equals(2, (2.1).floor());
|
|
Expect.equals(-3, (-2.1).floor());
|
|
Expect.equals(-1.0, (-0.49999999999999994).floor());
|
|
Expect.equals(-3.0, (-2.1).floor());
|
|
|
|
// -- truncate --.
|
|
// Smi.
|
|
Expect.equals(0, (0).truncate());
|
|
Expect.equals(1, (1).truncate());
|
|
Expect.equals(-1, (-1).truncate());
|
|
// Big.
|
|
Expect.equals(big, big.truncate());
|
|
Expect.equals(-big, (-big).truncate());
|
|
// Double.
|
|
Expect.equals(0, (0.0).truncate());
|
|
Expect.equals(0, (0.1).truncate());
|
|
Expect.isTrue((0.0).truncate() is int);
|
|
Expect.isTrue((0.1).truncate() is int);
|
|
Expect.equals(0, (-0.0).truncate());
|
|
Expect.equals(0, (-0.3).truncate());
|
|
Expect.isTrue((-0.0).truncate() is int);
|
|
Expect.isTrue((-0.3).truncate() is int);
|
|
Expect.equals(2, (2.1).truncate());
|
|
Expect.equals(-2, (-2.1).truncate());
|
|
|
|
int b1 = (1234567890123.0).truncate();
|
|
int b2 = (1234567890124.0).truncate();
|
|
Expect.equals(b2, b1 + 1.0);
|
|
|
|
// -- round --.
|
|
// Smi.
|
|
Expect.equals(0, (0).round());
|
|
Expect.equals(1, (1).round());
|
|
Expect.equals(-1, (-1).round());
|
|
// Big.
|
|
Expect.equals(big, big.round());
|
|
Expect.equals(-big, (-big).round());
|
|
// Double.
|
|
Expect.equals(3, (2.6).round());
|
|
Expect.equals(-3, (-2.6).round());
|
|
Expect.equals(0, (0.0).round());
|
|
Expect.equals(0, (0.1).round());
|
|
Expect.equals(3, (2.5).round());
|
|
Expect.equals(-3, (-2.5).round());
|
|
Expect.isFalse((0.0).round().isNegative);
|
|
Expect.isFalse((0.1).round().isNegative);
|
|
Expect.equals(0, (-0.0).round());
|
|
Expect.equals(0, (-0.3).round());
|
|
Expect.equals(2, (2.1).round());
|
|
Expect.equals(-2, (-2.1).round());
|
|
Expect.equals(1, (0.5).round());
|
|
Expect.equals(-1, (-0.5).round());
|
|
Expect.isTrue((-0.0).round() is int);
|
|
Expect.isTrue((-0.3).round() is int);
|
|
Expect.isTrue((-0.5).round() is int);
|
|
Expect.equals(2, (1.5).round());
|
|
Expect.equals(-2, (-1.5).round());
|
|
Expect.equals(1, (0.99).round());
|
|
|
|
// -- toInt --.
|
|
// Smi.
|
|
Expect.equals(0, (0).toInt());
|
|
Expect.equals(1, (1).toInt());
|
|
Expect.equals(-1, (-1).toInt());
|
|
// Type checks.
|
|
{
|
|
int i = (0).toInt();
|
|
}
|
|
{
|
|
int i = (1).toInt();
|
|
}
|
|
{
|
|
int i = (-1).toInt();
|
|
}
|
|
// Big.
|
|
Expect.equals(big, big.toInt());
|
|
Expect.equals(-big, (-big).toInt());
|
|
{
|
|
int i = big.toInt();
|
|
}
|
|
{
|
|
int i = (-big).toInt();
|
|
}
|
|
// Double.
|
|
Expect.equals(1234567890123, (1234567890123.0).toInt());
|
|
Expect.equals(-1234567890123, (-1234567890123.0).toInt());
|
|
{
|
|
int i = (1234567890123.0).toInt();
|
|
}
|
|
{
|
|
int i = (-1234567890123.0).toInt();
|
|
}
|
|
// 32bit Smi border cases.
|
|
Expect.equals(-1073741824, (-1073741824.0).toInt());
|
|
Expect.equals(-1073741825, (-1073741825.0).toInt());
|
|
Expect.equals(1073741823, (1073741823.0).toInt());
|
|
Expect.equals(1073741824, (1073741824.0).toInt());
|
|
|
|
{
|
|
int i = (-1073741824.0).toInt();
|
|
}
|
|
{
|
|
int i = (-1073741825.0).toInt();
|
|
}
|
|
{
|
|
int i = (1073741823.0).toInt();
|
|
}
|
|
{
|
|
int i = (1073741824.0).toInt();
|
|
}
|
|
|
|
// -- toDouble --.
|
|
// Smi.
|
|
Expect.equals(0.0, (0).toDouble());
|
|
Expect.equals(1.0, (1).toDouble());
|
|
Expect.equals(-1.0, (-1).toDouble());
|
|
// Type checks.
|
|
{
|
|
double d = (0).toDouble();
|
|
}
|
|
{
|
|
double d = (1).toDouble();
|
|
}
|
|
{
|
|
double d = (-1).toDouble();
|
|
}
|
|
// Big.
|
|
Expect.equals(big, big.toInt());
|
|
Expect.equals(-big, (-big).toInt());
|
|
{
|
|
int i = big.toInt();
|
|
}
|
|
{
|
|
int i = (-big).toInt();
|
|
}
|
|
|
|
// Math functions.
|
|
Expect.equals(2.0, sqrt(4.0));
|
|
Expect.approxEquals(1.0, sin(3.14159265 / 2.0));
|
|
Expect.approxEquals(-1.0, cos(3.14159265));
|
|
|
|
Expect.equals(12, int.parse("12"));
|
|
Expect.equals(-12, int.parse("-12"));
|
|
Expect.equals(9007199254740991, int.parse("9007199254740991"));
|
|
Expect.equals(-9007199254740991, int.parse("-9007199254740991"));
|
|
// Type checks.
|
|
{
|
|
int i = int.parse("12");
|
|
}
|
|
{
|
|
int i = int.parse("-12");
|
|
}
|
|
{
|
|
int i = int.parse("1234567890123456789");
|
|
}
|
|
{
|
|
int i = int.parse("-1234567890123456789");
|
|
}
|
|
{
|
|
int i = int.parse("9223372036854775807");
|
|
}
|
|
{
|
|
int i = int.parse("-9223372036854775808");
|
|
}
|
|
|
|
Expect.equals(1.2, double.parse("1.2"));
|
|
Expect.equals(-1.2, double.parse("-1.2"));
|
|
// Type checks.
|
|
{
|
|
double d = double.parse("1.2");
|
|
}
|
|
{
|
|
double d = double.parse("-1.2");
|
|
}
|
|
{
|
|
double d = double.parse("0");
|
|
}
|
|
|
|
// Random
|
|
{
|
|
Random rand = new Random();
|
|
double d = rand.nextDouble();
|
|
}
|
|
|
|
Expect.equals(false, exceptionCaughtParseInt("22"));
|
|
Expect.equals(true, exceptionCaughtParseInt("alpha"));
|
|
Expect.equals(true, exceptionCaughtParseInt("-alpha"));
|
|
Expect.equals(false, exceptionCaughtParseDouble("22.2"));
|
|
Expect.equals(true, exceptionCaughtParseDouble("alpha"));
|
|
Expect.equals(true, exceptionCaughtParseDouble("-alpha"));
|
|
|
|
Expect.equals(false, double.parse("1.2").isNaN);
|
|
Expect.equals(false, double.parse("1.2").isInfinite);
|
|
|
|
Expect.equals(true, double.parse("NaN").isNaN);
|
|
Expect.equals(true, double.parse("Infinity").isInfinite);
|
|
Expect.equals(true, double.parse("-Infinity").isInfinite);
|
|
|
|
Expect.equals(false, double.parse("NaN").isNegative);
|
|
Expect.equals(false, double.parse("Infinity").isNegative);
|
|
Expect.equals(true, double.parse("-Infinity").isNegative);
|
|
|
|
Expect.equals("NaN", double.parse("NaN").toString());
|
|
Expect.equals("Infinity", double.parse("Infinity").toString());
|
|
Expect.equals("-Infinity", double.parse("-Infinity").toString());
|
|
|
|
Expect.equals(false, toIntThrowsUnsupportedError("1.2"));
|
|
Expect.equals(true, toIntThrowsUnsupportedError("Infinity"));
|
|
Expect.equals(true, toIntThrowsUnsupportedError("-Infinity"));
|
|
Expect.equals(true, toIntThrowsUnsupportedError("NaN"));
|
|
|
|
// Min/max
|
|
Expect.equals(1, min(1, 12));
|
|
Expect.equals(12, max(1, 12));
|
|
Expect.equals(1.0, min(1.0, 12.0));
|
|
Expect.equals(12.0, max(1.0, 12.0));
|
|
Expect.equals(false, 1.0 < min(1.0, 12.0));
|
|
Expect.equals(true, 1.0 < max(1.0, 12.0));
|
|
|
|
// Hashcode
|
|
Expect.equals(false, (3.4).hashCode == (1.2).hashCode);
|
|
Expect.equals(true, (1.2).hashCode == (1.2).hashCode);
|
|
Expect.equals(false, (3).hashCode == (1).hashCode);
|
|
Expect.equals(true, (10).hashCode == (10).hashCode);
|
|
}
|
|
|
|
static int div(a, b) => a ~/ b;
|
|
|
|
static void testSmiDivDeopt() {
|
|
var a = -0x40000000;
|
|
var b = -1;
|
|
for (var i = 0; i < 10; i++) Expect.equals(0x40000000, div(a, b));
|
|
}
|
|
|
|
static int divMod(a, b) => a ~/ b + a % b;
|
|
|
|
static void testSmiDivModDeopt() {
|
|
var a = -0x40000000;
|
|
var b = -1;
|
|
for (var i = 0; i < 10; i++) Expect.equals(0x40000000, divMod(a, b));
|
|
}
|
|
|
|
static double sinCosSub(double a) => sin(a) - cos(a);
|
|
|
|
static double sinCosAddCos(double a) => sin(a) * cos(a) + cos(a);
|
|
|
|
static void testSinCos() {
|
|
var e = sin(1.234) - cos(1.234);
|
|
var f = sin(1.234) * cos(1.234) + cos(1.234);
|
|
|
|
for (var i = 0; i < 20; i++) {
|
|
Expect.approxEquals(e, sinCosSub(1.234));
|
|
Expect.approxEquals(f, sinCosAddCos(1.234));
|
|
}
|
|
Expect.approxEquals(1.0, sinCosSub(3.14159265));
|
|
Expect.approxEquals(1.0, sinCosSub(3.14159265 / 2.0));
|
|
}
|
|
|
|
// Test fix for issue 16592.
|
|
static void testSinCosNoUse() {
|
|
for (var i = 0; i < 20; i++) {
|
|
sin(i);
|
|
cos(i);
|
|
}
|
|
}
|
|
|
|
static mySqrt(x) => sqrt(x);
|
|
|
|
static testSqrtDeopt() {
|
|
for (var i = 0; i < 10; i++) mySqrt(4.0);
|
|
Expect.equals(2.0, mySqrt(4.0));
|
|
Expect.throws(() => mySqrt("abc"));
|
|
}
|
|
|
|
static self_equality(x) {
|
|
return x == x;
|
|
}
|
|
|
|
static testDoubleEquality() {
|
|
Expect.isFalse(self_equality(double.nan));
|
|
for (int i = 0; i < 20; i++) {
|
|
self_equality(3.0);
|
|
}
|
|
Expect.isFalse(self_equality(double.nan));
|
|
}
|
|
|
|
static testMain() {
|
|
for (int i = 0; i < 20; i++) {
|
|
runOne();
|
|
testSmiDivDeopt();
|
|
testSmiDivModDeopt();
|
|
testSqrtDeopt();
|
|
testDoubleEquality();
|
|
testSinCos();
|
|
testSinCosNoUse();
|
|
}
|
|
}
|
|
}
|
|
|
|
main() {
|
|
ArithmeticTest.testMain();
|
|
}
|