blob: c6e08b83ab3dce73de2a64a2b044135bfe03066b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
;; NOTE: Assertions have been generated by update_lit_checks.py and should not be edited.
;; RUN: wasm-opt %s --merge-blocks -all -S -o - | filecheck %s
;;
;; Similar to merge-blocks.wast, but without --remove-unused-names. This tests
;; the pass entirely by itself.
(module
;; CHECK: (func $nested-dropped-blocks (type $0)
;; CHECK-NEXT: (drop
;; CHECK-NEXT: (i32.const 42)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
(func $nested-dropped-blocks
;; Fully removing unneeded blocks here requires multiple operations to happen.
;; Specifically, we remove all the outer blocks first, and only then get to
;; the inner named block, which we can then infer is not needed either.
(block
(drop
(block (result i32)
(block $named (result i32)
(i32.const 42)
)
)
)
)
)
)
|
