wa-lang.org/wazero@v1.0.2/internal/integration_test/spectest/testdata/spectest.wat (about)

     1  (module $spectest
     2  (; TODO
     3    (global (export "global_i32") i32)
     4    (global (export "global_i64") i64)
     5    (global (export "global_f32") f32)
     6    (global (export "global_f64") f64)
     7  
     8    (table (export "table") 10 20 funcref)
     9  ;)
    10  
    11  ;; TODO: revisit inlining after #215
    12  
    13    (memory 1 2)
    14      (export "memory" (memory 0))
    15  
    16  ;; Note: the following aren't host functions that print to console as it would clutter it. These only drop the inputs.
    17    (func)
    18       (export "print" (func 0))
    19  
    20    (func (param i32) local.get 0 drop)
    21       (export "print_i32" (func 1))
    22  
    23    (func (param i64) local.get 0 drop)
    24       (export "print_i64" (func 2))
    25  
    26    (func (param f32) local.get 0 drop)
    27       (export "print_f32" (func 3))
    28  
    29    (func (param f64) local.get 0 drop)
    30       (export "print_f64" (func 4))
    31  
    32    (func (param i32 f32) local.get 0 drop local.get 1 drop)
    33       (export "print_i32_f32" (func 5))
    34  
    35    (func (param f64 f64) local.get 0 drop local.get 1 drop)
    36       (export "print_f64_f64" (func 6))
    37  )