| // 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. |
| |
| // @dart = 2.7 |
| |
| import "package:expect/expect.dart"; |
| |
| @pragma('dart2js:noInline') |
| @pragma('dart2js:assumeDynamic') |
| confuse(x) => x; |
| |
| @pragma('dart2js:noInline') |
| asNum(x) { |
| var result = confuse(x); |
| if (result is num) return result; |
| throw new ArgumentError.value(x); |
| } |
| |
| @pragma('dart2js:noInline') |
| uint31(x) { |
| var result = confuse(x); |
| if (x is int) { |
| var masked = 0x7fffffff & x; // inferred uint31 type. |
| if (masked == x) return masked; |
| } |
| throw new ArgumentError('Not uint31: $x'); |
| } |
| |
| @pragma('dart2js:noInline') |
| uint32(x) { |
| var result = confuse(x); |
| if (x is int) { |
| var masked = 0xffffffff & x; // inferred uint32 type. |
| if (masked == x) return masked; |
| } |
| throw new ArgumentError('Not uint32: $x'); |
| } |
| |
| @pragma('dart2js:noInline') |
| int zero() { |
| return 0; |
| } |
| |
| @pragma('dart2js:noInline') |
| int one() { |
| return 1; |
| } |
| |
| @pragma('dart2js:noInline') |
| int minus1() { |
| return 0 - 1; |
| } |
| |
| @pragma('dart2js:noInline') |
| int minus2() { |
| return 0 - 2; |
| } |
| |
| @pragma('dart2js:noInline') |
| int two() { |
| return 2; |
| } |
| |
| @pragma('dart2js:noInline') |
| int three() { |
| return 3; |
| } |
| |
| @pragma('dart2js:noInline') |
| int five() { |
| return 5; |
| } |
| |
| @pragma('dart2js:noInline') |
| int minus5() { |
| return 0 - 5; |
| } |
| |
| @pragma('dart2js:noInline') |
| int ninetyNine() { |
| return 99; |
| } |
| |
| @pragma('dart2js:noInline') |
| int four99() { |
| return 499; |
| } |
| |
| @pragma('dart2js:noInline') |
| int four99times99() { |
| return 499 * 99; |
| } |
| |
| @pragma('dart2js:noInline') |
| int four99times99plus1() { |
| return 499 * 99 + 1; |
| } |
| |
| @pragma('dart2js:noInline') |
| void addTest() { |
| var m1 = 0 - 1; |
| Expect.equals(0, 0 + 0); |
| Expect.equals(0, confuse(0) + 0); |
| Expect.equals(0, asNum(0) + 0); |
| Expect.equals(0, uint31(0) + 0); |
| |
| Expect.equals(m1, m1 + 0); |
| Expect.equals(0, m1 + 1); |
| Expect.equals(499, 400 + 99); |
| Expect.equals(1, 0 + one()); |
| Expect.equals(1, one() + 0); |
| Expect.equals(2, one() + one()); |
| } |
| |
| @pragma('dart2js:noInline') |
| void subTest() { |
| var m1 = 0 - 1; |
| Expect.equals(0, 0 - 0); |
| Expect.equals(m1, 0 - 1); |
| Expect.equals(0, 1 - 1); |
| Expect.equals(400, 499 - 99); |
| Expect.equals(m1, 0 - one()); |
| Expect.equals(1, one() - 0); |
| Expect.equals(0, one() - one()); |
| } |
| |
| @pragma('dart2js:noInline') |
| void mulTest() { |
| var m1 = 0 - 1; |
| Expect.equals(0, 0 * 0); |
| Expect.equals(m1, m1 * 1); |
| Expect.equals(1, 1 * 1); |
| Expect.equals(49401, 499 * 99); |
| Expect.equals(499, 499 * one()); |
| Expect.equals(499, one() * 499); |
| Expect.equals(49401, four99() * 99); |
| } |
| |
| @pragma('dart2js:noInline') |
| void divTest() { |
| var m1 = 0.0 - 1.0; |
| var m2 = 0 - 2; |
| Expect.equals(1.0, 2 / 2); |
| Expect.equals(m1, m2 / 2); |
| Expect.equals(m1, minus2() / 2); |
| Expect.equals(0.5, 1 / 2); |
| Expect.equals(499.0, 49401 / 99); |
| |
| Expect.equals(1.0, two() / 2); |
| Expect.equals(1.0, 2 / two()); |
| Expect.equals(m1, m2 / two()); |
| Expect.equals(m1, minus2() / two()); |
| Expect.equals(m1, two() / m2); |
| Expect.equals(m1, two() / minus2()); |
| Expect.equals(0.5, 1 / two()); |
| Expect.equals(0.5, one() / 2); |
| Expect.equals(499.0, four99times99() / 99); |
| |
| Expect.equals(1.5, confuse(150) / confuse(100)); |
| } |
| |
| @pragma('dart2js:noInline') |
| void tdivTest() { |
| var m1 = 0 - 1; |
| var m2 = 0 - 2; |
| Expect.equals(1, 2 ~/ 2); |
| Expect.equals(m1, m2 ~/ 2); |
| Expect.equals(0, 1 ~/ 2); |
| Expect.equals(0, m1 ~/ 2); |
| Expect.equals(499, 49401 ~/ 99); |
| Expect.equals(499, 49402 ~/ 99); |
| |
| Expect.equals(1, two() ~/ 2); |
| Expect.equals(1, 2 ~/ two()); |
| Expect.equals(m1, m2 ~/ two()); |
| Expect.equals(m1, two() ~/ m2); |
| Expect.equals(0, 1 ~/ two()); |
| Expect.equals(0, one() ~/ 2); |
| Expect.equals(499, four99times99() ~/ 99); |
| Expect.equals(499, four99times99plus1() ~/ 99); |
| |
| Expect.equals(-33, -100 ~/ 3); |
| Expect.equals(-33, asNum(-100) ~/ 3); |
| Expect.equals(33, -100 ~/ -3); |
| Expect.equals(33, asNum(-100) ~/ -3); |
| |
| // Signed int32 boundary is involved in optimizations. |
| |
| Expect.equals(-0x80000000, -0x80000000 ~/ 1.0); |
| Expect.equals(-0x80000000, -0x80000000 ~/ 1.0000000000000001); |
| Expect.equals(-0x7fffffff, -0x80000000 ~/ 1.0000000000000002); |
| |
| Expect.equals(-0x80000000, asNum(-0x80000000) ~/ 1.0); |
| Expect.equals(-0x80000000, asNum(-0x80000000) ~/ 1.0000000000000001); |
| Expect.equals(-0x7fffffff, asNum(-0x80000000) ~/ 1.0000000000000002); |
| |
| Expect.equals(-0x80000000, asNum(0x80000000) ~/ -1.0); |
| Expect.equals(-0x80000000, asNum(0x80000000) ~/ -1.0000000000000001); |
| Expect.equals(-0x7fffffff, asNum(0x80000000) ~/ -1.0000000000000002); |
| |
| Expect.equals(0x7fffffff, 0x10000000 ~/ .12500000000000002); |
| Expect.equals(0x80000000, 0x10000000 ~/ .125); |
| Expect.equals(-0x7fffffff, 0x10000000 ~/ -.12500000000000002); |
| Expect.equals(-0x80000000, 0x10000000 ~/ -.125); |
| |
| Expect.equals(0x7fffffff, uint31(0x10000000) ~/ .12500000000000002); |
| Expect.equals(0x80000000, uint31(0x10000000) ~/ .125); |
| Expect.equals(-0x7fffffff, uint31(0x10000000) ~/ -.12500000000000002); |
| Expect.equals(-0x80000000, uint31(0x10000000) ~/ -.125); |
| |
| // These can be compiled to `(a / 2) | 0`. |
| Expect.equals(100, uint31(200) ~/ 2); |
| Expect.equals(100, uint32(200) ~/ 2); |
| |
| Expect.equals(100, asNum(200) ~/ 2); |
| Expect.equals(100, confuse(200) ~/ 2); |
| Expect.equals(-100, uint31(200) ~/ -2); |
| Expect.equals(-100, uint32(200) ~/ -2); |
| Expect.equals(-100, asNum(200) ~/ -2); |
| Expect.equals(-100, confuse(200) ~/ -2); |
| |
| // These can be compiled to `((a + b) / 2) | 0`. |
| Expect.equals(100, (uint31(100) + uint31(100)) ~/ 2); |
| Expect.equals(0x7fffffff, (uint31(0x7fffffff) + uint31(0x7fffffff)) ~/ 2); |
| |
| // NaN and Infinity results are errors. |
| Expect.throws(() => -1 ~/ 0); |
| Expect.throws(() => 1.5 ~/ 0); |
| Expect.throws(() => 1e200 ~/ 1e-200); |
| Expect.throws(() => -1e200 ~/ 1e-200); |
| Expect.throws(() => 1e200 ~/ -1e-200); |
| Expect.throws(() => -1e200 ~/ -1e-200); |
| Expect.throws(() => double.nan ~/ 2); |
| } |
| |
| @pragma('dart2js:noInline') |
| void modTest() { |
| var m5 = 0 - 5; |
| var m3 = 0 - 3; |
| Expect.equals(2, 5 % 3); |
| Expect.equals(0, 49401 % 99); |
| Expect.equals(1, 49402 % 99); |
| Expect.equals(1, m5 % 3); |
| Expect.equals(2, 5 % m3); |
| |
| Expect.equals(2, five() % 3); |
| Expect.equals(2, 5 % three()); |
| Expect.equals(0, four99times99() % 99); |
| Expect.equals(1, four99times99plus1() % 99); |
| Expect.equals(1, minus5() % 3); |
| Expect.equals(2, five() % m3); |
| } |
| |
| @pragma('dart2js:noInline') |
| void remainderTest() { |
| var m5 = 0 - 5; |
| Expect.equals(2, confuse(5).remainder(3)); |
| Expect.equals(0, confuse(49401).remainder(99)); |
| Expect.equals(1, confuse(49402).remainder(99)); |
| Expect.equals(-2, confuse(m5).remainder(3)); |
| Expect.equals(2, confuse(5).remainder(-3)); |
| |
| Expect.equals(2, uint32(5).remainder(3)); |
| Expect.equals(0, uint32(49401).remainder(99)); |
| Expect.equals(1, uint32(49402).remainder(99)); |
| Expect.equals(-2, (-5).remainder(uint32(3))); |
| Expect.equals(2, uint32(5).remainder(-3)); |
| |
| Expect.equals(2, 5.remainder(3)); |
| Expect.equals(0, 49401.remainder(99)); |
| Expect.equals(1, 49402.remainder(99)); |
| Expect.equals(-2, (-5).remainder(3)); |
| Expect.equals(2, 5.remainder(-3)); |
| |
| Expect.equals(2, five().remainder(3)); |
| Expect.equals(2, 5.remainder(three())); |
| Expect.equals(0, four99times99().remainder(99)); |
| Expect.equals(1, four99times99plus1().remainder(99)); |
| Expect.equals(-2, minus5().remainder(3)); |
| Expect.equals(2, five().remainder(-3)); |
| } |
| |
| @pragma('dart2js:noInline') |
| void shlTest() { |
| Expect.equals(2, 1 << 1); |
| Expect.equals(8, 1 << 3); |
| Expect.equals(6, 3 << 1); |
| |
| Expect.equals(10, five() << 1); |
| Expect.equals(24, 3 << three()); |
| |
| Expect.equals(10, confuse(5) << 1); |
| Expect.equals(24, 3 << confuse(3)); |
| |
| Expect.equals(10, uint31(5) << 1); |
| Expect.equals(24, 3 << uint31(3)); |
| |
| Expect.equals(10, asNum(5) << 1); |
| Expect.equals(24, 3 << asNum(3)); |
| } |
| |
| @pragma('dart2js:noInline') |
| void shrTest() { |
| Expect.equals(1, 2 >> 1); |
| Expect.equals(1, 8 >> 3); |
| Expect.equals(3, 6 >> 1); |
| |
| Expect.equals(6, ninetyNine() >> 4); |
| Expect.equals(6, confuse(99) >> 4); |
| Expect.equals(6, asNum(99) >> 4); |
| Expect.equals(6, uint31(99) >> 4); |
| |
| Expect.equals(6, 99 >> 4); |
| Expect.equals(6, 99 >> confuse(4)); |
| Expect.equals(6, 99 >> asNum(4)); |
| Expect.equals(6, 99 >> uint31(4)); |
| |
| Expect.equals(0, uint31(1) >> 31); |
| Expect.equals(0, asNum(0xffffffff) >> 32); |
| } |
| |
| @pragma('dart2js:noInline') |
| void andTest() { |
| Expect.equals(2, 10 & 3); |
| Expect.equals(7, 15 & 7); |
| Expect.equals(10, 10 & 10); |
| |
| Expect.equals(99, ninetyNine() & ninetyNine()); |
| Expect.equals(34, four99() & 42); |
| Expect.equals(3, minus5() & 7); |
| |
| Expect.equals(0, uint31(0x7ffffffe) & uint31(1)); |
| Expect.equals(0, asNum(0x7ffffffe) & asNum(1)); |
| } |
| |
| @pragma('dart2js:noInline') |
| void orTest() { |
| Expect.equals(11, 10 | 3); |
| Expect.equals(15, 15 | 7); |
| Expect.equals(10, 10 | 10); |
| |
| Expect.equals(99, ninetyNine() | ninetyNine()); |
| Expect.equals(507, four99() | 42); |
| |
| Expect.equals(11, asNum(10) | 3); |
| Expect.equals(15, asNum(15) | 7); |
| Expect.equals(10, asNum(10) | 10); |
| } |
| |
| @pragma('dart2js:noInline') |
| void xorTest() { |
| Expect.equals(9, 10 ^ 3); |
| Expect.equals(8, 15 ^ 7); |
| Expect.equals(0, 10 ^ 10); |
| |
| Expect.equals(0, ninetyNine() ^ ninetyNine()); |
| Expect.equals(473, four99() ^ 42); |
| Expect.equals(0, minus5() ^ -5); |
| Expect.equals(6, minus5() ^ -3); |
| } |
| |
| @pragma('dart2js:noInline') |
| void notTest() { |
| Expect.equals(4, ~minus5()); |
| } |
| |
| @pragma('dart2js:noInline') |
| void negateTest() { |
| Expect.equals(minus5(), -5); |
| Expect.equals(-5, -five()); |
| Expect.equals(5, -minus5()); |
| |
| Expect.equals(-3, -confuse(3)); |
| Expect.equals(-3, -asNum(3)); |
| Expect.equals(-3, -uint31(3)); |
| |
| Expect.equals(3, -confuse(-3)); |
| Expect.equals(3, -asNum(-3)); |
| } |
| |
| @pragma('dart2js:noInline') |
| void equalsTest() { |
| // Equality of normal numbers is already well tested with "Expect.equals". |
| Expect.equals(true, true == true); |
| Expect.equals(true, false == false); |
| Expect.equals(true, 0 == 0); |
| Expect.equals(true, null == null); |
| |
| Expect.equals(false, 1 == 2); |
| Expect.equals(false, 1 == "foo"); |
| Expect.equals(false, 1 == true); |
| Expect.equals(false, 1 == false); |
| Expect.equals(false, false == ""); |
| Expect.equals(false, false == 0); |
| Expect.equals(false, false == null); |
| Expect.equals(false, "" == false); |
| Expect.equals(false, 0 == false); |
| Expect.equals(false, null == false); |
| |
| var falseValue = false; |
| var trueValue = true; |
| var nullValue = null; |
| if (one() == 2) { |
| falseValue = true; |
| trueValue = false; |
| nullValue = 5; |
| } |
| |
| Expect.equals(true, true == trueValue); |
| Expect.equals(true, false == falseValue); |
| Expect.equals(true, 1 == one()); |
| Expect.equals(true, null == nullValue); |
| Expect.equals(false, one() == 2); |
| Expect.equals(false, one() == "foo"); |
| Expect.equals(false, one() == true); |
| Expect.equals(false, one() == false); |
| Expect.equals(false, falseValue == ""); |
| Expect.equals(false, falseValue == 0); |
| Expect.equals(false, falseValue == null); |
| Expect.equals(false, "" == falseValue); |
| Expect.equals(false, 0 == falseValue); |
| Expect.equals(false, null == falseValue); |
| } |
| |
| @pragma('dart2js:noInline') |
| void lessTest() { |
| var m1 = minus1(); |
| Expect.equals(true, 1 < 2); |
| Expect.equals(false, 2 < 1); |
| Expect.equals(false, 1 < 1); |
| |
| Expect.equals(true, 0 < 1); |
| Expect.equals(false, 1 < 0); |
| Expect.equals(false, 0 < 0); |
| |
| Expect.equals(true, one() < 2); |
| Expect.equals(false, 2 < one()); |
| Expect.equals(false, 1 < one()); |
| |
| Expect.equals(true, 0 < one()); |
| Expect.equals(false, one() < 0); |
| Expect.equals(false, 0 < 0); |
| |
| Expect.equals(true, m1 < 0); |
| Expect.equals(false, 0 < m1); |
| Expect.equals(false, m1 < m1); |
| |
| Expect.equals(true, minus1() < 0); |
| Expect.equals(false, 0 < minus1()); |
| Expect.equals(false, minus1() < minus1()); |
| } |
| |
| @pragma('dart2js:noInline') |
| void lessEqualTest() { |
| var m1 = minus1(); |
| Expect.equals(true, 1 <= 2); |
| Expect.equals(false, 2 <= 1); |
| Expect.equals(true, 1 <= 1); |
| |
| Expect.equals(true, 0 <= 1); |
| Expect.equals(false, 1 <= 0); |
| Expect.equals(true, 0 <= 0); |
| |
| Expect.equals(true, confuse(1) <= 2); |
| Expect.equals(false, confuse(2) <= 1); |
| Expect.equals(true, confuse(1) <= 1); |
| |
| Expect.equals(true, confuse(0) <= 1); |
| Expect.equals(false, confuse(1) <= 0); |
| Expect.equals(true, confuse(0) <= 0); |
| |
| Expect.equals(true, one() <= 2); |
| Expect.equals(false, 2 <= one()); |
| Expect.equals(true, 1 <= one()); |
| |
| Expect.equals(true, 0 <= one()); |
| Expect.equals(false, one() <= 0); |
| Expect.equals(true, 0 <= 0); |
| |
| Expect.equals(true, m1 <= 0); |
| Expect.equals(false, 0 <= m1); |
| Expect.equals(true, m1 <= m1); |
| |
| Expect.equals(true, minus1() <= 0); |
| Expect.equals(false, 0 <= minus1()); |
| Expect.equals(true, minus1() <= minus1()); |
| } |
| |
| @pragma('dart2js:noInline') |
| void greaterTest() { |
| var m1 = minus1(); |
| Expect.equals(false, 1 > 2); |
| Expect.equals(true, 2 > 1); |
| Expect.equals(false, 1 > 1); |
| |
| Expect.equals(false, 0 > 1); |
| Expect.equals(true, 1 > 0); |
| Expect.equals(false, 0 > 0); |
| |
| Expect.equals(false, one() > 2); |
| Expect.equals(true, 2 > one()); |
| Expect.equals(false, 1 > one()); |
| |
| Expect.equals(false, 0 > one()); |
| Expect.equals(true, one() > 0); |
| Expect.equals(false, 0 > 0); |
| |
| Expect.equals(false, m1 > 0); |
| Expect.equals(true, 0 > m1); |
| Expect.equals(false, m1 > m1); |
| |
| Expect.equals(false, minus1() > 0); |
| Expect.equals(true, 0 > minus1()); |
| Expect.equals(false, minus1() > minus1()); |
| } |
| |
| @pragma('dart2js:noInline') |
| void greaterEqualTest() { |
| var m1 = minus1(); |
| Expect.equals(false, 1 >= 2); |
| Expect.equals(true, 2 >= 1); |
| Expect.equals(true, 1 >= 1); |
| |
| Expect.equals(false, 0 >= 1); |
| Expect.equals(true, 1 >= 0); |
| Expect.equals(true, 0 >= 0); |
| |
| Expect.equals(false, one() >= 2); |
| Expect.equals(true, 2 >= one()); |
| Expect.equals(true, 1 >= one()); |
| |
| Expect.equals(false, 0 >= one()); |
| Expect.equals(true, one() >= 0); |
| Expect.equals(true, 0 >= 0); |
| |
| Expect.equals(false, m1 >= 0); |
| Expect.equals(true, 0 >= m1); |
| Expect.equals(true, m1 >= m1); |
| |
| Expect.equals(false, minus1() >= 0); |
| Expect.equals(true, 0 >= minus1()); |
| Expect.equals(true, minus1() >= minus1()); |
| } |
| |
| void main() { |
| addTest(); |
| subTest(); |
| mulTest(); |
| divTest(); |
| tdivTest(); |
| modTest(); |
| remainderTest(); |
| shlTest(); |
| shrTest(); |
| andTest(); |
| orTest(); |
| xorTest(); |
| notTest(); |
| negateTest(); |
| equalsTest(); |
| lessTest(); |
| lessEqualTest(); |
| greaterTest(); |
| greaterEqualTest(); |
| } |