| ;; Testing i64 select | |
| (module | |
| (func $p (param $i i32) (result i32) (local.get $i)) | |
| (func (param i32) (result i32) | |
| (return | |
| (select | |
| (call $p (i32.const -1)) | |
| (call $p (i32.const 0)) | |
| (i32.const 1) | |
| ) | |
| ) | |
| ) | |
| (func (result i64) | |
| (return | |
| (select | |
| (i64.const -1) | |
| (i64.const 0) | |
| (i32.const 1) | |
| ) | |
| ) | |
| ) | |
| (func $unreachable-select-i64 (result i64) | |
| (select | |
| (i64.const 1) | |
| (unreachable) | |
| (i32.const 268435456) | |
| ) | |
| ) | |
| (func $unreachable-select-i64-b (result i64) | |
| (select | |
| (unreachable) | |
| (i64.const 1) | |
| (i32.const 268435456) | |
| ) | |
| ) | |
| (func $unreachable-select-i64-c (result i64) | |
| (select | |
| (i64.const 1) | |
| (i64.const 1) | |
| (unreachable) | |
| ) | |
| ) | |
| ) |