blob: 71a380623ef12688bcc8ee1570ef9de22ca8a936 (
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 --all-items and should not be edited.
;; RUN: wasm-ctor-eval %s --ctors=v128 --kept-exports=v128 --quiet -all -S -o - | filecheck %s
(module
;; CHECK: (type $0 (func (param i32) (result i32)))
;; CHECK: (type $1 (func (result v128)))
;; CHECK: (memory $0 16 17 shared)
(memory $0 16 17 shared)
(export "v128" (func $v128))
;; CHECK: (data $0 (i32.const 23) "\e0\ff\c0N\8e\00\00\fe\01\00\12\81\85\fd\ff\90")
;; CHECK: (export "v128" (func $v128_2))
;; CHECK: (export "keepalive" (func $keepalive))
(export "keepalive" (func $keepalive))
(func $v128 (result v128)
(v128.store
(i32.const 23)
(v128.const i32x4 0x4ec0ffe0 0xfe00008e 0x81120001 0x90fffd85)
)
(v128.load
(i32.const 23)
)
)
;; CHECK: (func $keepalive (type $0) (param $x i32) (result i32)
;; CHECK-NEXT: (i32.load
;; CHECK-NEXT: (local.get $x)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
(func $keepalive (param $x i32) (result i32)
;; Keep the memory alive.
(i32.load
(local.get $x)
)
)
)
;; CHECK: (func $v128_2 (type $1) (result v128)
;; CHECK-NEXT: (v128.const i32x4 0x4ec0ffe0 0xfe00008e 0x81120001 0x90fffd85)
;; CHECK-NEXT: )
|