blob: 24e765903b15f0a077aad27cc9ca4f376b862d67 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
(module
;; vacuum and remove-unused names leave us with a return at the top, and then
;; merge-blocks wants to move the first line of the block into an outer block
;; that then becomes the fallthrough of the function, so it must be properly typed.
;; and here the new last element is a return, with unreachable type, bad for a block
;; in that position
(func $return-block (param $x i32) (result i32)
(return
(block (result i32)
(local.set $x (local.get $x))
(local.get $x)
)
)
)
)
|
