mirror of
https://github.com/bytecodealliance/wasm-micro-runtime.git
synced 2025-10-31 13:17:31 +00:00
109 lines
4.3 KiB
Plaintext
109 lines
4.3 KiB
Plaintext
(module
|
|
(type $ftype0 (func (param i32)))
|
|
(type $ftype1 (func (param i32 i64) (result i32)))
|
|
(type $ftype2 (func (param f32 f64) (result f64)))
|
|
(type $t0 (func (param (ref 1) (ref 2) (ref null 1) (ref null 2))))
|
|
(type $t1 (func (param funcref externref (ref func)(ref extern)
|
|
anyref eqref arrayref i31ref
|
|
(ref null 0) (ref null 2) (ref null func) (ref null extern)
|
|
(ref null any) (ref null eq) (ref null i31) (ref null array)
|
|
(ref 0) (ref $t0) (ref 3) (ref $t0) (ref null func)
|
|
(ref null extern) (ref null 3) (ref null $t0))
|
|
(result (ref null func))))
|
|
(type $t2 (func (param i32 i32) (result (ref null 4))))
|
|
|
|
;; Duplicated types
|
|
(type $t3 (func))
|
|
(type $t4 (func (param (ref 1) (ref 2) (ref null 1) (ref null 2))))
|
|
(type $t5 (func (param funcref externref (ref func)(ref extern)
|
|
anyref eqref arrayref i31ref
|
|
(ref null 0) (ref null 2) (ref null func) (ref null extern)
|
|
(ref null any) (ref null eq) (ref null i31) (ref null array)
|
|
(ref 0) (ref $t0) (ref 3) (ref $t0) (ref null func)
|
|
(ref null extern) (ref null 3) (ref null $t0))
|
|
(result (ref null func))))
|
|
(type $t6 (func (param i32 i32) (result (ref null 4))))
|
|
|
|
(type (struct (field i8 (mut i16) (mut i32) i64 f32 f64
|
|
funcref externref (ref func)(ref extern)
|
|
anyref eqref arrayref i31ref
|
|
(ref null 0) (ref null 2) (ref null func) (ref null extern)
|
|
(ref null any) (ref null eq) (ref null i31) (ref null array)
|
|
(ref 0) (ref $t0) (ref 3) (ref $t0) (ref null func)
|
|
(ref null extern) (ref null 5) (ref null $t0))))
|
|
(type (struct))
|
|
(type (struct (field)))
|
|
(type (struct (field i8)))
|
|
(type (struct (field i8 i8 i8 i8)))
|
|
(type (struct (field $x1 i32) (field $y1 i32)))
|
|
(type (struct (field i8 i16 i32 i64 f32 f64 anyref funcref (ref 0) (ref null 1))))
|
|
(type (struct (field i32 i64 i8) (field) (field) (field (ref null i31) anyref)))
|
|
(type (struct (field $x2 i32) (field f32 f64) (field $y2 i32)))
|
|
|
|
;; Duplicated types
|
|
(type (struct (field i8 (mut i16) (mut i32) i64 f32 f64
|
|
funcref externref (ref func)(ref extern)
|
|
anyref eqref arrayref i31ref
|
|
(ref null 0) (ref null 2) (ref null func) (ref null extern)
|
|
(ref null any) (ref null eq) (ref null i31) (ref null array)
|
|
(ref 0) (ref $t0) (ref 3) (ref $t0) (ref null func)
|
|
(ref null extern) (ref null 5) (ref null $t0))))
|
|
|
|
(type (struct))
|
|
(type (struct (field)))
|
|
(type (struct (field i8)))
|
|
(type (struct (field i8 i8 i8 i8)))
|
|
(type (struct (field $x3 i32) (field $y3 i32)))
|
|
(type (struct (field i8 i16 i32 i64 f32 f64 anyref funcref (ref 0) (ref null 1))))
|
|
(type (struct (field i32 i64 i8) (field) (field) (field (ref null i31) anyref)))
|
|
(type (struct (field $x4 i32) (field f32 f64) (field $y4 i32)))
|
|
|
|
(type (array i8))
|
|
(type (array i16))
|
|
(type (array i32))
|
|
(type (array i64))
|
|
(type (array f32))
|
|
(type (array f64))
|
|
(type (array anyref))
|
|
(type (array (ref array)))
|
|
(type (array (ref 0)))
|
|
(type (array (ref null 1)))
|
|
(type (array (mut i8)))
|
|
(type (array (mut i16)))
|
|
(type (array (mut i32)))
|
|
(type (array (mut i64)))
|
|
(type (array (mut i32)))
|
|
(type (array (mut i64)))
|
|
(type (array (mut anyref)))
|
|
(type (array (mut (ref array))))
|
|
(type (array (mut (ref 0))))
|
|
(type (array (mut (ref null i31))))
|
|
|
|
(table 10 funcref)
|
|
(table 20 externref)
|
|
;; non-defaultable element type
|
|
;; (table 30 (ref func))
|
|
;; (table 40 (ref extern))
|
|
(table 50 anyref)
|
|
(table 60 eqref)
|
|
(table 100 arrayref)
|
|
(table 100 i31ref)
|
|
(table 100 (ref null 0))
|
|
(table 100 (ref null 2))
|
|
(table 100 (ref null func))
|
|
(table 100 (ref null extern))
|
|
(table 100 (ref null any))
|
|
(table 100 (ref null eq))
|
|
(table 100 (ref null i31))
|
|
(table 100 (ref null array))
|
|
;; non-defaultable element type
|
|
;; (table 100 (ref 0))
|
|
;; (table 100 (ref $t0))
|
|
;; (table 100 (ref 3))
|
|
;; (table 100 (ref $t0))
|
|
(table 100 (ref null func))
|
|
(table 100 (ref null extern))
|
|
(table 100 (ref null 5))
|
|
(table 100 (ref null $t0))
|
|
)
|