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

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

;; Check that extern conversion instructions are emitted properly in the binary format.
;; Also check that the optimizer does not break on this code.

;; RUN: wasm-opt %s -all -O1 --roundtrip -S -o - | filecheck %s


(module
 ;; CHECK:      (type $0 (func (param (ref any)) (result (ref extern))))

 ;; CHECK:      (type $1 (func (param externref) (result anyref)))

 ;; CHECK:      (export "ext" (func $extern.externalize))

 ;; CHECK:      (export "int" (func $extern.internalize))

 ;; CHECK:      (func $extern.externalize (type $0) (param $0 (ref any)) (result (ref extern))
 ;; CHECK-NEXT:  (extern.externalize
 ;; CHECK-NEXT:   (local.get $0)
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT: )
 (func $extern.externalize (export "ext") (param $x (ref any)) (result (ref extern))
  (extern.externalize
   (local.get $x)
  )
 )

 ;; CHECK:      (func $extern.internalize (type $1) (param $0 externref) (result anyref)
 ;; CHECK-NEXT:  (extern.internalize
 ;; CHECK-NEXT:   (local.get $0)
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT: )
 (func $extern.internalize (export "int") (param $x (ref null extern)) (result (ref null any))
  (extern.internalize
   (local.get $x)
  )
 )
)