1;; Additional run tests for Winch not covered in the official spec test suite.
2
3(module
4  (func (export "br-table-ensure-sp") (result i32)
5    (block (result i32)
6       (i32.const 0)
7    )
8    (i32.const 0)
9    (i32.const 0)
10    (br_table 0)
11  )
12)
13
14(assert_return (invoke "br-table-ensure-sp") (i32.const 0))
15