// Copyright (c) 2014, 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.
// VMOptions=--max_deoptimization_counter_threshold=1000 --optimization-counter-threshold=10 --no-background-compilation
// VMOptions=--no-intrinsify

// Requirements=nnbd-strong

library int32x4_test;

import 'dart:typed_data';
import 'package:expect/expect.dart';

// TODO(eernst): Come pure null-safety, it can only be `TypeError`.
bool isTypeError(e) => e is TypeError || e is ArgumentError;

void testBadArguments() {
  // Check that the actual argument type error is detected and a dynamic
  // error is raised. This is not trivially covered by similar dynamic type
  // checks on actual parameters of user-written functions because `Int32x4`
  // is a built-in type.

  dynamic dynamicNull = null;
  Expect.throws(() => new Int32x4(dynamicNull, 2, 3, 4), isTypeError);
  Expect.throws(() => new Int32x4(1, dynamicNull, 3, 4), isTypeError);
  Expect.throws(() => new Int32x4(1, 2, dynamicNull, 4), isTypeError);
  Expect.throws(() => new Int32x4(1, 2, 3, dynamicNull), isTypeError);

  // Use a local variable typed as dynamic to avoid static warnings.
  dynamic str = "foo";
  Expect.throws(() => new Int32x4(str, 2, 3, 4), isTypeError);
  Expect.throws(() => new Int32x4(1, str, 3, 4), isTypeError);
  Expect.throws(() => new Int32x4(1, 2, str, 4), isTypeError);
  Expect.throws(() => new Int32x4(1, 2, 3, str), isTypeError);
  // Use a local variable typed as dynamic to avoid static warnings.
  dynamic d = 0.5;
  Expect.throws(() => new Int32x4(d, 2, 3, 4), isTypeError);
  Expect.throws(() => new Int32x4(1, d, 3, 4), isTypeError);
  Expect.throws(() => new Int32x4(1, 2, d, 4), isTypeError);
  Expect.throws(() => new Int32x4(1, 2, 3, d), isTypeError);
}

void testBigArguments() {
  var tests = [
    [0x8901234567890, 0x34567890],
    [0x89012A4567890, -1537836912],
    [0x80000000, -2147483648],
    [-0x80000000, -2147483648],
    [0x7fffffff, 2147483647],
    [-0x7fffffff, -2147483647],
  ];
  var int32x4;

  for (var test in tests) {
    var input = test[0];
    var expected = test[1];

    int32x4 = new Int32x4(input, 2, 3, 4);
    Expect.equals(expected, int32x4.x);
    Expect.equals(2, int32x4.y);
    Expect.equals(3, int32x4.z);
    Expect.equals(4, int32x4.w);

    int32x4 = new Int32x4(1, input, 3, 4);
    Expect.equals(1, int32x4.x);
    Expect.equals(expected, int32x4.y);
    Expect.equals(3, int32x4.z);
    Expect.equals(4, int32x4.w);

    int32x4 = new Int32x4(1, 2, input, 4);
    Expect.equals(1, int32x4.x);
    Expect.equals(2, int32x4.y);
    Expect.equals(expected, int32x4.z);
    Expect.equals(4, int32x4.w);

    int32x4 = new Int32x4(1, 2, 3, input);
    Expect.equals(1, int32x4.x);
    Expect.equals(2, int32x4.y);
    Expect.equals(3, int32x4.z);
    Expect.equals(expected, int32x4.w);
  }
}

main() {
  for (int i = 0; i < 20; i++) {
    testBigArguments();
    testBadArguments();
  }
}