tests/lib/typed_data/int32x4_weak_test.dart

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

library int32x4_test;

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

void testBadArguments() {
  // This test runs in weak checking mode, so `e as int` will complete
  // normally when `e` evaluates to the null object. This means that we do
  // not get the `TypeError` that we would have in strong checking mode, but
  // we happen to get an `ArgumentError` from the body of the constructor.

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

  bool isTypeError(e) => e is TypeError;

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