blob: 306e26a41e42f7b6f9c30522f486958ca906ed11 (
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
45
46
47
48
49
50
51
52
53
54
55
56
|
;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
;; RUN: wasm-ctor-eval %s --ctors=multivalue-local --quiet -all -S -o - | filecheck %s
(module
;; CHECK: (type $0 (func))
;; CHECK: (type $1 (func (result i32)))
;; CHECK: (import "a" "b" (func $import (type $0)))
(import "a" "b" (func $import))
(func $multivalue-local (export "multivalue-local") (result i32)
(local $0 i32)
(local $1 (tuple i32 i32))
;; We can eval this line. But we will stop evalling at the line after it, the
;; import call. As a result we'll only have a partial evalling of this
;; function, as a result of which it will begin with sets of the values in the
;; locals, followed by the import call and the rest.
(local.set $0
(i32.add ;; This add will be evalled into 42.
(i32.const 41)
(i32.const 1)
)
)
(local.set $1
(tuple.make 2
(local.get $0) ;; This will turn into 42.
(i32.const 1000)
)
)
(call $import)
;; Use the locals so they are not trivally removed.
(i32.add
(local.get $0)
(tuple.extract 2 0
(local.get $1)
)
)
)
)
;; CHECK: (export "multivalue-local" (func $multivalue-local_2))
;; CHECK: (func $multivalue-local_2 (type $1) (result i32)
;; CHECK-NEXT: (local $0 i32)
;; CHECK-NEXT: (local.set $0
;; CHECK-NEXT: (i32.const 42)
;; CHECK-NEXT: )
;; CHECK-NEXT: (call $import)
;; CHECK-NEXT: (i32.add
;; CHECK-NEXT: (local.get $0)
;; CHECK-NEXT: (local.get $0)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
|
