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

;; NOTE: Assertions have been generated by update_lit_checks.py and should not be edited.

;; Optimize the code, flatten, and run a pass that will verify it is properly
;; flat.
;; RUN: wasm-opt %s -all -O1 --flatten --rereloop -S -o - | filecheck %s

(module
 ;; CHECK:      (export "foo" (func $foo))
 (export "foo" (func $foo))
 ;; CHECK:      (func $foo (type $0) (result funcref)
 ;; CHECK-NEXT:  (local $0 funcref)
 ;; CHECK-NEXT:  (local $1 (ref $0))
 ;; CHECK-NEXT:  (local $2 (ref $0))
 ;; CHECK-NEXT:  (local $3 i32)
 ;; CHECK-NEXT:  (block
 ;; CHECK-NEXT:   (local.set $0
 ;; CHECK-NEXT:    (call $foo)
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:   (drop
 ;; CHECK-NEXT:    (local.get $0)
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:   (local.set $1
 ;; CHECK-NEXT:    (ref.func $foo)
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:   (local.set $2
 ;; CHECK-NEXT:    (local.get $1)
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:   (return
 ;; CHECK-NEXT:    (local.get $2)
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT: )
 (func $foo (result funcref)
  ;; the resulting ref.as_non_nulls here must be validated as ok in flat mode.
  (drop
   (call $foo)
  )
  (ref.func $foo)
 )
)