// Copyright (c) 2013, 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.

/// @assertion Int32x4.fromFloat32x4Bits(Float32x4 x)
/// Returns a bit-wise copy of x as a Int32x4.
/// @description Checks that lanes are converted correctly.
/// @author msyabro

import "dart:typed_data";
import "../../../Utils/expect.dart";

check(x, y, z, w, floatX, floatY, floatZ, floatW) {
  var floatObj = new Float32x4(floatX, floatY, floatZ, floatW);
  var res = new Int32x4.fromFloat32x4Bits(floatObj);

  Expect.equals(x.toUnsigned(32), res.x.toUnsigned(32));
  Expect.equals(y.toUnsigned(32), res.y.toUnsigned(32));
  Expect.equals(z.toUnsigned(32), res.z.toUnsigned(32));
  Expect.equals(w.toUnsigned(32), res.w.toUnsigned(32));
}

main() {
  check(0, 0, 0, 0, 0.0, 0.0, 0.0, 0.0);
  check(0x00ffffff, 0x10101010, 0x11111111, 0x00abcdef, 2.3509885615147286e-38,
      2.8411366687849113e-29, 1.1443742118159064e-28, 1.5777744896757237e-38);
  check(0xab31cf47, 0x31d4f7e0, 0x47f1e400, 0x31ffe4dd, -6.317068721416186e-13,
      6.198192181727791e-9, 1.23848e5, 7.4474955091829997e-9);
}