// 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.

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();
}