/* Copyright 2021 Mozilla Foundation
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

// ./test/core/relaxed-simd/relaxed_madd_nmadd.wast

// ./test/core/relaxed-simd/relaxed_madd_nmadd.wast:3
let $0 = instantiate(`(module
    (func (export "f32x4.relaxed_madd") (param v128 v128 v128) (result v128) (f32x4.relaxed_madd (local.get 0) (local.get 1) (local.get 2)))
    (func (export "f32x4.relaxed_nmadd") (param v128 v128 v128) (result v128) (f32x4.relaxed_nmadd (local.get 0) (local.get 1) (local.get 2)))
    (func (export "f64x2.relaxed_nmadd") (param v128 v128 v128) (result v128) (f64x2.relaxed_nmadd (local.get 0) (local.get 1) (local.get 2)))
    (func (export "f64x2.relaxed_madd") (param v128 v128 v128) (result v128) (f64x2.relaxed_madd (local.get 0) (local.get 1) (local.get 2)))

    (func (export "f32x4.relaxed_madd_cmp") (param v128 v128 v128) (result v128)
          (f32x4.eq
            (f32x4.relaxed_madd (local.get 0) (local.get 1) (local.get 2))
            (f32x4.relaxed_madd (local.get 0) (local.get 1) (local.get 2))))
    (func (export "f32x4.relaxed_nmadd_cmp") (param v128 v128 v128) (result v128)
          (f32x4.eq
            (f32x4.relaxed_nmadd (local.get 0) (local.get 1) (local.get 2))
            (f32x4.relaxed_nmadd (local.get 0) (local.get 1) (local.get 2))))
    (func (export "f64x2.relaxed_nmadd_cmp") (param v128 v128 v128) (result v128)
          (f64x2.eq
            (f64x2.relaxed_nmadd (local.get 0) (local.get 1) (local.get 2))
            (f64x2.relaxed_nmadd (local.get 0) (local.get 1) (local.get 2))))
    (func (export "f64x2.relaxed_madd_cmp") (param v128 v128 v128) (result v128)
          (f64x2.eq
            (f64x2.relaxed_madd (local.get 0) (local.get 1) (local.get 2))
            (f64x2.relaxed_madd (local.get 0) (local.get 1) (local.get 2))))
)`);

// ./test/core/relaxed-simd/relaxed_madd_nmadd.wast:33
assert_return(
  () => invoke($0, `f32x4.relaxed_madd`, [
    f32x4([
      340282350000000000000000000000000000000,
      340282350000000000000000000000000000000,
      340282350000000000000000000000000000000,
      340282350000000000000000000000000000000,
    ]),
    f32x4([2, 2, 2, 2]),
    f32x4([
      -340282350000000000000000000000000000000,
      -340282350000000000000000000000000000000,
      -340282350000000000000000000000000000000,
      -340282350000000000000000000000000000000,
    ]),
  ]),
  [
    either(
      new F32x4Pattern(
        value("f32", 340282350000000000000000000000000000000),
        value("f32", 340282350000000000000000000000000000000),
        value("f32", 340282350000000000000000000000000000000),
        value("f32", 340282350000000000000000000000000000000),
      ),
      new F32x4Pattern(
        value("f32", Infinity),
        value("f32", Infinity),
        value("f32", Infinity),
        value("f32", Infinity),
      ),
    ),
  ],
);

// ./test/core/relaxed-simd/relaxed_madd_nmadd.wast:49
assert_return(
  () => invoke($0, `f32x4.relaxed_madd`, [
    f32x4([1.0000002, 1.0000002, 1.0000002, 1.0000002]),
    f32x4([1.0000305, 1.0000305, 1.0000305, 1.0000305]),
    f32x4([-1.0000308, -1.0000308, -1.0000308, -1.0000308]),
  ]),
  [
    either(
      new F32x4Pattern(
        value("f32", 0.000000000007275958),
        value("f32", 0.000000000007275958),
        value("f32", 0.000000000007275958),
        value("f32", 0.000000000007275958),
      ),
      new F32x4Pattern(
        value("f32", 0),
        value("f32", 0),
        value("f32", 0),
        value("f32", 0),
      ),
    ),
  ],
);

// ./test/core/relaxed-simd/relaxed_madd_nmadd.wast:56
assert_return(
  () => invoke($0, `f32x4.relaxed_nmadd`, [
    f32x4([-1.0000002, -1.0000002, -1.0000002, -1.0000002]),
    f32x4([1.0000305, 1.0000305, 1.0000305, 1.0000305]),
    f32x4([-1.0000308, -1.0000308, -1.0000308, -1.0000308]),
  ]),
  [
    either(
      new F32x4Pattern(
        value("f32", 0.000000000007275958),
        value("f32", 0.000000000007275958),
        value("f32", 0.000000000007275958),
        value("f32", 0.000000000007275958),
      ),
      new F32x4Pattern(
        value("f32", 0),
        value("f32", 0),
        value("f32", 0),
        value("f32", 0),
      ),
    ),
  ],
);

// ./test/core/relaxed-simd/relaxed_madd_nmadd.wast:63
assert_return(
  () => invoke($0, `f32x4.relaxed_nmadd`, [
    f32x4([1.0000002, 1.0000002, 1.0000002, 1.0000002]),
    f32x4([-1.0000305, -1.0000305, -1.0000305, -1.0000305]),
    f32x4([-1.0000308, -1.0000308, -1.0000308, -1.0000308]),
  ]),
  [
    either(
      new F32x4Pattern(
        value("f32", 0.000000000007275958),
        value("f32", 0.000000000007275958),
        value("f32", 0.000000000007275958),
        value("f32", 0.000000000007275958),
      ),
      new F32x4Pattern(
        value("f32", 0),
        value("f32", 0),
        value("f32", 0),
        value("f32", 0),
      ),
    ),
  ],
);

// ./test/core/relaxed-simd/relaxed_madd_nmadd.wast:76
assert_return(
  () => invoke($0, `f64x2.relaxed_madd`, [
    f64x2([
      179769313486231570000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000,
      179769313486231570000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000,
    ]),
    f64x2([2, 2]),
    f64x2([
      -179769313486231570000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000,
      -179769313486231570000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000,
    ]),
  ]),
  [
    either(
      new F64x2Pattern(
        value("f64", 179769313486231570000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000),
        value("f64", 179769313486231570000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000),
      ),
      new F64x2Pattern(value("f64", Infinity), value("f64", Infinity)),
    ),
  ],
);

// ./test/core/relaxed-simd/relaxed_madd_nmadd.wast:92
assert_return(
  () => invoke($0, `f64x2.relaxed_madd`, [
    f64x2([1.0000000009313226, 1.0000000009313226]),
    f64x2([1.0000001192092896, 1.0000001192092896]),
    f64x2([-1.0000001201406121, -1.0000001201406121]),
  ]),
  [
    either(
      new F64x2Pattern(
        value("f64", 0.00000000000000011102230246251565),
        value("f64", 0.00000000000000011102230246251565),
      ),
      new F64x2Pattern(value("f64", 0), value("f64", 0)),
    ),
  ],
);

// ./test/core/relaxed-simd/relaxed_madd_nmadd.wast:99
assert_return(
  () => invoke($0, `f64x2.relaxed_nmadd`, [
    f64x2([-1.0000000009313226, -1.0000000009313226]),
    f64x2([1.0000001192092896, 1.0000001192092896]),
    f64x2([-1.0000001201406121, -1.0000001201406121]),
  ]),
  [
    either(
      new F64x2Pattern(
        value("f64", 0.00000000000000011102230246251565),
        value("f64", 0.00000000000000011102230246251565),
      ),
      new F64x2Pattern(value("f64", 0), value("f64", 0)),
    ),
  ],
);

// ./test/core/relaxed-simd/relaxed_madd_nmadd.wast:106
assert_return(
  () => invoke($0, `f64x2.relaxed_nmadd`, [
    f64x2([1.0000000009313226, 1.0000000009313226]),
    f64x2([-1.0000001192092896, -1.0000001192092896]),
    f64x2([-1.0000001201406121, -1.0000001201406121]),
  ]),
  [
    either(
      new F64x2Pattern(
        value("f64", 0.00000000000000011102230246251565),
        value("f64", 0.00000000000000011102230246251565),
      ),
      new F64x2Pattern(value("f64", 0), value("f64", 0)),
    ),
  ],
);

// ./test/core/relaxed-simd/relaxed_madd_nmadd.wast:120
assert_return(
  () => invoke($0, `f32x4.relaxed_madd_cmp`, [
    f32x4([
      340282350000000000000000000000000000000,
      340282350000000000000000000000000000000,
      340282350000000000000000000000000000000,
      340282350000000000000000000000000000000,
    ]),
    f32x4([2, 2, 2, 2]),
    f32x4([
      -340282350000000000000000000000000000000,
      -340282350000000000000000000000000000000,
      -340282350000000000000000000000000000000,
      -340282350000000000000000000000000000000,
    ]),
  ]),
  [i32x4([0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff])],
);

// ./test/core/relaxed-simd/relaxed_madd_nmadd.wast:135
assert_return(
  () => invoke($0, `f32x4.relaxed_madd_cmp`, [
    f32x4([1.0000002, 1.0000002, 1.0000002, 1.0000002]),
    f32x4([1.0000305, 1.0000305, 1.0000305, 1.0000305]),
    f32x4([-1.0000308, -1.0000308, -1.0000308, -1.0000308]),
  ]),
  [i32x4([0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff])],
);

// ./test/core/relaxed-simd/relaxed_madd_nmadd.wast:141
assert_return(
  () => invoke($0, `f32x4.relaxed_nmadd_cmp`, [
    f32x4([-1.0000002, -1.0000002, -1.0000002, -1.0000002]),
    f32x4([1.0000305, 1.0000305, 1.0000305, 1.0000305]),
    f32x4([-1.0000308, -1.0000308, -1.0000308, -1.0000308]),
  ]),
  [i32x4([0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff])],
);

// ./test/core/relaxed-simd/relaxed_madd_nmadd.wast:147
assert_return(
  () => invoke($0, `f32x4.relaxed_nmadd_cmp`, [
    f32x4([1.0000002, 1.0000002, 1.0000002, 1.0000002]),
    f32x4([-1.0000305, -1.0000305, -1.0000305, -1.0000305]),
    f32x4([-1.0000308, -1.0000308, -1.0000308, -1.0000308]),
  ]),
  [i32x4([0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff])],
);

// ./test/core/relaxed-simd/relaxed_madd_nmadd.wast:159
assert_return(
  () => invoke($0, `f64x2.relaxed_madd_cmp`, [
    f64x2([
      179769313486231570000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000,
      179769313486231570000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000,
    ]),
    f64x2([2, 2]),
    f64x2([
      -179769313486231570000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000,
      -179769313486231570000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000,
    ]),
  ]),
  [i64x2([0xffffffffffffffffn, 0xffffffffffffffffn])],
);

// ./test/core/relaxed-simd/relaxed_madd_nmadd.wast:174
assert_return(
  () => invoke($0, `f64x2.relaxed_madd_cmp`, [
    f64x2([1.0000000009313226, 1.0000000009313226]),
    f64x2([1.0000001192092896, 1.0000001192092896]),
    f64x2([-1.0000001201406121, -1.0000001201406121]),
  ]),
  [i64x2([0xffffffffffffffffn, 0xffffffffffffffffn])],
);

// ./test/core/relaxed-simd/relaxed_madd_nmadd.wast:180
assert_return(
  () => invoke($0, `f64x2.relaxed_nmadd_cmp`, [
    f64x2([-1.0000000009313226, -1.0000000009313226]),
    f64x2([1.0000001192092896, 1.0000001192092896]),
    f64x2([-1.0000001201406121, -1.0000001201406121]),
  ]),
  [i64x2([0xffffffffffffffffn, 0xffffffffffffffffn])],
);

// ./test/core/relaxed-simd/relaxed_madd_nmadd.wast:186
assert_return(
  () => invoke($0, `f64x2.relaxed_nmadd_cmp`, [
    f64x2([1.0000000009313226, 1.0000000009313226]),
    f64x2([-1.0000001192092896, -1.0000001192092896]),
    f64x2([-1.0000001201406121, -1.0000001201406121]),
  ]),
  [i64x2([0xffffffffffffffffn, 0xffffffffffffffffn])],
);