Source code

Revision control

Copy as Markdown

Other Tools

/* 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
*
*
* 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/multi-memory/float_exprs0.wast
// ./test/core/multi-memory/float_exprs0.wast:1
let $0 = instantiate(`(module
(memory 0 0)
(memory $$m 1 1)
(memory 0 0)
(func (export "init") (param $$i i32) (param $$x f64)
(f64.store $$m (local.get $$i) (local.get $$x)))
(func (export "run") (param $$n i32) (param $$z f64)
(local $$i i32)
(block $$exit
(loop $$cont
(f64.store $$m
(local.get $$i)
(f64.div (f64.load $$m (local.get $$i)) (local.get $$z))
)
(local.set $$i (i32.add (local.get $$i) (i32.const 8)))
(br_if $$cont (i32.lt_u (local.get $$i) (local.get $$n)))
)
)
)
(func (export "check") (param $$i i32) (result f64) (f64.load $$m (local.get $$i)))
)`);
// ./test/core/multi-memory/float_exprs0.wast:25
invoke($0, `init`, [0, value("f64", 15.1)]);
// ./test/core/multi-memory/float_exprs0.wast:26
invoke($0, `init`, [8, value("f64", 15.2)]);
// ./test/core/multi-memory/float_exprs0.wast:27
invoke($0, `init`, [16, value("f64", 15.3)]);
// ./test/core/multi-memory/float_exprs0.wast:28
invoke($0, `init`, [24, value("f64", 15.4)]);
// ./test/core/multi-memory/float_exprs0.wast:29
assert_return(() => invoke($0, `check`, [0]), [value("f64", 15.1)]);
// ./test/core/multi-memory/float_exprs0.wast:30
assert_return(() => invoke($0, `check`, [8]), [value("f64", 15.2)]);
// ./test/core/multi-memory/float_exprs0.wast:31
assert_return(() => invoke($0, `check`, [16]), [value("f64", 15.3)]);
// ./test/core/multi-memory/float_exprs0.wast:32
assert_return(() => invoke($0, `check`, [24]), [value("f64", 15.4)]);
// ./test/core/multi-memory/float_exprs0.wast:33
invoke($0, `run`, [32, value("f64", 3)]);
// ./test/core/multi-memory/float_exprs0.wast:34
assert_return(() => invoke($0, `check`, [0]), [value("f64", 5.033333333333333)]);
// ./test/core/multi-memory/float_exprs0.wast:35
assert_return(() => invoke($0, `check`, [8]), [value("f64", 5.066666666666666)]);
// ./test/core/multi-memory/float_exprs0.wast:36
assert_return(() => invoke($0, `check`, [16]), [value("f64", 5.1000000000000005)]);
// ./test/core/multi-memory/float_exprs0.wast:37
assert_return(() => invoke($0, `check`, [24]), [value("f64", 5.133333333333334)]);