mirror of
https://github.com/fluencelabs/wasmer
synced 2024-12-14 22:55:40 +00:00
74875ed554
* Move wasmer-runtime to wasmer-runtime-core * Add the runtime library * Fix issue with macros using wasmer_runtime, fmt * Make default compiler dependency optional * Add instantiate and validate functions
218 lines
9.8 KiB
Plaintext
218 lines
9.8 KiB
Plaintext
(module
|
|
(memory 1)
|
|
|
|
;; Stores an i16 value in little-endian-format
|
|
(func $i16_store_little (param $address i32) (param $value i32)
|
|
(i32.store8 (get_local $address) (get_local $value))
|
|
(i32.store8 (i32.add (get_local $address) (i32.const 1)) (i32.shr_u (get_local $value) (i32.const 8)))
|
|
)
|
|
|
|
;; Stores an i32 value in little-endian format
|
|
(func $i32_store_little (param $address i32) (param $value i32)
|
|
(call $i16_store_little (get_local $address) (get_local $value))
|
|
(call $i16_store_little (i32.add (get_local $address) (i32.const 2)) (i32.shr_u (get_local $value) (i32.const 16)))
|
|
)
|
|
|
|
;; Stores an i64 value in little-endian format
|
|
(func $i64_store_little (param $address i32) (param $value i64)
|
|
(call $i32_store_little (get_local $address) (i32.wrap/i64 (get_local $value)))
|
|
(call $i32_store_little (i32.add (get_local $address) (i32.const 4)) (i32.wrap/i64 (i64.shr_u (get_local $value) (i64.const 32))))
|
|
)
|
|
|
|
;; Loads an i16 value in little-endian format
|
|
(func $i16_load_little (param $address i32) (result i32)
|
|
(i32.or
|
|
(i32.load8_u (get_local $address))
|
|
(i32.shl (i32.load8_u (i32.add (get_local $address) (i32.const 1))) (i32.const 8))
|
|
)
|
|
)
|
|
|
|
;; Loads an i32 value in little-endian format
|
|
(func $i32_load_little (param $address i32) (result i32)
|
|
(i32.or
|
|
(call $i16_load_little (get_local $address))
|
|
(i32.shl (call $i16_load_little (i32.add (get_local $address) (i32.const 2))) (i32.const 16))
|
|
)
|
|
)
|
|
|
|
;; Loads an i64 value in little-endian format
|
|
(func $i64_load_little (param $address i32) (result i64)
|
|
(i64.or
|
|
(i64.extend_u/i32 (call $i32_load_little (get_local $address)))
|
|
(i64.shl (i64.extend_u/i32 (call $i32_load_little (i32.add (get_local $address) (i32.const 4)))) (i64.const 32))
|
|
)
|
|
)
|
|
|
|
(func (export "i32_load16_s") (param $value i32) (result i32)
|
|
(call $i16_store_little (i32.const 0) (get_local $value))
|
|
(i32.load16_s (i32.const 0))
|
|
)
|
|
|
|
(func (export "i32_load16_u") (param $value i32) (result i32)
|
|
(call $i16_store_little (i32.const 0) (get_local $value))
|
|
(i32.load16_u (i32.const 0))
|
|
)
|
|
|
|
(func (export "i32_load") (param $value i32) (result i32)
|
|
(call $i32_store_little (i32.const 0) (get_local $value))
|
|
(i32.load (i32.const 0))
|
|
)
|
|
|
|
(func (export "i64_load16_s") (param $value i64) (result i64)
|
|
(call $i16_store_little (i32.const 0) (i32.wrap/i64 (get_local $value)))
|
|
(i64.load16_s (i32.const 0))
|
|
)
|
|
|
|
(func (export "i64_load16_u") (param $value i64) (result i64)
|
|
(call $i16_store_little (i32.const 0) (i32.wrap/i64 (get_local $value)))
|
|
(i64.load16_u (i32.const 0))
|
|
)
|
|
|
|
(func (export "i64_load32_s") (param $value i64) (result i64)
|
|
(call $i32_store_little (i32.const 0) (i32.wrap/i64 (get_local $value)))
|
|
(i64.load32_s (i32.const 0))
|
|
)
|
|
|
|
(func (export "i64_load32_u") (param $value i64) (result i64)
|
|
(call $i32_store_little (i32.const 0) (i32.wrap/i64 (get_local $value)))
|
|
(i64.load32_u (i32.const 0))
|
|
)
|
|
|
|
(func (export "i64_load") (param $value i64) (result i64)
|
|
(call $i64_store_little (i32.const 0) (get_local $value))
|
|
(i64.load (i32.const 0))
|
|
)
|
|
|
|
(func (export "f32_load") (param $value f32) (result f32)
|
|
(call $i32_store_little (i32.const 0) (i32.reinterpret/f32 (get_local $value)))
|
|
(f32.load (i32.const 0))
|
|
)
|
|
|
|
(func (export "f64_load") (param $value f64) (result f64)
|
|
(call $i64_store_little (i32.const 0) (i64.reinterpret/f64 (get_local $value)))
|
|
(f64.load (i32.const 0))
|
|
)
|
|
|
|
|
|
(func (export "i32_store16") (param $value i32) (result i32)
|
|
(i32.store16 (i32.const 0) (get_local $value))
|
|
(call $i16_load_little (i32.const 0))
|
|
)
|
|
|
|
(func (export "i32_store") (param $value i32) (result i32)
|
|
(i32.store (i32.const 0) (get_local $value))
|
|
(call $i32_load_little (i32.const 0))
|
|
)
|
|
|
|
(func (export "i64_store16") (param $value i64) (result i64)
|
|
(i64.store16 (i32.const 0) (get_local $value))
|
|
(i64.extend_u/i32 (call $i16_load_little (i32.const 0)))
|
|
)
|
|
|
|
(func (export "i64_store32") (param $value i64) (result i64)
|
|
(i64.store32 (i32.const 0) (get_local $value))
|
|
(i64.extend_u/i32 (call $i32_load_little (i32.const 0)))
|
|
)
|
|
|
|
(func (export "i64_store") (param $value i64) (result i64)
|
|
(i64.store (i32.const 0) (get_local $value))
|
|
(call $i64_load_little (i32.const 0))
|
|
)
|
|
|
|
(func (export "f32_store") (param $value f32) (result f32)
|
|
(f32.store (i32.const 0) (get_local $value))
|
|
(f32.reinterpret/i32 (call $i32_load_little (i32.const 0)))
|
|
)
|
|
|
|
(func (export "f64_store") (param $value f64) (result f64)
|
|
(f64.store (i32.const 0) (get_local $value))
|
|
(f64.reinterpret/i64 (call $i64_load_little (i32.const 0)))
|
|
)
|
|
)
|
|
|
|
(assert_return (invoke "i32_load16_s" (i32.const -1)) (i32.const -1))
|
|
(assert_return (invoke "i32_load16_s" (i32.const -4242)) (i32.const -4242))
|
|
(assert_return (invoke "i32_load16_s" (i32.const 42)) (i32.const 42))
|
|
(assert_return (invoke "i32_load16_s" (i32.const 0x3210)) (i32.const 0x3210))
|
|
|
|
(assert_return (invoke "i32_load16_u" (i32.const -1)) (i32.const 0xFFFF))
|
|
(assert_return (invoke "i32_load16_u" (i32.const -4242)) (i32.const 61294))
|
|
(assert_return (invoke "i32_load16_u" (i32.const 42)) (i32.const 42))
|
|
(assert_return (invoke "i32_load16_u" (i32.const 0xCAFE)) (i32.const 0xCAFE))
|
|
|
|
(assert_return (invoke "i32_load" (i32.const -1)) (i32.const -1))
|
|
(assert_return (invoke "i32_load" (i32.const -42424242)) (i32.const -42424242))
|
|
(assert_return (invoke "i32_load" (i32.const 42424242)) (i32.const 42424242))
|
|
(assert_return (invoke "i32_load" (i32.const 0xABAD1DEA)) (i32.const 0xABAD1DEA))
|
|
|
|
(assert_return (invoke "i64_load16_s" (i64.const -1)) (i64.const -1))
|
|
(assert_return (invoke "i64_load16_s" (i64.const -4242)) (i64.const -4242))
|
|
(assert_return (invoke "i64_load16_s" (i64.const 42)) (i64.const 42))
|
|
(assert_return (invoke "i64_load16_s" (i64.const 0x3210)) (i64.const 0x3210))
|
|
|
|
(assert_return (invoke "i64_load16_u" (i64.const -1)) (i64.const 0xFFFF))
|
|
(assert_return (invoke "i64_load16_u" (i64.const -4242)) (i64.const 61294))
|
|
(assert_return (invoke "i64_load16_u" (i64.const 42)) (i64.const 42))
|
|
(assert_return (invoke "i64_load16_u" (i64.const 0xCAFE)) (i64.const 0xCAFE))
|
|
|
|
(assert_return (invoke "i64_load32_s" (i64.const -1)) (i64.const -1))
|
|
(assert_return (invoke "i64_load32_s" (i64.const -42424242)) (i64.const -42424242))
|
|
(assert_return (invoke "i64_load32_s" (i64.const 42424242)) (i64.const 42424242))
|
|
(assert_return (invoke "i64_load32_s" (i64.const 0x12345678)) (i64.const 0x12345678))
|
|
|
|
(assert_return (invoke "i64_load32_u" (i64.const -1)) (i64.const 0xFFFFFFFF))
|
|
(assert_return (invoke "i64_load32_u" (i64.const -42424242)) (i64.const 4252543054))
|
|
(assert_return (invoke "i64_load32_u" (i64.const 42424242)) (i64.const 42424242))
|
|
(assert_return (invoke "i64_load32_u" (i64.const 0xABAD1DEA)) (i64.const 0xABAD1DEA))
|
|
|
|
(assert_return (invoke "i64_load" (i64.const -1)) (i64.const -1))
|
|
(assert_return (invoke "i64_load" (i64.const -42424242)) (i64.const -42424242))
|
|
(assert_return (invoke "i64_load" (i64.const 0xABAD1DEA)) (i64.const 0xABAD1DEA))
|
|
(assert_return (invoke "i64_load" (i64.const 0xABADCAFEDEAD1DEA)) (i64.const 0xABADCAFEDEAD1DEA))
|
|
|
|
(assert_return (invoke "f32_load" (f32.const -1)) (f32.const -1))
|
|
(assert_return (invoke "f32_load" (f32.const 1234e-5)) (f32.const 1234e-5))
|
|
(assert_return (invoke "f32_load" (f32.const 4242.4242)) (f32.const 4242.4242))
|
|
(assert_return (invoke "f32_load" (f32.const 0x1.fffffep+127)) (f32.const 0x1.fffffep+127))
|
|
|
|
(assert_return (invoke "f64_load" (f64.const -1)) (f64.const -1))
|
|
(assert_return (invoke "f64_load" (f64.const 123456789e-5)) (f64.const 123456789e-5))
|
|
(assert_return (invoke "f64_load" (f64.const 424242.424242)) (f64.const 424242.424242))
|
|
(assert_return (invoke "f64_load" (f64.const 0x1.fffffffffffffp+1023)) (f64.const 0x1.fffffffffffffp+1023))
|
|
|
|
|
|
(assert_return (invoke "i32_store16" (i32.const -1)) (i32.const 0xFFFF))
|
|
(assert_return (invoke "i32_store16" (i32.const -4242)) (i32.const 61294))
|
|
(assert_return (invoke "i32_store16" (i32.const 42)) (i32.const 42))
|
|
(assert_return (invoke "i32_store16" (i32.const 0xCAFE)) (i32.const 0xCAFE))
|
|
|
|
(assert_return (invoke "i32_store" (i32.const -1)) (i32.const -1))
|
|
(assert_return (invoke "i32_store" (i32.const -4242)) (i32.const -4242))
|
|
(assert_return (invoke "i32_store" (i32.const 42424242)) (i32.const 42424242))
|
|
(assert_return (invoke "i32_store" (i32.const 0xDEADCAFE)) (i32.const 0xDEADCAFE))
|
|
|
|
(assert_return (invoke "i64_store16" (i64.const -1)) (i64.const 0xFFFF))
|
|
(assert_return (invoke "i64_store16" (i64.const -4242)) (i64.const 61294))
|
|
(assert_return (invoke "i64_store16" (i64.const 42)) (i64.const 42))
|
|
(assert_return (invoke "i64_store16" (i64.const 0xCAFE)) (i64.const 0xCAFE))
|
|
|
|
(assert_return (invoke "i64_store32" (i64.const -1)) (i64.const 0xFFFFFFFF))
|
|
(assert_return (invoke "i64_store32" (i64.const -4242)) (i64.const 4294963054))
|
|
(assert_return (invoke "i64_store32" (i64.const 42424242)) (i64.const 42424242))
|
|
(assert_return (invoke "i64_store32" (i64.const 0xDEADCAFE)) (i64.const 0xDEADCAFE))
|
|
|
|
(assert_return (invoke "i64_store" (i64.const -1)) (i64.const -1))
|
|
(assert_return (invoke "i64_store" (i64.const -42424242)) (i64.const -42424242))
|
|
(assert_return (invoke "i64_store" (i64.const 0xABAD1DEA)) (i64.const 0xABAD1DEA))
|
|
(assert_return (invoke "i64_store" (i64.const 0xABADCAFEDEAD1DEA)) (i64.const 0xABADCAFEDEAD1DEA))
|
|
|
|
(assert_return (invoke "f32_store" (f32.const -1)) (f32.const -1))
|
|
(assert_return (invoke "f32_store" (f32.const 1234e-5)) (f32.const 1234e-5))
|
|
(assert_return (invoke "f32_store" (f32.const 4242.4242)) (f32.const 4242.4242))
|
|
(assert_return (invoke "f32_store" (f32.const 0x1.fffffep+127)) (f32.const 0x1.fffffep+127))
|
|
|
|
(assert_return (invoke "f64_store" (f64.const -1)) (f64.const -1))
|
|
(assert_return (invoke "f64_store" (f64.const 123456789e-5)) (f64.const 123456789e-5))
|
|
(assert_return (invoke "f64_store" (f64.const 424242.424242)) (f64.const 424242.424242))
|
|
(assert_return (invoke "f64_store" (f64.const 0x1.fffffffffffffp+1023)) (f64.const 0x1.fffffffffffffp+1023))
|