;;; TOOL: run-interp
(module
  ;; i32
  (func (export "i32_add") (result i32)
    i32.const 1
    i32.const 2 
    i32.add)
  (func (export "i32_sub") (result i32) 
    i32.const 20
    i32.const 4
    i32.sub)
  (func (export "i32_mul") (result i32)
    i32.const 3
    i32.const 7
    i32.mul)
  (func (export "i32_div_s") (result i32)
    i32.const -4
    i32.const 2 
    i32.div_s)
  (func (export "i32_div_u") (result i32) 
    i32.const -4
    i32.const 2
    i32.div_u)
  (func (export "i32_rem_s") (result i32) 
    i32.const -5
    i32.const 2
    i32.rem_s)
  (func (export "i32_rem_u") (result i32)
    i32.const -5
    i32.const 2 
    i32.rem_u)
  (func (export "i32_and") (result i32)
    i32.const 11
    i32.const 5 
    i32.and)
  (func (export "i32_or") (result i32)
    i32.const 11
    i32.const 5 
    i32.or)
  (func (export "i32_xor") (result i32)
    i32.const 11
    i32.const 5 
    i32.xor)
  (func (export "i32_shl") (result i32)
    i32.const -100
    i32.const 3 
    i32.shl)
  (func (export "i32_shr_u") (result i32)
    i32.const -100
    i32.const 3 
    i32.shr_u)
  (func (export "i32_shr_s") (result i32)
    i32.const -100
    i32.const 3 
    i32.shr_s)
  (func (export "i32_rotl") (result i32)
    i32.const -100
    i32.const 3 
    i32.rotl)
  (func (export "i32_rotr") (result i32)
    i32.const -100 
    i32.const 3
    i32.rotr)

  ;; i64
  (func (export "i64_add") (result i64)
    i64.const 1
    i64.const 2 
    i64.add)
  (func (export "i64_sub") (result i64)
    i64.const 20
    i64.const 4 
    i64.sub)
  (func (export "i64_mul") (result i64)
    i64.const 3
    i64.const 7 
    i64.mul)
  (func (export "i64_div_s") (result i64)
    i64.const -4 
    i64.const 2
    i64.div_s)
  (func (export "i64_div_u") (result i64)
    i64.const -4
    i64.const 2 
    i64.div_u)
  (func (export "i64_rem_s") (result i64)
    i64.const -5
    i64.const 2 
    i64.rem_s)
  (func (export "i64_rem_u") (result i64)
    i64.const -5
    i64.const 2 
    i64.rem_u)
  (func (export "i64_and") (result i64)
    i64.const 11
    i64.const 5 
    i64.and)
  (func (export "i64_or") (result i64)
    i64.const 11
    i64.const 5 
    i64.or)
  (func (export "i64_xor") (result i64)
    i64.const 11
    i64.const 5 
    i64.xor)
  (func (export "i64_shl") (result i64) 
    i64.const -100
    i64.const 3
    i64.shl)
  (func (export "i64_shr_u") (result i64)
    i64.const -100
    i64.const 3 
    i64.shr_u)
  (func (export "i64_shr_s") (result i64)
    i64.const -100
    i64.const 3 
    i64.shr_s)
  (func (export "i64_rotl") (result i64)
    i64.const -100
    i64.const 3 
    i64.rotl)
  (func (export "i64_rotr") (result i64)
    i64.const -100
    i64.const 3 
    i64.rotr)

  ;; f32
  (func (export "f32_add") (result f32)
    f32.const 1.25
    f32.const 3.75
    f32.add)
  (func (export "f32_sub") (result f32)
    f32.const 4.5
    f32.const 1e4
    f32.sub)
  (func (export "f32_mul") (result f32)
    f32.const 1234.5
    f32.const -6.875
    f32.mul)
  (func (export "f32_div") (result f32)
    f32.const 1e14
    f32.const -2e5
    f32.div)
  (func (export "f32_min") (result f32)
    f32.const 0
    f32.const 0
    f32.min)
  (func (export "f32_max") (result f32)
    f32.const 0
    f32.const 0
    f32.max)
  (func (export "f32_copysign") (result f32)
    f32.const 0
    f32.const 0
    f32.copysign)

  ;; f64
  (func (export "f64_add") (result f64)
    f64.const 987654321
    f64.const 123456789
    f64.add)
  (func (export "f64_sub") (result f64)
    f64.const 1234e56
    f64.const 5.5e23
    f64.sub)
  (func (export "f64_mul") (result f64)
    f64.const -123e4
    f64.const 12341234
    f64.mul)
  (func (export "f64_div") (result f64)
    f64.const 1e200
    f64.const 1e50
    f64.div)
  (func (export "f64_min") (result f64)
    f64.const 0
    f64.const 0
    f64.min)
  (func (export "f64_max") (result f64)
    f64.const 0
    f64.const 0
    f64.max)
  (func (export "f64_copysign") (result f64)
    f64.const 0
    f64.const 0
    f64.copysign)
)
(;; STDOUT ;;;
i32_add() => i32:3
i32_sub() => i32:16
i32_mul() => i32:21
i32_div_s() => i32:4294967294
i32_div_u() => i32:2147483646
i32_rem_s() => i32:4294967295
i32_rem_u() => i32:1
i32_and() => i32:1
i32_or() => i32:15
i32_xor() => i32:14
i32_shl() => i32:4294966496
i32_shr_u() => i32:536870899
i32_shr_s() => i32:4294967283
i32_rotl() => i32:4294966503
i32_rotr() => i32:2684354547
i64_add() => i64:3
i64_sub() => i64:16
i64_mul() => i64:21
i64_div_s() => i64:18446744073709551614
i64_div_u() => i64:9223372036854775806
i64_rem_s() => i64:18446744073709551615
i64_rem_u() => i64:1
i64_and() => i64:1
i64_or() => i64:15
i64_xor() => i64:14
i64_shl() => i64:18446744073709550816
i64_shr_u() => i64:2305843009213693939
i64_shr_s() => i64:18446744073709551603
i64_rotl() => i64:18446744073709550823
i64_rotr() => i64:11529215046068469747
f32_add() => f32:5.000000
f32_sub() => f32:-9995.500000
f32_mul() => f32:-8487.187500
f32_div() => f32:-500000000.000000
f32_min() => f32:0.000000
f32_max() => f32:0.000000
f32_copysign() => f32:0.000000
f64_add() => f64:1111111110.000000
f64_sub() => f64:123400000000000007812762268812638756607430593436581896388608.000000
f64_mul() => f64:-15179717820000.000000
f64_div() => f64:999999999999999980835596172437374590573120014030318793091164810154100112203678582976298268616221151962702060266176005440567032331208403948233373515776.000000
f64_min() => f64:0.000000
f64_max() => f64:0.000000
f64_copysign() => f64:0.000000
;;; STDOUT ;;)