fluencelabs/wasmer
1
0
Fork 0
mirror of https://github.com/fluencelabs/wasmer synced 2024-12-13 22:25:40 +00:00
Code Issues Projects Releases Wiki Activity

Updated spectests based on latest wabt

Browse Source
This commit is contained in:
Syrus Akbary 2018-11-15 13:30:44 -08:00
parent 2dcd25bebd
commit bb9c9f7d0a
21 changed files with 77 additions and 77 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/spectests/address.rs
View File

@ -146,7 +146,7 @@ fn create_module_1() -> ResultObject {
(export \"16u_bad\" (func 27)) (export \"16u_bad\" (func 27))
(export \"16s_bad\" (func 28)) (export \"16s_bad\" (func 28))
(export \"32_bad\" (func 29)) (export \"32_bad\" (func 29))
(data (i32.const 0) \"abcdefghijklmnopqrstuvwxyz\")) (data (;0;) (i32.const 0) \"abcdefghijklmnopqrstuvwxyz\"))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")
@ -1545,7 +1545,7 @@ fn create_module_2() -> ResultObject {
(export \"32u_bad\" (func 39)) (export \"32u_bad\" (func 39))
(export \"32s_bad\" (func 40)) (export \"32s_bad\" (func 40))
(export \"64_bad\" (func 41)) (export \"64_bad\" (func 41))
(data (i32.const 0) \"abcdefghijklmnopqrstuvwxyz\")) (data (;0;) (i32.const 0) \"abcdefghijklmnopqrstuvwxyz\"))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")
@ -3260,7 +3260,7 @@ fn create_module_3() -> ResultObject {
(export \"32_good4\" (func 3)) (export \"32_good4\" (func 3))
(export \"32_good5\" (func 4)) (export \"32_good5\" (func 4))
(export \"32_bad\" (func 5)) (export \"32_bad\" (func 5))
(data (i32.const 0) \"\\00\\00\\00\\00\\00\\00\\a0\\7f\\01\\00\\d0\\7f\")) (data (;0;) (i32.const 0) \"\\00\\00\\00\\00\\00\\00\\a0\\7f\\01\\00\\d0\\7f\"))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")
@ -3554,7 +3554,7 @@ fn create_module_4() -> ResultObject {
(export \"64_good4\" (func 3)) (export \"64_good4\" (func 3))
(export \"64_good5\" (func 4)) (export \"64_good5\" (func 4))
(export \"64_bad\" (func 5)) (export \"64_bad\" (func 5))
(data (i32.const 0) \"\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\f4\\7f\\01\\00\\00\\00\\00\\00\\fc\\7f\")) (data (;0;) (i32.const 0) \"\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\f4\\7f\\01\\00\\00\\00\\00\\00\\fc\\7f\"))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")

4
src/spectests/binary.rs
View File

@ -519,7 +519,7 @@ fn test_module_14() {
fn create_module_15() -> ResultObject { fn create_module_15() -> ResultObject {
let module_str = "(module let module_str = "(module
(memory (;0;) 0) (memory (;0;) 0)
(data (i32.const 0) \"\")) (data (;0;) (i32.const 0) \"\"))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")
@ -540,7 +540,7 @@ fn test_module_15() {
fn create_module_16() -> ResultObject { fn create_module_16() -> ResultObject {
let module_str = "(module let module_str = "(module
(table (;0;) 0 anyfunc) (table (;0;) 0 anyfunc)
(elem (i32.const 0))) (elem (;0;) (i32.const 0)))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")

2
src/spectests/block.rs
View File

@ -530,7 +530,7 @@ fn create_module_1() -> ResultObject {
(export \"break-repeated\" (func 41)) (export \"break-repeated\" (func 41))
(export \"break-inner\" (func 42)) (export \"break-inner\" (func 42))
(export \"effects\" (func 43)) (export \"effects\" (func 43))
(elem (i32.const 0) 19)) (elem (;0;) (i32.const 0) 19))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")

2
src/spectests/br.rs
View File

@ -562,7 +562,7 @@ fn create_module_1() -> ResultObject {
(export \"nested-br_if-value-cond\" (func 58)) (export \"nested-br_if-value-cond\" (func 58))
(export \"nested-br_table-value\" (func 59)) (export \"nested-br_table-value\" (func 59))
(export \"nested-br_table-value-index\" (func 60)) (export \"nested-br_table-value-index\" (func 60))
(elem (i32.const 0) 30)) (elem (;0;) (i32.const 0) 30))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")

2
src/spectests/br_if.rs
View File

@ -574,7 +574,7 @@ fn create_module_1() -> ResultObject {
(export \"nested-br_if-value-cond\" (func 51)) (export \"nested-br_if-value-cond\" (func 51))
(export \"nested-br_table-value\" (func 52)) (export \"nested-br_table-value\" (func 52))
(export \"nested-br_table-value-index\" (func 53)) (export \"nested-br_table-value-index\" (func 53))
(elem (i32.const 0) 36)) (elem (;0;) (i32.const 0) 36))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")

2
src/spectests/br_table.rs
View File

@ -781,7 +781,7 @@ fn create_module_1() -> ResultObject {
(export \"nested-br_table-value\" (func 66)) (export \"nested-br_table-value\" (func 66))
(export \"nested-br_table-value-index\" (func 67)) (export \"nested-br_table-value-index\" (func 67))
(export \"nested-br_table-loop-block\" (func 68)) (export \"nested-br_table-loop-block\" (func 68))
(elem (i32.const 0) 37)) (elem (;0;) (i32.const 0) 37))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")

2
src/spectests/call.rs
View File

@ -316,7 +316,7 @@ fn create_module_1() -> ResultObject {
(export \"as-tee_local-value\" (func 51)) (export \"as-tee_local-value\" (func 51))
(export \"as-set_global-value\" (func 52)) (export \"as-set_global-value\" (func 52))
(export \"as-load-operand\" (func 53)) (export \"as-load-operand\" (func 53))
(elem (i32.const 0) 40)) (elem (;0;) (i32.const 0) 40))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")

2
src/spectests/call_indirect.rs
View File

@ -512,7 +512,7 @@ fn create_module_1() -> ResultObject {
(export \"as-tee_local-value\" (func 63)) (export \"as-tee_local-value\" (func 63))
(export \"as-set_global-value\" (func 64)) (export \"as-set_global-value\" (func 64))
(export \"as-load-operand\" (func 65)) (export \"as-load-operand\" (func 65))
(elem (i32.const 0) 0 1 2 3 4 5 6 7 10 8 11 9 35 36 43 44 45 46 47 12 13 14 15 37 38 39 40 41 42)) (elem (;0;) (i32.const 0) 0 1 2 3 4 5 6 7 10 8 11 9 35 36 43 44 45 46 47 12 13 14 15 37 38 39 40 41 42))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")

82
src/spectests/data.rs
View File

@ -19,18 +19,18 @@ use super::_common::{
fn create_module_1() -> ResultObject { fn create_module_1() -> ResultObject {
let module_str = "(module let module_str = "(module
(memory (;0;) 1) (memory (;0;) 1)
(data (i32.const 0) \"\") (data (;0;) (i32.const 0) \"\")
(data (i32.const 1) \"abcd\") (data (;1;) (i32.const 1) \"abcd\")
(data (i32.const 0) \"\") (data (;2;) (i32.const 0) \"\")
(data (i32.const 0) \"abc\") (data (;3;) (i32.const 0) \"abc\")
(data (i32.const 0) \"\") (data (;4;) (i32.const 0) \"\")
(data (i32.const 1) \"abcd\") (data (;5;) (i32.const 1) \"abcd\")
(data (i32.const 0) \"\") (data (;6;) (i32.const 0) \"\")
(data (i32.const 0) \"abc\") (data (;7;) (i32.const 0) \"abc\")
(data (i32.const 0) \"\") (data (;8;) (i32.const 0) \"\")
(data (i32.const 1) \"abcd\") (data (;9;) (i32.const 1) \"abcd\")
(data (i32.const 0) \"\") (data (;10;) (i32.const 0) \"\")
(data (i32.const 0) \"abc\")) (data (;11;) (i32.const 0) \"abc\"))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")
@ -51,7 +51,7 @@ fn test_module_1() {
fn create_module_2() -> ResultObject { fn create_module_2() -> ResultObject {
let module_str = "(module let module_str = "(module
(memory (;0;) 1) (memory (;0;) 1)
(data (i32.const 0) \"a\")) (data (;0;) (i32.const 0) \"a\"))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")
@ -72,7 +72,7 @@ fn test_module_2() {
fn create_module_3() -> ResultObject { fn create_module_3() -> ResultObject {
let module_str = "(module let module_str = "(module
(import \"spectest\" \"memory\" (memory (;0;) 1)) (import \"spectest\" \"memory\" (memory (;0;) 1))
(data (i32.const 0) \"a\")) (data (;0;) (i32.const 0) \"a\"))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")
@ -93,11 +93,11 @@ fn test_module_3() {
fn create_module_4() -> ResultObject { fn create_module_4() -> ResultObject {
let module_str = "(module let module_str = "(module
(memory (;0;) 1) (memory (;0;) 1)
(data (i32.const 0) \"a\") (data (;0;) (i32.const 0) \"a\")
(data (i32.const 3) \"b\") (data (;1;) (i32.const 3) \"b\")
(data (i32.const 100) \"cde\") (data (;2;) (i32.const 100) \"cde\")
(data (i32.const 5) \"x\") (data (;3;) (i32.const 5) \"x\")
(data (i32.const 3) \"c\")) (data (;4;) (i32.const 3) \"c\"))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")
@ -118,12 +118,12 @@ fn test_module_4() {
fn create_module_5() -> ResultObject { fn create_module_5() -> ResultObject {
let module_str = "(module let module_str = "(module
(import \"spectest\" \"memory\" (memory (;0;) 1)) (import \"spectest\" \"memory\" (memory (;0;) 1))
(data (i32.const 0) \"a\") (data (;0;) (i32.const 0) \"a\")
(data (i32.const 1) \"b\") (data (;1;) (i32.const 1) \"b\")
(data (i32.const 2) \"cde\") (data (;2;) (i32.const 2) \"cde\")
(data (i32.const 3) \"f\") (data (;3;) (i32.const 3) \"f\")
(data (i32.const 2) \"g\") (data (;4;) (i32.const 2) \"g\")
(data (i32.const 1) \"h\")) (data (;5;) (i32.const 1) \"h\"))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")
@ -144,8 +144,8 @@ fn test_module_5() {
fn create_module_6() -> ResultObject { fn create_module_6() -> ResultObject {
let module_str = "(module let module_str = "(module
(memory (;0;) 1) (memory (;0;) 1)
(data (i32.const 0) \"a\") (data (;0;) (i32.const 0) \"a\")
(data (i32.const 65535) \"b\")) (data (;1;) (i32.const 65535) \"b\"))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")
@ -166,8 +166,8 @@ fn test_module_6() {
fn create_module_7() -> ResultObject { fn create_module_7() -> ResultObject {
let module_str = "(module let module_str = "(module
(import \"spectest\" \"memory\" (memory (;0;) 1)) (import \"spectest\" \"memory\" (memory (;0;) 1))
(data (i32.const 0) \"a\") (data (;0;) (i32.const 0) \"a\")
(data (i32.const 65535) \"b\")) (data (;1;) (i32.const 65535) \"b\"))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")
@ -188,7 +188,7 @@ fn test_module_7() {
fn create_module_8() -> ResultObject { fn create_module_8() -> ResultObject {
let module_str = "(module let module_str = "(module
(memory (;0;) 2) (memory (;0;) 2)
(data (i32.const 131071) \"a\")) (data (;0;) (i32.const 131071) \"a\"))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")
@ -209,7 +209,7 @@ fn test_module_8() {
fn create_module_9() -> ResultObject { fn create_module_9() -> ResultObject {
let module_str = "(module let module_str = "(module
(memory (;0;) 0) (memory (;0;) 0)
(data (i32.const 0) \"\")) (data (;0;) (i32.const 0) \"\"))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")
@ -230,7 +230,7 @@ fn test_module_9() {
fn create_module_10() -> ResultObject { fn create_module_10() -> ResultObject {
let module_str = "(module let module_str = "(module
(import \"spectest\" \"memory\" (memory (;0;) 0)) (import \"spectest\" \"memory\" (memory (;0;) 0))
(data (i32.const 0) \"\")) (data (;0;) (i32.const 0) \"\"))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")
@ -251,7 +251,7 @@ fn test_module_10() {
fn create_module_11() -> ResultObject { fn create_module_11() -> ResultObject {
let module_str = "(module let module_str = "(module
(memory (;0;) 0 0) (memory (;0;) 0 0)
(data (i32.const 0) \"\")) (data (;0;) (i32.const 0) \"\"))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")
@ -272,7 +272,7 @@ fn test_module_11() {
fn create_module_12() -> ResultObject { fn create_module_12() -> ResultObject {
let module_str = "(module let module_str = "(module
(memory (;0;) 1) (memory (;0;) 1)
(data (i32.const 65536) \"\")) (data (;0;) (i32.const 65536) \"\"))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")
@ -293,7 +293,7 @@ fn test_module_12() {
fn create_module_13() -> ResultObject { fn create_module_13() -> ResultObject {
let module_str = "(module let module_str = "(module
(memory (;0;) 0) (memory (;0;) 0)
(data (i32.const 0) \"\")) (data (;0;) (i32.const 0) \"\"))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")
@ -314,7 +314,7 @@ fn test_module_13() {
fn create_module_14() -> ResultObject { fn create_module_14() -> ResultObject {
let module_str = "(module let module_str = "(module
(import \"spectest\" \"memory\" (memory (;0;) 0)) (import \"spectest\" \"memory\" (memory (;0;) 0))
(data (i32.const 0) \"\")) (data (;0;) (i32.const 0) \"\"))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")
@ -335,7 +335,7 @@ fn test_module_14() {
fn create_module_15() -> ResultObject { fn create_module_15() -> ResultObject {
let module_str = "(module let module_str = "(module
(memory (;0;) 0 0) (memory (;0;) 0 0)
(data (i32.const 0) \"\")) (data (;0;) (i32.const 0) \"\"))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")
@ -356,7 +356,7 @@ fn test_module_15() {
fn create_module_16() -> ResultObject { fn create_module_16() -> ResultObject {
let module_str = "(module let module_str = "(module
(import \"spectest\" \"memory\" (memory (;0;) 0)) (import \"spectest\" \"memory\" (memory (;0;) 0))
(data (i32.const 0) \"a\")) (data (;0;) (i32.const 0) \"a\"))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")
@ -377,7 +377,7 @@ fn test_module_16() {
fn create_module_17() -> ResultObject { fn create_module_17() -> ResultObject {
let module_str = "(module let module_str = "(module
(import \"spectest\" \"memory\" (memory (;0;) 0 3)) (import \"spectest\" \"memory\" (memory (;0;) 0 3))
(data (i32.const 0) \"a\")) (data (;0;) (i32.const 0) \"a\"))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")
@ -398,7 +398,7 @@ fn test_module_17() {
fn create_module_18() -> ResultObject { fn create_module_18() -> ResultObject {
let module_str = "(module let module_str = "(module
(import \"spectest\" \"memory\" (memory (;0;) 0)) (import \"spectest\" \"memory\" (memory (;0;) 0))
(data (i32.const 1) \"a\")) (data (;0;) (i32.const 1) \"a\"))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")
@ -419,7 +419,7 @@ fn test_module_18() {
fn create_module_19() -> ResultObject { fn create_module_19() -> ResultObject {
let module_str = "(module let module_str = "(module
(import \"spectest\" \"memory\" (memory (;0;) 0 3)) (import \"spectest\" \"memory\" (memory (;0;) 0 3))
(data (i32.const 1) \"a\")) (data (;0;) (i32.const 1) \"a\"))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")

8
src/spectests/float_exprs.rs
View File

File diff suppressed because one or more lines are too long

12
src/spectests/float_memory.rs
View File

@ -45,7 +45,7 @@ fn create_module_1() -> ResultObject {
(export \"f32.store\" (func 2)) (export \"f32.store\" (func 2))
(export \"i32.store\" (func 3)) (export \"i32.store\" (func 3))
(export \"reset\" (func 4)) (export \"reset\" (func 4))
(data (i32.const 0) \"\\00\\00\\a0\\7f\")) (data (;0;) (i32.const 0) \"\\00\\00\\a0\\7f\"))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")
@ -277,7 +277,7 @@ fn create_module_2() -> ResultObject {
(export \"f64.store\" (func 2)) (export \"f64.store\" (func 2))
(export \"i64.store\" (func 3)) (export \"i64.store\" (func 3))
(export \"reset\" (func 4)) (export \"reset\" (func 4))
(data (i32.const 0) \"\\00\\00\\00\\00\\00\\00\\f4\\7f\")) (data (;0;) (i32.const 0) \"\\00\\00\\00\\00\\00\\00\\f4\\7f\"))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")
@ -509,7 +509,7 @@ fn create_module_3() -> ResultObject {
(export \"f32.store\" (func 2)) (export \"f32.store\" (func 2))
(export \"i32.store\" (func 3)) (export \"i32.store\" (func 3))
(export \"reset\" (func 4)) (export \"reset\" (func 4))
(data (i32.const 0) \"\\00\\00\\00\\a0\\7f\")) (data (;0;) (i32.const 0) \"\\00\\00\\00\\a0\\7f\"))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")
@ -741,7 +741,7 @@ fn create_module_4() -> ResultObject {
(export \"f64.store\" (func 2)) (export \"f64.store\" (func 2))
(export \"i64.store\" (func 3)) (export \"i64.store\" (func 3))
(export \"reset\" (func 4)) (export \"reset\" (func 4))
(data (i32.const 0) \"\\00\\00\\00\\00\\00\\00\\00\\f4\\7f\")) (data (;0;) (i32.const 0) \"\\00\\00\\00\\00\\00\\00\\00\\f4\\7f\"))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")
@ -973,7 +973,7 @@ fn create_module_5() -> ResultObject {
(export \"f32.store\" (func 2)) (export \"f32.store\" (func 2))
(export \"i32.store\" (func 3)) (export \"i32.store\" (func 3))
(export \"reset\" (func 4)) (export \"reset\" (func 4))
(data (i32.const 0) \"\\01\\00\\d0\\7f\")) (data (;0;) (i32.const 0) \"\\01\\00\\d0\\7f\"))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")
@ -1205,7 +1205,7 @@ fn create_module_6() -> ResultObject {
(export \"f64.store\" (func 2)) (export \"f64.store\" (func 2))
(export \"i64.store\" (func 3)) (export \"i64.store\" (func 3))
(export \"reset\" (func 4)) (export \"reset\" (func 4))
(data (i32.const 0) \"\\01\\00\\00\\00\\00\\00\\fc\\7f\")) (data (;0;) (i32.const 0) \"\\01\\00\\00\\00\\00\\00\\fc\\7f\"))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")

2
src/spectests/func.rs
View File

@ -1359,7 +1359,7 @@ fn create_module_3() -> ResultObject {
(export \"signature-implicit-reused\" (func 8)) (export \"signature-implicit-reused\" (func 8))
(export \"signature-explicit-duplicate\" (func 9)) (export \"signature-explicit-duplicate\" (func 9))
(export \"signature-implicit-duplicate\" (func 10)) (export \"signature-implicit-duplicate\" (func 10))
(elem (i32.const 0) 4 2 1 4 0 5 6)) (elem (;0;) (i32.const 0) 4 2 1 4 0 5 6))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")

4
src/spectests/func_ptrs.rs
View File

@ -194,7 +194,7 @@ fn create_module_2() -> ResultObject {
(table (;0;) 7 7 anyfunc) (table (;0;) 7 7 anyfunc)
(export \"callt\" (func 5)) (export \"callt\" (func 5))
(export \"callu\" (func 6)) (export \"callu\" (func 6))
(elem (i32.const 0) 0 1 2 3 4 0 2)) (elem (;0;) (i32.const 0) 0 1 2 3 4 0 2))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")
@ -533,7 +533,7 @@ fn create_module_3() -> ResultObject {
call_indirect (type 0)) call_indirect (type 0))
(table (;0;) 2 2 anyfunc) (table (;0;) 2 2 anyfunc)
(export \"callt\" (func 2)) (export \"callt\" (func 2))
(elem (i32.const 0) 0 1)) (elem (;0;) (i32.const 0) 0 1))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")

2
src/spectests/globals.rs
View File

@ -269,7 +269,7 @@ fn create_module_1() -> ResultObject {
(export \"as-unary-operand\" (func 42)) (export \"as-unary-operand\" (func 42))
(export \"as-binary-operand\" (func 43)) (export \"as-binary-operand\" (func 43))
(export \"as-compare-operand\" (func 44)) (export \"as-compare-operand\" (func 44))
(elem (i32.const 0) 26)) (elem (;0;) (i32.const 0) 26))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")

2
src/spectests/if_.rs
View File

@ -635,7 +635,7 @@ fn create_module_1() -> ResultObject {
(export \"break-bare\" (func 36)) (export \"break-bare\" (func 36))
(export \"break-value\" (func 37)) (export \"break-value\" (func 37))
(export \"effects\" (func 38)) (export \"effects\" (func 38))
(elem (i32.const 0) 16)) (elem (;0;) (i32.const 0) 16))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")

2
src/spectests/left_to_right.rs
View File

@ -959,7 +959,7 @@ fn create_module_1() -> ResultObject {
(export \"f64_select\" (func 127)) (export \"f64_select\" (func 127))
(export \"br_if\" (func 128)) (export \"br_if\" (func 128))
(export \"br_table\" (func 129)) (export \"br_table\" (func 129))
(elem (i32.const 0) 0 1 2 3 4 5 6 7)) (elem (;0;) (i32.const 0) 0 1 2 3 4 5 6 7))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")

2
src/spectests/loop_.rs
View File

@ -667,7 +667,7 @@ fn create_module_1() -> ResultObject {
(export \"while\" (func 42)) (export \"while\" (func 42))
(export \"for\" (func 43)) (export \"for\" (func 43))
(export \"nesting\" (func 44)) (export \"nesting\" (func 44))
(elem (i32.const 0) 16)) (elem (;0;) (i32.const 0) 16))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")

6
src/spectests/memory.rs
View File

@ -119,7 +119,7 @@ fn create_module_5() -> ResultObject {
memory.size) memory.size)
(memory (;0;) 0 0) (memory (;0;) 0 0)
(export \"memsize\" (func 0)) (export \"memsize\" (func 0))
(data (i32.const 0) \"\")) (data (;0;) (i32.const 0) \"\"))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")
@ -157,7 +157,7 @@ fn create_module_6() -> ResultObject {
memory.size) memory.size)
(memory (;0;) 0 0) (memory (;0;) 0 0)
(export \"memsize\" (func 0)) (export \"memsize\" (func 0))
(data (i32.const 0) \"\")) (data (;0;) (i32.const 0) \"\"))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")
@ -195,7 +195,7 @@ fn create_module_7() -> ResultObject {
memory.size) memory.size)
(memory (;0;) 1 1) (memory (;0;) 1 1)
(export \"memsize\" (func 0)) (export \"memsize\" (func 0))
(data (i32.const 0) \"x\")) (data (;0;) (i32.const 0) \"x\"))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")

2
src/spectests/nop.rs
View File

@ -632,7 +632,7 @@ fn create_module_1() -> ResultObject {
(export \"as-store-mid\" (func 80)) (export \"as-store-mid\" (func 80))
(export \"as-store-last\" (func 81)) (export \"as-store-last\" (func 81))
(export \"as-store-everywhere\" (func 82)) (export \"as-store-everywhere\" (func 82))
(elem (i32.const 0) 61)) (elem (;0;) (i32.const 0) 61))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")

2
src/spectests/return_.rs
View File

@ -412,7 +412,7 @@ fn create_module_1() -> ResultObject {
(export \"as-compare-right\" (func 56)) (export \"as-compare-right\" (func 56))
(export \"as-convert-operand\" (func 57)) (export \"as-convert-operand\" (func 57))
(export \"as-memory.grow-size\" (func 58)) (export \"as-memory.grow-size\" (func 58))
(elem (i32.const 0) 36)) (elem (;0;) (i32.const 0) 36))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")

4
src/spectests/start.rs
View File

@ -63,7 +63,7 @@ fn create_module_1() -> ResultObject {
(export \"inc\" (func 0)) (export \"inc\" (func 0))
(export \"get\" (func 1)) (export \"get\" (func 1))
(start 2) (start 2)
(data (i32.const 0) \"A\")) (data (;0;) (i32.const 0) \"A\"))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")
@ -169,7 +169,7 @@ fn create_module_2() -> ResultObject {
(export \"inc\" (func 0)) (export \"inc\" (func 0))
(export \"get\" (func 1)) (export \"get\" (func 1))
(start 2) (start 2)
(data (i32.const 0) \"A\")) (data (;0;) (i32.const 0) \"A\"))
"; ";
let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed"); let wasm_binary = wat2wasm(module_str.as_bytes()).expect("WAST not valid or malformed");
instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated") instantiate(wasm_binary, spectest_importobject()).expect("WASM can't be instantiated")