blob: d2c32542c588ed463368cce4b3d2258eb60213ac (
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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
;; NOTE: Assertions have been generated by update_lit_checks.py and should not be edited.
;; RUN: wasm-opt %s -all --generate-stack-ir --optimize-stack-ir --roundtrip -S -o - | filecheck %s
(module
(type $"{i32}" (struct (field i32)))
;; CHECK: (export "export" (func $test))
(export "export" (func $test))
;; CHECK: (func $test (type $1)
;; CHECK-NEXT: (local $scratch (ref $\7bi32\7d))
;; CHECK-NEXT: (call $help
;; CHECK-NEXT: (block (result (ref $\7bi32\7d))
;; CHECK-NEXT: (local.set $scratch
;; CHECK-NEXT: (struct.new_default $\7bi32\7d)
;; CHECK-NEXT: )
;; CHECK-NEXT: (call $other)
;; CHECK-NEXT: (local.get $scratch)
;; CHECK-NEXT: )
;; CHECK-NEXT: (i32.const 1)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
(func $test
(call $help
(struct.new_default $"{i32}")
;; Stack IR optimizations can remove this block, leaving a call in an odd
;; "stacky" location. On load, we will use a local to work around that. It
;; is fine for the local to be non-nullable since the get is later in that
;; same block.
(block $block (result i32)
(call $other)
(i32.const 1)
)
)
)
;; CHECK: (func $help (type $2) (param $3 (ref $\7bi32\7d)) (param $4 i32)
;; CHECK-NEXT: )
(func $help (param $3 (ref $"{i32}")) (param $4 i32)
(nop)
)
;; CHECK: (func $other (type $1)
;; CHECK-NEXT: )
(func $other
)
)
|
