/* 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/unwind.wast
// ./test/core/unwind.wast:3
let $
0 = instantiate(`(module
(func (export
"func-unwind-by-unreachable" )
(i32.
const 3 ) (i64.
const 1 ) (unreachable)
)
(func (export
"func-unwind-by-br" )
(i32.
const 3 ) (i64.
const 1 ) (br
0 )
)
(func (export
"func-unwind-by-br-value" ) (result i32)
(i32.
const 3 ) (i64.
const 1 ) (br
0 (i32.
const 9 ))
)
(func (export
"func-unwind-by-br_if" )
(i32.
const 3 ) (i64.
const 1 ) (drop (drop (br_if
0 (i32.
const 1 ))))
)
(func (export
"func-unwind-by-br_if-value" ) (result i32)
(i32.
const 3 ) (i64.
const 1 ) (drop (drop (br_if
0 (i32.
const 9 ) (i32.
const 1 ))))
)
(func (export
"func-unwind-by-br_table" )
(i32.
const 3 ) (i64.
const 1 ) (br_table
0 (i32.
const 0 ))
)
(func (export
"func-unwind-by-br_table-value" ) (result i32)
(i32.
const 3 ) (i64.
const 1 ) (br_table
0 (i32.
const 9 ) (i32.
const 0 ))
)
(func (export
"func-unwind-by-return" ) (result i32)
(i32.
const 3 ) (i64.
const 1 ) (
return (i32.
const 9 ))
)
(func (export
"block-unwind-by-unreachable" )
(block (i32.
const 3 ) (i64.
const 1 ) (unreachable))
)
(func (export
"block-unwind-by-br" ) (result i32)
(block (i32.
const 3 ) (i64.
const 1 ) (br
0 )) (i32.
const 9 )
)
(func (export
"block-unwind-by-br-value" ) (result i32)
(block (result i32) (i32.
const 3 ) (i64.
const 1 ) (br
0 (i32.
const 9 )))
)
(func (export
"block-unwind-by-br_if" ) (result i32)
(block (i32.
const 3 ) (i64.
const 1 ) (drop (drop (br_if
0 (i32.
const 1 ))))) (i32.
const 9 )
)
(func (export
"block-unwind-by-br_if-value" ) (result i32)
(block (result i32)
(i32.
const 3 ) (i64.
const 1 ) (drop (drop (br_if
0 (i32.
const 9 ) (i32.
const 1 ))))
)
)
(func (export
"block-unwind-by-br_table" ) (result i32)
(block (i32.
const 3 ) (i64.
const 1 ) (br_table
0 (i32.
const 0 ))) (i32.
const 9 )
)
(func (export
"block-unwind-by-br_table-value" ) (result i32)
(block (result i32)
(i32.
const 3 ) (i64.
const 1 ) (br_table
0 (i32.
const 9 ) (i32.
const 0 ))
)
)
(func (export
"block-unwind-by-return" ) (result i32)
(block (result i32) (i32.
const 3 ) (i64.
const 1 ) (
return (i32.
const 9 )))
)
(func (export
"block-nested-unwind-by-unreachable" ) (result i32)
(block (result i32) (i32.
const 3 ) (block (i64.
const 1 ) (unreachable)))
)
(func (export
"block-nested-unwind-by-br" ) (result i32)
(block (i32.
const 3 ) (block (i64.
const 1 ) (br
1 )) (drop)) (i32.
const 9 )
)
(func (export
"block-nested-unwind-by-br-value" ) (result i32)
(block (result i32)
(i32.
const 3 ) (block (i64.
const 1 ) (br
1 (i32.
const 9 )))
)
)
(func (export
"block-nested-unwind-by-br_if" ) (result i32)
(block (i32.
const 3 ) (block (i64.
const 1 ) (drop (br_if
1 (i32.
const 1 )))) (drop)) (i32.
const 9 )
)
(func (export
"block-nested-unwind-by-br_if-value" ) (result i32)
(block (result i32)
(i32.
const 3 ) (block (i64.
const 1 ) (drop (drop (br_if
1 (i32.
const 9 ) (i32.
const 1 )))))
)
)
(func (export
"block-nested-unwind-by-br_table" ) (result i32)
(block
(i32.
const 3 ) (block (i64.
const 1 ) (br_table
1 (i32.
const 1 )))
(drop)
)
(i32.
const 9 )
)
(func (export
"block-nested-unwind-by-br_table-value" ) (result i32)
(block (result i32)
(i32.
const 3 )
(block (i64.
const 1 ) (br_table
1 (i32.
const 9 ) (i32.
const 1 )))
)
)
(func (export
"block-nested-unwind-by-return" ) (result i32)
(block (result i32)
(i32.
const 3 ) (block (i64.
const 1 ) (
return (i32.
const 9 )))
)
)
(func (export
"unary-after-unreachable" ) (result i32)
(f32.
const 0 ) (unreachable) (i64.eqz)
)
(func (export
"unary-after-br" ) (result i32)
(block (result i32) (f32.
const 0 ) (br
0 (i32.
const 9 )) (i64.eqz))
)
(func (export
"unary-after-br_if" ) (result i32)
(block (result i32)
(i64.
const 0 ) (drop (br_if
0 (i32.
const 9 ) (i32.
const 1 ))) (i64.eqz)
)
)
(func (export
"unary-after-br_table" ) (result i32)
(block (result i32)
(f32.
const 0 ) (br_table
0 0 (i32.
const 9 ) (i32.
const 0 )) (i64.eqz)
)
)
(func (export
"unary-after-return" ) (result i32)
(f32.
const 0 ) (
return (i32.
const 9 )) (i64.eqz)
)
(func (export
"binary-after-unreachable" ) (result i32)
(f32.
const 0 ) (f64.
const 1 ) (unreachable) (i64.eq)
)
(func (export
"binary-after-br" ) (result i32)
(block (result i32)
(f32.
const 0 ) (f64.
const 1 ) (br
0 (i32.
const 9 )) (i64.eq)
)
)
(func (export
"binary-after-br_if" ) (result i32)
(block (result i32)
(i64.
const 0 ) (i64.
const 1 ) (drop (br_if
0 (i32.
const 9 ) (i32.
const 1 )))
(i64.eq)
)
)
(func (export
"binary-after-br_table" ) (result i32)
(block (result i32)
(f32.
const 0 ) (f64.
const 1 ) (br_table
0 (i32.
const 9 ) (i32.
const 0 ))
(i64.eq)
)
)
(func (export
"binary-after-return" ) (result i32)
(f32.
const 0 ) (f64.
const 1 ) (
return (i32.
const 9 )) (i64.eq)
)
(func (export
"select-after-unreachable" ) (result i32)
(f32.
const 0 ) (f64.
const 1 ) (i64.
const 0 ) (unreachable) (select)
)
(func (export
"select-after-br" ) (result i32)
(block (result i32)
(f32.
const 0 ) (f64.
const 1 ) (i64.
const 0 ) (br
0 (i32.
const 9 )) (select)
)
)
(func (export
"select-after-br_if" ) (result i32)
(block (result i32)
(i32.
const 0 ) (i32.
const 1 ) (i32.
const 0 )
(drop (br_if
0 (i32.
const 9 ) (i32.
const 1 )))
(select)
)
)
(func (export
"select-after-br_table" ) (result i32)
(block (result i32)
(f32.
const 0 ) (f64.
const 1 ) (i64.
const 0 )
(br_table
0 (i32.
const 9 ) (i32.
const 0 ))
(select)
)
)
(func (export
"select-after-return" ) (result i32)
(f32.
const 0 ) (f64.
const 1 ) (i64.
const 1 ) (
return (i32.
const 9 )) (select)
)
(func (export
"block-value-after-unreachable" ) (result i32)
(block (result i32) (f32.
const 0 ) (unreachable))
)
(func (export
"block-value-after-br" ) (result i32)
(block (result i32) (f32.
const 0 ) (br
0 (i32.
const 9 )))
)
(func (export
"block-value-after-br_if" ) (result i32)
(block (result i32)
(i32.
const 0 ) (drop (br_if
0 (i32.
const 9 ) (i32.
const 1 )))
)
)
(func (export
"block-value-after-br_table" ) (result i32)
(block (result i32)
(f32.
const 0 ) (br_table
0 0 (i32.
const 9 ) (i32.
const 0 ))
)
)
(func (export
"block-value-after-return" ) (result i32)
(block (result i32) (f32.
const 0 ) (
return (i32.
const 9 )))
)
(func (export
"loop-value-after-unreachable" ) (result i32)
(loop (result i32) (f32.
const 0 ) (unreachable))
)
(func (export
"loop-value-after-br" ) (result i32)
(block (result i32) (loop (result i32) (f32.
const 0 ) (br
1 (i32.
const 9 ))))
)
(func (export
"loop-value-after-br_if" ) (result i32)
(block (result i32)
(loop (result i32)
(i32.
const 0 ) (drop (br_if
1 (i32.
const 9 ) (i32.
const 1 )))
)
)
)
(func (export
"loop-value-after-br_table" ) (result i32)
(block (result i32)
(loop (result i32)
(f32.
const 0 ) (br_table
1 1 (i32.
const 9 ) (i32.
const 0 ))
)
)
)
(func (export
"loop-value-after-return" ) (result i32)
(loop (result i32) (f32.
const 0 ) (
return (i32.
const 9 )))
)
)`);
// ./test/core/unwind.wast:212
assert_trap(() => invoke($
0 , `func-unwind-by-unreachable`, []), `unreachable`);
// ./test/core/unwind.wast:213
assert_return(() => invoke($
0 , `func-unwind-by-br`, []), []);
// ./test/core/unwind.wast:214
assert_return(() => invoke($
0 , `func-unwind-by-br-value`, []), [value(
"i32" ,
9 )]);
// ./test/core/unwind.wast:215
assert_return(() => invoke($
0 , `func-unwind-by-br_if`, []), []);
// ./test/core/unwind.wast:216
assert_return(() => invoke($
0 , `func-unwind-by-br_if-value`, []), [value(
"i32" ,
9 )]);
// ./test/core/unwind.wast:217
assert_return(() => invoke($
0 , `func-unwind-by-br_table`, []), []);
// ./test/core/unwind.wast:218
assert_return(() => invoke($
0 , `func-unwind-by-br_table-value`, []), [value(
"i32" ,
9 )])
;// ./test/core/unwind.wast:219 0 , `func-unwind-by-return `, []), [value("i32" , 9 )]);// ./test/core/unwind.wast:221 0 , `block-unwind-by-unreachable`, []), `unreachable`);// ./test/core/unwind.wast:222 0 , `block-unwind-by-br`, []), [value("i32" , 9 )]);// ./test/core/unwind.wast:223 0 , `block-unwind-by-br-value`, []), [value("i32" , 9 )]);// ./test/core/unwind.wast:224 0 , `block-unwind-by-br_if`, []), [value("i32" , 9 )]);// ./test/core/unwind.wast:225 0 , `block-unwind-by-br_if-value`, []), [value("i32" , 9 )]);// ./test/core/unwind.wast:226 0 , `block-unwind-by-br_table`, []), [value("i32" , 9 )]);// ./test/core/unwind.wast:227 0 , `block-unwind-by-br_table-value`, []), [value("i32" , 9 )]);// ./test/core/unwind.wast:228 0 , `block-unwind-by-return `, []), [value("i32" , 9 )]);// ./test/core/unwind.wast:230 0 , `block-nested-unwind-by-unreachable`, []), `unreachable`);// ./test/core/unwind.wast:231 0 , `block-nested-unwind-by-br`, []), [value("i32" , 9 )]);// ./test/core/unwind.wast:232 0 , `block-nested-unwind-by-br-value`, []), [value("i32" , 9 )]);// ./test/core/unwind.wast:233 0 , `block-nested-unwind-by-br_if`, []), [value("i32" , 9 )]);// ./test/core/unwind.wast:234 0 , `block-nested-unwind-by-br_if-value`, []), [value("i32" , 9 )]);// ./test/core/unwind.wast:235 0 , `block-nested-unwind-by-br_table`, []), [value("i32" , 9 )]);// ./test/core/unwind.wast:236 0 , `block-nested-unwind-by-br_table-value`, []), [value("i32" , 9 )]);// ./test/core/unwind.wast:237 0 , `block-nested-unwind-by-return `, []), [value("i32" , 9 )]);// ./test/core/unwind.wast:239 0 , `unary-after-unreachable`, []), `unreachable`);// ./test/core/unwind.wast:240 0 , `unary-after-br`, []), [value("i32" , 9 )]);// ./test/core/unwind.wast:241 0 , `unary-after-br_if`, []), [value("i32" , 9 )]);// ./test/core/unwind.wast:242 0 , `unary-after-br_table`, []), [value("i32" , 9 )]);// ./test/core/unwind.wast:243 0 , `unary-after-return `, []), [value("i32" , 9 )]);// ./test/core/unwind.wast:245 0 , `binary-after-unreachable`, []), `unreachable`);// ./test/core/unwind.wast:246 0 , `binary-after-br`, []), [value("i32" , 9 )]);// ./test/core/unwind.wast:247 0 , `binary-after-br_if`, []), [value("i32" , 9 )]);// ./test/core/unwind.wast:248 0 , `binary-after-br_table`, []), [value("i32" , 9 )]);// ./test/core/unwind.wast:249 0 , `binary-after-return `, []), [value("i32" , 9 )]);// ./test/core/unwind.wast:251 0 , `select-after-unreachable`, []), `unreachable`);// ./test/core/unwind.wast:252 0 , `select-after-br`, []), [value("i32" , 9 )]);// ./test/core/unwind.wast:253 0 , `select-after-br_if`, []), [value("i32" , 9 )]);// ./test/core/unwind.wast:254 0 , `select-after-br_table`, []), [value("i32" , 9 )]);// ./test/core/unwind.wast:255 0 , `select-after-return `, []), [value("i32" , 9 )]);// ./test/core/unwind.wast:257 0 , `block-value-after-unreachable`, []), `unreachable`);// ./test/core/unwind.wast:258 0 , `block-value-after-br`, []), [value("i32" , 9 )]);// ./test/core/unwind.wast:259 0 , `block-value-after-br_if`, []), [value("i32" , 9 )]);// ./test/core/unwind.wast:260 0 , `block-value-after-br_table`, []), [value("i32" , 9 )]);// ./test/core/unwind.wast:261 0 , `block-value-after-return `, []), [value("i32" , 9 )]);// ./test/core/unwind.wast:263 0 , `loop-value-after-unreachable`, []), `unreachable`);// ./test/core/unwind.wast:264 0 , `loop-value-after-br`, []), [value("i32" , 9 )]);// ./test/core/unwind.wast:265 0 , `loop-value-after-br_if`, []), [value("i32" , 9 )]);// ./test/core/unwind.wast:266 0 , `loop-value-after-br_table`, []), [value("i32" , 9 )]);// ./test/core/unwind.wast:267 0 , `loop-value-after-return `, []), [value("i32" , 9 )]); Messung V0.5 in Prozent C=92 H=94 G=92
¤ Dauer der Verarbeitung: 0.16 Sekunden
(vorverarbeitet am 2026-06-05)
¤ *© Formatika GbR, Deutschland
