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

// Testing integers with and without intrinsics.
// VMOptions=
// VMOptions=--no_intrinsify

library integer_arithmetic_test;

import "package:expect/expect.dart";

mulDivParsed(String a, String b, String product,
    {String? expected_quotient1, String? expected_quotient2}) {
  int int_a = int.parse(a);
  int int_b = int.parse(b);
  int int_product = int.parse(product);
  int computed_product = int_a * int_b;
  Expect.equals(int_product, computed_product);
  String str_product = computed_product >= 0
      ? "0x${computed_product.toRadixString(16)}"
      : "-0x${(-computed_product).toRadixString(16)}";
  Expect.equals(product.toLowerCase(), str_product);
  int computed_product2 = int_b * int_a;
  Expect.equals(int_product, computed_product2);
  String str_product2 = computed_product2 >= 0
      ? "0x${computed_product2.toRadixString(16)}"
      : "-0x${(-computed_product2).toRadixString(16)}";
  Expect.equals(product.toLowerCase(), str_product2);

  if (int_a != 0) {
    expected_quotient1 ??= b;
    int int_expected_quotient1 = int.parse(expected_quotient1);
    int computed_quotient1 = int_product ~/ int_a;
    Expect.equals(int_expected_quotient1, computed_quotient1);
    String str_quotient1 = computed_quotient1 >= 0
        ? "0x${computed_quotient1.toRadixString(16)}"
        : "-0x${(-computed_quotient1).toRadixString(16)}";
    Expect.equals(expected_quotient1.toLowerCase(), str_quotient1);
  }

  if (int_b != 0) {
    expected_quotient2 ??= a;
    int int_expected_quotient2 = int.parse(expected_quotient2);
    int computed_quotient2 = int_product ~/ int_b;
    Expect.equals(int_expected_quotient2, computed_quotient2);
    String str_quotient2 = computed_quotient2 >= 0
        ? "0x${computed_quotient2.toRadixString(16)}"
        : "-0x${(-computed_quotient2).toRadixString(16)}";
    Expect.equals(expected_quotient2.toLowerCase(), str_quotient2);
  }
}

testMultiplyDivide() {
  String zero = "0x0";
  String one = "0x1";
  String minus_one = "-0x1";

  mulDivParsed(zero, zero, zero);
  mulDivParsed(one, one, one);
  mulDivParsed(one, zero, zero);
  mulDivParsed(zero, one, zero);
  mulDivParsed(one, minus_one, minus_one);
  mulDivParsed(minus_one, minus_one, one);
  mulDivParsed("0x42", one, "0x42");
  mulDivParsed("0x42", "0x2", "0x84");
  mulDivParsed("0xFFFF", "0x2", "0x1FFFE");
  mulDivParsed("0x3", "0x5", "0xF");
  mulDivParsed("0xFFFFF", "0x5", "0x4FFFFB");
  mulDivParsed("0xFFFFFFF", "0x5", "0x4FFFFFFB");
  mulDivParsed("0xFFFFFFFF", "0x5", "0x4FFFFFFFB");
  mulDivParsed("0x7FFFFFFFFFFFFFFF", "0x5", "0x7FFFFFFFFFFFFFFB",
      expected_quotient1: zero, expected_quotient2: "0x1999999999999998");
  mulDivParsed("0x7FFFFFFFFFFFFFFF", "0x3039", "0x7FFFFFFFFFFFCFC7",
      expected_quotient1: zero, expected_quotient2: "0x2A783BE38C73D");
  mulDivParsed("0x10000001", "0x5", "0x50000005");
}

main() {
  testMultiplyDivide();
}