Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/C/Firefox/js/src/jit-test/tests/wasm/spec/spec/   (Browser von der Mozilla Stiftung Version 136.0.1©)  Datei vom 10.2.2025 mit Größe 457 kB image not shown  

Quellcode-Bibliothek f32.wast.js   Sprache: JAVA

 
/* 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/f32.wast

// ./test/core/f32.wast:5
let $0 = instantiate(`(module
  (func (export "add") (param $$x f32) (param $$y f32) (result f32) (f32.add (local.get $$x) (local.get $$y)))
  (func (export "sub") (param $$x f32) (param $$y f32) (result f32) (f32.sub (local.get $$x) (local.get $$y)))
  (func (export "mul") (param $$x f32) (param $$y f32) (result f32) (f32.mul (local.get $$x) (local.get $$y)))
  (func (export "div") (param $$x f32) (param $$y f32) (result f32) (f32.div (local.get $$x) (local.get $$y)))
  (func (export "sqrt") (param $$x f32) (result f32) (f32.sqrt (local.get $$x)))
  (func (export "min") (param $$x f32) (param $$y f32) (result f32) (f32.min (local.get $$x) (local.get $$y)))
  (func (export "max") (param $$x f32) (param $$y f32) (result f32) (f32.max (local.get $$x) (local.get $$y)))
  (func (export "ceil") (param $$x f32) (result f32) (f32.ceil (local.get $$x)))
  (func (export "floor") (param $$x f32) (result f32) (f32.floor (local.get $$x)))
  (func (export "trunc") (param $$x f32) (result f32) (f32.trunc (local.get $$x)))
  (func (export "nearest") (param $$x f32) (result f32) (f32.nearest (local.get $$x)))
)`);

// ./test/core/f32.wast:19
assert_return(() => invoke($0, `add`, [value("f32", -0), value("f32", -0)]), [value("f32", -0)]);

// ./test/core/f32.wast:20
assert_return(() => invoke($0, `add`, [value("f32", -0), value("f32", 0)]), [value("f32"0)]);

// ./test/core/f32.wast:21
assert_return(() => invoke($0, `add`, [value("f32", 0), value("f32", -0)]), [value("f32"0)]);

// ./test/core/f32.wast:22
assert_return(() => invoke($0, `add`, [value("f32", 0), value("f32", 0)]), [value("f32", 0)]);

// ./test/core/f32.wast:23
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0),
    value("f32", -0.000000000000000000000000000000000000000000001),
  ]),
  [value("f32", -0.000000000000000000000000000000000000000000001)],
);

// ./test/core/f32.wast:24
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0),
    value("f32", 0.000000000000000000000000000000000000000000001),
  ]),
  [value("f32", 0.000000000000000000000000000000000000000000001)],
);

// ./test/core/f32.wast:25
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0),
    value("f32", -0.000000000000000000000000000000000000000000001),
  ]),
  [value("f32", -0.000000000000000000000000000000000000000000001)],
);

// ./test/core/f32.wast:26
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0),
    value("f32", 0.000000000000000000000000000000000000000000001),
  ]),
  [value("f32", 0.000000000000000000000000000000000000000000001)],
);

// ./test/core/f32.wast:27
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0),
    value("f32", -0.000000000000000000000000000000000000011754944),
  ]),
  [value("f32", -0.000000000000000000000000000000000000011754944)],
);

// ./test/core/f32.wast:28
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0),
    value("f32", 0.000000000000000000000000000000000000011754944),
  ]),
  [value("f32", 0.000000000000000000000000000000000000011754944)],
);

// ./test/core/f32.wast:29
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0),
    value("f32", -0.000000000000000000000000000000000000011754944),
  ]),
  [value("f32", -0.000000000000000000000000000000000000011754944)],
);

// ./test/core/f32.wast:30
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0),
    value("f32", 0.000000000000000000000000000000000000011754944),
  ]),
  [value("f32", 0.000000000000000000000000000000000000011754944)],
);

// ./test/core/f32.wast:31
assert_return(() => invoke($0, `add`, [value("f32", -0), value("f32", -0.5)]), [value("f32", -0.5)]);

// ./test/core/f32.wast:32
assert_return(() => invoke($0, `add`, [value("f32", -0), value("f32", 0.5)]), [value("f32", 0.5)]);

// ./test/core/f32.wast:33
assert_return(() => invoke($0, `add`, [value("f32", 0), value("f32", -0.5)]), [value("f32", -0.5)]);

// ./test/core/f32.wast:34
assert_return(() => invoke($0, `add`, [value("f32", 0), value("f32", 0.5)]), [value("f32", 0.5)]);

// ./test/core/f32.wast:35
assert_return(() => invoke($0, `add`, [value("f32", -0), value("f32", -1)]), [value("f32", -1)]);

// ./test/core/f32.wast:36
assert_return(() => invoke($0, `add`, [value("f32", -0), value("f32", 1)]), [value("f32"1)]);

// ./test/core/f32.wast:37
assert_return(() => invoke($0, `add`, [value("f32", 0), value("f32", -1)]), [value("f32"-1)]);

// ./test/core/f32.wast:38
assert_return(() => invoke($0, `add`, [value("f32", 0), value("f32", 1)]), [value("f32", 1)]);

// ./test/core/f32.wast:39
assert_return(
  () => invoke($0, `add`, [value("f32", -0), value("f32", -6.2831855)]),
  [value("f32", -6.2831855)],
);

// ./test/core/f32.wast:40
assert_return(
  () => invoke($0, `add`, [value("f32", -0), value("f32", 6.2831855)]),
  [value("f32", 6.2831855)],
);

// ./test/core/f32.wast:41
assert_return(
  () => invoke($0, `add`, [value("f32", 0), value("f32", -6.2831855)]),
  [value("f32", -6.2831855)],
);

// ./test/core/f32.wast:42
assert_return(
  () => invoke($0, `add`, [value("f32", 0), value("f32", 6.2831855)]),
  [value("f32", 6.2831855)],
);

// ./test/core/f32.wast:43
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0),
    value("f32", -340282350000000000000000000000000000000),
  ]),
  [value("f32", -340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:44
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0),
    value("f32", 340282350000000000000000000000000000000),
  ]),
  [value("f32", 340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:45
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0),
    value("f32", -340282350000000000000000000000000000000),
  ]),
  [value("f32", -340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:46
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0),
    value("f32", 340282350000000000000000000000000000000),
  ]),
  [value("f32", 340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:47
assert_return(
  () => invoke($0, `add`, [value("f32", -0), value("f32", -Infinity)]),
  [value("f32", -Infinity)],
);

// ./test/core/f32.wast:48
assert_return(
  () => invoke($0, `add`, [value("f32", -0), value("f32", Infinity)]),
  [value("f32", Infinity)],
);

// ./test/core/f32.wast:49
assert_return(
  () => invoke($0, `add`, [value("f32", 0), value("f32", -Infinity)]),
  [value("f32", -Infinity)],
);

// ./test/core/f32.wast:50
assert_return(
  () => invoke($0, `add`, [value("f32", 0), value("f32", Infinity)]),
  [value("f32", Infinity)],
);

// ./test/core/f32.wast:51
assert_return(
  () => invoke($0, `add`, [value("f32", -0), bytes("f32", [0x0, 0x0, 0xc0, 0xff])]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:52
assert_return(
  () => invoke($0, `add`, [value("f32", -0), bytes("f32", [0x0, 0x0, 0xa0, 0xff])]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:53
assert_return(
  () => invoke($0, `add`, [value("f32", -0), bytes("f32", [0x0, 0x0, 0xc0, 0x7f])]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:54
assert_return(
  () => invoke($0, `add`, [value("f32", -0), bytes("f32", [0x0, 0x0, 0xa0, 0x7f])]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:55
assert_return(
  () => invoke($0, `add`, [value("f32", 0), bytes("f32", [0x0, 0x0, 0xc0, 0xff])]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:56
assert_return(
  () => invoke($0, `add`, [value("f32", 0), bytes("f32", [0x0, 0x0, 0xa0, 0xff])]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:57
assert_return(
  () => invoke($0, `add`, [value("f32", 0), bytes("f32", [0x0, 0x0, 0xc0, 0x7f])]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:58
assert_return(
  () => invoke($0, `add`, [value("f32", 0), bytes("f32", [0x0, 0x0, 0xa0, 0x7f])]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:59
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000000000001),
    value("f32", -0),
  ]),
  [value("f32", -0.000000000000000000000000000000000000000000001)],
);

// ./test/core/f32.wast:60
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000000000001),
    value("f32", 0),
  ]),
  [value("f32", -0.000000000000000000000000000000000000000000001)],
);

// ./test/core/f32.wast:61
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000000000001),
    value("f32", -0),
  ]),
  [value("f32", 0.000000000000000000000000000000000000000000001)],
);

// ./test/core/f32.wast:62
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000000000001),
    value("f32", 0),
  ]),
  [value("f32", 0.000000000000000000000000000000000000000000001)],
);

// ./test/core/f32.wast:63
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000000000001),
    value("f32", -0.000000000000000000000000000000000000000000001),
  ]),
  [value("f32", -0.000000000000000000000000000000000000000000003)],
);

// ./test/core/f32.wast:64
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000000000001),
    value("f32", 0.000000000000000000000000000000000000000000001),
  ]),
  [value("f32", 0)],
);

// ./test/core/f32.wast:65
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000000000001),
    value("f32", -0.000000000000000000000000000000000000000000001),
  ]),
  [value("f32", 0)],
);

// ./test/core/f32.wast:66
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000000000001),
    value("f32", 0.000000000000000000000000000000000000000000001),
  ]),
  [value("f32", 0.000000000000000000000000000000000000000000003)],
);

// ./test/core/f32.wast:67
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000000000001),
    value("f32", -0.000000000000000000000000000000000000011754944),
  ]),
  [value("f32", -0.000000000000000000000000000000000000011754945)],
);

// ./test/core/f32.wast:68
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000000000001),
    value("f32", 0.000000000000000000000000000000000000011754944),
  ]),
  [value("f32", 0.000000000000000000000000000000000000011754942)],
);

// ./test/core/f32.wast:69
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000000000001),
    value("f32", -0.000000000000000000000000000000000000011754944),
  ]),
  [value("f32", -0.000000000000000000000000000000000000011754942)],
);

// ./test/core/f32.wast:70
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000000000001),
    value("f32", 0.000000000000000000000000000000000000011754944),
  ]),
  [value("f32", 0.000000000000000000000000000000000000011754945)],
);

// ./test/core/f32.wast:71
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000000000001),
    value("f32", -0.5),
  ]),
  [value("f32", -0.5)],
);

// ./test/core/f32.wast:72
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000000000001),
    value("f32", 0.5),
  ]),
  [value("f32", 0.5)],
);

// ./test/core/f32.wast:73
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000000000001),
    value("f32", -0.5),
  ]),
  [value("f32", -0.5)],
);

// ./test/core/f32.wast:74
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000000000001),
    value("f32", 0.5),
  ]),
  [value("f32", 0.5)],
);

// ./test/core/f32.wast:75
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000000000001),
    value("f32", -1),
  ]),
  [value("f32", -1)],
);

// ./test/core/f32.wast:76
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000000000001),
    value("f32", 1),
  ]),
  [value("f32", 1)],
);

// ./test/core/f32.wast:77
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000000000001),
    value("f32", -1),
  ]),
  [value("f32", -1)],
);

// ./test/core/f32.wast:78
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000000000001),
    value("f32", 1),
  ]),
  [value("f32", 1)],
);

// ./test/core/f32.wast:79
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000000000001),
    value("f32", -6.2831855),
  ]),
  [value("f32", -6.2831855)],
);

// ./test/core/f32.wast:80
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000000000001),
    value("f32", 6.2831855),
  ]),
  [value("f32", 6.2831855)],
);

// ./test/core/f32.wast:81
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000000000001),
    value("f32", -6.2831855),
  ]),
  [value("f32", -6.2831855)],
);

// ./test/core/f32.wast:82
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000000000001),
    value("f32", 6.2831855),
  ]),
  [value("f32", 6.2831855)],
);

// ./test/core/f32.wast:83
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000000000001),
    value("f32", -340282350000000000000000000000000000000),
  ]),
  [value("f32", -340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:84
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000000000001),
    value("f32", 340282350000000000000000000000000000000),
  ]),
  [value("f32", 340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:85
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000000000001),
    value("f32", -340282350000000000000000000000000000000),
  ]),
  [value("f32", -340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:86
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000000000001),
    value("f32", 340282350000000000000000000000000000000),
  ]),
  [value("f32", 340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:87
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000000000001),
    value("f32", -Infinity),
  ]),
  [value("f32", -Infinity)],
);

// ./test/core/f32.wast:88
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000000000001),
    value("f32", Infinity),
  ]),
  [value("f32", Infinity)],
);

// ./test/core/f32.wast:89
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000000000001),
    value("f32", -Infinity),
  ]),
  [value("f32", -Infinity)],
);

// ./test/core/f32.wast:90
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000000000001),
    value("f32", Infinity),
  ]),
  [value("f32", Infinity)],
);

// ./test/core/f32.wast:91
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000000000001),
    bytes("f32", [0x0, 0x0, 0xc0, 0xff]),
  ]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:92
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000000000001),
    bytes("f32", [0x0, 0x0, 0xa0, 0xff]),
  ]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:93
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000000000001),
    bytes("f32", [0x0, 0x0, 0xc0, 0x7f]),
  ]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:94
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000000000001),
    bytes("f32", [0x0, 0x0, 0xa0, 0x7f]),
  ]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:95
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000000000001),
    bytes("f32", [0x0, 0x0, 0xc0, 0xff]),
  ]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:96
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000000000001),
    bytes("f32", [0x0, 0x0, 0xa0, 0xff]),
  ]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:97
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000000000001),
    bytes("f32", [0x0, 0x0, 0xc0, 0x7f]),
  ]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:98
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000000000001),
    bytes("f32", [0x0, 0x0, 0xa0, 0x7f]),
  ]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:99
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000011754944),
    value("f32", -0),
  ]),
  [value("f32", -0.000000000000000000000000000000000000011754944)],
);

// ./test/core/f32.wast:100
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000011754944),
    value("f32", 0),
  ]),
  [value("f32", -0.000000000000000000000000000000000000011754944)],
);

// ./test/core/f32.wast:101
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000011754944),
    value("f32", -0),
  ]),
  [value("f32", 0.000000000000000000000000000000000000011754944)],
);

// ./test/core/f32.wast:102
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000011754944),
    value("f32", 0),
  ]),
  [value("f32", 0.000000000000000000000000000000000000011754944)],
);

// ./test/core/f32.wast:103
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000011754944),
    value("f32", -0.000000000000000000000000000000000000000000001),
  ]),
  [value("f32", -0.000000000000000000000000000000000000011754945)],
);

// ./test/core/f32.wast:104
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000011754944),
    value("f32", 0.000000000000000000000000000000000000000000001),
  ]),
  [value("f32", -0.000000000000000000000000000000000000011754942)],
);

// ./test/core/f32.wast:105
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000011754944),
    value("f32", -0.000000000000000000000000000000000000000000001),
  ]),
  [value("f32", 0.000000000000000000000000000000000000011754942)],
);

// ./test/core/f32.wast:106
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000011754944),
    value("f32", 0.000000000000000000000000000000000000000000001),
  ]),
  [value("f32", 0.000000000000000000000000000000000000011754945)],
);

// ./test/core/f32.wast:107
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000011754944),
    value("f32", -0.000000000000000000000000000000000000011754944),
  ]),
  [value("f32", -0.000000000000000000000000000000000000023509887)],
);

// ./test/core/f32.wast:108
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000011754944),
    value("f32", 0.000000000000000000000000000000000000011754944),
  ]),
  [value("f32", 0)],
);

// ./test/core/f32.wast:109
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000011754944),
    value("f32", -0.000000000000000000000000000000000000011754944),
  ]),
  [value("f32", 0)],
);

// ./test/core/f32.wast:110
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000011754944),
    value("f32", 0.000000000000000000000000000000000000011754944),
  ]),
  [value("f32", 0.000000000000000000000000000000000000023509887)],
);

// ./test/core/f32.wast:111
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000011754944),
    value("f32", -0.5),
  ]),
  [value("f32", -0.5)],
);

// ./test/core/f32.wast:112
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000011754944),
    value("f32", 0.5),
  ]),
  [value("f32", 0.5)],
);

// ./test/core/f32.wast:113
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000011754944),
    value("f32", -0.5),
  ]),
  [value("f32", -0.5)],
);

// ./test/core/f32.wast:114
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000011754944),
    value("f32", 0.5),
  ]),
  [value("f32", 0.5)],
);

// ./test/core/f32.wast:115
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000011754944),
    value("f32", -1),
  ]),
  [value("f32", -1)],
);

// ./test/core/f32.wast:116
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000011754944),
    value("f32", 1),
  ]),
  [value("f32", 1)],
);

// ./test/core/f32.wast:117
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000011754944),
    value("f32", -1),
  ]),
  [value("f32", -1)],
);

// ./test/core/f32.wast:118
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000011754944),
    value("f32", 1),
  ]),
  [value("f32", 1)],
);

// ./test/core/f32.wast:119
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000011754944),
    value("f32", -6.2831855),
  ]),
  [value("f32", -6.2831855)],
);

// ./test/core/f32.wast:120
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000011754944),
    value("f32", 6.2831855),
  ]),
  [value("f32", 6.2831855)],
);

// ./test/core/f32.wast:121
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000011754944),
    value("f32", -6.2831855),
  ]),
  [value("f32", -6.2831855)],
);

// ./test/core/f32.wast:122
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000011754944),
    value("f32", 6.2831855),
  ]),
  [value("f32", 6.2831855)],
);

// ./test/core/f32.wast:123
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000011754944),
    value("f32", -340282350000000000000000000000000000000),
  ]),
  [value("f32", -340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:124
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000011754944),
    value("f32", 340282350000000000000000000000000000000),
  ]),
  [value("f32", 340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:125
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000011754944),
    value("f32", -340282350000000000000000000000000000000),
  ]),
  [value("f32", -340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:126
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000011754944),
    value("f32", 340282350000000000000000000000000000000),
  ]),
  [value("f32", 340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:127
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000011754944),
    value("f32", -Infinity),
  ]),
  [value("f32", -Infinity)],
);

// ./test/core/f32.wast:128
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000011754944),
    value("f32", Infinity),
  ]),
  [value("f32", Infinity)],
);

// ./test/core/f32.wast:129
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000011754944),
    value("f32", -Infinity),
  ]),
  [value("f32", -Infinity)],
);

// ./test/core/f32.wast:130
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000011754944),
    value("f32", Infinity),
  ]),
  [value("f32", Infinity)],
);

// ./test/core/f32.wast:131
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000011754944),
    bytes("f32", [0x0, 0x0, 0xc0, 0xff]),
  ]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:132
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000011754944),
    bytes("f32", [0x0, 0x0, 0xa0, 0xff]),
  ]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:133
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000011754944),
    bytes("f32", [0x0, 0x0, 0xc0, 0x7f]),
  ]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:134
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.000000000000000000000000000000000000011754944),
    bytes("f32", [0x0, 0x0, 0xa0, 0x7f]),
  ]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:135
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000011754944),
    bytes("f32", [0x0, 0x0, 0xc0, 0xff]),
  ]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:136
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000011754944),
    bytes("f32", [0x0, 0x0, 0xa0, 0xff]),
  ]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:137
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000011754944),
    bytes("f32", [0x0, 0x0, 0xc0, 0x7f]),
  ]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:138
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.000000000000000000000000000000000000011754944),
    bytes("f32", [0x0, 0x0, 0xa0, 0x7f]),
  ]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:139
assert_return(() => invoke($0, `add`, [value("f32", -0.5), value("f32", -0)]), [value("f32", -0.5)]);

// ./test/core/f32.wast:140
assert_return(() => invoke($0, `add`, [value("f32", -0.5), value("f32", 0)]), [value("f32", -0.5)]);

// ./test/core/f32.wast:141
assert_return(() => invoke($0, `add`, [value("f32", 0.5), value("f32", -0)]), [value("f32", 0.5)]);

// ./test/core/f32.wast:142
assert_return(() => invoke($0, `add`, [value("f32", 0.5), value("f32", 0)]), [value("f32", 0.5)]);

// ./test/core/f32.wast:143
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.5),
    value("f32", -0.000000000000000000000000000000000000000000001),
  ]),
  [value("f32", -0.5)],
);

// ./test/core/f32.wast:144
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.5),
    value("f32", 0.000000000000000000000000000000000000000000001),
  ]),
  [value("f32", -0.5)],
);

// ./test/core/f32.wast:145
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.5),
    value("f32", -0.000000000000000000000000000000000000000000001),
  ]),
  [value("f32", 0.5)],
);

// ./test/core/f32.wast:146
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.5),
    value("f32", 0.000000000000000000000000000000000000000000001),
  ]),
  [value("f32", 0.5)],
);

// ./test/core/f32.wast:147
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.5),
    value("f32", -0.000000000000000000000000000000000000011754944),
  ]),
  [value("f32", -0.5)],
);

// ./test/core/f32.wast:148
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.5),
    value("f32", 0.000000000000000000000000000000000000011754944),
  ]),
  [value("f32", -0.5)],
);

// ./test/core/f32.wast:149
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.5),
    value("f32", -0.000000000000000000000000000000000000011754944),
  ]),
  [value("f32", 0.5)],
);

// ./test/core/f32.wast:150
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.5),
    value("f32", 0.000000000000000000000000000000000000011754944),
  ]),
  [value("f32", 0.5)],
);

// ./test/core/f32.wast:151
assert_return(() => invoke($0, `add`, [value("f32", -0.5), value("f32", -0.5)]), [value("f32", -1)]);

// ./test/core/f32.wast:152
assert_return(() => invoke($0, `add`, [value("f32", -0.5), value("f32", 0.5)]), [value("f32", 0)]);

// ./test/core/f32.wast:153
assert_return(() => invoke($0, `add`, [value("f32", 0.5), value("f32", -0.5)]), [value("f32", 0)]);

// ./test/core/f32.wast:154
assert_return(() => invoke($0, `add`, [value("f32", 0.5), value("f32", 0.5)]), [value("f32", 1)]);

// ./test/core/f32.wast:155
assert_return(() => invoke($0, `add`, [value("f32", -0.5), value("f32", -1)]), [value("f32", -1.5)]);

// ./test/core/f32.wast:156
assert_return(() => invoke($0, `add`, [value("f32", -0.5), value("f32", 1)]), [value("f32", 0.5)]);

// ./test/core/f32.wast:157
assert_return(() => invoke($0, `add`, [value("f32", 0.5), value("f32", -1)]), [value("f32", -0.5)]);

// ./test/core/f32.wast:158
assert_return(() => invoke($0, `add`, [value("f32", 0.5), value("f32", 1)]), [value("f32", 1.5)]);

// ./test/core/f32.wast:159
assert_return(
  () => invoke($0, `add`, [value("f32", -0.5), value("f32", -6.2831855)]),
  [value("f32", -6.7831855)],
);

// ./test/core/f32.wast:160
assert_return(
  () => invoke($0, `add`, [value("f32", -0.5), value("f32", 6.2831855)]),
  [value("f32", 5.7831855)],
);

// ./test/core/f32.wast:161
assert_return(
  () => invoke($0, `add`, [value("f32", 0.5), value("f32", -6.2831855)]),
  [value("f32", -5.7831855)],
);

// ./test/core/f32.wast:162
assert_return(
  () => invoke($0, `add`, [value("f32", 0.5), value("f32", 6.2831855)]),
  [value("f32", 6.7831855)],
);

// ./test/core/f32.wast:163
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.5),
    value("f32", -340282350000000000000000000000000000000),
  ]),
  [value("f32", -340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:164
assert_return(
  () => invoke($0, `add`, [
    value("f32", -0.5),
    value("f32", 340282350000000000000000000000000000000),
  ]),
  [value("f32", 340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:165
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.5),
    value("f32", -340282350000000000000000000000000000000),
  ]),
  [value("f32", -340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:166
assert_return(
  () => invoke($0, `add`, [
    value("f32", 0.5),
    value("f32", 340282350000000000000000000000000000000),
  ]),
  [value("f32", 340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:167
assert_return(
  () => invoke($0, `add`, [value("f32", -0.5), value("f32", -Infinity)]),
  [value("f32", -Infinity)],
);

// ./test/core/f32.wast:168
assert_return(
  () => invoke($0, `add`, [value("f32", -0.5), value("f32", Infinity)]),
  [value("f32", Infinity)],
);

// ./test/core/f32.wast:169
assert_return(
  () => invoke($0, `add`, [value("f32", 0.5), value("f32", -Infinity)]),
  [value("f32", -Infinity)],
);

// ./test/core/f32.wast:170
assert_return(
  () => invoke($0, `add`, [value("f32", 0.5), value("f32", Infinity)]),
  [value("f32", Infinity)],
);

// ./test/core/f32.wast:171
assert_return(
  () => invoke($0, `add`, [value("f32", -0.5), bytes("f32", [0x0, 0x0, 0xc0, 0xff])]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:172
assert_return(
  () => invoke($0, `add`, [value("f32", -0.5), bytes("f32", [0x0, 0x0, 0xa0, 0xff])]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:173
assert_return(
  () => invoke($0, `add`, [value("f32", -0.5), bytes("f32", [0x0, 0x0, 0xc0, 0x7f])]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:174
assert_return(
  () => invoke($0, `add`, [value("f32", -0.5), bytes("f32", [0x0, 0x0, 0xa0, 0x7f])]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:175
assert_return(
  () => invoke($0, `add`, [value("f32", 0.5), bytes("f32", [0x0, 0x0, 0xc0, 0xff])]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:176
assert_return(
  () => invoke($0, `add`, [value("f32", 0.5), bytes("f32", [0x0, 0x0, 0xa0, 0xff])]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:177
assert_return(
  () => invoke($0, `add`, [value("f32", 0.5), bytes("f32", [0x0, 0x0, 0xc0, 0x7f])]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:178
assert_return(
  () => invoke($0, `add`, [value("f32", 0.5), bytes("f32", [0x0, 0x0, 0xa0, 0x7f])]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:179
assert_return(() => invoke($0, `add`, [value("f32", -1), value("f32", -0)]), [value("f32", -1)]);

// ./test/core/f32.wast:180
assert_return(() => invoke($0, `add`, [value("f32", -1), value("f32", 0)]), [value("f32"-1)]);

// ./test/core/f32.wast:181
assert_return(() => invoke($0, `add`, [value("f32", 1), value("f32", -0)]), [value("f32"1)]);

// ./test/core/f32.wast:182
assert_return(() => invoke($0, `add`, [value("f32", 1), value("f32", 0)]), [value("f32", 1)]);

// ./test/core/f32.wast:183
assert_return(
  () => invoke($0, `add`, [
    value("f32", -1),
    value("f32", -0.000000000000000000000000000000000000000000001),
  ]),
  [value("f32", -1)],
);

// ./test/core/f32.wast:184
assert_return(
  () => invoke($0, `add`, [
    value("f32", -1),
    value("f32", 0.000000000000000000000000000000000000000000001),
  ]),
  [value("f32", -1)],
);

// ./test/core/f32.wast:185
assert_return(
  () => invoke($0, `add`, [
    value("f32", 1),
    value("f32", -0.000000000000000000000000000000000000000000001),
  ]),
  [value("f32", 1)],
);

// ./test/core/f32.wast:186
assert_return(
  () => invoke($0, `add`, [
    value("f32", 1),
    value("f32", 0.000000000000000000000000000000000000000000001),
  ]),
  [value("f32", 1)],
);

// ./test/core/f32.wast:187
assert_return(
  () => invoke($0, `add`, [
    value("f32", -1),
    value("f32", -0.000000000000000000000000000000000000011754944),
  ]),
  [value("f32", -1)],
);

// ./test/core/f32.wast:188
assert_return(
  () => invoke($0, `add`, [
    value("f32", -1),
    value("f32", 0.000000000000000000000000000000000000011754944),
  ]),
  [value("f32", -1)],
);

// ./test/core/f32.wast:189
assert_return(
  () => invoke($0, `add`, [
    value("f32", 1),
    value("f32", -0.000000000000000000000000000000000000011754944),
  ]),
  [value("f32", 1)],
);

// ./test/core/f32.wast:190
assert_return(
  () => invoke($0, `add`, [
    value("f32", 1),
    value("f32", 0.000000000000000000000000000000000000011754944),
  ]),
  [value("f32", 1)],
);

// ./test/core/f32.wast:191
assert_return(() => invoke($0, `add`, [value("f32", -1), value("f32", -0.5)]), [value("f32", -1.5)]);

// ./test/core/f32.wast:192
assert_return(() => invoke($0, `add`, [value("f32", -1), value("f32", 0.5)]), [value("f32", -0.5)]);

// ./test/core/f32.wast:193
assert_return(() => invoke($0, `add`, [value("f32", 1), value("f32", -0.5)]), [value("f32", 0.5)]);

// ./test/core/f32.wast:194
assert_return(() => invoke($0, `add`, [value("f32", 1), value("f32", 0.5)]), [value("f32", 1.5)]);

// ./test/core/f32.wast:195
assert_return(() => invoke($0, `add`, [value("f32", -1), value("f32", -1)]), [value("f32", -2)]);

// ./test/core/f32.wast:196
assert_return(() => invoke($0, `add`, [value("f32", -1), value("f32", 1)]), [value("f32"0)]);

// ./test/core/f32.wast:197
assert_return(() => invoke($0, `add`, [value("f32", 1), value("f32", -1)]), [value("f32"0)]);

// ./test/core/f32.wast:198
assert_return(() => invoke($0, `add`, [value("f32", 1), value("f32", 1)]), [value("f32", 2)]);

// ./test/core/f32.wast:199
assert_return(
  () => invoke($0, `add`, [value("f32", -1), value("f32", -6.2831855)]),
  [value("f32", -7.2831855)],
);

// ./test/core/f32.wast:200
assert_return(
  () => invoke($0, `add`, [value("f32", -1), value("f32", 6.2831855)]),
  [value("f32", 5.2831855)],
);

// ./test/core/f32.wast:201
assert_return(
  () => invoke($0, `add`, [value("f32", 1), value("f32", -6.2831855)]),
  [value("f32", -5.2831855)],
);

// ./test/core/f32.wast:202
assert_return(
  () => invoke($0, `add`, [value("f32", 1), value("f32", 6.2831855)]),
  [value("f32", 7.2831855)],
);

// ./test/core/f32.wast:203
assert_return(
  () => invoke($0, `add`, [
    value("f32", -1),
    value("f32", -340282350000000000000000000000000000000),
  ]),
  [value("f32", -340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:204
assert_return(
  () => invoke($0, `add`, [
    value("f32", -1),
    value("f32", 340282350000000000000000000000000000000),
  ]),
  [value("f32", 340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:205
assert_return(
  () => invoke($0, `add`, [
    value("f32", 1),
    value("f32", -340282350000000000000000000000000000000),
  ]),
  [value("f32", -340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:206
assert_return(
  () => invoke($0, `add`, [
    value("f32", 1),
    value("f32", 340282350000000000000000000000000000000),
  ]),
  [value("f32", 340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:207
assert_return(
  () => invoke($0, `add`, [value("f32", -1), value("f32", -Infinity)]),
  [value("f32", -Infinity)],
);

// ./test/core/f32.wast:208
assert_return(
  () => invoke($0, `add`, [value("f32", -1), value("f32", Infinity)]),
  [value("f32", Infinity)],
);

// ./test/core/f32.wast:209
assert_return(
  () => invoke($0, `add`, [value("f32", 1), value("f32", -Infinity)]),
  [value("f32", -Infinity)],
);

// ./test/core/f32.wast:210
assert_return(
  () => invoke($0, `add`, [value("f32", 1), value("f32", Infinity)]),
  [value("f32", Infinity)],
);

// ./test/core/f32.wast:211
assert_return(
  () => invoke($0, `add`, [value("f32", -1), bytes("f32", [0x0, 0x0, 0xc0, 0xff])]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:212
assert_return(
  () => invoke($0, `add`, [value("f32", -1), bytes("f32", [0x0, 0x0, 0xa0, 0xff])]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:213
assert_return(
  () => invoke($0, `add`, [value("f32", -1), bytes("f32", [0x0, 0x0, 0xc0, 0x7f])]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:214
assert_return(
  () => invoke($0, `add`, [value("f32", -1), bytes("f32", [0x0, 0x0, 0xa0, 0x7f])]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:215
assert_return(
  () => invoke($0, `add`, [value("f32", 1), bytes("f32", [0x0, 0x0, 0xc0, 0xff])]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:216
assert_return(
  () => invoke($0, `add`, [value("f32", 1), bytes("f32", [0x0, 0x0, 0xa0, 0xff])]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:217
assert_return(
  () => invoke($0, `add`, [value("f32", 1), bytes("f32", [0x0, 0x0, 0xc0, 0x7f])]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:218
assert_return(
  () => invoke($0, `add`, [value("f32", 1), bytes("f32", [0x0, 0x0, 0xa0, 0x7f])]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:219
assert_return(
  () => invoke($0, `add`, [value("f32", -6.2831855), value("f32", -0)]),
  [value("f32", -6.2831855)],
);

// ./test/core/f32.wast:220
assert_return(
  () => invoke($0, `add`, [value("f32", -6.2831855), value("f32", 0)]),
  [value("f32", -6.2831855)],
);

// ./test/core/f32.wast:221
assert_return(
  () => invoke($0, `add`, [value("f32", 6.2831855), value("f32", -0)]),
  [value("f32", 6.2831855)],
);

// ./test/core/f32.wast:222
assert_return(
  () => invoke($0, `add`, [value("f32", 6.2831855), value("f32", 0)]),
  [value("f32", 6.2831855)],
);

// ./test/core/f32.wast:223
assert_return(
  () => invoke($0, `add`, [
    value("f32", -6.2831855),
    value("f32", -0.000000000000000000000000000000000000000000001),
  ]),
  [value("f32", -6.2831855)],
);

// ./test/core/f32.wast:224
assert_return(
  () => invoke($0, `add`, [
    value("f32", -6.2831855),
    value("f32", 0.000000000000000000000000000000000000000000001),
  ]),
  [value("f32", -6.2831855)],
);

// ./test/core/f32.wast:225
assert_return(
  () => invoke($0, `add`, [
    value("f32", 6.2831855),
    value("f32", -0.000000000000000000000000000000000000000000001),
  ]),
  [value("f32", 6.2831855)],
);

// ./test/core/f32.wast:226
assert_return(
  () => invoke($0, `add`, [
    value("f32", 6.2831855),
    value("f32", 0.000000000000000000000000000000000000000000001),
  ]),
  [value("f32", 6.2831855)],
);

// ./test/core/f32.wast:227
assert_return(
  () => invoke($0, `add`, [
    value("f32", -6.2831855),
    value("f32", -0.000000000000000000000000000000000000011754944),
  ]),
  [value("f32", -6.2831855)],
);

// ./test/core/f32.wast:228
assert_return(
  () => invoke($0, `add`, [
    value("f32", -6.2831855),
    value("f32", 0.000000000000000000000000000000000000011754944),
  ]),
  [value("f32", -6.2831855)],
);

// ./test/core/f32.wast:229
assert_return(
  () => invoke($0, `add`, [
    value("f32", 6.2831855),
    value("f32", -0.000000000000000000000000000000000000011754944),
  ]),
  [value("f32", 6.2831855)],
);

// ./test/core/f32.wast:230
assert_return(
  () => invoke($0, `add`, [
    value("f32", 6.2831855),
    value("f32", 0.000000000000000000000000000000000000011754944),
  ]),
  [value("f32", 6.2831855)],
);

// ./test/core/f32.wast:231
assert_return(
  () => invoke($0, `add`, [value("f32", -6.2831855), value("f32", -0.5)]),
  [value("f32", -6.7831855)],
);

// ./test/core/f32.wast:232
assert_return(
  () => invoke($0, `add`, [value("f32", -6.2831855), value("f32", 0.5)]),
  [value("f32", -5.7831855)],
);

// ./test/core/f32.wast:233
assert_return(
  () => invoke($0, `add`, [value("f32", 6.2831855), value("f32", -0.5)]),
  [value("f32", 5.7831855)],
);

// ./test/core/f32.wast:234
assert_return(
  () => invoke($0, `add`, [value("f32", 6.2831855), value("f32", 0.5)]),
  [value("f32", 6.7831855)],
);

// ./test/core/f32.wast:235
assert_return(
  () => invoke($0, `add`, [value("f32", -6.2831855), value("f32", -1)]),
  [value("f32", -7.2831855)],
);

// ./test/core/f32.wast:236
assert_return(
  () => invoke($0, `add`, [value("f32", -6.2831855), value("f32", 1)]),
  [value("f32", -5.2831855)],
);

// ./test/core/f32.wast:237
assert_return(
  () => invoke($0, `add`, [value("f32", 6.2831855), value("f32", -1)]),
  [value("f32", 5.2831855)],
);

// ./test/core/f32.wast:238
assert_return(
  () => invoke($0, `add`, [value("f32", 6.2831855), value("f32", 1)]),
  [value("f32", 7.2831855)],
);

// ./test/core/f32.wast:239
assert_return(
  () => invoke($0, `add`, [value("f32", -6.2831855), value("f32", -6.2831855)]),
  [value("f32", -12.566371)],
);

// ./test/core/f32.wast:240
assert_return(
  () => invoke($0, `add`, [value("f32", -6.2831855), value("f32", 6.2831855)]),
  [value("f32", 0)],
);

// ./test/core/f32.wast:241
assert_return(
  () => invoke($0, `add`, [value("f32", 6.2831855), value("f32", -6.2831855)]),
  [value("f32", 0)],
);

// ./test/core/f32.wast:242
assert_return(
  () => invoke($0, `add`, [value("f32", 6.2831855), value("f32", 6.2831855)]),
  [value("f32", 12.566371)],
);

// ./test/core/f32.wast:243
assert_return(
  () => invoke($0, `add`, [
    value("f32", -6.2831855),
    value("f32", -340282350000000000000000000000000000000),
  ]),
  [value("f32", -340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:244
assert_return(
  () => invoke($0, `add`, [
    value("f32", -6.2831855),
    value("f32", 340282350000000000000000000000000000000),
  ]),
  [value("f32", 340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:245
assert_return(
  () => invoke($0, `add`, [
    value("f32", 6.2831855),
    value("f32", -340282350000000000000000000000000000000),
  ]),
  [value("f32", -340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:246
assert_return(
  () => invoke($0, `add`, [
    value("f32", 6.2831855),
    value("f32", 340282350000000000000000000000000000000),
  ]),
  [value("f32", 340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:247
assert_return(
  () => invoke($0, `add`, [value("f32", -6.2831855), value("f32", -Infinity)]),
  [value("f32", -Infinity)],
);

// ./test/core/f32.wast:248
assert_return(
  () => invoke($0, `add`, [value("f32", -6.2831855), value("f32", Infinity)]),
  [value("f32", Infinity)],
);

// ./test/core/f32.wast:249
assert_return(
  () => invoke($0, `add`, [value("f32", 6.2831855), value("f32", -Infinity)]),
  [value("f32", -Infinity)],
);

// ./test/core/f32.wast:250
assert_return(
  () => invoke($0, `add`, [value("f32", 6.2831855), value("f32", Infinity)]),
  [value("f32", Infinity)],
);

// ./test/core/f32.wast:251
assert_return(
  () => invoke($0, `add`, [
    value("f32", -6.2831855),
    bytes("f32", [0x0, 0x0, 0xc0, 0xff]),
  ]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:252
assert_return(
  () => invoke($0, `add`, [
    value("f32", -6.2831855),
    bytes("f32", [0x0, 0x0, 0xa0, 0xff]),
  ]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:253
assert_return(
  () => invoke($0, `add`, [
    value("f32", -6.2831855),
    bytes("f32", [0x0, 0x0, 0xc0, 0x7f]),
  ]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:254
assert_return(
  () => invoke($0, `add`, [
    value("f32", -6.2831855),
    bytes("f32", [0x0, 0x0, 0xa0, 0x7f]),
  ]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:255
assert_return(
  () => invoke($0, `add`, [
    value("f32", 6.2831855),
    bytes("f32", [0x0, 0x0, 0xc0, 0xff]),
  ]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:256
assert_return(
  () => invoke($0, `add`, [
    value("f32", 6.2831855),
    bytes("f32", [0x0, 0x0, 0xa0, 0xff]),
  ]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:257
assert_return(
  () => invoke($0, `add`, [
    value("f32", 6.2831855),
    bytes("f32", [0x0, 0x0, 0xc0, 0x7f]),
  ]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:258
assert_return(
  () => invoke($0, `add`, [
    value("f32", 6.2831855),
    bytes("f32", [0x0, 0x0, 0xa0, 0x7f]),
  ]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:259
assert_return(
  () => invoke($0, `add`, [
    value("f32", -340282350000000000000000000000000000000),
    value("f32", -0),
  ]),
  [value("f32", -340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:260
assert_return(
  () => invoke($0, `add`, [
    value("f32", -340282350000000000000000000000000000000),
    value("f32", 0),
  ]),
  [value("f32", -340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:261
assert_return(
  () => invoke($0, `add`, [
    value("f32", 340282350000000000000000000000000000000),
    value("f32", -0),
  ]),
  [value("f32", 340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:262
assert_return(
  () => invoke($0, `add`, [
    value("f32", 340282350000000000000000000000000000000),
    value("f32", 0),
  ]),
  [value("f32", 340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:263
assert_return(
  () => invoke($0, `add`, [
    value("f32", -340282350000000000000000000000000000000),
    value("f32", -0.000000000000000000000000000000000000000000001),
  ]),
  [value("f32", -340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:264
assert_return(
  () => invoke($0, `add`, [
    value("f32", -340282350000000000000000000000000000000),
    value("f32", 0.000000000000000000000000000000000000000000001),
  ]),
  [value("f32", -340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:265
assert_return(
  () => invoke($0, `add`, [
    value("f32", 340282350000000000000000000000000000000),
    value("f32", -0.000000000000000000000000000000000000000000001),
  ]),
  [value("f32", 340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:266
assert_return(
  () => invoke($0, `add`, [
    value("f32", 340282350000000000000000000000000000000),
    value("f32", 0.000000000000000000000000000000000000000000001),
  ]),
  [value("f32", 340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:267
assert_return(
  () => invoke($0, `add`, [
    value("f32", -340282350000000000000000000000000000000),
    value("f32", -0.000000000000000000000000000000000000011754944),
  ]),
  [value("f32", -340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:268
assert_return(
  () => invoke($0, `add`, [
    value("f32", -340282350000000000000000000000000000000),
    value("f32", 0.000000000000000000000000000000000000011754944),
  ]),
  [value("f32", -340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:269
assert_return(
  () => invoke($0, `add`, [
    value("f32", 340282350000000000000000000000000000000),
    value("f32", -0.000000000000000000000000000000000000011754944),
  ]),
  [value("f32", 340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:270
assert_return(
  () => invoke($0, `add`, [
    value("f32", 340282350000000000000000000000000000000),
    value("f32", 0.000000000000000000000000000000000000011754944),
  ]),
  [value("f32", 340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:271
assert_return(
  () => invoke($0, `add`, [
    value("f32", -340282350000000000000000000000000000000),
    value("f32", -0.5),
  ]),
  [value("f32", -340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:272
assert_return(
  () => invoke($0, `add`, [
    value("f32", -340282350000000000000000000000000000000),
    value("f32", 0.5),
  ]),
  [value("f32", -340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:273
assert_return(
  () => invoke($0, `add`, [
    value("f32", 340282350000000000000000000000000000000),
    value("f32", -0.5),
  ]),
  [value("f32", 340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:274
assert_return(
  () => invoke($0, `add`, [
    value("f32", 340282350000000000000000000000000000000),
    value("f32", 0.5),
  ]),
  [value("f32", 340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:275
assert_return(
  () => invoke($0, `add`, [
    value("f32", -340282350000000000000000000000000000000),
    value("f32", -1),
  ]),
  [value("f32", -340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:276
assert_return(
  () => invoke($0, `add`, [
    value("f32", -340282350000000000000000000000000000000),
    value("f32", 1),
  ]),
  [value("f32", -340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:277
assert_return(
  () => invoke($0, `add`, [
    value("f32", 340282350000000000000000000000000000000),
    value("f32", -1),
  ]),
  [value("f32", 340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:278
assert_return(
  () => invoke($0, `add`, [
    value("f32", 340282350000000000000000000000000000000),
    value("f32", 1),
  ]),
  [value("f32", 340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:279
assert_return(
  () => invoke($0, `add`, [
    value("f32", -340282350000000000000000000000000000000),
    value("f32", -6.2831855),
  ]),
  [value("f32", -340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:280
assert_return(
  () => invoke($0, `add`, [
    value("f32", -340282350000000000000000000000000000000),
    value("f32", 6.2831855),
  ]),
  [value("f32", -340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:281
assert_return(
  () => invoke($0, `add`, [
    value("f32", 340282350000000000000000000000000000000),
    value("f32", -6.2831855),
  ]),
  [value("f32", 340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:282
assert_return(
  () => invoke($0, `add`, [
    value("f32", 340282350000000000000000000000000000000),
    value("f32", 6.2831855),
  ]),
  [value("f32", 340282350000000000000000000000000000000)],
);

// ./test/core/f32.wast:283
assert_return(
  () => invoke($0, `add`, [
    value("f32", -340282350000000000000000000000000000000),
    value("f32", -340282350000000000000000000000000000000),
  ]),
  [value("f32", -Infinity)],
);

// ./test/core/f32.wast:284
assert_return(
  () => invoke($0, `add`, [
    value("f32", -340282350000000000000000000000000000000),
    value("f32", 340282350000000000000000000000000000000),
  ]),
  [value("f32", 0)],
);

// ./test/core/f32.wast:285
assert_return(
  () => invoke($0, `add`, [
    value("f32", 340282350000000000000000000000000000000),
    value("f32", -340282350000000000000000000000000000000),
  ]),
  [value("f32", 0)],
);

// ./test/core/f32.wast:286
assert_return(
  () => invoke($0, `add`, [
    value("f32", 340282350000000000000000000000000000000),
    value("f32", 340282350000000000000000000000000000000),
  ]),
  [value("f32", Infinity)],
);

// ./test/core/f32.wast:287
assert_return(
  () => invoke($0, `add`, [
    value("f32", -340282350000000000000000000000000000000),
    value("f32", -Infinity),
  ]),
  [value("f32", -Infinity)],
);

// ./test/core/f32.wast:288
assert_return(
  () => invoke($0, `add`, [
    value("f32", -340282350000000000000000000000000000000),
    value("f32", Infinity),
  ]),
  [value("f32", Infinity)],
);

// ./test/core/f32.wast:289
assert_return(
  () => invoke($0, `add`, [
    value("f32", 340282350000000000000000000000000000000),
    value("f32", -Infinity),
  ]),
  [value("f32", -Infinity)],
);

// ./test/core/f32.wast:290
assert_return(
  () => invoke($0, `add`, [
    value("f32", 340282350000000000000000000000000000000),
    value("f32", Infinity),
  ]),
  [value("f32", Infinity)],
);

// ./test/core/f32.wast:291
assert_return(
  () => invoke($0, `add`, [
    value("f32", -340282350000000000000000000000000000000),
    bytes("f32", [0x0, 0x0, 0xc0, 0xff]),
  ]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:292
assert_return(
  () => invoke($0, `add`, [
    value("f32", -340282350000000000000000000000000000000),
    bytes("f32", [0x0, 0x0, 0xa0, 0xff]),
  ]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:293
assert_return(
  () => invoke($0, `add`, [
    value("f32", -340282350000000000000000000000000000000),
    bytes("f32", [0x0, 0x0, 0xc0, 0x7f]),
  ]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:294
assert_return(
  () => invoke($0, `add`, [
    value("f32", -340282350000000000000000000000000000000),
    bytes("f32", [0x0, 0x0, 0xa0, 0x7f]),
  ]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:295
assert_return(
  () => invoke($0, `add`, [
    value("f32", 340282350000000000000000000000000000000),
    bytes("f32", [0x0, 0x0, 0xc0, 0xff]),
  ]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:296
assert_return(
  () => invoke($0, `add`, [
    value("f32", 340282350000000000000000000000000000000),
    bytes("f32", [0x0, 0x0, 0xa0, 0xff]),
  ]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:297
assert_return(
  () => invoke($0, `add`, [
    value("f32", 340282350000000000000000000000000000000),
    bytes("f32", [0x0, 0x0, 0xc0, 0x7f]),
  ]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:298
assert_return(
  () => invoke($0, `add`, [
    value("f32", 340282350000000000000000000000000000000),
    bytes("f32", [0x0, 0x0, 0xa0, 0x7f]),
  ]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:299
assert_return(
  () => invoke($0, `add`, [value("f32", -Infinity), value("f32", -0)]),
  [value("f32", -Infinity)],
);

// ./test/core/f32.wast:300
assert_return(
  () => invoke($0, `add`, [value("f32", -Infinity), value("f32", 0)]),
  [value("f32", -Infinity)],
);

// ./test/core/f32.wast:301
assert_return(
  () => invoke($0, `add`, [value("f32", Infinity), value("f32", -0)]),
  [value("f32", Infinity)],
);

// ./test/core/f32.wast:302
assert_return(
  () => invoke($0, `add`, [value("f32", Infinity), value("f32", 0)]),
  [value("f32", Infinity)],
);

// ./test/core/f32.wast:303
assert_return(
  () => invoke($0, `add`, [
    value("f32", -Infinity),
    value("f32", -0.000000000000000000000000000000000000000000001),
  ]),
  [value("f32", -Infinity)],
);

// ./test/core/f32.wast:304
assert_return(
  () => invoke($0, `add`, [
    value("f32", -Infinity),
    value("f32", 0.000000000000000000000000000000000000000000001),
  ]),
  [value("f32", -Infinity)],
);

// ./test/core/f32.wast:305
assert_return(
  () => invoke($0, `add`, [
    value("f32", Infinity),
    value("f32", -0.000000000000000000000000000000000000000000001),
  ]),
  [value("f32", Infinity)],
);

// ./test/core/f32.wast:306
assert_return(
  () => invoke($0, `add`, [
    value("f32", Infinity),
    value("f32", 0.000000000000000000000000000000000000000000001),
  ]),
  [value("f32", Infinity)],
);

// ./test/core/f32.wast:307
assert_return(
  () => invoke($0, `add`, [
    value("f32", -Infinity),
    value("f32", -0.000000000000000000000000000000000000011754944),
  ]),
  [value("f32", -Infinity)],
);

// ./test/core/f32.wast:308
assert_return(
  () => invoke($0, `add`, [
    value("f32", -Infinity),
    value("f32", 0.000000000000000000000000000000000000011754944),
  ]),
  [value("f32", -Infinity)],
);

// ./test/core/f32.wast:309
assert_return(
  () => invoke($0, `add`, [
    value("f32", Infinity),
    value("f32", -0.000000000000000000000000000000000000011754944),
  ]),
  [value("f32", Infinity)],
);

// ./test/core/f32.wast:310
assert_return(
  () => invoke($0, `add`, [
    value("f32", Infinity),
    value("f32", 0.000000000000000000000000000000000000011754944),
  ]),
  [value("f32", Infinity)],
);

// ./test/core/f32.wast:311
assert_return(
  () => invoke($0, `add`, [value("f32", -Infinity), value("f32", -0.5)]),
  [value("f32", -Infinity)],
);

// ./test/core/f32.wast:312
assert_return(
  () => invoke($0, `add`, [value("f32", -Infinity), value("f32", 0.5)]),
  [value("f32", -Infinity)],
);

// ./test/core/f32.wast:313
assert_return(
  () => invoke($0, `add`, [value("f32", Infinity), value("f32", -0.5)]),
  [value("f32", Infinity)],
);

// ./test/core/f32.wast:314
assert_return(
  () => invoke($0, `add`, [value("f32", Infinity), value("f32", 0.5)]),
  [value("f32", Infinity)],
);

// ./test/core/f32.wast:315
assert_return(
  () => invoke($0, `add`, [value("f32", -Infinity), value("f32", -1)]),
  [value("f32", -Infinity)],
);

// ./test/core/f32.wast:316
assert_return(
  () => invoke($0, `add`, [value("f32", -Infinity), value("f32", 1)]),
  [value("f32", -Infinity)],
);

// ./test/core/f32.wast:317
assert_return(
  () => invoke($0, `add`, [value("f32", Infinity), value("f32", -1)]),
  [value("f32", Infinity)],
);

// ./test/core/f32.wast:318
assert_return(
  () => invoke($0, `add`, [value("f32", Infinity), value("f32", 1)]),
  [value("f32", Infinity)],
);

// ./test/core/f32.wast:319
assert_return(
  () => invoke($0, `add`, [value("f32", -Infinity), value("f32", -6.2831855)]),
  [value("f32", -Infinity)],
);

// ./test/core/f32.wast:320
assert_return(
  () => invoke($0, `add`, [value("f32", -Infinity), value("f32", 6.2831855)]),
  [value("f32", -Infinity)],
);

// ./test/core/f32.wast:321
assert_return(
  () => invoke($0, `add`, [value("f32", Infinity), value("f32", -6.2831855)]),
  [value("f32", Infinity)],
);

// ./test/core/f32.wast:322
assert_return(
  () => invoke($0, `add`, [value("f32", Infinity), value("f32", 6.2831855)]),
  [value("f32", Infinity)],
);

// ./test/core/f32.wast:323
assert_return(
  () => invoke($0, `add`, [
    value("f32", -Infinity),
    value("f32", -340282350000000000000000000000000000000),
  ]),
  [value("f32", -Infinity)],
);

// ./test/core/f32.wast:324
assert_return(
  () => invoke($0, `add`, [
    value("f32", -Infinity),
    value("f32", 340282350000000000000000000000000000000),
  ]),
  [value("f32", -Infinity)],
);

// ./test/core/f32.wast:325
assert_return(
  () => invoke($0, `add`, [
    value("f32", Infinity),
    value("f32", -340282350000000000000000000000000000000),
  ]),
  [value("f32", Infinity)],
);

// ./test/core/f32.wast:326
assert_return(
  () => invoke($0, `add`, [
    value("f32", Infinity),
    value("f32", 340282350000000000000000000000000000000),
  ]),
  [value("f32", Infinity)],
);

// ./test/core/f32.wast:327
assert_return(
  () => invoke($0, `add`, [value("f32", -Infinity), value("f32", -Infinity)]),
  [value("f32", -Infinity)],
);

// ./test/core/f32.wast:328
assert_return(
  () => invoke($0, `add`, [value("f32", -Infinity), value("f32", Infinity)]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:329
assert_return(
  () => invoke($0, `add`, [value("f32", Infinity), value("f32", -Infinity)]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:330
assert_return(
  () => invoke($0, `add`, [value("f32", Infinity), value("f32", Infinity)]),
  [value("f32", Infinity)],
);

// ./test/core/f32.wast:331
assert_return(
  () => invoke($0, `add`, [
    value("f32", -Infinity),
    bytes("f32", [0x0, 0x0, 0xc0, 0xff]),
  ]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:332
assert_return(
  () => invoke($0, `add`, [
    value("f32", -Infinity),
    bytes("f32", [0x0, 0x0, 0xa0, 0xff]),
  ]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:333
assert_return(
  () => invoke($0, `add`, [
    value("f32", -Infinity),
    bytes("f32", [0x0, 0x0, 0xc0, 0x7f]),
  ]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:334
assert_return(
  () => invoke($0, `add`, [
    value("f32", -Infinity),
    bytes("f32", [0x0, 0x0, 0xa0, 0x7f]),
  ]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:335
assert_return(
  () => invoke($0, `add`, [
    value("f32", Infinity),
    bytes("f32", [0x0, 0x0, 0xc0, 0xff]),
  ]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:336
assert_return(
  () => invoke($0, `add`, [
    value("f32", Infinity),
    bytes("f32", [0x0, 0x0, 0xa0, 0xff]),
  ]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:337
assert_return(
  () => invoke($0, `add`, [
    value("f32", Infinity),
    bytes("f32", [0x0, 0x0, 0xc0, 0x7f]),
  ]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:338
assert_return(
  () => invoke($0, `add`, [
    value("f32", Infinity),
    bytes("f32", [0x0, 0x0, 0xa0, 0x7f]),
  ]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:339
assert_return(
  () => invoke($0, `add`, [bytes("f32", [0x0, 0x0, 0xc0, 0xff]), value("f32", -0)]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:340
assert_return(
  () => invoke($0, `add`, [bytes("f32", [0x0, 0x0, 0xa0, 0xff]), value("f32", -0)]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:341
assert_return(
  () => invoke($0, `add`, [bytes("f32", [0x0, 0x0, 0xc0, 0xff]), value("f32", 0)]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:342
assert_return(
  () => invoke($0, `add`, [bytes("f32", [0x0, 0x0, 0xa0, 0xff]), value("f32", 0)]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:343
assert_return(
  () => invoke($0, `add`, [bytes("f32", [0x0, 0x0, 0xc0, 0x7f]), value("f32", -0)]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:344
assert_return(
  () => invoke($0, `add`, [bytes("f32", [0x0, 0x0, 0xa0, 0x7f]), value("f32", -0)]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:345
assert_return(
  () => invoke($0, `add`, [bytes("f32", [0x0, 0x0, 0xc0, 0x7f]), value("f32", 0)]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:346
assert_return(
  () => invoke($0, `add`, [bytes("f32", [0x0, 0x0, 0xa0, 0x7f]), value("f32", 0)]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:347
assert_return(
  () => invoke($0, `add`, [
    bytes("f32", [0x0, 0x0, 0xc0, 0xff]),
    value("f32", -0.000000000000000000000000000000000000000000001),
  ]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:348
assert_return(
  () => invoke($0, `add`, [
    bytes("f32", [0x0, 0x0, 0xa0, 0xff]),
    value("f32", -0.000000000000000000000000000000000000000000001),
  ]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:349
assert_return(
  () => invoke($0, `add`, [
    bytes("f32", [0x0, 0x0, 0xc0, 0xff]),
    value("f32", 0.000000000000000000000000000000000000000000001),
  ]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:350
assert_return(
  () => invoke($0, `add`, [
    bytes("f32", [0x0, 0x0, 0xa0, 0xff]),
    value("f32", 0.000000000000000000000000000000000000000000001),
  ]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:351
assert_return(
  () => invoke($0, `add`, [
    bytes("f32", [0x0, 0x0, 0xc0, 0x7f]),
    value("f32", -0.000000000000000000000000000000000000000000001),
  ]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:352
assert_return(
  () => invoke($0, `add`, [
    bytes("f32", [0x0, 0x0, 0xa0, 0x7f]),
    value("f32", -0.000000000000000000000000000000000000000000001),
  ]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:353
assert_return(
  () => invoke($0, `add`, [
    bytes("f32", [0x0, 0x0, 0xc0, 0x7f]),
    value("f32", 0.000000000000000000000000000000000000000000001),
  ]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:354
assert_return(
  () => invoke($0, `add`, [
    bytes("f32", [0x0, 0x0, 0xa0, 0x7f]),
    value("f32", 0.000000000000000000000000000000000000000000001),
  ]),
  [`arithmetic_nan`],
);

// ./test/core/f32.wast:355
assert_return(
  () => invoke($0, `add`, [
    bytes("f32", [0x0, 0x0, 0xc0, 0xff]),
    value("f32", -0.000000000000000000000000000000000000011754944),
  ]),
  [`canonical_nan`],
);

// ./test/core/f32.wast:356
assert_return(
  () => invoke($0, `add`, [
    bytes("f32", [0x0, 0x0, 0xa0, 0xff]),
    value("f32", -0.000000000000000000000000000000000000011754944),
  ]),
--> --------------------

--> maximum size reached

--> --------------------

Messung V0.5
C=92 H=100 G=95

¤ Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.0.27Bemerkung:  (vorverarbeitet)  ¤

*Bot Zugriff






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.