binaryen-sys 0.13.0

Bindings to the binaryen library
Documentation 
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
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82

;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
;; RUN: foreach %s %t wasm-ctor-eval --ctors=new,nop --kept-exports=new,nop --quiet -all -S -o - | filecheck %s

;; We can eval $new, and afterwards also eval $nop as well. When doing the
;; latter we should not undo or break the previous work in any way. In
;; particular, we should have a valid global for $new to refer to (which
;; contains the serialization of the struct.new instruction).

(module
 ;; CHECK:      (type $A (struct ))
 (type $A (struct))

 (export "new" (func $new))
 (export "nop" (func $nop))

 (func $new (result (ref any))
  (struct.new $A)
 )

 (func $nop
  (nop)
 )
)

;; CHECK:      (type $1 (func (result (ref any))))

;; CHECK:      (type $2 (func))

;; CHECK:      (global $ctor-eval$global (ref $A) (struct.new_default $A))

;; CHECK:      (export "new" (func $new_2))

;; CHECK:      (export "nop" (func $nop_3))

;; CHECK:      (func $new_2 (type $1) (result (ref any))
;; CHECK-NEXT:  (global.get $ctor-eval$global)
;; CHECK-NEXT: )

;; CHECK:      (func $nop_3 (type $2)
;; CHECK-NEXT:  (nop)
;; CHECK-NEXT: )
(module
 ;; As above, but now there is an existing global with the name that we want to
 ;; use. We should not collide.

 ;; CHECK:      (type $A (struct ))
 (type $A (struct))

 ;; CHECK:      (type $1 (func (result (ref any))))

 ;; CHECK:      (type $2 (func (result anyref)))

 ;; CHECK:      (global $ctor-eval$global (ref $A) (struct.new_default $A))
 (global $ctor-eval$global (ref $A)
  (struct.new_default $A)
 )

 (export "new" (func $new))
 (export "nop" (func $nop))

 (func $new (result (ref any))
  (struct.new $A)
 )

 (func $nop (result anyref)
  ;; Use the existing global to keep it alive.
  (global.get $ctor-eval$global)
 )
)
;; CHECK:      (global $ctor-eval$global_1 (ref $A) (struct.new_default $A))

;; CHECK:      (export "new" (func $new_2))

;; CHECK:      (export "nop" (func $nop_3))

;; CHECK:      (func $new_2 (type $1) (result (ref any))
;; CHECK-NEXT:  (global.get $ctor-eval$global_1)
;; CHECK-NEXT: )

;; CHECK:      (func $nop_3 (type $2) (result anyref)
;; CHECK-NEXT:  (global.get $ctor-eval$global)
;; CHECK-NEXT: )