From df0feb9b7f40b0b43611beeaafe19a2e9c5966bf Mon Sep 17 00:00:00 2001 From: Steve Akinyemi Date: Wed, 7 Nov 2018 11:18:55 +0100 Subject: [PATCH] Update spectests --- src/spectests/address.rs | 4 - src/spectests/align.rs | 24 -- src/spectests/binary.rs | 16 - src/spectests/block.rs | 33 +- src/spectests/br.rs | 1 - src/spectests/br_if.rs | 1 - src/spectests/br_table.rs | 1 - src/spectests/break_drop.rs | 1 - src/spectests/call.rs | 118 +++--- src/spectests/call_indirect.rs | 178 +++++---- src/spectests/comments.rs | 4 - src/spectests/const_.rs | 28 -- src/spectests/conversions.rs | 1 - src/spectests/custom.rs | 3 - src/spectests/data.rs | 19 - src/spectests/endianness.rs | 1 - src/spectests/exports.rs | 50 --- src/spectests/f32_.rs | 1 - src/spectests/f32_bitwise.rs | 1 - src/spectests/f32_cmp.rs | 1 - src/spectests/f64_.rs | 1 - src/spectests/f64_bitwise.rs | 1 - src/spectests/f64_cmp.rs | 1 - src/spectests/fac.rs | 1 - src/spectests/float_exprs.rs | 96 ----- src/spectests/float_literals.rs | 2 - src/spectests/float_memory.rs | 6 - src/spectests/float_misc.rs | 1 - src/spectests/forward.rs | 1 - src/spectests/func.rs | 3 - src/spectests/func_ptrs.rs | 3 - src/spectests/get_local.rs | 1 - src/spectests/globals.rs | 157 ++++---- src/spectests/i32_.rs | 1 - src/spectests/i64_.rs | 1 - src/spectests/if_.rs | 589 +++++++++++++++-------------- src/spectests/int_exprs.rs | 19 - src/spectests/int_literals.rs | 1 - src/spectests/labels.rs | 1 - src/spectests/left_to_right.rs | 1 - src/spectests/loop_.rs | 434 ++++++++++----------- src/spectests/memory.rs | 7 - src/spectests/memory_redundancy.rs | 1 - src/spectests/mod.rs | 130 +++---- src/spectests/nop.rs | 224 ++++++----- src/spectests/return_.rs | 1 - src/spectests/select.rs | 1 - src/spectests/set_local.rs | 1 - src/spectests/stack.rs | 2 - src/spectests/start.rs | 5 - src/spectests/switch.rs | 1 - src/spectests/tee_local.rs | 1 - src/spectests/types.rs | 1 - src/webassembly/errors.rs | 6 +- src/webassembly/instance.rs | 117 +++++- src/webassembly/memory.rs | 2 +- src/webassembly/mod.rs | 2 +- src/webassembly/module.rs | 98 ++--- 58 files changed, 1148 insertions(+), 1259 deletions(-) diff --git a/src/spectests/address.rs b/src/spectests/address.rs index 0a06eb23c..7b25e5dc7 100644 --- a/src/spectests/address.rs +++ b/src/spectests/address.rs @@ -1287,7 +1287,6 @@ fn c86_l207_assert_malformed() { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); @@ -3123,7 +3122,6 @@ fn c206_l495_assert_trap() { #[test] fn test_module_2() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_2(); // We group the calls together start_module_2(&result_object); @@ -3508,7 +3506,6 @@ fn c224_l542_assert_trap() { #[test] fn test_module_3() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_3(); // We group the calls together start_module_3(&result_object); @@ -3801,7 +3798,6 @@ fn c242_l589_assert_trap() { #[test] fn test_module_4() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_4(); // We group the calls together start_module_4(&result_object); diff --git a/src/spectests/align.rs b/src/spectests/align.rs index 29d819f03..079b7c524 100644 --- a/src/spectests/align.rs +++ b/src/spectests/align.rs @@ -37,7 +37,6 @@ fn start_module_1(result_object: &ResultObject) { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); @@ -63,7 +62,6 @@ fn start_module_2(result_object: &ResultObject) { #[test] fn test_module_2() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_2(); // We group the calls together start_module_2(&result_object); @@ -89,7 +87,6 @@ fn start_module_3(result_object: &ResultObject) { #[test] fn test_module_3() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_3(); // We group the calls together start_module_3(&result_object); @@ -115,7 +112,6 @@ fn start_module_4(result_object: &ResultObject) { #[test] fn test_module_4() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_4(); // We group the calls together start_module_4(&result_object); @@ -141,7 +137,6 @@ fn start_module_5(result_object: &ResultObject) { #[test] fn test_module_5() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_5(); // We group the calls together start_module_5(&result_object); @@ -167,7 +162,6 @@ fn start_module_6(result_object: &ResultObject) { #[test] fn test_module_6() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_6(); // We group the calls together start_module_6(&result_object); @@ -193,7 +187,6 @@ fn start_module_7(result_object: &ResultObject) { #[test] fn test_module_7() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_7(); // We group the calls together start_module_7(&result_object); @@ -219,7 +212,6 @@ fn start_module_8(result_object: &ResultObject) { #[test] fn test_module_8() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_8(); // We group the calls together start_module_8(&result_object); @@ -245,7 +237,6 @@ fn start_module_9(result_object: &ResultObject) { #[test] fn test_module_9() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_9(); // We group the calls together start_module_9(&result_object); @@ -271,7 +262,6 @@ fn start_module_10(result_object: &ResultObject) { #[test] fn test_module_10() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_10(); // We group the calls together start_module_10(&result_object); @@ -297,7 +287,6 @@ fn start_module_11(result_object: &ResultObject) { #[test] fn test_module_11() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_11(); // We group the calls together start_module_11(&result_object); @@ -323,7 +312,6 @@ fn start_module_12(result_object: &ResultObject) { #[test] fn test_module_12() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_12(); // We group the calls together start_module_12(&result_object); @@ -349,7 +337,6 @@ fn start_module_13(result_object: &ResultObject) { #[test] fn test_module_13() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_13(); // We group the calls together start_module_13(&result_object); @@ -375,7 +362,6 @@ fn start_module_14(result_object: &ResultObject) { #[test] fn test_module_14() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_14(); // We group the calls together start_module_14(&result_object); @@ -401,7 +387,6 @@ fn start_module_15(result_object: &ResultObject) { #[test] fn test_module_15() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_15(); // We group the calls together start_module_15(&result_object); @@ -427,7 +412,6 @@ fn start_module_16(result_object: &ResultObject) { #[test] fn test_module_16() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_16(); // We group the calls together start_module_16(&result_object); @@ -453,7 +437,6 @@ fn start_module_17(result_object: &ResultObject) { #[test] fn test_module_17() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_17(); // We group the calls together start_module_17(&result_object); @@ -479,7 +462,6 @@ fn start_module_18(result_object: &ResultObject) { #[test] fn test_module_18() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_18(); // We group the calls together start_module_18(&result_object); @@ -505,7 +487,6 @@ fn start_module_19(result_object: &ResultObject) { #[test] fn test_module_19() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_19(); // We group the calls together start_module_19(&result_object); @@ -531,7 +512,6 @@ fn start_module_20(result_object: &ResultObject) { #[test] fn test_module_20() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_20(); // We group the calls together start_module_20(&result_object); @@ -557,7 +537,6 @@ fn start_module_21(result_object: &ResultObject) { #[test] fn test_module_21() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_21(); // We group the calls together start_module_21(&result_object); @@ -583,7 +562,6 @@ fn start_module_22(result_object: &ResultObject) { #[test] fn test_module_22() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_22(); // We group the calls together start_module_22(&result_object); @@ -1273,7 +1251,6 @@ fn c105_l452_assert_invalid() { #[test] fn test_module_23() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_23(); // We group the calls together start_module_23(&result_object); @@ -2408,7 +2385,6 @@ fn c152_l850_action_invoke(result_object: &ResultObject) { #[test] fn test_module_24() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_24(); // We group the calls together start_module_24(&result_object); diff --git a/src/spectests/binary.rs b/src/spectests/binary.rs index 1416411e3..e78a7bec5 100644 --- a/src/spectests/binary.rs +++ b/src/spectests/binary.rs @@ -31,7 +31,6 @@ fn start_module_1(result_object: &ResultObject) { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); @@ -51,7 +50,6 @@ fn start_module_2(result_object: &ResultObject) { #[test] fn test_module_2() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_2(); // We group the calls together start_module_2(&result_object); @@ -71,7 +69,6 @@ fn start_module_3(result_object: &ResultObject) { #[test] fn test_module_3() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_3(); // We group the calls together start_module_3(&result_object); @@ -315,7 +312,6 @@ fn c31_l44_assert_malformed() { #[test] fn test_module_4() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_4(); // We group the calls together start_module_4(&result_object); @@ -336,7 +332,6 @@ fn start_module_5(result_object: &ResultObject) { #[test] fn test_module_5() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_5(); // We group the calls together start_module_5(&result_object); @@ -357,7 +352,6 @@ fn start_module_6(result_object: &ResultObject) { #[test] fn test_module_6() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_6(); // We group the calls together start_module_6(&result_object); @@ -378,7 +372,6 @@ fn start_module_7(result_object: &ResultObject) { #[test] fn test_module_7() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_7(); // We group the calls together start_module_7(&result_object); @@ -399,7 +392,6 @@ fn start_module_8(result_object: &ResultObject) { #[test] fn test_module_8() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_8(); // We group the calls together start_module_8(&result_object); @@ -420,7 +412,6 @@ fn start_module_9(result_object: &ResultObject) { #[test] fn test_module_9() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_9(); // We group the calls together start_module_9(&result_object); @@ -441,7 +432,6 @@ fn start_module_10(result_object: &ResultObject) { #[test] fn test_module_10() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_10(); // We group the calls together start_module_10(&result_object); @@ -462,7 +452,6 @@ fn start_module_11(result_object: &ResultObject) { #[test] fn test_module_11() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_11(); // We group the calls together start_module_11(&result_object); @@ -483,7 +472,6 @@ fn start_module_12(result_object: &ResultObject) { #[test] fn test_module_12() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_12(); // We group the calls together start_module_12(&result_object); @@ -504,7 +492,6 @@ fn start_module_13(result_object: &ResultObject) { #[test] fn test_module_13() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_13(); // We group the calls together start_module_13(&result_object); @@ -525,7 +512,6 @@ fn start_module_14(result_object: &ResultObject) { #[test] fn test_module_14() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_14(); // We group the calls together start_module_14(&result_object); @@ -547,7 +533,6 @@ fn start_module_15(result_object: &ResultObject) { #[test] fn test_module_15() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_15(); // We group the calls together start_module_15(&result_object); @@ -815,7 +800,6 @@ fn c74_l577_assert_malformed() { #[test] fn test_module_16() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_16(); // We group the calls together start_module_16(&result_object); diff --git a/src/spectests/block.rs b/src/spectests/block.rs index d1ad680e2..cee2539a4 100644 --- a/src/spectests/block.rs +++ b/src/spectests/block.rs @@ -2042,7 +2042,6 @@ fn c167_l1089_assert_malformed() { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); @@ -2064,23 +2063,23 @@ fn test_module_1() { c16_l271_action_invoke(&result_object); c17_l273_action_invoke(&result_object); c18_l274_action_invoke(&result_object); - // c19_l276_action_invoke(&result_object); - // c20_l277_action_invoke(&result_object); - // c21_l278_action_invoke(&result_object); + c19_l276_action_invoke(&result_object); + c20_l277_action_invoke(&result_object); + c21_l278_action_invoke(&result_object); c22_l280_action_invoke(&result_object); - // c23_l281_action_invoke(&result_object); - // c24_l283_action_invoke(&result_object); - // c25_l284_action_invoke(&result_object); - // c26_l285_action_invoke(&result_object); - // c27_l286_action_invoke(&result_object); - // c28_l287_action_invoke(&result_object); - // c29_l288_action_invoke(&result_object); - // c30_l289_action_invoke(&result_object); - // c31_l290_action_invoke(&result_object); - // c32_l291_action_invoke(&result_object); - // c33_l293_action_invoke(&result_object); - // c34_l294_action_invoke(&result_object); - // c35_l295_action_invoke(&result_object); + c23_l281_action_invoke(&result_object); + c24_l283_action_invoke(&result_object); + c25_l284_action_invoke(&result_object); + c26_l285_action_invoke(&result_object); + c27_l286_action_invoke(&result_object); + c28_l287_action_invoke(&result_object); + c29_l288_action_invoke(&result_object); + c30_l289_action_invoke(&result_object); + c31_l290_action_invoke(&result_object); + c32_l291_action_invoke(&result_object); + c33_l293_action_invoke(&result_object); + c34_l294_action_invoke(&result_object); + c35_l295_action_invoke(&result_object); c36_l296_action_invoke(&result_object); c37_l298_action_invoke(&result_object); c38_l299_action_invoke(&result_object); diff --git a/src/spectests/br.rs b/src/spectests/br.rs index 66447245c..766caed03 100644 --- a/src/spectests/br.rs +++ b/src/spectests/br.rs @@ -1386,7 +1386,6 @@ fn c70_l454_assert_invalid() { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); diff --git a/src/spectests/br_if.rs b/src/spectests/br_if.rs index 6dd550701..367f22073 100644 --- a/src/spectests/br_if.rs +++ b/src/spectests/br_if.rs @@ -1726,7 +1726,6 @@ fn c103_l559_assert_invalid() { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); diff --git a/src/spectests/br_table.rs b/src/spectests/br_table.rs index 6ac412f88..f8dfd602f 100644 --- a/src/spectests/br_table.rs +++ b/src/spectests/br_table.rs @@ -2665,7 +2665,6 @@ fn c161_l1526_assert_invalid() { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); diff --git a/src/spectests/break_drop.rs b/src/spectests/break_drop.rs index ac139bed2..197a3a03d 100644 --- a/src/spectests/break_drop.rs +++ b/src/spectests/break_drop.rs @@ -83,7 +83,6 @@ fn c3_l9_action_invoke(result_object: &ResultObject) { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); diff --git a/src/spectests/call.rs b/src/spectests/call.rs index 78fc5f530..b84730c94 100644 --- a/src/spectests/call.rs +++ b/src/spectests/call.rs @@ -891,9 +891,21 @@ fn c48_l264_action_invoke(result_object: &ResultObject) { assert_eq!(result, ()); } -// Line 268 -fn c49_l268_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c49_l268_action_invoke"); +// Line 266 +fn c49_l266_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c49_l266_action_invoke"); + let func_index = match result_object.module.info.exports.get("as-memory.grow-value") { + Some(&Export::Function(index)) => index, + _ => panic!("Function not found"), + }; + let invoke_fn: fn(&Instance) -> i32 = get_instance_function!(result_object.instance, func_index); + let result = invoke_fn(&result_object.instance); + assert_eq!(result, 1 as i32); +} + +// Line 267 +fn c50_l267_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c50_l267_action_invoke"); let func_index = match result_object.module.info.exports.get("as-return-value") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -903,9 +915,9 @@ fn c49_l268_action_invoke(result_object: &ResultObject) { assert_eq!(result, 306 as i32); } -// Line 269 -fn c50_l269_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c50_l269_action_invoke"); +// Line 268 +fn c51_l268_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c51_l268_action_invoke"); let func_index = match result_object.module.info.exports.get("as-drop-operand") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -915,9 +927,9 @@ fn c50_l269_action_invoke(result_object: &ResultObject) { assert_eq!(result, ()); } -// Line 270 -fn c51_l270_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c51_l270_action_invoke"); +// Line 269 +fn c52_l269_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c52_l269_action_invoke"); let func_index = match result_object.module.info.exports.get("as-br-value") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -927,9 +939,9 @@ fn c51_l270_action_invoke(result_object: &ResultObject) { assert_eq!(result, 306 as i32); } -// Line 271 -fn c52_l271_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c52_l271_action_invoke"); +// Line 270 +fn c53_l270_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c53_l270_action_invoke"); let func_index = match result_object.module.info.exports.get("as-set_local-value") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -939,9 +951,9 @@ fn c52_l271_action_invoke(result_object: &ResultObject) { assert_eq!(result, 306 as i32); } -// Line 272 -fn c53_l272_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c53_l272_action_invoke"); +// Line 271 +fn c54_l271_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c54_l271_action_invoke"); let func_index = match result_object.module.info.exports.get("as-tee_local-value") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -951,9 +963,9 @@ fn c53_l272_action_invoke(result_object: &ResultObject) { assert_eq!(result, 306 as i32); } -// Line 273 -fn c54_l273_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c54_l273_action_invoke"); +// Line 272 +fn c55_l272_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c55_l272_action_invoke"); let func_index = match result_object.module.info.exports.get("as-set_global-value") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -963,9 +975,9 @@ fn c54_l273_action_invoke(result_object: &ResultObject) { assert_eq!(result, 306 as i32); } -// Line 274 -fn c55_l274_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c55_l274_action_invoke"); +// Line 273 +fn c56_l273_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c56_l273_action_invoke"); let func_index = match result_object.module.info.exports.get("as-load-operand") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -975,97 +987,97 @@ fn c55_l274_action_invoke(result_object: &ResultObject) { assert_eq!(result, 1 as i32); } -// Line 279 +// Line 278 #[test] -fn c56_l279_assert_invalid() { +fn c57_l278_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 4, 1, 96, 0, 0, 3, 3, 2, 0, 0, 10, 10, 2, 5, 0, 16, 1, 69, 11, 2, 0, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 286 +// Line 285 #[test] -fn c57_l286_assert_invalid() { +fn c58_l285_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 8, 2, 96, 0, 0, 96, 0, 1, 126, 3, 3, 2, 0, 1, 10, 12, 2, 5, 0, 16, 1, 69, 11, 4, 0, 66, 1, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 294 +// Line 293 #[test] -fn c58_l294_assert_invalid() { +fn c59_l293_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 8, 2, 96, 0, 0, 96, 1, 127, 0, 3, 3, 2, 0, 1, 10, 9, 2, 4, 0, 16, 1, 11, 2, 0, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 301 +// Line 300 #[test] -fn c59_l301_assert_invalid() { +fn c60_l300_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 9, 2, 96, 0, 0, 96, 2, 124, 127, 0, 3, 3, 2, 0, 1, 10, 9, 2, 4, 0, 16, 1, 11, 2, 0, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 308 +// Line 307 #[test] -fn c60_l308_assert_invalid() { +fn c61_l307_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 4, 1, 96, 0, 0, 3, 3, 2, 0, 0, 10, 11, 2, 6, 0, 65, 1, 16, 1, 11, 2, 0, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 315 +// Line 314 #[test] -fn c61_l315_assert_invalid() { +fn c62_l314_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 4, 1, 96, 0, 0, 3, 3, 2, 0, 0, 10, 20, 2, 15, 0, 68, 0, 0, 0, 0, 0, 0, 0, 64, 65, 1, 16, 1, 11, 2, 0, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 323 +// Line 322 #[test] -fn c62_l323_assert_invalid() { +fn c63_l322_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 9, 2, 96, 0, 0, 96, 2, 127, 127, 0, 3, 3, 2, 0, 1, 10, 12, 2, 7, 0, 1, 65, 1, 16, 1, 11, 2, 0, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 330 +// Line 329 #[test] -fn c63_l330_assert_invalid() { +fn c64_l329_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 9, 2, 96, 0, 0, 96, 2, 127, 127, 0, 3, 3, 2, 0, 1, 10, 12, 2, 7, 0, 65, 1, 1, 16, 1, 11, 2, 0, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 337 +// Line 336 #[test] -fn c64_l337_assert_invalid() { +fn c65_l336_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 9, 2, 96, 0, 0, 96, 2, 127, 124, 0, 3, 3, 2, 0, 1, 10, 20, 2, 15, 0, 68, 0, 0, 0, 0, 0, 0, 240, 63, 65, 1, 16, 1, 11, 2, 0, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 344 +// Line 343 #[test] -fn c65_l344_assert_invalid() { +fn c66_l343_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 9, 2, 96, 0, 0, 96, 2, 124, 127, 0, 3, 3, 2, 0, 1, 10, 20, 2, 15, 0, 65, 1, 68, 0, 0, 0, 0, 0, 0, 240, 63, 16, 1, 11, 2, 0, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 355 +// Line 354 #[test] -fn c66_l355_assert_invalid() { +fn c67_l354_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 4, 1, 96, 0, 0, 3, 2, 1, 0, 10, 6, 1, 4, 0, 16, 1, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 359 +// Line 358 #[test] -fn c67_l359_assert_invalid() { +fn c68_l358_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 4, 1, 96, 0, 0, 3, 2, 1, 0, 10, 10, 1, 8, 0, 16, 148, 152, 219, 226, 3, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); @@ -1073,7 +1085,6 @@ fn c67_l359_assert_invalid() { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); @@ -1122,11 +1133,12 @@ fn test_module_1() { c45_l260_action_invoke(&result_object); c47_l263_action_invoke(&result_object); c48_l264_action_invoke(&result_object); - c49_l268_action_invoke(&result_object); - c50_l269_action_invoke(&result_object); - c51_l270_action_invoke(&result_object); - c52_l271_action_invoke(&result_object); - c53_l272_action_invoke(&result_object); - c54_l273_action_invoke(&result_object); - c55_l274_action_invoke(&result_object); + c49_l266_action_invoke(&result_object); + c50_l267_action_invoke(&result_object); + c51_l268_action_invoke(&result_object); + c52_l269_action_invoke(&result_object); + c53_l270_action_invoke(&result_object); + c54_l271_action_invoke(&result_object); + c55_l272_action_invoke(&result_object); + c56_l273_action_invoke(&result_object); } diff --git a/src/spectests/call_indirect.rs b/src/spectests/call_indirect.rs index df3ca338a..416e0e111 100644 --- a/src/spectests/call_indirect.rs +++ b/src/spectests/call_indirect.rs @@ -1645,9 +1645,21 @@ fn c93_l523_action_invoke(result_object: &ResultObject) { assert_eq!(result, ()); } -// Line 527 -fn c94_l527_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c94_l527_action_invoke"); +// Line 525 +fn c94_l525_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c94_l525_action_invoke"); + let func_index = match result_object.module.info.exports.get("as-memory.grow-value") { + Some(&Export::Function(index)) => index, + _ => panic!("Function not found"), + }; + let invoke_fn: fn(&Instance) -> i32 = get_instance_function!(result_object.instance, func_index); + let result = invoke_fn(&result_object.instance); + assert_eq!(result, 1 as i32); +} + +// Line 526 +fn c95_l526_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c95_l526_action_invoke"); let func_index = match result_object.module.info.exports.get("as-return-value") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1657,9 +1669,9 @@ fn c94_l527_action_invoke(result_object: &ResultObject) { assert_eq!(result, 1 as i32); } -// Line 528 -fn c95_l528_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c95_l528_action_invoke"); +// Line 527 +fn c96_l527_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c96_l527_action_invoke"); let func_index = match result_object.module.info.exports.get("as-drop-operand") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1669,9 +1681,9 @@ fn c95_l528_action_invoke(result_object: &ResultObject) { assert_eq!(result, ()); } -// Line 529 -fn c96_l529_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c96_l529_action_invoke"); +// Line 528 +fn c97_l528_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c97_l528_action_invoke"); let func_index = match result_object.module.info.exports.get("as-br-value") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1681,9 +1693,9 @@ fn c96_l529_action_invoke(result_object: &ResultObject) { assert_eq!(result, 1.0 as f32); } -// Line 530 -fn c97_l530_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c97_l530_action_invoke"); +// Line 529 +fn c98_l529_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c98_l529_action_invoke"); let func_index = match result_object.module.info.exports.get("as-set_local-value") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1693,9 +1705,9 @@ fn c97_l530_action_invoke(result_object: &ResultObject) { assert_eq!(result, 1.0 as f64); } -// Line 531 -fn c98_l531_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c98_l531_action_invoke"); +// Line 530 +fn c99_l530_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c99_l530_action_invoke"); let func_index = match result_object.module.info.exports.get("as-tee_local-value") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1705,9 +1717,9 @@ fn c98_l531_action_invoke(result_object: &ResultObject) { assert_eq!(result, 1.0 as f64); } -// Line 532 -fn c99_l532_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c99_l532_action_invoke"); +// Line 531 +fn c100_l531_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c100_l531_action_invoke"); let func_index = match result_object.module.info.exports.get("as-set_global-value") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1717,9 +1729,9 @@ fn c99_l532_action_invoke(result_object: &ResultObject) { assert_eq!(result, 1.0 as f64); } -// Line 533 -fn c100_l533_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c100_l533_action_invoke"); +// Line 532 +fn c101_l532_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c101_l532_action_invoke"); let func_index = match result_object.module.info.exports.get("as-load-operand") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1729,217 +1741,217 @@ fn c100_l533_action_invoke(result_object: &ResultObject) { assert_eq!(result, 1 as i32); } -// Line 538 +// Line 537 #[test] -fn c101_l538_assert_malformed() { +fn c102_l537_assert_malformed() { let wasm_binary = [40, 116, 121, 112, 101, 32, 36, 115, 105, 103, 32, 40, 102, 117, 110, 99, 32, 40, 112, 97, 114, 97, 109, 32, 105, 51, 50, 41, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 41, 41, 40, 116, 97, 98, 108, 101, 32, 48, 32, 97, 110, 121, 102, 117, 110, 99, 41, 40, 102, 117, 110, 99, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 32, 32, 40, 99, 97, 108, 108, 95, 105, 110, 100, 105, 114, 101, 99, 116, 32, 40, 116, 121, 112, 101, 32, 36, 115, 105, 103, 41, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 32, 40, 112, 97, 114, 97, 109, 32, 105, 51, 50, 41, 32, 32, 32, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 32, 32, 41, 41]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is malformed"); } -// Line 550 +// Line 549 #[test] -fn c102_l550_assert_malformed() { +fn c103_l549_assert_malformed() { let wasm_binary = [40, 116, 121, 112, 101, 32, 36, 115, 105, 103, 32, 40, 102, 117, 110, 99, 32, 40, 112, 97, 114, 97, 109, 32, 105, 51, 50, 41, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 41, 41, 40, 116, 97, 98, 108, 101, 32, 48, 32, 97, 110, 121, 102, 117, 110, 99, 41, 40, 102, 117, 110, 99, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 32, 32, 40, 99, 97, 108, 108, 95, 105, 110, 100, 105, 114, 101, 99, 116, 32, 40, 112, 97, 114, 97, 109, 32, 105, 51, 50, 41, 32, 40, 116, 121, 112, 101, 32, 36, 115, 105, 103, 41, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 32, 32, 32, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 32, 32, 41, 41]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is malformed"); } -// Line 562 +// Line 561 #[test] -fn c103_l562_assert_malformed() { +fn c104_l561_assert_malformed() { let wasm_binary = [40, 116, 121, 112, 101, 32, 36, 115, 105, 103, 32, 40, 102, 117, 110, 99, 32, 40, 112, 97, 114, 97, 109, 32, 105, 51, 50, 41, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 41, 41, 40, 116, 97, 98, 108, 101, 32, 48, 32, 97, 110, 121, 102, 117, 110, 99, 41, 40, 102, 117, 110, 99, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 32, 32, 40, 99, 97, 108, 108, 95, 105, 110, 100, 105, 114, 101, 99, 116, 32, 40, 112, 97, 114, 97, 109, 32, 105, 51, 50, 41, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 32, 40, 116, 121, 112, 101, 32, 36, 115, 105, 103, 41, 32, 32, 32, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 32, 32, 41, 41]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is malformed"); } -// Line 574 +// Line 573 #[test] -fn c104_l574_assert_malformed() { +fn c105_l573_assert_malformed() { let wasm_binary = [40, 116, 121, 112, 101, 32, 36, 115, 105, 103, 32, 40, 102, 117, 110, 99, 32, 40, 112, 97, 114, 97, 109, 32, 105, 51, 50, 41, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 41, 41, 40, 116, 97, 98, 108, 101, 32, 48, 32, 97, 110, 121, 102, 117, 110, 99, 41, 40, 102, 117, 110, 99, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 32, 32, 40, 99, 97, 108, 108, 95, 105, 110, 100, 105, 114, 101, 99, 116, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 32, 40, 116, 121, 112, 101, 32, 36, 115, 105, 103, 41, 32, 40, 112, 97, 114, 97, 109, 32, 105, 51, 50, 41, 32, 32, 32, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 32, 32, 41, 41]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is malformed"); } -// Line 586 +// Line 585 #[test] -fn c105_l586_assert_malformed() { +fn c106_l585_assert_malformed() { let wasm_binary = [40, 116, 121, 112, 101, 32, 36, 115, 105, 103, 32, 40, 102, 117, 110, 99, 32, 40, 112, 97, 114, 97, 109, 32, 105, 51, 50, 41, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 41, 41, 40, 116, 97, 98, 108, 101, 32, 48, 32, 97, 110, 121, 102, 117, 110, 99, 41, 40, 102, 117, 110, 99, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 32, 32, 40, 99, 97, 108, 108, 95, 105, 110, 100, 105, 114, 101, 99, 116, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 32, 40, 112, 97, 114, 97, 109, 32, 105, 51, 50, 41, 32, 40, 116, 121, 112, 101, 32, 36, 115, 105, 103, 41, 32, 32, 32, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 32, 32, 41, 41]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is malformed"); } -// Line 598 +// Line 597 #[test] -fn c106_l598_assert_malformed() { +fn c107_l597_assert_malformed() { let wasm_binary = [40, 116, 97, 98, 108, 101, 32, 48, 32, 97, 110, 121, 102, 117, 110, 99, 41, 40, 102, 117, 110, 99, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 32, 32, 40, 99, 97, 108, 108, 95, 105, 110, 100, 105, 114, 101, 99, 116, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 32, 40, 112, 97, 114, 97, 109, 32, 105, 51, 50, 41, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 41, 41]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is malformed"); } -// Line 608 +// Line 607 #[test] -fn c107_l608_assert_malformed() { +fn c108_l607_assert_malformed() { let wasm_binary = [40, 116, 97, 98, 108, 101, 32, 48, 32, 97, 110, 121, 102, 117, 110, 99, 41, 40, 102, 117, 110, 99, 32, 40, 99, 97, 108, 108, 95, 105, 110, 100, 105, 114, 101, 99, 116, 32, 40, 112, 97, 114, 97, 109, 32, 36, 120, 32, 105, 51, 50, 41, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 41, 41]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is malformed"); } -// Line 615 +// Line 614 #[test] -fn c108_l615_assert_malformed() { +fn c109_l614_assert_malformed() { let wasm_binary = [40, 116, 121, 112, 101, 32, 36, 115, 105, 103, 32, 40, 102, 117, 110, 99, 41, 41, 40, 116, 97, 98, 108, 101, 32, 48, 32, 97, 110, 121, 102, 117, 110, 99, 41, 40, 102, 117, 110, 99, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 32, 32, 40, 99, 97, 108, 108, 95, 105, 110, 100, 105, 114, 101, 99, 116, 32, 40, 116, 121, 112, 101, 32, 36, 115, 105, 103, 41, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 41, 41]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is malformed"); } -// Line 625 +// Line 624 #[test] -fn c109_l625_assert_malformed() { +fn c110_l624_assert_malformed() { let wasm_binary = [40, 116, 121, 112, 101, 32, 36, 115, 105, 103, 32, 40, 102, 117, 110, 99, 32, 40, 112, 97, 114, 97, 109, 32, 105, 51, 50, 41, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 41, 41, 40, 116, 97, 98, 108, 101, 32, 48, 32, 97, 110, 121, 102, 117, 110, 99, 41, 40, 102, 117, 110, 99, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 32, 32, 40, 99, 97, 108, 108, 95, 105, 110, 100, 105, 114, 101, 99, 116, 32, 40, 116, 121, 112, 101, 32, 36, 115, 105, 103, 41, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 41, 41]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is malformed"); } -// Line 635 +// Line 634 #[test] -fn c110_l635_assert_malformed() { +fn c111_l634_assert_malformed() { let wasm_binary = [40, 116, 121, 112, 101, 32, 36, 115, 105, 103, 32, 40, 102, 117, 110, 99, 32, 40, 112, 97, 114, 97, 109, 32, 105, 51, 50, 41, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 41, 41, 40, 116, 97, 98, 108, 101, 32, 48, 32, 97, 110, 121, 102, 117, 110, 99, 41, 40, 102, 117, 110, 99, 32, 32, 40, 99, 97, 108, 108, 95, 105, 110, 100, 105, 114, 101, 99, 116, 32, 40, 116, 121, 112, 101, 32, 36, 115, 105, 103, 41, 32, 40, 112, 97, 114, 97, 109, 32, 105, 51, 50, 41, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 41, 41]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is malformed"); } -// Line 645 +// Line 644 #[test] -fn c111_l645_assert_malformed() { +fn c112_l644_assert_malformed() { let wasm_binary = [40, 116, 121, 112, 101, 32, 36, 115, 105, 103, 32, 40, 102, 117, 110, 99, 32, 40, 112, 97, 114, 97, 109, 32, 105, 51, 50, 32, 105, 51, 50, 41, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 41, 41, 40, 116, 97, 98, 108, 101, 32, 48, 32, 97, 110, 121, 102, 117, 110, 99, 41, 40, 102, 117, 110, 99, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 32, 32, 40, 99, 97, 108, 108, 95, 105, 110, 100, 105, 114, 101, 99, 116, 32, 40, 116, 121, 112, 101, 32, 36, 115, 105, 103, 41, 32, 40, 112, 97, 114, 97, 109, 32, 105, 51, 50, 41, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 32, 32, 32, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 32, 32, 41, 41]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is malformed"); } -// Line 660 +// Line 659 #[test] -fn c112_l660_assert_invalid() { +fn c113_l659_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 4, 1, 96, 0, 0, 3, 2, 1, 0, 10, 9, 1, 7, 0, 65, 0, 17, 0, 0, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 668 +// Line 667 #[test] -fn c113_l668_assert_invalid() { +fn c114_l667_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 4, 1, 96, 0, 0, 3, 2, 1, 0, 4, 4, 1, 112, 0, 0, 10, 10, 1, 8, 0, 65, 0, 17, 0, 0, 69, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 676 +// Line 675 #[test] -fn c114_l676_assert_invalid() { +fn c115_l675_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 8, 2, 96, 0, 1, 126, 96, 0, 0, 3, 2, 1, 1, 4, 4, 1, 112, 0, 0, 10, 10, 1, 8, 0, 65, 0, 17, 0, 0, 69, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 685 +// Line 684 #[test] -fn c115_l685_assert_invalid() { +fn c116_l684_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 8, 2, 96, 1, 127, 0, 96, 0, 0, 3, 2, 1, 1, 4, 4, 1, 112, 0, 0, 10, 9, 1, 7, 0, 65, 0, 17, 0, 0, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 693 +// Line 692 #[test] -fn c116_l693_assert_invalid() { +fn c117_l692_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 9, 2, 96, 2, 124, 127, 0, 96, 0, 0, 3, 2, 1, 1, 4, 4, 1, 112, 0, 0, 10, 9, 1, 7, 0, 65, 0, 17, 0, 0, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 701 +// Line 700 #[test] -fn c117_l701_assert_invalid() { +fn c118_l700_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 4, 1, 96, 0, 0, 3, 2, 1, 0, 4, 4, 1, 112, 0, 0, 10, 11, 1, 9, 0, 65, 1, 65, 0, 17, 0, 0, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 709 +// Line 708 #[test] -fn c118_l709_assert_invalid() { +fn c119_l708_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 4, 1, 96, 0, 0, 3, 2, 1, 0, 4, 4, 1, 112, 0, 0, 10, 20, 1, 18, 0, 68, 0, 0, 0, 0, 0, 0, 0, 64, 65, 1, 65, 0, 17, 0, 0, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 720 +// Line 719 #[test] -fn c119_l720_assert_invalid() { +fn c120_l719_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 8, 2, 96, 1, 127, 0, 96, 0, 0, 3, 2, 1, 1, 4, 4, 1, 112, 0, 0, 10, 10, 1, 8, 0, 65, 1, 1, 17, 0, 0, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 728 +// Line 727 #[test] -fn c120_l728_assert_invalid() { +fn c121_l727_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 8, 2, 96, 1, 127, 0, 96, 0, 0, 3, 2, 1, 1, 4, 4, 1, 112, 0, 0, 10, 11, 1, 9, 0, 65, 0, 66, 1, 17, 0, 0, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 737 +// Line 736 #[test] -fn c121_l737_assert_invalid() { +fn c122_l736_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 9, 2, 96, 2, 127, 127, 0, 96, 0, 0, 3, 2, 1, 1, 4, 4, 1, 112, 0, 0, 10, 12, 1, 10, 0, 1, 65, 1, 65, 0, 17, 0, 0, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 747 +// Line 746 #[test] -fn c122_l747_assert_invalid() { +fn c123_l746_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 9, 2, 96, 2, 127, 127, 0, 96, 0, 0, 3, 2, 1, 1, 4, 4, 1, 112, 0, 0, 10, 12, 1, 10, 0, 65, 1, 1, 65, 0, 17, 0, 0, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 757 +// Line 756 #[test] -fn c123_l757_assert_invalid() { +fn c124_l756_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 9, 2, 96, 2, 127, 124, 0, 96, 0, 0, 3, 2, 1, 1, 4, 4, 1, 112, 0, 0, 10, 20, 1, 18, 0, 68, 0, 0, 0, 0, 0, 0, 240, 63, 65, 1, 65, 0, 17, 0, 0, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 767 +// Line 766 #[test] -fn c124_l767_assert_invalid() { +fn c125_l766_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 9, 2, 96, 2, 124, 127, 0, 96, 0, 0, 3, 2, 1, 1, 4, 4, 1, 112, 0, 0, 10, 20, 1, 18, 0, 65, 1, 68, 0, 0, 0, 0, 0, 0, 240, 63, 65, 0, 17, 0, 0, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 781 +// Line 780 #[test] -fn c125_l781_assert_invalid() { +fn c126_l780_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 4, 1, 96, 0, 0, 3, 2, 1, 0, 4, 4, 1, 112, 0, 0, 10, 9, 1, 7, 0, 65, 0, 17, 1, 0, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 788 +// Line 787 #[test] -fn c126_l788_assert_invalid() { +fn c127_l787_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 4, 1, 96, 0, 0, 3, 2, 1, 0, 4, 4, 1, 112, 0, 0, 10, 13, 1, 11, 0, 65, 0, 17, 148, 152, 219, 226, 3, 0, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 799 +// Line 798 #[test] -fn c127_l799_assert_invalid() { +fn c128_l798_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 4, 5, 1, 112, 1, 2, 2, 9, 8, 1, 0, 65, 0, 11, 2, 0, 0]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); @@ -1947,7 +1959,6 @@ fn c127_l799_assert_invalid() { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); @@ -2039,11 +2050,12 @@ fn test_module_1() { c91_l520_action_invoke(&result_object); c92_l522_action_invoke(&result_object); c93_l523_action_invoke(&result_object); - c94_l527_action_invoke(&result_object); - c95_l528_action_invoke(&result_object); - c96_l529_action_invoke(&result_object); - c97_l530_action_invoke(&result_object); - c98_l531_action_invoke(&result_object); - c99_l532_action_invoke(&result_object); - c100_l533_action_invoke(&result_object); + c94_l525_action_invoke(&result_object); + c95_l526_action_invoke(&result_object); + c96_l527_action_invoke(&result_object); + c97_l528_action_invoke(&result_object); + c98_l529_action_invoke(&result_object); + c99_l530_action_invoke(&result_object); + c100_l531_action_invoke(&result_object); + c101_l532_action_invoke(&result_object); } diff --git a/src/spectests/comments.rs b/src/spectests/comments.rs index 136e0d358..966b2d7d7 100644 --- a/src/spectests/comments.rs +++ b/src/spectests/comments.rs @@ -31,7 +31,6 @@ fn start_module_1(result_object: &ResultObject) { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); @@ -51,7 +50,6 @@ fn start_module_2(result_object: &ResultObject) { #[test] fn test_module_2() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_2(); // We group the calls together start_module_2(&result_object); @@ -71,7 +69,6 @@ fn start_module_3(result_object: &ResultObject) { #[test] fn test_module_3() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_3(); // We group the calls together start_module_3(&result_object); @@ -89,7 +86,6 @@ fn start_module_4(result_object: &ResultObject) { #[test] fn test_module_4() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_4(); // We group the calls together start_module_4(&result_object); diff --git a/src/spectests/const_.rs b/src/spectests/const_.rs index 88fb983ee..7e6789e45 100644 --- a/src/spectests/const_.rs +++ b/src/spectests/const_.rs @@ -35,7 +35,6 @@ fn start_module_1(result_object: &ResultObject) { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); @@ -75,7 +74,6 @@ fn c3_l12_assert_malformed() { #[test] fn test_module_2() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_2(); // We group the calls together start_module_2(&result_object); @@ -99,7 +97,6 @@ fn start_module_3(result_object: &ResultObject) { #[test] fn test_module_3() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_3(); // We group the calls together start_module_3(&result_object); @@ -139,7 +136,6 @@ fn c7_l23_assert_malformed() { #[test] fn test_module_4() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_4(); // We group the calls together start_module_4(&result_object); @@ -163,7 +159,6 @@ fn start_module_5(result_object: &ResultObject) { #[test] fn test_module_5() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_5(); // We group the calls together start_module_5(&result_object); @@ -203,7 +198,6 @@ fn c11_l34_assert_malformed() { #[test] fn test_module_6() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_6(); // We group the calls together start_module_6(&result_object); @@ -227,7 +221,6 @@ fn start_module_7(result_object: &ResultObject) { #[test] fn test_module_7() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_7(); // We group the calls together start_module_7(&result_object); @@ -267,7 +260,6 @@ fn c15_l45_assert_malformed() { #[test] fn test_module_8() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_8(); // We group the calls together start_module_8(&result_object); @@ -291,7 +283,6 @@ fn start_module_9(result_object: &ResultObject) { #[test] fn test_module_9() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_9(); // We group the calls together start_module_9(&result_object); @@ -315,7 +306,6 @@ fn start_module_10(result_object: &ResultObject) { #[test] fn test_module_10() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_10(); // We group the calls together start_module_10(&result_object); @@ -339,7 +329,6 @@ fn start_module_11(result_object: &ResultObject) { #[test] fn test_module_11() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_11(); // We group the calls together start_module_11(&result_object); @@ -363,7 +352,6 @@ fn start_module_12(result_object: &ResultObject) { #[test] fn test_module_12() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_12(); // We group the calls together start_module_12(&result_object); @@ -387,7 +375,6 @@ fn start_module_13(result_object: &ResultObject) { #[test] fn test_module_13() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_13(); // We group the calls together start_module_13(&result_object); @@ -443,7 +430,6 @@ fn c25_l68_assert_malformed() { #[test] fn test_module_14() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_14(); // We group the calls together start_module_14(&result_object); @@ -467,7 +453,6 @@ fn start_module_15(result_object: &ResultObject) { #[test] fn test_module_15() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_15(); // We group the calls together start_module_15(&result_object); @@ -507,7 +492,6 @@ fn c29_l79_assert_malformed() { #[test] fn test_module_16() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_16(); // We group the calls together start_module_16(&result_object); @@ -531,7 +515,6 @@ fn start_module_17(result_object: &ResultObject) { #[test] fn test_module_17() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_17(); // We group the calls together start_module_17(&result_object); @@ -571,7 +554,6 @@ fn c33_l90_assert_malformed() { #[test] fn test_module_18() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_18(); // We group the calls together start_module_18(&result_object); @@ -595,7 +577,6 @@ fn start_module_19(result_object: &ResultObject) { #[test] fn test_module_19() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_19(); // We group the calls together start_module_19(&result_object); @@ -619,7 +600,6 @@ fn start_module_20(result_object: &ResultObject) { #[test] fn test_module_20() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_20(); // We group the calls together start_module_20(&result_object); @@ -643,7 +623,6 @@ fn start_module_21(result_object: &ResultObject) { #[test] fn test_module_21() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_21(); // We group the calls together start_module_21(&result_object); @@ -667,7 +646,6 @@ fn start_module_22(result_object: &ResultObject) { #[test] fn test_module_22() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_22(); // We group the calls together start_module_22(&result_object); @@ -691,7 +669,6 @@ fn start_module_23(result_object: &ResultObject) { #[test] fn test_module_23() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_23(); // We group the calls together start_module_23(&result_object); @@ -747,7 +724,6 @@ fn c43_l113_assert_malformed() { #[test] fn test_module_24() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_24(); // We group the calls together start_module_24(&result_object); @@ -771,7 +747,6 @@ fn start_module_25(result_object: &ResultObject) { #[test] fn test_module_25() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_25(); // We group the calls together start_module_25(&result_object); @@ -811,7 +786,6 @@ fn c47_l124_assert_malformed() { #[test] fn test_module_26() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_26(); // We group the calls together start_module_26(&result_object); @@ -835,7 +809,6 @@ fn start_module_27(result_object: &ResultObject) { #[test] fn test_module_27() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_27(); // We group the calls together start_module_27(&result_object); @@ -873,7 +846,6 @@ fn c51_l135_assert_malformed() { #[test] fn test_module_28() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_28(); // We group the calls together start_module_28(&result_object); diff --git a/src/spectests/conversions.rs b/src/spectests/conversions.rs index 3ad81d5bc..8c4ca7c61 100644 --- a/src/spectests/conversions.rs +++ b/src/spectests/conversions.rs @@ -5566,7 +5566,6 @@ fn c401_l461_action_invoke(result_object: &ResultObject) { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); diff --git a/src/spectests/custom.rs b/src/spectests/custom.rs index d72dd0ecd..23ceafdd7 100644 --- a/src/spectests/custom.rs +++ b/src/spectests/custom.rs @@ -31,7 +31,6 @@ fn start_module_1(result_object: &ResultObject) { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); @@ -51,7 +50,6 @@ fn start_module_2(result_object: &ResultObject) { #[test] fn test_module_2() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_2(); // We group the calls together start_module_2(&result_object); @@ -131,7 +129,6 @@ fn c9_l115_assert_malformed() { #[test] fn test_module_3() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_3(); // We group the calls together start_module_3(&result_object); diff --git a/src/spectests/data.rs b/src/spectests/data.rs index 7953f0e58..07d5998fe 100644 --- a/src/spectests/data.rs +++ b/src/spectests/data.rs @@ -44,7 +44,6 @@ fn start_module_1(result_object: &ResultObject) { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); @@ -66,7 +65,6 @@ fn start_module_2(result_object: &ResultObject) { #[test] fn test_module_2() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_2(); // We group the calls together start_module_2(&result_object); @@ -88,7 +86,6 @@ fn start_module_3(result_object: &ResultObject) { #[test] fn test_module_3() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_3(); // We group the calls together start_module_3(&result_object); @@ -114,7 +111,6 @@ fn start_module_4(result_object: &ResultObject) { #[test] fn test_module_4() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_4(); // We group the calls together start_module_4(&result_object); @@ -141,7 +137,6 @@ fn start_module_5(result_object: &ResultObject) { #[test] fn test_module_5() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_5(); // We group the calls together start_module_5(&result_object); @@ -164,7 +159,6 @@ fn start_module_6(result_object: &ResultObject) { #[test] fn test_module_6() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_6(); // We group the calls together start_module_6(&result_object); @@ -187,7 +181,6 @@ fn start_module_7(result_object: &ResultObject) { #[test] fn test_module_7() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_7(); // We group the calls together start_module_7(&result_object); @@ -209,7 +202,6 @@ fn start_module_8(result_object: &ResultObject) { #[test] fn test_module_8() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_8(); // We group the calls together start_module_8(&result_object); @@ -231,7 +223,6 @@ fn start_module_9(result_object: &ResultObject) { #[test] fn test_module_9() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_9(); // We group the calls together start_module_9(&result_object); @@ -253,7 +244,6 @@ fn start_module_10(result_object: &ResultObject) { #[test] fn test_module_10() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_10(); // We group the calls together start_module_10(&result_object); @@ -275,7 +265,6 @@ fn start_module_11(result_object: &ResultObject) { #[test] fn test_module_11() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_11(); // We group the calls together start_module_11(&result_object); @@ -297,7 +286,6 @@ fn start_module_12(result_object: &ResultObject) { #[test] fn test_module_12() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_12(); // We group the calls together start_module_12(&result_object); @@ -319,7 +307,6 @@ fn start_module_13(result_object: &ResultObject) { #[test] fn test_module_13() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_13(); // We group the calls together start_module_13(&result_object); @@ -341,7 +328,6 @@ fn start_module_14(result_object: &ResultObject) { #[test] fn test_module_14() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_14(); // We group the calls together start_module_14(&result_object); @@ -363,7 +349,6 @@ fn start_module_15(result_object: &ResultObject) { #[test] fn test_module_15() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_15(); // We group the calls together start_module_15(&result_object); @@ -385,7 +370,6 @@ fn start_module_16(result_object: &ResultObject) { #[test] fn test_module_16() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_16(); // We group the calls together start_module_16(&result_object); @@ -407,7 +391,6 @@ fn start_module_17(result_object: &ResultObject) { #[test] fn test_module_17() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_17(); // We group the calls together start_module_17(&result_object); @@ -429,7 +412,6 @@ fn start_module_18(result_object: &ResultObject) { #[test] fn test_module_18() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_18(); // We group the calls together start_module_18(&result_object); @@ -525,7 +507,6 @@ fn c38_l330_assert_invalid() { #[test] fn test_module_19() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_19(); // We group the calls together start_module_19(&result_object); diff --git a/src/spectests/endianness.rs b/src/spectests/endianness.rs index 146d4d72c..fa985fe15 100644 --- a/src/spectests/endianness.rs +++ b/src/spectests/endianness.rs @@ -1049,7 +1049,6 @@ fn c68_l217_action_invoke(result_object: &ResultObject) { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); diff --git a/src/spectests/exports.rs b/src/spectests/exports.rs index d85749cd9..890fd9461 100644 --- a/src/spectests/exports.rs +++ b/src/spectests/exports.rs @@ -34,7 +34,6 @@ fn start_module_1(result_object: &ResultObject) { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); @@ -58,7 +57,6 @@ fn start_module_2(result_object: &ResultObject) { #[test] fn test_module_2() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_2(); // We group the calls together start_module_2(&result_object); @@ -83,7 +81,6 @@ fn start_module_3(result_object: &ResultObject) { #[test] fn test_module_3() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_3(); // We group the calls together start_module_3(&result_object); @@ -106,7 +103,6 @@ fn start_module_4(result_object: &ResultObject) { #[test] fn test_module_4() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_4(); // We group the calls together start_module_4(&result_object); @@ -131,7 +127,6 @@ fn start_module_5(result_object: &ResultObject) { #[test] fn test_module_5() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_5(); // We group the calls together start_module_5(&result_object); @@ -155,7 +150,6 @@ fn start_module_6(result_object: &ResultObject) { #[test] fn test_module_6() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_6(); // We group the calls together start_module_6(&result_object); @@ -178,7 +172,6 @@ fn start_module_7(result_object: &ResultObject) { #[test] fn test_module_7() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_7(); // We group the calls together start_module_7(&result_object); @@ -201,7 +194,6 @@ fn start_module_8(result_object: &ResultObject) { #[test] fn test_module_8() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_8(); // We group the calls together start_module_8(&result_object); @@ -224,7 +216,6 @@ fn start_module_9(result_object: &ResultObject) { #[test] fn test_module_9() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_9(); // We group the calls together start_module_9(&result_object); @@ -247,7 +238,6 @@ fn start_module_10(result_object: &ResultObject) { #[test] fn test_module_10() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_10(); // We group the calls together start_module_10(&result_object); @@ -270,7 +260,6 @@ fn start_module_11(result_object: &ResultObject) { #[test] fn test_module_11() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_11(); // We group the calls together start_module_11(&result_object); @@ -369,7 +358,6 @@ fn c19_l49_assert_invalid() { #[test] fn test_module_12() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_12(); // We group the calls together start_module_12(&result_object); @@ -393,7 +381,6 @@ fn start_module_13(result_object: &ResultObject) { #[test] fn test_module_13() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_13(); // We group the calls together start_module_13(&result_object); @@ -416,7 +403,6 @@ fn start_module_14(result_object: &ResultObject) { #[test] fn test_module_14() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_14(); // We group the calls together start_module_14(&result_object); @@ -440,7 +426,6 @@ fn start_module_15(result_object: &ResultObject) { #[test] fn test_module_15() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_15(); // We group the calls together start_module_15(&result_object); @@ -462,7 +447,6 @@ fn start_module_16(result_object: &ResultObject) { #[test] fn test_module_16() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_16(); // We group the calls together start_module_16(&result_object); @@ -484,7 +468,6 @@ fn start_module_17(result_object: &ResultObject) { #[test] fn test_module_17() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_17(); // We group the calls together start_module_17(&result_object); @@ -506,7 +489,6 @@ fn start_module_18(result_object: &ResultObject) { #[test] fn test_module_18() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_18(); // We group the calls together start_module_18(&result_object); @@ -528,7 +510,6 @@ fn start_module_19(result_object: &ResultObject) { #[test] fn test_module_19() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_19(); // We group the calls together start_module_19(&result_object); @@ -550,7 +531,6 @@ fn start_module_20(result_object: &ResultObject) { #[test] fn test_module_20() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_20(); // We group the calls together start_module_20(&result_object); @@ -572,7 +552,6 @@ fn start_module_21(result_object: &ResultObject) { #[test] fn test_module_21() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_21(); // We group the calls together start_module_21(&result_object); @@ -646,7 +625,6 @@ fn c37_l98_assert_invalid() { #[test] fn test_module_22() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_22(); // We group the calls together start_module_22(&result_object); @@ -668,7 +646,6 @@ fn start_module_23(result_object: &ResultObject) { #[test] fn test_module_23() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_23(); // We group the calls together start_module_23(&result_object); @@ -691,7 +668,6 @@ fn start_module_24(result_object: &ResultObject) { #[test] fn test_module_24() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_24(); // We group the calls together start_module_24(&result_object); @@ -713,7 +689,6 @@ fn start_module_25(result_object: &ResultObject) { #[test] fn test_module_25() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_25(); // We group the calls together start_module_25(&result_object); @@ -735,7 +710,6 @@ fn start_module_26(result_object: &ResultObject) { #[test] fn test_module_26() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_26(); // We group the calls together start_module_26(&result_object); @@ -757,7 +731,6 @@ fn start_module_27(result_object: &ResultObject) { #[test] fn test_module_27() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_27(); // We group the calls together start_module_27(&result_object); @@ -779,7 +752,6 @@ fn start_module_28(result_object: &ResultObject) { #[test] fn test_module_28() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_28(); // We group the calls together start_module_28(&result_object); @@ -801,7 +773,6 @@ fn start_module_29(result_object: &ResultObject) { #[test] fn test_module_29() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_29(); // We group the calls together start_module_29(&result_object); @@ -823,7 +794,6 @@ fn start_module_30(result_object: &ResultObject) { #[test] fn test_module_30() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_30(); // We group the calls together start_module_30(&result_object); @@ -845,7 +815,6 @@ fn start_module_31(result_object: &ResultObject) { #[test] fn test_module_31() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_31(); // We group the calls together start_module_31(&result_object); @@ -867,7 +836,6 @@ fn start_module_32(result_object: &ResultObject) { #[test] fn test_module_32() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_32(); // We group the calls together start_module_32(&result_object); @@ -889,7 +857,6 @@ fn start_module_33(result_object: &ResultObject) { #[test] fn test_module_33() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_33(); // We group the calls together start_module_33(&result_object); @@ -911,7 +878,6 @@ fn start_module_34(result_object: &ResultObject) { #[test] fn test_module_34() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_34(); // We group the calls together start_module_34(&result_object); @@ -933,7 +899,6 @@ fn start_module_35(result_object: &ResultObject) { #[test] fn test_module_35() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_35(); // We group the calls together start_module_35(&result_object); @@ -995,7 +960,6 @@ fn c56_l147_assert_invalid() { #[test] fn test_module_36() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_36(); // We group the calls together start_module_36(&result_object); @@ -1017,7 +981,6 @@ fn start_module_37(result_object: &ResultObject) { #[test] fn test_module_37() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_37(); // We group the calls together start_module_37(&result_object); @@ -1040,7 +1003,6 @@ fn start_module_38(result_object: &ResultObject) { #[test] fn test_module_38() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_38(); // We group the calls together start_module_38(&result_object); @@ -1062,7 +1024,6 @@ fn start_module_39(result_object: &ResultObject) { #[test] fn test_module_39() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_39(); // We group the calls together start_module_39(&result_object); @@ -1084,7 +1045,6 @@ fn start_module_40(result_object: &ResultObject) { #[test] fn test_module_40() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_40(); // We group the calls together start_module_40(&result_object); @@ -1106,7 +1066,6 @@ fn start_module_41(result_object: &ResultObject) { #[test] fn test_module_41() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_41(); // We group the calls together start_module_41(&result_object); @@ -1128,7 +1087,6 @@ fn start_module_42(result_object: &ResultObject) { #[test] fn test_module_42() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_42(); // We group the calls together start_module_42(&result_object); @@ -1150,7 +1108,6 @@ fn start_module_43(result_object: &ResultObject) { #[test] fn test_module_43() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_43(); // We group the calls together start_module_43(&result_object); @@ -1172,7 +1129,6 @@ fn start_module_44(result_object: &ResultObject) { #[test] fn test_module_44() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_44(); // We group the calls together start_module_44(&result_object); @@ -1194,7 +1150,6 @@ fn start_module_45(result_object: &ResultObject) { #[test] fn test_module_45() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_45(); // We group the calls together start_module_45(&result_object); @@ -1216,7 +1171,6 @@ fn start_module_46(result_object: &ResultObject) { #[test] fn test_module_46() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_46(); // We group the calls together start_module_46(&result_object); @@ -1238,7 +1192,6 @@ fn start_module_47(result_object: &ResultObject) { #[test] fn test_module_47() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_47(); // We group the calls together start_module_47(&result_object); @@ -1260,7 +1213,6 @@ fn start_module_48(result_object: &ResultObject) { #[test] fn test_module_48() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_48(); // We group the calls together start_module_48(&result_object); @@ -1282,7 +1234,6 @@ fn start_module_49(result_object: &ResultObject) { #[test] fn test_module_49() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_49(); // We group the calls together start_module_49(&result_object); @@ -1342,7 +1293,6 @@ fn c75_l196_assert_invalid() { #[test] fn test_module_50() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_50(); // We group the calls together start_module_50(&result_object); diff --git a/src/spectests/f32_.rs b/src/spectests/f32_.rs index 9eb5e4267..c654fea0c 100644 --- a/src/spectests/f32_.rs +++ b/src/spectests/f32_.rs @@ -30081,7 +30081,6 @@ fn c2500_l2518_assert_return_arithmetic_nan(result_object: &ResultObject) { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); diff --git a/src/spectests/f32_bitwise.rs b/src/spectests/f32_bitwise.rs index 195284cec..eb3c7997d 100644 --- a/src/spectests/f32_bitwise.rs +++ b/src/spectests/f32_bitwise.rs @@ -4404,7 +4404,6 @@ fn c360_l369_action_invoke(result_object: &ResultObject) { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); diff --git a/src/spectests/f32_cmp.rs b/src/spectests/f32_cmp.rs index 47a413e30..7497a812b 100644 --- a/src/spectests/f32_cmp.rs +++ b/src/spectests/f32_cmp.rs @@ -28860,7 +28860,6 @@ fn c2400_l2412_action_invoke(result_object: &ResultObject) { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); diff --git a/src/spectests/f64_.rs b/src/spectests/f64_.rs index 8d5e601a1..b652fc46e 100644 --- a/src/spectests/f64_.rs +++ b/src/spectests/f64_.rs @@ -30081,7 +30081,6 @@ fn c2500_l2518_assert_return_arithmetic_nan(result_object: &ResultObject) { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); diff --git a/src/spectests/f64_bitwise.rs b/src/spectests/f64_bitwise.rs index 27a129500..a8eff33bb 100644 --- a/src/spectests/f64_bitwise.rs +++ b/src/spectests/f64_bitwise.rs @@ -4404,7 +4404,6 @@ fn c360_l369_action_invoke(result_object: &ResultObject) { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); diff --git a/src/spectests/f64_cmp.rs b/src/spectests/f64_cmp.rs index 4078c5483..e73aea73c 100644 --- a/src/spectests/f64_cmp.rs +++ b/src/spectests/f64_cmp.rs @@ -28860,7 +28860,6 @@ fn c2400_l2412_action_invoke(result_object: &ResultObject) { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); diff --git a/src/spectests/fac.rs b/src/spectests/fac.rs index 8f088eb01..d7cb0248d 100644 --- a/src/spectests/fac.rs +++ b/src/spectests/fac.rs @@ -204,7 +204,6 @@ fn c5_l88_action_invoke(result_object: &ResultObject) { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); diff --git a/src/spectests/float_exprs.rs b/src/spectests/float_exprs.rs index b6b8dfea0..c6fa817b2 100644 --- a/src/spectests/float_exprs.rs +++ b/src/spectests/float_exprs.rs @@ -99,7 +99,6 @@ fn c5_l15_action_invoke(result_object: &ResultObject) { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); @@ -260,7 +259,6 @@ fn c16_l35_action_invoke(result_object: &ResultObject) { #[test] fn test_module_2() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_2(); // We group the calls together start_module_2(&result_object); @@ -350,7 +348,6 @@ fn c21_l50_assert_return_arithmetic_nan(result_object: &ResultObject) { #[test] fn test_module_3() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_3(); // We group the calls together start_module_3(&result_object); @@ -434,7 +431,6 @@ fn c26_l64_assert_return_arithmetic_nan(result_object: &ResultObject) { #[test] fn test_module_4() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_4(); // We group the calls together start_module_4(&result_object); @@ -494,7 +490,6 @@ fn c29_l76_assert_return_arithmetic_nan(result_object: &ResultObject) { #[test] fn test_module_5() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_5(); // We group the calls together start_module_5(&result_object); @@ -624,7 +619,6 @@ fn c38_l94_assert_return_arithmetic_nan(result_object: &ResultObject) { #[test] fn test_module_6() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_6(); // We group the calls together start_module_6(&result_object); @@ -688,7 +682,6 @@ fn c41_l107_assert_return_arithmetic_nan(result_object: &ResultObject) { #[test] fn test_module_7() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_7(); // We group the calls together start_module_7(&result_object); @@ -818,7 +811,6 @@ fn c50_l125_assert_return_arithmetic_nan(result_object: &ResultObject) { #[test] fn test_module_8() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_8(); // We group the calls together start_module_8(&result_object); @@ -882,7 +874,6 @@ fn c53_l137_assert_return_arithmetic_nan(result_object: &ResultObject) { #[test] fn test_module_9() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_9(); // We group the calls together start_module_9(&result_object); @@ -940,7 +931,6 @@ fn c56_l149_assert_return_arithmetic_nan(result_object: &ResultObject) { #[test] fn test_module_10() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_10(); // We group the calls together start_module_10(&result_object); @@ -998,7 +988,6 @@ fn c59_l161_assert_return_arithmetic_nan(result_object: &ResultObject) { #[test] fn test_module_11() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_11(); // We group the calls together start_module_11(&result_object); @@ -1056,7 +1045,6 @@ fn c62_l173_assert_return_arithmetic_nan(result_object: &ResultObject) { #[test] fn test_module_12() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_12(); // We group the calls together start_module_12(&result_object); @@ -1114,7 +1102,6 @@ fn c65_l185_action_invoke(result_object: &ResultObject) { #[test] fn test_module_13() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_13(); // We group the calls together start_module_13(&result_object); @@ -1172,7 +1159,6 @@ fn c68_l197_action_invoke(result_object: &ResultObject) { #[test] fn test_module_14() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_14(); // We group the calls together start_module_14(&result_object); @@ -1254,7 +1240,6 @@ fn c73_l211_assert_return_canonical_nan(result_object: &ResultObject) { #[test] fn test_module_15() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_15(); // We group the calls together start_module_15(&result_object); @@ -1386,7 +1371,6 @@ fn c82_l229_assert_return_canonical_nan(result_object: &ResultObject) { #[test] fn test_module_16() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_16(); // We group the calls together start_module_16(&result_object); @@ -1546,7 +1530,6 @@ fn c93_l249_action_invoke(result_object: &ResultObject) { #[test] fn test_module_17() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_17(); // We group the calls together start_module_17(&result_object); @@ -1716,7 +1699,6 @@ fn c104_l269_action_invoke(result_object: &ResultObject) { #[test] fn test_module_18() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_18(); // We group the calls together start_module_18(&result_object); @@ -1882,7 +1864,6 @@ fn c115_l289_action_invoke(result_object: &ResultObject) { #[test] fn test_module_19() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_19(); // We group the calls together start_module_19(&result_object); @@ -2048,7 +2029,6 @@ fn c126_l309_action_invoke(result_object: &ResultObject) { #[test] fn test_module_20() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_20(); // We group the calls together start_module_20(&result_object); @@ -2214,7 +2194,6 @@ fn c137_l329_action_invoke(result_object: &ResultObject) { #[test] fn test_module_21() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_21(); // We group the calls together start_module_21(&result_object); @@ -2384,7 +2363,6 @@ fn c148_l349_action_invoke(result_object: &ResultObject) { #[test] fn test_module_22() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_22(); // We group the calls together start_module_22(&result_object); @@ -2554,7 +2532,6 @@ fn c159_l369_action_invoke(result_object: &ResultObject) { #[test] fn test_module_23() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_23(); // We group the calls together start_module_23(&result_object); @@ -2788,7 +2765,6 @@ fn c176_l395_assert_return_arithmetic_nan(result_object: &ResultObject) { #[test] fn test_module_24() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_24(); // We group the calls together start_module_24(&result_object); @@ -3028,7 +3004,6 @@ fn c193_l421_assert_return_arithmetic_nan(result_object: &ResultObject) { #[test] fn test_module_25() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_25(); // We group the calls together start_module_25(&result_object); @@ -3206,7 +3181,6 @@ fn c204_l443_action_invoke(result_object: &ResultObject) { #[test] fn test_module_26() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_26(); // We group the calls together start_module_26(&result_object); @@ -3302,7 +3276,6 @@ fn c210_l456_action_invoke(result_object: &ResultObject) { #[test] fn test_module_27() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_27(); // We group the calls together start_module_27(&result_object); @@ -3461,7 +3434,6 @@ fn c221_l477_action_invoke(result_object: &ResultObject) { #[test] fn test_module_28() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_28(); // We group the calls together start_module_28(&result_object); @@ -3558,7 +3530,6 @@ fn c227_l490_action_invoke(result_object: &ResultObject) { #[test] fn test_module_29() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_29(); // We group the calls together start_module_29(&result_object); @@ -3749,7 +3720,6 @@ fn c240_l519_action_invoke(result_object: &ResultObject) { #[test] fn test_module_30() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_30(); // We group the calls together start_module_30(&result_object); @@ -3917,7 +3887,6 @@ fn c251_l540_action_invoke(result_object: &ResultObject) { #[test] fn test_module_31() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_31(); // We group the calls together start_module_31(&result_object); @@ -4083,7 +4052,6 @@ fn c262_l561_action_invoke(result_object: &ResultObject) { #[test] fn test_module_32() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_32(); // We group the calls together start_module_32(&result_object); @@ -4249,7 +4217,6 @@ fn c273_l582_action_invoke(result_object: &ResultObject) { #[test] fn test_module_33() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_33(); // We group the calls together start_module_33(&result_object); @@ -4415,7 +4382,6 @@ fn c284_l603_action_invoke(result_object: &ResultObject) { #[test] fn test_module_34() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_34(); // We group the calls together start_module_34(&result_object); @@ -4485,7 +4451,6 @@ fn c287_l615_action_invoke(result_object: &ResultObject) { #[test] fn test_module_35() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_35(); // We group the calls together start_module_35(&result_object); @@ -4573,7 +4538,6 @@ fn c293_l628_action_invoke(result_object: &ResultObject) { #[test] fn test_module_36() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_36(); // We group the calls together start_module_36(&result_object); @@ -4760,7 +4724,6 @@ fn c307_l650_action_invoke(result_object: &ResultObject) { #[test] fn test_module_37() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_37(); // We group the calls together start_module_37(&result_object); @@ -4929,7 +4892,6 @@ fn c318_l671_action_invoke(result_object: &ResultObject) { #[test] fn test_module_38() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_38(); // We group the calls together start_module_38(&result_object); @@ -5027,7 +4989,6 @@ fn c324_l684_action_invoke(result_object: &ResultObject) { #[test] fn test_module_39() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_39(); // We group the calls together start_module_39(&result_object); @@ -5518,7 +5479,6 @@ fn c357_l757_action_invoke(result_object: &ResultObject) { #[test] fn test_module_40() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_40(); // We group the calls together start_module_40(&result_object); @@ -5759,7 +5719,6 @@ fn c371_l796_action_invoke(result_object: &ResultObject) { #[test] fn test_module_41() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_41(); // We group the calls together start_module_41(&result_object); @@ -5981,7 +5940,6 @@ fn c385_l831_action_invoke(result_object: &ResultObject) { #[test] fn test_module_42() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_42(); // We group the calls together start_module_42(&result_object); @@ -6448,7 +6406,6 @@ fn c418_l878_action_invoke(result_object: &ResultObject) { #[test] fn test_module_43() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_43(); // We group the calls together start_module_43(&result_object); @@ -6958,7 +6915,6 @@ fn c451_l925_action_invoke(result_object: &ResultObject) { #[test] fn test_module_44() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_44(); // We group the calls together start_module_44(&result_object); @@ -7484,7 +7440,6 @@ fn c484_l1004_action_invoke(result_object: &ResultObject) { #[test] fn test_module_45() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_45(); // We group the calls together start_module_45(&result_object); @@ -8010,7 +7965,6 @@ fn c517_l1051_action_invoke(result_object: &ResultObject) { #[test] fn test_module_46() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_46(); // We group the calls together start_module_46(&result_object); @@ -8552,7 +8506,6 @@ fn c550_l1130_action_invoke(result_object: &ResultObject) { #[test] fn test_module_47() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_47(); // We group the calls together start_module_47(&result_object); @@ -8648,7 +8601,6 @@ fn c553_l1145_action_invoke(result_object: &ResultObject) { #[test] fn test_module_48() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_48(); // We group the calls together start_module_48(&result_object); @@ -8722,7 +8674,6 @@ fn c555_l1167_action_invoke(result_object: &ResultObject) { #[test] fn test_module_49() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_49(); // We group the calls together start_module_49(&result_object); @@ -8795,7 +8746,6 @@ fn c557_l1186_action_invoke(result_object: &ResultObject) { #[test] fn test_module_50() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_50(); // We group the calls together start_module_50(&result_object); @@ -8836,7 +8786,6 @@ fn c559_l1197_action_invoke(result_object: &ResultObject) { #[test] fn test_module_51() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_51(); // We group the calls together start_module_51(&result_object); @@ -8878,7 +8827,6 @@ fn c561_l1208_action_invoke(result_object: &ResultObject) { #[test] fn test_module_52() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_52(); // We group the calls together start_module_52(&result_object); @@ -8923,7 +8871,6 @@ fn c563_l1220_action_invoke(result_object: &ResultObject) { #[test] fn test_module_53() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_53(); // We group the calls together start_module_53(&result_object); @@ -9006,7 +8953,6 @@ fn c567_l1246_action_invoke(result_object: &ResultObject) { #[test] fn test_module_54() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_54(); // We group the calls together start_module_54(&result_object); @@ -9047,7 +8993,6 @@ fn c569_l1257_action_invoke(result_object: &ResultObject) { #[test] fn test_module_55() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_55(); // We group the calls together start_module_55(&result_object); @@ -9106,7 +9051,6 @@ fn c572_l1273_action_invoke(result_object: &ResultObject) { #[test] fn test_module_56() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_56(); // We group the calls together start_module_56(&result_object); @@ -9360,7 +9304,6 @@ fn c591_l1305_action_invoke(result_object: &ResultObject) { #[test] fn test_module_57() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_57(); // We group the calls together start_module_57(&result_object); @@ -9538,7 +9481,6 @@ fn c602_l1329_action_invoke(result_object: &ResultObject) { #[test] fn test_module_58() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_58(); // We group the calls together start_module_58(&result_object); @@ -9708,7 +9650,6 @@ fn c613_l1353_action_invoke(result_object: &ResultObject) { #[test] fn test_module_59() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_59(); // We group the calls together start_module_59(&result_object); @@ -9853,7 +9794,6 @@ fn c619_l1395_action_invoke(result_object: &ResultObject) { #[test] fn test_module_60() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_60(); // We group the calls together start_module_60(&result_object); @@ -9993,7 +9933,6 @@ fn c625_l1434_action_invoke(result_object: &ResultObject) { #[test] fn test_module_61() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_61(); // We group the calls together start_module_61(&result_object); @@ -10100,7 +10039,6 @@ fn c628_l1531_action_invoke(result_object: &ResultObject) { #[test] fn test_module_62() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_62(); // We group the calls together start_module_62(&result_object); @@ -10204,7 +10142,6 @@ fn c631_l1582_action_invoke(result_object: &ResultObject) { #[test] fn test_module_63() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_63(); // We group the calls together start_module_63(&result_object); @@ -10336,7 +10273,6 @@ fn c640_l1602_action_invoke(result_object: &ResultObject) { #[test] fn test_module_64() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_64(); // We group the calls together start_module_64(&result_object); @@ -10474,7 +10410,6 @@ fn c649_l1622_action_invoke(result_object: &ResultObject) { #[test] fn test_module_65() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_65(); // We group the calls together start_module_65(&result_object); @@ -10614,7 +10549,6 @@ fn c658_l1642_action_invoke(result_object: &ResultObject) { #[test] fn test_module_66() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_66(); // We group the calls together start_module_66(&result_object); @@ -10752,7 +10686,6 @@ fn c667_l1662_assert_return_canonical_nan(result_object: &ResultObject) { #[test] fn test_module_67() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_67(); // We group the calls together start_module_67(&result_object); @@ -10928,7 +10861,6 @@ fn c678_l1690_action_invoke(result_object: &ResultObject) { #[test] fn test_module_68() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_68(); // We group the calls together start_module_68(&result_object); @@ -11094,7 +11026,6 @@ fn c689_l1713_action_invoke(result_object: &ResultObject) { #[test] fn test_module_69() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_69(); // We group the calls together start_module_69(&result_object); @@ -11264,7 +11195,6 @@ fn c700_l1737_action_invoke(result_object: &ResultObject) { #[test] fn test_module_70() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_70(); // We group the calls together start_module_70(&result_object); @@ -11434,7 +11364,6 @@ fn c711_l1759_action_invoke(result_object: &ResultObject) { #[test] fn test_module_71() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_71(); // We group the calls together start_module_71(&result_object); @@ -11598,7 +11527,6 @@ fn c722_l1781_action_invoke(result_object: &ResultObject) { #[test] fn test_module_72() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_72(); // We group the calls together start_module_72(&result_object); @@ -11764,7 +11692,6 @@ fn c733_l1803_action_invoke(result_object: &ResultObject) { #[test] fn test_module_73() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_73(); // We group the calls together start_module_73(&result_object); @@ -11930,7 +11857,6 @@ fn c744_l1825_action_invoke(result_object: &ResultObject) { #[test] fn test_module_74() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_74(); // We group the calls together start_module_74(&result_object); @@ -12098,7 +12024,6 @@ fn c755_l1847_action_invoke(result_object: &ResultObject) { #[test] fn test_module_75() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_75(); // We group the calls together start_module_75(&result_object); @@ -12168,7 +12093,6 @@ fn c758_l1861_action_invoke(result_object: &ResultObject) { #[test] fn test_module_76() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_76(); // We group the calls together start_module_76(&result_object); @@ -12397,7 +12321,6 @@ fn c772_l1905_action_invoke(result_object: &ResultObject) { #[test] fn test_module_77() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_77(); // We group the calls together start_module_77(&result_object); @@ -12470,7 +12393,6 @@ fn c775_l1919_action_invoke(result_object: &ResultObject) { #[test] fn test_module_78() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_78(); // We group the calls together start_module_78(&result_object); @@ -12536,7 +12458,6 @@ fn c778_l1935_action_invoke(result_object: &ResultObject) { #[test] fn test_module_79() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_79(); // We group the calls together start_module_79(&result_object); @@ -12820,7 +12741,6 @@ fn c793_l1986_action_invoke(result_object: &ResultObject) { #[test] fn test_module_80() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_80(); // We group the calls together start_module_80(&result_object); @@ -12946,7 +12866,6 @@ fn c796_l2070_action_invoke(result_object: &ResultObject) { #[test] fn test_module_81() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_81(); // We group the calls together start_module_81(&result_object); @@ -13012,7 +12931,6 @@ fn c799_l2084_action_invoke(result_object: &ResultObject) { #[test] fn test_module_82() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_82(); // We group the calls together start_module_82(&result_object); @@ -13120,7 +13038,6 @@ fn c804_l2106_action_invoke(result_object: &ResultObject) { #[test] fn test_module_83() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_83(); // We group the calls together start_module_83(&result_object); @@ -13290,7 +13207,6 @@ fn c813_l2143_action_invoke(result_object: &ResultObject) { #[test] fn test_module_84() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_84(); // We group the calls together start_module_84(&result_object); @@ -13366,7 +13282,6 @@ fn c816_l2158_action_invoke(result_object: &ResultObject) { #[test] fn test_module_85() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_85(); // We group the calls together start_module_85(&result_object); @@ -13450,7 +13365,6 @@ fn c819_l2213_action_invoke(result_object: &ResultObject) { #[test] fn test_module_86() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_86(); // We group the calls together start_module_86(&result_object); @@ -13642,7 +13556,6 @@ fn c828_l2245_action_invoke(result_object: &ResultObject) { #[test] fn test_module_87() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_87(); // We group the calls together start_module_87(&result_object); @@ -14239,7 +14152,6 @@ fn c862_l2361_action_invoke(result_object: &ResultObject) { #[test] fn test_module_88() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_88(); // We group the calls together start_module_88(&result_object); @@ -14351,7 +14263,6 @@ fn c865_l2393_action_invoke(result_object: &ResultObject) { #[test] fn test_module_89() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_89(); // We group the calls together start_module_89(&result_object); @@ -14467,7 +14378,6 @@ fn c872_l2416_action_invoke(result_object: &ResultObject) { #[test] fn test_module_90() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_90(); // We group the calls together start_module_90(&result_object); @@ -14533,7 +14443,6 @@ fn c875_l2431_action_invoke(result_object: &ResultObject) { #[test] fn test_module_91() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_91(); // We group the calls together start_module_91(&result_object); @@ -14597,7 +14506,6 @@ fn c878_l2444_action_invoke(result_object: &ResultObject) { #[test] fn test_module_92() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_92(); // We group the calls together start_module_92(&result_object); @@ -14789,7 +14697,6 @@ fn c891_l2473_action_invoke(result_object: &ResultObject) { #[test] fn test_module_93() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_93(); // We group the calls together start_module_93(&result_object); @@ -14841,7 +14748,6 @@ fn c893_l2483_action_invoke(result_object: &ResultObject) { #[test] fn test_module_94() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_94(); // We group the calls together start_module_94(&result_object); @@ -14949,7 +14855,6 @@ fn c896_l2554_action_invoke(result_object: &ResultObject) { #[test] fn test_module_95() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_95(); // We group the calls together start_module_95(&result_object); @@ -15015,7 +14920,6 @@ fn c899_l2570_action_invoke(result_object: &ResultObject) { #[test] fn test_module_96() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_96(); // We group the calls together start_module_96(&result_object); diff --git a/src/spectests/float_literals.rs b/src/spectests/float_literals.rs index b9de7c766..d7c239302 100644 --- a/src/spectests/float_literals.rs +++ b/src/spectests/float_literals.rs @@ -1327,7 +1327,6 @@ fn c82_l189_action_invoke(result_object: &ResultObject) { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); @@ -2051,7 +2050,6 @@ fn c160_l505_assert_malformed() { #[test] fn test_module_2() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_2(); // We group the calls together start_module_2(&result_object); diff --git a/src/spectests/float_memory.rs b/src/spectests/float_memory.rs index 386dcb00d..1fb78183d 100644 --- a/src/spectests/float_memory.rs +++ b/src/spectests/float_memory.rs @@ -230,7 +230,6 @@ fn c14_l28_action_invoke(result_object: &ResultObject) { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); @@ -463,7 +462,6 @@ fn c29_l53_action_invoke(result_object: &ResultObject) { #[test] fn test_module_2() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_2(); // We group the calls together start_module_2(&result_object); @@ -696,7 +694,6 @@ fn c44_l80_action_invoke(result_object: &ResultObject) { #[test] fn test_module_3() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_3(); // We group the calls together start_module_3(&result_object); @@ -929,7 +926,6 @@ fn c59_l105_action_invoke(result_object: &ResultObject) { #[test] fn test_module_4() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_4(); // We group the calls together start_module_4(&result_object); @@ -1162,7 +1158,6 @@ fn c74_l132_action_invoke(result_object: &ResultObject) { #[test] fn test_module_5() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_5(); // We group the calls together start_module_5(&result_object); @@ -1393,7 +1388,6 @@ fn c89_l157_action_invoke(result_object: &ResultObject) { #[test] fn test_module_6() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_6(); // We group the calls together start_module_6(&result_object); diff --git a/src/spectests/float_misc.rs b/src/spectests/float_misc.rs index 536792e07..a86bead20 100644 --- a/src/spectests/float_misc.rs +++ b/src/spectests/float_misc.rs @@ -5455,7 +5455,6 @@ fn c440_l678_action_invoke(result_object: &ResultObject) { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); diff --git a/src/spectests/forward.rs b/src/spectests/forward.rs index 62c0dbe24..a4509ac4a 100644 --- a/src/spectests/forward.rs +++ b/src/spectests/forward.rs @@ -104,7 +104,6 @@ fn c4_l20_action_invoke(result_object: &ResultObject) { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); diff --git a/src/spectests/func.rs b/src/spectests/func.rs index 1a16f2201..f661b4e0c 100644 --- a/src/spectests/func.rs +++ b/src/spectests/func.rs @@ -1167,7 +1167,6 @@ fn c69_l284_action_invoke(result_object: &ResultObject) { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); @@ -1278,7 +1277,6 @@ fn c71_l303_assert_invalid() { #[test] fn test_module_2() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_2(); // We group the calls together start_module_2(&result_object); @@ -1789,7 +1787,6 @@ fn c122_l659_assert_malformed() { #[test] fn test_module_3() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_3(); // We group the calls together start_module_3(&result_object); diff --git a/src/spectests/func_ptrs.rs b/src/spectests/func_ptrs.rs index ac86f5df4..fca94347a 100644 --- a/src/spectests/func_ptrs.rs +++ b/src/spectests/func_ptrs.rs @@ -162,7 +162,6 @@ fn c11_l49_assert_invalid() { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); @@ -503,7 +502,6 @@ fn c32_l91_assert_trap() { #[test] fn test_module_2() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_2(); // We group the calls together start_module_2(&result_object); @@ -571,7 +569,6 @@ fn c35_l106_action_invoke(result_object: &ResultObject) { #[test] fn test_module_3() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_3(); // We group the calls together start_module_3(&result_object); diff --git a/src/spectests/get_local.rs b/src/spectests/get_local.rs index de5bf87bb..18f042242 100644 --- a/src/spectests/get_local.rs +++ b/src/spectests/get_local.rs @@ -346,7 +346,6 @@ fn c22_l145_assert_invalid() { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); diff --git a/src/spectests/globals.rs b/src/spectests/globals.rs index ed5a486b8..c792450e4 100644 --- a/src/spectests/globals.rs +++ b/src/spectests/globals.rs @@ -708,9 +708,21 @@ fn c35_l226_action_invoke(result_object: &ResultObject) { assert_eq!(result, 1 as i32); } -// Line 230 -fn c36_l230_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c36_l230_action_invoke"); +// Line 227 +fn c36_l227_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c36_l227_action_invoke"); + let func_index = match result_object.module.info.exports.get("as-memory.grow-value") { + Some(&Export::Function(index)) => index, + _ => panic!("Function not found"), + }; + let invoke_fn: fn(&Instance) -> i32 = get_instance_function!(result_object.instance, func_index); + let result = invoke_fn(&result_object.instance); + assert_eq!(result, 1 as i32); +} + +// Line 229 +fn c37_l229_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c37_l229_action_invoke"); let func_index = match result_object.module.info.exports.get("as-call-value") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -720,9 +732,9 @@ fn c36_l230_action_invoke(result_object: &ResultObject) { assert_eq!(result, 6 as i32); } -// Line 232 -fn c37_l232_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c37_l232_action_invoke"); +// Line 231 +fn c38_l231_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c38_l231_action_invoke"); let func_index = match result_object.module.info.exports.get("as-return-value") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -732,9 +744,9 @@ fn c37_l232_action_invoke(result_object: &ResultObject) { assert_eq!(result, 6 as i32); } -// Line 233 -fn c38_l233_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c38_l233_action_invoke"); +// Line 232 +fn c39_l232_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c39_l232_action_invoke"); let func_index = match result_object.module.info.exports.get("as-drop-operand") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -744,9 +756,9 @@ fn c38_l233_action_invoke(result_object: &ResultObject) { assert_eq!(result, ()); } -// Line 234 -fn c39_l234_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c39_l234_action_invoke"); +// Line 233 +fn c40_l233_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c40_l233_action_invoke"); let func_index = match result_object.module.info.exports.get("as-br-value") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -756,9 +768,9 @@ fn c39_l234_action_invoke(result_object: &ResultObject) { assert_eq!(result, 6 as i32); } -// Line 236 -fn c40_l236_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c40_l236_action_invoke"); +// Line 235 +fn c41_l235_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c41_l235_action_invoke"); let func_index = match result_object.module.info.exports.get("as-set_local-value") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -768,9 +780,9 @@ fn c40_l236_action_invoke(result_object: &ResultObject) { assert_eq!(result, 6 as i32); } -// Line 237 -fn c41_l237_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c41_l237_action_invoke"); +// Line 236 +fn c42_l236_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c42_l236_action_invoke"); let func_index = match result_object.module.info.exports.get("as-tee_local-value") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -780,9 +792,9 @@ fn c41_l237_action_invoke(result_object: &ResultObject) { assert_eq!(result, 6 as i32); } -// Line 238 -fn c42_l238_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c42_l238_action_invoke"); +// Line 237 +fn c43_l237_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c43_l237_action_invoke"); let func_index = match result_object.module.info.exports.get("as-set_global-value") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -792,9 +804,9 @@ fn c42_l238_action_invoke(result_object: &ResultObject) { assert_eq!(result, 6 as i32); } -// Line 240 -fn c43_l240_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c43_l240_action_invoke"); +// Line 239 +fn c44_l239_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c44_l239_action_invoke"); let func_index = match result_object.module.info.exports.get("as-unary-operand") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -804,9 +816,9 @@ fn c43_l240_action_invoke(result_object: &ResultObject) { assert_eq!(result, 0 as i32); } -// Line 241 -fn c44_l241_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c44_l241_action_invoke"); +// Line 240 +fn c45_l240_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c45_l240_action_invoke"); let func_index = match result_object.module.info.exports.get("as-binary-operand") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -816,9 +828,9 @@ fn c44_l241_action_invoke(result_object: &ResultObject) { assert_eq!(result, 36 as i32); } -// Line 242 -fn c45_l242_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c45_l242_action_invoke"); +// Line 241 +fn c46_l241_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c46_l241_action_invoke"); let func_index = match result_object.module.info.exports.get("as-compare-operand") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -828,115 +840,114 @@ fn c45_l242_action_invoke(result_object: &ResultObject) { assert_eq!(result, 1 as i32); } -// Line 245 +// Line 244 #[test] -fn c46_l245_assert_invalid() { +fn c47_l244_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 4, 1, 96, 0, 0, 3, 2, 1, 0, 6, 9, 1, 125, 0, 67, 0, 0, 0, 0, 11, 10, 8, 1, 6, 0, 65, 1, 36, 0, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 257 +// Line 256 #[test] -fn c47_l257_assert_invalid() { +fn c48_l256_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 6, 10, 1, 125, 0, 67, 0, 0, 0, 0, 140, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 262 +// Line 261 #[test] -fn c48_l262_assert_invalid() { +fn c49_l261_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 6, 6, 1, 125, 0, 32, 0, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 267 +// Line 266 #[test] -fn c49_l267_assert_invalid() { +fn c50_l266_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 6, 10, 1, 125, 0, 67, 0, 0, 128, 63, 140, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 272 +// Line 271 #[test] -fn c50_l272_assert_invalid() { +fn c51_l271_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 6, 7, 1, 127, 0, 65, 0, 1, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 277 +// Line 276 #[test] -fn c51_l277_assert_invalid() { +fn c52_l276_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 6, 5, 1, 127, 0, 1, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 282 +// Line 281 #[test] -fn c52_l282_assert_invalid() { +fn c53_l281_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 6, 9, 1, 127, 0, 67, 0, 0, 0, 0, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 287 +// Line 286 #[test] -fn c53_l287_assert_invalid() { +fn c54_l286_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 6, 8, 1, 127, 0, 65, 0, 65, 0, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 292 +// Line 291 #[test] -fn c54_l292_assert_invalid() { +fn c55_l291_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 6, 4, 1, 127, 0, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 297 +// Line 296 #[test] -fn c55_l297_assert_invalid() { +fn c56_l296_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 6, 6, 1, 127, 0, 35, 0, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 302 +// Line 301 #[test] -fn c56_l302_assert_invalid() { +fn c57_l301_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 6, 11, 2, 127, 0, 35, 1, 11, 127, 0, 65, 0, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 312 +// Line 311 #[test] -fn c57_l312_assert_malformed() { +fn c58_l311_assert_malformed() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 2, 148, 128, 128, 128, 0, 1, 8, 115, 112, 101, 99, 116, 101, 115, 116, 10, 103, 108, 111, 98, 97, 108, 95, 105, 51, 50, 3, 127, 2]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is malformed"); } -// Line 325 +// Line 324 #[test] -fn c58_l325_assert_malformed() { +fn c59_l324_assert_malformed() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 2, 148, 128, 128, 128, 0, 1, 8, 115, 112, 101, 99, 116, 101, 115, 116, 10, 103, 108, 111, 98, 97, 108, 95, 105, 51, 50, 3, 127, 255]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is malformed"); } -// Line 338 +// Line 337 #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); @@ -974,16 +985,17 @@ fn test_module_1() { c33_l224_action_invoke(&result_object); c34_l225_action_invoke(&result_object); c35_l226_action_invoke(&result_object); - c36_l230_action_invoke(&result_object); - c37_l232_action_invoke(&result_object); - c38_l233_action_invoke(&result_object); - c39_l234_action_invoke(&result_object); - c40_l236_action_invoke(&result_object); - c41_l237_action_invoke(&result_object); - c42_l238_action_invoke(&result_object); - c43_l240_action_invoke(&result_object); - c44_l241_action_invoke(&result_object); - c45_l242_action_invoke(&result_object); + c36_l227_action_invoke(&result_object); + c37_l229_action_invoke(&result_object); + c38_l231_action_invoke(&result_object); + c39_l232_action_invoke(&result_object); + c40_l233_action_invoke(&result_object); + c41_l235_action_invoke(&result_object); + c42_l236_action_invoke(&result_object); + c43_l237_action_invoke(&result_object); + c44_l239_action_invoke(&result_object); + c45_l240_action_invoke(&result_object); + c46_l241_action_invoke(&result_object); } fn create_module_2() -> ResultObject { let module_str = "(module @@ -997,17 +1009,17 @@ fn start_module_2(result_object: &ResultObject) { result_object.instance.start(); } -// Line 342 +// Line 341 #[test] -fn c60_l342_assert_malformed() { +fn c61_l341_assert_malformed() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 6, 134, 128, 128, 128, 0, 1, 127, 2, 65, 0, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is malformed"); } -// Line 354 +// Line 353 #[test] -fn c61_l354_assert_malformed() { +fn c62_l353_assert_malformed() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 6, 134, 128, 128, 128, 0, 1, 127, 255, 65, 0, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is malformed"); @@ -1015,7 +1027,6 @@ fn c61_l354_assert_malformed() { #[test] fn test_module_2() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_2(); // We group the calls together start_module_2(&result_object); diff --git a/src/spectests/i32_.rs b/src/spectests/i32_.rs index d21e46bcb..ce281285f 100644 --- a/src/spectests/i32_.rs +++ b/src/spectests/i32_.rs @@ -4561,7 +4561,6 @@ fn c359_l421_action_invoke(result_object: &ResultObject) { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); diff --git a/src/spectests/i64_.rs b/src/spectests/i64_.rs index 38d2487a0..d4a6a6150 100644 --- a/src/spectests/i64_.rs +++ b/src/spectests/i64_.rs @@ -4563,7 +4563,6 @@ fn c359_l421_action_invoke(result_object: &ResultObject) { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); diff --git a/src/spectests/if_.rs b/src/spectests/if_.rs index f6a771218..688c82a35 100644 --- a/src/spectests/if_.rs +++ b/src/spectests/if_.rs @@ -1278,9 +1278,33 @@ fn c52_l445_action_invoke(result_object: &ResultObject) { assert_eq!(result, ()); } -// Line 452 -fn c53_l452_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c53_l452_action_invoke"); +// Line 447 +fn c53_l447_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c53_l447_action_invoke"); + let func_index = match result_object.module.info.exports.get("as-memory.grow-value") { + Some(&Export::Function(index)) => index, + _ => panic!("Function not found"), + }; + let invoke_fn: fn(i32, &Instance) -> i32 = get_instance_function!(result_object.instance, func_index); + let result = invoke_fn(0 as i32, &result_object.instance); + assert_eq!(result, 1 as i32); +} + +// Line 448 +fn c54_l448_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c54_l448_action_invoke"); + let func_index = match result_object.module.info.exports.get("as-memory.grow-value") { + Some(&Export::Function(index)) => index, + _ => panic!("Function not found"), + }; + let invoke_fn: fn(i32, &Instance) -> i32 = get_instance_function!(result_object.instance, func_index); + let result = invoke_fn(1 as i32, &result_object.instance); + assert_eq!(result, 1 as i32); +} + +// Line 450 +fn c55_l450_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c55_l450_action_invoke"); let func_index = match result_object.module.info.exports.get("as-call-value") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1290,21 +1314,21 @@ fn c53_l452_action_invoke(result_object: &ResultObject) { assert_eq!(result, 0 as i32); } +// Line 451 +fn c56_l451_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c56_l451_action_invoke"); + let func_index = match result_object.module.info.exports.get("as-call-value") { + Some(&Export::Function(index)) => index, + _ => panic!("Function not found"), + }; + let invoke_fn: fn(i32, &Instance) -> i32 = get_instance_function!(result_object.instance, func_index); + let result = invoke_fn(1 as i32, &result_object.instance); + assert_eq!(result, 1 as i32); +} + // Line 453 -fn c54_l453_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c54_l453_action_invoke"); - let func_index = match result_object.module.info.exports.get("as-call-value") { - Some(&Export::Function(index)) => index, - _ => panic!("Function not found"), - }; - let invoke_fn: fn(i32, &Instance) -> i32 = get_instance_function!(result_object.instance, func_index); - let result = invoke_fn(1 as i32, &result_object.instance); - assert_eq!(result, 1 as i32); -} - -// Line 455 -fn c55_l455_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c55_l455_action_invoke"); +fn c57_l453_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c57_l453_action_invoke"); let func_index = match result_object.module.info.exports.get("as-return-value") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1314,9 +1338,9 @@ fn c55_l455_action_invoke(result_object: &ResultObject) { assert_eq!(result, 0 as i32); } -// Line 456 -fn c56_l456_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c56_l456_action_invoke"); +// Line 454 +fn c58_l454_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c58_l454_action_invoke"); let func_index = match result_object.module.info.exports.get("as-return-value") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1326,9 +1350,9 @@ fn c56_l456_action_invoke(result_object: &ResultObject) { assert_eq!(result, 1 as i32); } -// Line 458 -fn c57_l458_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c57_l458_action_invoke"); +// Line 456 +fn c59_l456_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c59_l456_action_invoke"); let func_index = match result_object.module.info.exports.get("as-drop-operand") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1338,21 +1362,21 @@ fn c57_l458_action_invoke(result_object: &ResultObject) { assert_eq!(result, ()); } +// Line 457 +fn c60_l457_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c60_l457_action_invoke"); + let func_index = match result_object.module.info.exports.get("as-drop-operand") { + Some(&Export::Function(index)) => index, + _ => panic!("Function not found"), + }; + let invoke_fn: fn(i32, &Instance) = get_instance_function!(result_object.instance, func_index); + let result = invoke_fn(1 as i32, &result_object.instance); + assert_eq!(result, ()); +} + // Line 459 -fn c58_l459_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c58_l459_action_invoke"); - let func_index = match result_object.module.info.exports.get("as-drop-operand") { - Some(&Export::Function(index)) => index, - _ => panic!("Function not found"), - }; - let invoke_fn: fn(i32, &Instance) = get_instance_function!(result_object.instance, func_index); - let result = invoke_fn(1 as i32, &result_object.instance); - assert_eq!(result, ()); -} - -// Line 461 -fn c59_l461_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c59_l461_action_invoke"); +fn c61_l459_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c61_l459_action_invoke"); let func_index = match result_object.module.info.exports.get("as-br-value") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1362,21 +1386,21 @@ fn c59_l461_action_invoke(result_object: &ResultObject) { assert_eq!(result, 0 as i32); } +// Line 460 +fn c62_l460_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c62_l460_action_invoke"); + let func_index = match result_object.module.info.exports.get("as-br-value") { + Some(&Export::Function(index)) => index, + _ => panic!("Function not found"), + }; + let invoke_fn: fn(i32, &Instance) -> i32 = get_instance_function!(result_object.instance, func_index); + let result = invoke_fn(1 as i32, &result_object.instance); + assert_eq!(result, 1 as i32); +} + // Line 462 -fn c60_l462_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c60_l462_action_invoke"); - let func_index = match result_object.module.info.exports.get("as-br-value") { - Some(&Export::Function(index)) => index, - _ => panic!("Function not found"), - }; - let invoke_fn: fn(i32, &Instance) -> i32 = get_instance_function!(result_object.instance, func_index); - let result = invoke_fn(1 as i32, &result_object.instance); - assert_eq!(result, 1 as i32); -} - -// Line 464 -fn c61_l464_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c61_l464_action_invoke"); +fn c63_l462_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c63_l462_action_invoke"); let func_index = match result_object.module.info.exports.get("as-set_local-value") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1386,21 +1410,21 @@ fn c61_l464_action_invoke(result_object: &ResultObject) { assert_eq!(result, 0 as i32); } +// Line 463 +fn c64_l463_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c64_l463_action_invoke"); + let func_index = match result_object.module.info.exports.get("as-set_local-value") { + Some(&Export::Function(index)) => index, + _ => panic!("Function not found"), + }; + let invoke_fn: fn(i32, &Instance) -> i32 = get_instance_function!(result_object.instance, func_index); + let result = invoke_fn(1 as i32, &result_object.instance); + assert_eq!(result, 1 as i32); +} + // Line 465 -fn c62_l465_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c62_l465_action_invoke"); - let func_index = match result_object.module.info.exports.get("as-set_local-value") { - Some(&Export::Function(index)) => index, - _ => panic!("Function not found"), - }; - let invoke_fn: fn(i32, &Instance) -> i32 = get_instance_function!(result_object.instance, func_index); - let result = invoke_fn(1 as i32, &result_object.instance); - assert_eq!(result, 1 as i32); -} - -// Line 467 -fn c63_l467_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c63_l467_action_invoke"); +fn c65_l465_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c65_l465_action_invoke"); let func_index = match result_object.module.info.exports.get("as-tee_local-value") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1410,21 +1434,21 @@ fn c63_l467_action_invoke(result_object: &ResultObject) { assert_eq!(result, 0 as i32); } +// Line 466 +fn c66_l466_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c66_l466_action_invoke"); + let func_index = match result_object.module.info.exports.get("as-tee_local-value") { + Some(&Export::Function(index)) => index, + _ => panic!("Function not found"), + }; + let invoke_fn: fn(i32, &Instance) -> i32 = get_instance_function!(result_object.instance, func_index); + let result = invoke_fn(1 as i32, &result_object.instance); + assert_eq!(result, 1 as i32); +} + // Line 468 -fn c64_l468_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c64_l468_action_invoke"); - let func_index = match result_object.module.info.exports.get("as-tee_local-value") { - Some(&Export::Function(index)) => index, - _ => panic!("Function not found"), - }; - let invoke_fn: fn(i32, &Instance) -> i32 = get_instance_function!(result_object.instance, func_index); - let result = invoke_fn(1 as i32, &result_object.instance); - assert_eq!(result, 1 as i32); -} - -// Line 470 -fn c65_l470_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c65_l470_action_invoke"); +fn c67_l468_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c67_l468_action_invoke"); let func_index = match result_object.module.info.exports.get("as-set_global-value") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1434,9 +1458,9 @@ fn c65_l470_action_invoke(result_object: &ResultObject) { assert_eq!(result, 0 as i32); } -// Line 471 -fn c66_l471_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c66_l471_action_invoke"); +// Line 469 +fn c68_l469_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c68_l469_action_invoke"); let func_index = match result_object.module.info.exports.get("as-set_global-value") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1446,9 +1470,9 @@ fn c66_l471_action_invoke(result_object: &ResultObject) { assert_eq!(result, 1 as i32); } -// Line 473 -fn c67_l473_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c67_l473_action_invoke"); +// Line 471 +fn c69_l471_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c69_l471_action_invoke"); let func_index = match result_object.module.info.exports.get("as-load-operand") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1458,10 +1482,34 @@ fn c67_l473_action_invoke(result_object: &ResultObject) { assert_eq!(result, 0 as i32); } +// Line 472 +fn c70_l472_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c70_l472_action_invoke"); + let func_index = match result_object.module.info.exports.get("as-load-operand") { + Some(&Export::Function(index)) => index, + _ => panic!("Function not found"), + }; + let invoke_fn: fn(i32, &Instance) -> i32 = get_instance_function!(result_object.instance, func_index); + let result = invoke_fn(1 as i32, &result_object.instance); + assert_eq!(result, 0 as i32); +} + // Line 474 -fn c68_l474_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c68_l474_action_invoke"); - let func_index = match result_object.module.info.exports.get("as-load-operand") { +fn c71_l474_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c71_l474_action_invoke"); + let func_index = match result_object.module.info.exports.get("as-unary-operand") { + Some(&Export::Function(index)) => index, + _ => panic!("Function not found"), + }; + let invoke_fn: fn(i32, &Instance) -> i32 = get_instance_function!(result_object.instance, func_index); + let result = invoke_fn(0 as i32, &result_object.instance); + assert_eq!(result, 0 as i32); +} + +// Line 475 +fn c72_l475_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c72_l475_action_invoke"); + let func_index = match result_object.module.info.exports.get("as-unary-operand") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), }; @@ -1471,32 +1519,8 @@ fn c68_l474_action_invoke(result_object: &ResultObject) { } // Line 476 -fn c69_l476_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c69_l476_action_invoke"); - let func_index = match result_object.module.info.exports.get("as-unary-operand") { - Some(&Export::Function(index)) => index, - _ => panic!("Function not found"), - }; - let invoke_fn: fn(i32, &Instance) -> i32 = get_instance_function!(result_object.instance, func_index); - let result = invoke_fn(0 as i32, &result_object.instance); - assert_eq!(result, 0 as i32); -} - -// Line 477 -fn c70_l477_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c70_l477_action_invoke"); - let func_index = match result_object.module.info.exports.get("as-unary-operand") { - Some(&Export::Function(index)) => index, - _ => panic!("Function not found"), - }; - let invoke_fn: fn(i32, &Instance) -> i32 = get_instance_function!(result_object.instance, func_index); - let result = invoke_fn(1 as i32, &result_object.instance); - assert_eq!(result, 0 as i32); -} - -// Line 478 -fn c71_l478_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c71_l478_action_invoke"); +fn c73_l476_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c73_l476_action_invoke"); let func_index = match result_object.module.info.exports.get("as-unary-operand") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1506,9 +1530,9 @@ fn c71_l478_action_invoke(result_object: &ResultObject) { assert_eq!(result, 0 as i32); } -// Line 480 -fn c72_l480_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c72_l480_action_invoke"); +// Line 478 +fn c74_l478_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c74_l478_action_invoke"); let func_index = match result_object.module.info.exports.get("as-binary-operand") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1518,9 +1542,9 @@ fn c72_l480_action_invoke(result_object: &ResultObject) { assert_eq!(result, 15 as i32); } -// Line 481 -fn c73_l481_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c73_l481_action_invoke"); +// Line 479 +fn c75_l479_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c75_l479_action_invoke"); let func_index = match result_object.module.info.exports.get("as-binary-operand") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1530,9 +1554,9 @@ fn c73_l481_action_invoke(result_object: &ResultObject) { assert_eq!(result, -12 as i32); } -// Line 482 -fn c74_l482_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c74_l482_action_invoke"); +// Line 480 +fn c76_l480_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c76_l480_action_invoke"); let func_index = match result_object.module.info.exports.get("as-binary-operand") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1542,9 +1566,9 @@ fn c74_l482_action_invoke(result_object: &ResultObject) { assert_eq!(result, -15 as i32); } -// Line 483 -fn c75_l483_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c75_l483_action_invoke"); +// Line 481 +fn c77_l481_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c77_l481_action_invoke"); let func_index = match result_object.module.info.exports.get("as-binary-operand") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1554,9 +1578,9 @@ fn c75_l483_action_invoke(result_object: &ResultObject) { assert_eq!(result, 12 as i32); } -// Line 485 -fn c76_l485_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c76_l485_action_invoke"); +// Line 483 +fn c78_l483_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c78_l483_action_invoke"); let func_index = match result_object.module.info.exports.get("as-test-operand") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1566,9 +1590,9 @@ fn c76_l485_action_invoke(result_object: &ResultObject) { assert_eq!(result, 1 as i32); } -// Line 486 -fn c77_l486_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c77_l486_action_invoke"); +// Line 484 +fn c79_l484_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c79_l484_action_invoke"); let func_index = match result_object.module.info.exports.get("as-test-operand") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1578,9 +1602,9 @@ fn c77_l486_action_invoke(result_object: &ResultObject) { assert_eq!(result, 0 as i32); } -// Line 488 -fn c78_l488_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c78_l488_action_invoke"); +// Line 486 +fn c80_l486_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c80_l486_action_invoke"); let func_index = match result_object.module.info.exports.get("as-compare-operand") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1590,9 +1614,9 @@ fn c78_l488_action_invoke(result_object: &ResultObject) { assert_eq!(result, 1 as i32); } -// Line 489 -fn c79_l489_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c79_l489_action_invoke"); +// Line 487 +fn c81_l487_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c81_l487_action_invoke"); let func_index = match result_object.module.info.exports.get("as-compare-operand") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1602,9 +1626,9 @@ fn c79_l489_action_invoke(result_object: &ResultObject) { assert_eq!(result, 0 as i32); } -// Line 490 -fn c80_l490_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c80_l490_action_invoke"); +// Line 488 +fn c82_l488_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c82_l488_action_invoke"); let func_index = match result_object.module.info.exports.get("as-compare-operand") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1614,9 +1638,9 @@ fn c80_l490_action_invoke(result_object: &ResultObject) { assert_eq!(result, 1 as i32); } -// Line 491 -fn c81_l491_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c81_l491_action_invoke"); +// Line 489 +fn c83_l489_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c83_l489_action_invoke"); let func_index = match result_object.module.info.exports.get("as-compare-operand") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1626,9 +1650,9 @@ fn c81_l491_action_invoke(result_object: &ResultObject) { assert_eq!(result, 0 as i32); } -// Line 493 -fn c82_l493_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c82_l493_action_invoke"); +// Line 491 +fn c84_l491_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c84_l491_action_invoke"); let func_index = match result_object.module.info.exports.get("break-bare") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1638,9 +1662,9 @@ fn c82_l493_action_invoke(result_object: &ResultObject) { assert_eq!(result, 19 as i32); } -// Line 494 -fn c83_l494_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c83_l494_action_invoke"); +// Line 492 +fn c85_l492_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c85_l492_action_invoke"); let func_index = match result_object.module.info.exports.get("break-value") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1650,9 +1674,9 @@ fn c83_l494_action_invoke(result_object: &ResultObject) { assert_eq!(result, 18 as i32); } -// Line 495 -fn c84_l495_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c84_l495_action_invoke"); +// Line 493 +fn c86_l493_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c86_l493_action_invoke"); let func_index = match result_object.module.info.exports.get("break-value") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1662,9 +1686,9 @@ fn c84_l495_action_invoke(result_object: &ResultObject) { assert_eq!(result, 21 as i32); } -// Line 497 -fn c85_l497_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c85_l497_action_invoke"); +// Line 495 +fn c87_l495_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c87_l495_action_invoke"); let func_index = match result_object.module.info.exports.get("effects") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1674,9 +1698,9 @@ fn c85_l497_action_invoke(result_object: &ResultObject) { assert_eq!(result, -14 as i32); } -// Line 498 -fn c86_l498_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c86_l498_action_invoke"); +// Line 496 +fn c88_l496_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c88_l496_action_invoke"); let func_index = match result_object.module.info.exports.get("effects") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1686,353 +1710,353 @@ fn c86_l498_action_invoke(result_object: &ResultObject) { assert_eq!(result, -6 as i32); } -// Line 501 +// Line 499 #[test] -fn c87_l501_assert_invalid() { +fn c89_l499_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 127, 3, 2, 1, 0, 10, 9, 1, 7, 0, 65, 0, 4, 64, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 505 +// Line 503 #[test] -fn c88_l505_assert_invalid() { +fn c90_l503_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 126, 3, 2, 1, 0, 10, 9, 1, 7, 0, 65, 0, 4, 64, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 509 +// Line 507 #[test] -fn c89_l509_assert_invalid() { +fn c91_l507_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 125, 3, 2, 1, 0, 10, 9, 1, 7, 0, 65, 0, 4, 64, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 513 +// Line 511 #[test] -fn c90_l513_assert_invalid() { +fn c92_l511_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 124, 3, 2, 1, 0, 10, 9, 1, 7, 0, 65, 0, 4, 64, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 518 +// Line 516 #[test] -fn c91_l518_assert_invalid() { +fn c93_l516_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 127, 3, 2, 1, 0, 10, 9, 1, 7, 0, 65, 0, 4, 64, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 522 +// Line 520 #[test] -fn c92_l522_assert_invalid() { +fn c94_l520_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 126, 3, 2, 1, 0, 10, 9, 1, 7, 0, 65, 0, 4, 64, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 526 +// Line 524 #[test] -fn c93_l526_assert_invalid() { +fn c95_l524_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 125, 3, 2, 1, 0, 10, 9, 1, 7, 0, 65, 0, 4, 64, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 530 +// Line 528 #[test] -fn c94_l530_assert_invalid() { +fn c96_l528_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 124, 3, 2, 1, 0, 10, 9, 1, 7, 0, 65, 0, 4, 64, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 535 +// Line 533 #[test] -fn c95_l535_assert_invalid() { +fn c97_l533_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 4, 1, 96, 0, 0, 3, 2, 1, 0, 10, 11, 1, 9, 0, 65, 1, 4, 64, 65, 1, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 541 +// Line 539 #[test] -fn c96_l541_assert_invalid() { +fn c98_l539_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 4, 1, 96, 0, 0, 3, 2, 1, 0, 10, 11, 1, 9, 0, 65, 1, 4, 64, 65, 1, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 547 +// Line 545 #[test] -fn c97_l547_assert_invalid() { +fn c99_l545_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 4, 1, 96, 0, 0, 3, 2, 1, 0, 10, 12, 1, 10, 0, 65, 1, 4, 64, 5, 65, 1, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 553 +// Line 551 #[test] -fn c98_l553_assert_invalid() { +fn c100_l551_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 4, 1, 96, 0, 0, 3, 2, 1, 0, 10, 14, 1, 12, 0, 65, 1, 4, 64, 65, 1, 5, 65, 1, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 560 +// Line 558 #[test] -fn c99_l560_assert_invalid() { +fn c101_l558_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 127, 3, 2, 1, 0, 10, 12, 1, 10, 0, 65, 1, 4, 127, 5, 65, 0, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 566 +// Line 564 #[test] -fn c100_l566_assert_invalid() { +fn c102_l564_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 127, 3, 2, 1, 0, 10, 11, 1, 9, 0, 65, 1, 4, 127, 65, 0, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 572 +// Line 570 #[test] -fn c101_l572_assert_invalid() { +fn c103_l570_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 127, 3, 2, 1, 0, 10, 9, 1, 7, 0, 65, 1, 4, 127, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 578 +// Line 576 #[test] -fn c102_l578_assert_invalid() { +fn c104_l576_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 127, 3, 2, 1, 0, 10, 11, 1, 9, 0, 65, 1, 4, 127, 65, 1, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 585 +// Line 583 #[test] -fn c103_l585_assert_invalid() { +fn c105_l583_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 127, 3, 2, 1, 0, 10, 13, 1, 11, 0, 65, 1, 4, 127, 1, 5, 65, 0, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 591 +// Line 589 #[test] -fn c104_l591_assert_invalid() { +fn c106_l589_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 127, 3, 2, 1, 0, 10, 13, 1, 11, 0, 65, 1, 4, 127, 65, 0, 5, 1, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 597 +// Line 595 #[test] -fn c105_l597_assert_invalid() { +fn c107_l595_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 127, 3, 2, 1, 0, 10, 12, 1, 10, 0, 65, 1, 4, 127, 1, 5, 1, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 604 +// Line 602 #[test] -fn c106_l604_assert_invalid() { +fn c108_l602_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 127, 3, 2, 1, 0, 10, 14, 1, 12, 0, 65, 1, 4, 127, 66, 1, 5, 65, 1, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 610 +// Line 608 #[test] -fn c107_l610_assert_invalid() { +fn c109_l608_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 127, 3, 2, 1, 0, 10, 14, 1, 12, 0, 65, 1, 4, 127, 65, 1, 5, 66, 1, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 616 +// Line 614 #[test] -fn c108_l616_assert_invalid() { +fn c110_l614_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 127, 3, 2, 1, 0, 10, 14, 1, 12, 0, 65, 1, 4, 127, 66, 1, 5, 66, 1, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 622 +// Line 620 #[test] -fn c109_l622_assert_invalid() { +fn c111_l620_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 127, 3, 2, 1, 0, 10, 21, 1, 19, 0, 65, 1, 4, 127, 66, 1, 5, 68, 0, 0, 0, 0, 0, 0, 240, 63, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 629 +// Line 627 #[test] -fn c110_l629_assert_invalid() { +fn c112_l627_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 127, 3, 2, 1, 0, 10, 16, 1, 14, 0, 65, 0, 4, 126, 0, 0, 0, 27, 5, 66, 0, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 639 +// Line 637 #[test] -fn c111_l639_assert_invalid() { +fn c113_l637_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 127, 3, 2, 1, 0, 10, 16, 1, 14, 0, 65, 1, 4, 126, 66, 0, 5, 0, 0, 0, 27, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 649 +// Line 647 #[test] -fn c112_l649_assert_invalid() { +fn c114_l647_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 127, 3, 2, 1, 0, 10, 18, 1, 16, 0, 65, 1, 4, 126, 0, 0, 0, 27, 5, 0, 0, 0, 27, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 660 +// Line 658 #[test] -fn c113_l660_assert_invalid() { +fn c115_l658_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 127, 3, 2, 1, 0, 10, 14, 1, 12, 0, 65, 1, 4, 127, 12, 0, 5, 65, 1, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 666 +// Line 664 #[test] -fn c114_l666_assert_invalid() { +fn c116_l664_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 127, 3, 2, 1, 0, 10, 14, 1, 12, 0, 65, 1, 4, 127, 65, 1, 5, 12, 0, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 672 +// Line 670 #[test] -fn c115_l672_assert_invalid() { +fn c117_l670_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 127, 3, 2, 1, 0, 10, 16, 1, 14, 0, 65, 1, 4, 127, 12, 0, 65, 1, 5, 65, 1, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 681 +// Line 679 #[test] -fn c116_l681_assert_invalid() { +fn c118_l679_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 127, 3, 2, 1, 0, 10, 16, 1, 14, 0, 65, 1, 4, 127, 65, 1, 5, 12, 0, 65, 1, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 690 +// Line 688 #[test] -fn c117_l690_assert_invalid() { +fn c119_l688_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 127, 3, 2, 1, 0, 10, 17, 1, 15, 0, 65, 1, 4, 127, 1, 12, 0, 65, 1, 5, 65, 1, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 699 +// Line 697 #[test] -fn c118_l699_assert_invalid() { +fn c120_l697_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 127, 3, 2, 1, 0, 10, 17, 1, 15, 0, 65, 1, 4, 127, 65, 1, 5, 1, 12, 0, 65, 1, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 709 +// Line 707 #[test] -fn c119_l709_assert_invalid() { +fn c121_l707_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 127, 3, 2, 1, 0, 10, 18, 1, 16, 0, 65, 1, 4, 127, 66, 1, 12, 0, 65, 1, 5, 65, 1, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 718 +// Line 716 #[test] -fn c120_l718_assert_invalid() { +fn c122_l716_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 127, 3, 2, 1, 0, 10, 18, 1, 16, 0, 65, 1, 4, 127, 65, 1, 5, 66, 1, 12, 0, 65, 1, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 729 +// Line 727 #[test] -fn c121_l729_assert_malformed() { +fn c123_l727_assert_malformed() { let wasm_binary = [40, 102, 117, 110, 99, 32, 105, 102, 32, 101, 110, 100, 32, 36, 108, 41]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is malformed"); } -// Line 733 +// Line 731 #[test] -fn c122_l733_assert_malformed() { +fn c124_l731_assert_malformed() { let wasm_binary = [40, 102, 117, 110, 99, 32, 105, 102, 32, 36, 97, 32, 101, 110, 100, 32, 36, 108, 41]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is malformed"); } -// Line 737 +// Line 735 #[test] -fn c123_l737_assert_malformed() { +fn c125_l735_assert_malformed() { let wasm_binary = [40, 102, 117, 110, 99, 32, 105, 102, 32, 101, 108, 115, 101, 32, 36, 108, 32, 101, 110, 100, 41]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is malformed"); } -// Line 741 +// Line 739 #[test] -fn c124_l741_assert_malformed() { +fn c126_l739_assert_malformed() { let wasm_binary = [40, 102, 117, 110, 99, 32, 105, 102, 32, 36, 97, 32, 101, 108, 115, 101, 32, 36, 108, 32, 101, 110, 100, 41]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is malformed"); } -// Line 745 +// Line 743 #[test] -fn c125_l745_assert_malformed() { +fn c127_l743_assert_malformed() { let wasm_binary = [40, 102, 117, 110, 99, 32, 105, 102, 32, 101, 108, 115, 101, 32, 101, 110, 100, 32, 36, 108, 41]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is malformed"); } -// Line 749 +// Line 747 #[test] -fn c126_l749_assert_malformed() { +fn c128_l747_assert_malformed() { let wasm_binary = [40, 102, 117, 110, 99, 32, 105, 102, 32, 101, 108, 115, 101, 32, 36, 108, 32, 101, 110, 100, 32, 36, 108, 41]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is malformed"); } -// Line 753 +// Line 751 #[test] -fn c127_l753_assert_malformed() { +fn c129_l751_assert_malformed() { let wasm_binary = [40, 102, 117, 110, 99, 32, 105, 102, 32, 101, 108, 115, 101, 32, 36, 108, 49, 32, 101, 110, 100, 32, 36, 108, 50, 41]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is malformed"); } -// Line 757 +// Line 755 #[test] -fn c128_l757_assert_malformed() { +fn c130_l755_assert_malformed() { let wasm_binary = [40, 102, 117, 110, 99, 32, 105, 102, 32, 36, 97, 32, 101, 108, 115, 101, 32, 101, 110, 100, 32, 36, 108, 41]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is malformed"); } -// Line 761 +// Line 759 #[test] -fn c129_l761_assert_malformed() { +fn c131_l759_assert_malformed() { let wasm_binary = [40, 102, 117, 110, 99, 32, 105, 102, 32, 36, 97, 32, 101, 108, 115, 101, 32, 36, 97, 32, 101, 110, 100, 32, 36, 108, 41]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is malformed"); } -// Line 765 +// Line 763 #[test] -fn c130_l765_assert_malformed() { +fn c132_l763_assert_malformed() { let wasm_binary = [40, 102, 117, 110, 99, 32, 105, 102, 32, 36, 97, 32, 101, 108, 115, 101, 32, 36, 108, 32, 101, 110, 100, 32, 36, 108, 41]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is malformed"); @@ -2040,7 +2064,6 @@ fn c130_l765_assert_malformed() { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); @@ -2095,38 +2118,40 @@ fn test_module_1() { c50_l443_action_invoke(&result_object); c51_l444_action_invoke(&result_object); c52_l445_action_invoke(&result_object); - c53_l452_action_invoke(&result_object); - c54_l453_action_invoke(&result_object); - c55_l455_action_invoke(&result_object); - c56_l456_action_invoke(&result_object); - c57_l458_action_invoke(&result_object); - c58_l459_action_invoke(&result_object); - c59_l461_action_invoke(&result_object); - c60_l462_action_invoke(&result_object); - c61_l464_action_invoke(&result_object); - c62_l465_action_invoke(&result_object); - c63_l467_action_invoke(&result_object); - c64_l468_action_invoke(&result_object); - c65_l470_action_invoke(&result_object); - c66_l471_action_invoke(&result_object); - c67_l473_action_invoke(&result_object); - c68_l474_action_invoke(&result_object); - c69_l476_action_invoke(&result_object); - c70_l477_action_invoke(&result_object); - c71_l478_action_invoke(&result_object); - c72_l480_action_invoke(&result_object); - c73_l481_action_invoke(&result_object); - c74_l482_action_invoke(&result_object); - c75_l483_action_invoke(&result_object); - c76_l485_action_invoke(&result_object); - c77_l486_action_invoke(&result_object); - c78_l488_action_invoke(&result_object); - c79_l489_action_invoke(&result_object); - c80_l490_action_invoke(&result_object); - c81_l491_action_invoke(&result_object); - c82_l493_action_invoke(&result_object); - c83_l494_action_invoke(&result_object); - c84_l495_action_invoke(&result_object); - c85_l497_action_invoke(&result_object); - c86_l498_action_invoke(&result_object); + c53_l447_action_invoke(&result_object); + c54_l448_action_invoke(&result_object); + c55_l450_action_invoke(&result_object); + c56_l451_action_invoke(&result_object); + c57_l453_action_invoke(&result_object); + c58_l454_action_invoke(&result_object); + c59_l456_action_invoke(&result_object); + c60_l457_action_invoke(&result_object); + c61_l459_action_invoke(&result_object); + c62_l460_action_invoke(&result_object); + c63_l462_action_invoke(&result_object); + c64_l463_action_invoke(&result_object); + c65_l465_action_invoke(&result_object); + c66_l466_action_invoke(&result_object); + c67_l468_action_invoke(&result_object); + c68_l469_action_invoke(&result_object); + c69_l471_action_invoke(&result_object); + c70_l472_action_invoke(&result_object); + c71_l474_action_invoke(&result_object); + c72_l475_action_invoke(&result_object); + c73_l476_action_invoke(&result_object); + c74_l478_action_invoke(&result_object); + c75_l479_action_invoke(&result_object); + c76_l480_action_invoke(&result_object); + c77_l481_action_invoke(&result_object); + c78_l483_action_invoke(&result_object); + c79_l484_action_invoke(&result_object); + c80_l486_action_invoke(&result_object); + c81_l487_action_invoke(&result_object); + c82_l488_action_invoke(&result_object); + c83_l489_action_invoke(&result_object); + c84_l491_action_invoke(&result_object); + c85_l492_action_invoke(&result_object); + c86_l493_action_invoke(&result_object); + c87_l495_action_invoke(&result_object); + c88_l496_action_invoke(&result_object); } diff --git a/src/spectests/int_exprs.rs b/src/spectests/int_exprs.rs index 245249f70..56155aeb1 100644 --- a/src/spectests/int_exprs.rs +++ b/src/spectests/int_exprs.rs @@ -117,7 +117,6 @@ fn c4_l21_action_invoke(result_object: &ResultObject) { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); @@ -171,7 +170,6 @@ fn c7_l31_action_invoke(result_object: &ResultObject) { #[test] fn test_module_2() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_2(); // We group the calls together start_module_2(&result_object); @@ -211,7 +209,6 @@ fn c9_l40_action_invoke(result_object: &ResultObject) { #[test] fn test_module_3() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_3(); // We group the calls together start_module_3(&result_object); @@ -310,7 +307,6 @@ fn c14_l59_action_invoke(result_object: &ResultObject) { #[test] fn test_module_4() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_4(); // We group the calls together start_module_4(&result_object); @@ -412,7 +408,6 @@ fn c19_l78_action_invoke(result_object: &ResultObject) { #[test] fn test_module_5() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_5(); // We group the calls together start_module_5(&result_object); @@ -514,7 +509,6 @@ fn c24_l97_action_invoke(result_object: &ResultObject) { #[test] fn test_module_6() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_6(); // We group the calls together start_module_6(&result_object); @@ -644,7 +638,6 @@ fn c29_l116_assert_trap() { #[test] fn test_module_7() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_7(); // We group the calls together start_module_7(&result_object); @@ -770,7 +763,6 @@ fn c34_l135_assert_trap() { #[test] fn test_module_8() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_8(); // We group the calls together start_module_8(&result_object); @@ -868,7 +860,6 @@ fn c39_l154_action_invoke(result_object: &ResultObject) { #[test] fn test_module_9() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_9(); // We group the calls together start_module_9(&result_object); @@ -928,7 +919,6 @@ fn c42_l167_action_invoke(result_object: &ResultObject) { #[test] fn test_module_10() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_10(); // We group the calls together start_module_10(&result_object); @@ -986,7 +976,6 @@ fn c45_l180_action_invoke(result_object: &ResultObject) { #[test] fn test_module_11() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_11(); // We group the calls together start_module_11(&result_object); @@ -1114,7 +1103,6 @@ fn c50_l199_assert_trap() { #[test] fn test_module_12() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_12(); // We group the calls together start_module_12(&result_object); @@ -1252,7 +1240,6 @@ fn c59_l222_action_invoke(result_object: &ResultObject) { #[test] fn test_module_13() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_13(); // We group the calls together start_module_13(&result_object); @@ -1398,7 +1385,6 @@ fn c68_l245_action_invoke(result_object: &ResultObject) { #[test] fn test_module_14() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_14(); // We group the calls together start_module_14(&result_object); @@ -1544,7 +1530,6 @@ fn c77_l268_action_invoke(result_object: &ResultObject) { #[test] fn test_module_15() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_15(); // We group the calls together start_module_15(&result_object); @@ -1690,7 +1675,6 @@ fn c86_l291_action_invoke(result_object: &ResultObject) { #[test] fn test_module_16() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_16(); // We group the calls together start_module_16(&result_object); @@ -1836,7 +1820,6 @@ fn c95_l314_action_invoke(result_object: &ResultObject) { #[test] fn test_module_17() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_17(); // We group the calls together start_module_17(&result_object); @@ -1982,7 +1965,6 @@ fn c104_l337_action_invoke(result_object: &ResultObject) { #[test] fn test_module_18() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_18(); // We group the calls together start_module_18(&result_object); @@ -2062,7 +2044,6 @@ fn c107_l350_assert_trap() { #[test] fn test_module_19() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_19(); // We group the calls together start_module_19(&result_object); diff --git a/src/spectests/int_literals.rs b/src/spectests/int_literals.rs index 6a0d666c4..cfac1b39f 100644 --- a/src/spectests/int_literals.rs +++ b/src/spectests/int_literals.rs @@ -667,7 +667,6 @@ fn c50_l149_assert_malformed() { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); diff --git a/src/spectests/labels.rs b/src/spectests/labels.rs index 8a0844ea6..418a7f591 100644 --- a/src/spectests/labels.rs +++ b/src/spectests/labels.rs @@ -787,7 +787,6 @@ fn c28_l319_assert_invalid() { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); diff --git a/src/spectests/left_to_right.rs b/src/spectests/left_to_right.rs index ae8c116f6..1308d2635 100644 --- a/src/spectests/left_to_right.rs +++ b/src/spectests/left_to_right.rs @@ -2111,7 +2111,6 @@ fn c95_l233_action_invoke(result_object: &ResultObject) { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); diff --git a/src/spectests/loop_.rs b/src/spectests/loop_.rs index 274dceb21..7597b5d3f 100644 --- a/src/spectests/loop_.rs +++ b/src/spectests/loop_.rs @@ -917,9 +917,21 @@ fn c20_l330_action_invoke(result_object: &ResultObject) { assert_eq!(result, ()); } -// Line 334 -fn c21_l334_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c21_l334_action_invoke"); +// Line 332 +fn c21_l332_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c21_l332_action_invoke"); + let func_index = match result_object.module.info.exports.get("as-memory.grow-value") { + Some(&Export::Function(index)) => index, + _ => panic!("Function not found"), + }; + let invoke_fn: fn(&Instance) -> i32 = get_instance_function!(result_object.instance, func_index); + let result = invoke_fn(&result_object.instance); + assert_eq!(result, 1 as i32); +} + +// Line 333 +fn c22_l333_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c22_l333_action_invoke"); let func_index = match result_object.module.info.exports.get("as-call-value") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -929,9 +941,9 @@ fn c21_l334_action_invoke(result_object: &ResultObject) { assert_eq!(result, 1 as i32); } -// Line 335 -fn c22_l335_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c22_l335_action_invoke"); +// Line 334 +fn c23_l334_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c23_l334_action_invoke"); let func_index = match result_object.module.info.exports.get("as-return-value") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -941,9 +953,9 @@ fn c22_l335_action_invoke(result_object: &ResultObject) { assert_eq!(result, 1 as i32); } -// Line 336 -fn c23_l336_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c23_l336_action_invoke"); +// Line 335 +fn c24_l335_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c24_l335_action_invoke"); let func_index = match result_object.module.info.exports.get("as-drop-operand") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -953,9 +965,9 @@ fn c23_l336_action_invoke(result_object: &ResultObject) { assert_eq!(result, ()); } -// Line 337 -fn c24_l337_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c24_l337_action_invoke"); +// Line 336 +fn c25_l336_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c25_l336_action_invoke"); let func_index = match result_object.module.info.exports.get("as-br-value") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -965,9 +977,9 @@ fn c24_l337_action_invoke(result_object: &ResultObject) { assert_eq!(result, 1 as i32); } -// Line 338 -fn c25_l338_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c25_l338_action_invoke"); +// Line 337 +fn c26_l337_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c26_l337_action_invoke"); let func_index = match result_object.module.info.exports.get("as-set_local-value") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -977,9 +989,9 @@ fn c25_l338_action_invoke(result_object: &ResultObject) { assert_eq!(result, 1 as i32); } -// Line 339 -fn c26_l339_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c26_l339_action_invoke"); +// Line 338 +fn c27_l338_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c27_l338_action_invoke"); let func_index = match result_object.module.info.exports.get("as-tee_local-value") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -989,9 +1001,9 @@ fn c26_l339_action_invoke(result_object: &ResultObject) { assert_eq!(result, 1 as i32); } -// Line 340 -fn c27_l340_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c27_l340_action_invoke"); +// Line 339 +fn c28_l339_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c28_l339_action_invoke"); let func_index = match result_object.module.info.exports.get("as-set_global-value") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1001,9 +1013,9 @@ fn c27_l340_action_invoke(result_object: &ResultObject) { assert_eq!(result, 1 as i32); } -// Line 341 -fn c28_l341_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c28_l341_action_invoke"); +// Line 340 +fn c29_l340_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c29_l340_action_invoke"); let func_index = match result_object.module.info.exports.get("as-load-operand") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1013,9 +1025,9 @@ fn c28_l341_action_invoke(result_object: &ResultObject) { assert_eq!(result, 1 as i32); } -// Line 343 -fn c29_l343_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c29_l343_action_invoke"); +// Line 342 +fn c30_l342_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c30_l342_action_invoke"); let func_index = match result_object.module.info.exports.get("as-unary-operand") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1025,9 +1037,9 @@ fn c29_l343_action_invoke(result_object: &ResultObject) { assert_eq!(result, 0 as i32); } -// Line 344 -fn c30_l344_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c30_l344_action_invoke"); +// Line 343 +fn c31_l343_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c31_l343_action_invoke"); let func_index = match result_object.module.info.exports.get("as-binary-operand") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1037,9 +1049,9 @@ fn c30_l344_action_invoke(result_object: &ResultObject) { assert_eq!(result, 12 as i32); } -// Line 345 -fn c31_l345_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c31_l345_action_invoke"); +// Line 344 +fn c32_l344_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c32_l344_action_invoke"); let func_index = match result_object.module.info.exports.get("as-test-operand") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1049,9 +1061,9 @@ fn c31_l345_action_invoke(result_object: &ResultObject) { assert_eq!(result, 0 as i32); } -// Line 346 -fn c32_l346_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c32_l346_action_invoke"); +// Line 345 +fn c33_l345_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c33_l345_action_invoke"); let func_index = match result_object.module.info.exports.get("as-compare-operand") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1061,9 +1073,9 @@ fn c32_l346_action_invoke(result_object: &ResultObject) { assert_eq!(result, 0 as i32); } -// Line 348 -fn c33_l348_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c33_l348_action_invoke"); +// Line 347 +fn c34_l347_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c34_l347_action_invoke"); let func_index = match result_object.module.info.exports.get("break-bare") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1073,9 +1085,9 @@ fn c33_l348_action_invoke(result_object: &ResultObject) { assert_eq!(result, 19 as i32); } -// Line 349 -fn c34_l349_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c34_l349_action_invoke"); +// Line 348 +fn c35_l348_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c35_l348_action_invoke"); let func_index = match result_object.module.info.exports.get("break-value") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1085,9 +1097,9 @@ fn c34_l349_action_invoke(result_object: &ResultObject) { assert_eq!(result, 18 as i32); } -// Line 350 -fn c35_l350_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c35_l350_action_invoke"); +// Line 349 +fn c36_l349_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c36_l349_action_invoke"); let func_index = match result_object.module.info.exports.get("break-repeated") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1097,9 +1109,9 @@ fn c35_l350_action_invoke(result_object: &ResultObject) { assert_eq!(result, 18 as i32); } -// Line 351 -fn c36_l351_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c36_l351_action_invoke"); +// Line 350 +fn c37_l350_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c37_l350_action_invoke"); let func_index = match result_object.module.info.exports.get("break-inner") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1109,9 +1121,9 @@ fn c36_l351_action_invoke(result_object: &ResultObject) { assert_eq!(result, 31 as i32); } -// Line 353 -fn c37_l353_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c37_l353_action_invoke"); +// Line 352 +fn c38_l352_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c38_l352_action_invoke"); let func_index = match result_object.module.info.exports.get("effects") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1121,9 +1133,9 @@ fn c37_l353_action_invoke(result_object: &ResultObject) { assert_eq!(result, 1 as i32); } -// Line 355 -fn c38_l355_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c38_l355_action_invoke"); +// Line 354 +fn c39_l354_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c39_l354_action_invoke"); let func_index = match result_object.module.info.exports.get("while") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1133,21 +1145,21 @@ fn c38_l355_action_invoke(result_object: &ResultObject) { assert_eq!(result, 1 as i64); } +// Line 355 +fn c40_l355_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c40_l355_action_invoke"); + let func_index = match result_object.module.info.exports.get("while") { + Some(&Export::Function(index)) => index, + _ => panic!("Function not found"), + }; + let invoke_fn: fn(i64, &Instance) -> i64 = get_instance_function!(result_object.instance, func_index); + let result = invoke_fn(1 as i64, &result_object.instance); + assert_eq!(result, 1 as i64); +} + // Line 356 -fn c39_l356_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c39_l356_action_invoke"); - let func_index = match result_object.module.info.exports.get("while") { - Some(&Export::Function(index)) => index, - _ => panic!("Function not found"), - }; - let invoke_fn: fn(i64, &Instance) -> i64 = get_instance_function!(result_object.instance, func_index); - let result = invoke_fn(1 as i64, &result_object.instance); - assert_eq!(result, 1 as i64); -} - -// Line 357 -fn c40_l357_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c40_l357_action_invoke"); +fn c41_l356_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c41_l356_action_invoke"); let func_index = match result_object.module.info.exports.get("while") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1157,9 +1169,9 @@ fn c40_l357_action_invoke(result_object: &ResultObject) { assert_eq!(result, 2 as i64); } -// Line 358 -fn c41_l358_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c41_l358_action_invoke"); +// Line 357 +fn c42_l357_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c42_l357_action_invoke"); let func_index = match result_object.module.info.exports.get("while") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1169,9 +1181,9 @@ fn c41_l358_action_invoke(result_object: &ResultObject) { assert_eq!(result, 6 as i64); } -// Line 359 -fn c42_l359_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c42_l359_action_invoke"); +// Line 358 +fn c43_l358_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c43_l358_action_invoke"); let func_index = match result_object.module.info.exports.get("while") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1181,9 +1193,9 @@ fn c42_l359_action_invoke(result_object: &ResultObject) { assert_eq!(result, 120 as i64); } -// Line 360 -fn c43_l360_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c43_l360_action_invoke"); +// Line 359 +fn c44_l359_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c44_l359_action_invoke"); let func_index = match result_object.module.info.exports.get("while") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1193,9 +1205,9 @@ fn c43_l360_action_invoke(result_object: &ResultObject) { assert_eq!(result, 2432902008176640000 as i64); } -// Line 362 -fn c44_l362_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c44_l362_action_invoke"); +// Line 361 +fn c45_l361_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c45_l361_action_invoke"); let func_index = match result_object.module.info.exports.get("for") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1205,9 +1217,9 @@ fn c44_l362_action_invoke(result_object: &ResultObject) { assert_eq!(result, 1 as i64); } -// Line 363 -fn c45_l363_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c45_l363_action_invoke"); +// Line 362 +fn c46_l362_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c46_l362_action_invoke"); let func_index = match result_object.module.info.exports.get("for") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1217,9 +1229,9 @@ fn c45_l363_action_invoke(result_object: &ResultObject) { assert_eq!(result, 1 as i64); } -// Line 364 -fn c46_l364_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c46_l364_action_invoke"); +// Line 363 +fn c47_l363_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c47_l363_action_invoke"); let func_index = match result_object.module.info.exports.get("for") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1229,9 +1241,9 @@ fn c46_l364_action_invoke(result_object: &ResultObject) { assert_eq!(result, 2 as i64); } -// Line 365 -fn c47_l365_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c47_l365_action_invoke"); +// Line 364 +fn c48_l364_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c48_l364_action_invoke"); let func_index = match result_object.module.info.exports.get("for") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1241,9 +1253,9 @@ fn c47_l365_action_invoke(result_object: &ResultObject) { assert_eq!(result, 6 as i64); } -// Line 366 -fn c48_l366_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c48_l366_action_invoke"); +// Line 365 +fn c49_l365_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c49_l365_action_invoke"); let func_index = match result_object.module.info.exports.get("for") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1253,9 +1265,9 @@ fn c48_l366_action_invoke(result_object: &ResultObject) { assert_eq!(result, 120 as i64); } -// Line 367 -fn c49_l367_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c49_l367_action_invoke"); +// Line 366 +fn c50_l366_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c50_l366_action_invoke"); let func_index = match result_object.module.info.exports.get("for") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1265,9 +1277,9 @@ fn c49_l367_action_invoke(result_object: &ResultObject) { assert_eq!(result, 2432902008176640000 as i64); } -// Line 369 -fn c50_l369_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c50_l369_action_invoke"); +// Line 368 +fn c51_l368_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c51_l368_action_invoke"); let func_index = match result_object.module.info.exports.get("nesting") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1277,9 +1289,9 @@ fn c50_l369_action_invoke(result_object: &ResultObject) { assert_eq!(result, 0.0 as f32); } -// Line 370 -fn c51_l370_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c51_l370_action_invoke"); +// Line 369 +fn c52_l369_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c52_l369_action_invoke"); let func_index = match result_object.module.info.exports.get("nesting") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1289,9 +1301,9 @@ fn c51_l370_action_invoke(result_object: &ResultObject) { assert_eq!(result, 0.0 as f32); } -// Line 371 -fn c52_l371_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c52_l371_action_invoke"); +// Line 370 +fn c53_l370_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c53_l370_action_invoke"); let func_index = match result_object.module.info.exports.get("nesting") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1301,9 +1313,9 @@ fn c52_l371_action_invoke(result_object: &ResultObject) { assert_eq!(result, 1.0 as f32); } -// Line 372 -fn c53_l372_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c53_l372_action_invoke"); +// Line 371 +fn c54_l371_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c54_l371_action_invoke"); let func_index = match result_object.module.info.exports.get("nesting") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1313,9 +1325,9 @@ fn c53_l372_action_invoke(result_object: &ResultObject) { assert_eq!(result, 2.0 as f32); } -// Line 373 -fn c54_l373_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c54_l373_action_invoke"); +// Line 372 +fn c55_l372_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c55_l372_action_invoke"); let func_index = match result_object.module.info.exports.get("nesting") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1325,9 +1337,9 @@ fn c54_l373_action_invoke(result_object: &ResultObject) { assert_eq!(result, 4.0 as f32); } -// Line 374 -fn c55_l374_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c55_l374_action_invoke"); +// Line 373 +fn c56_l373_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c56_l373_action_invoke"); let func_index = match result_object.module.info.exports.get("nesting") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1337,9 +1349,9 @@ fn c55_l374_action_invoke(result_object: &ResultObject) { assert_eq!(result, 6.0 as f32); } -// Line 375 -fn c56_l375_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c56_l375_action_invoke"); +// Line 374 +fn c57_l374_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c57_l374_action_invoke"); let func_index = match result_object.module.info.exports.get("nesting") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1349,9 +1361,9 @@ fn c56_l375_action_invoke(result_object: &ResultObject) { assert_eq!(result, 2550.0 as f32); } -// Line 376 -fn c57_l376_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c57_l376_action_invoke"); +// Line 375 +fn c58_l375_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c58_l375_action_invoke"); let func_index = match result_object.module.info.exports.get("nesting") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1361,9 +1373,9 @@ fn c57_l376_action_invoke(result_object: &ResultObject) { assert_eq!(result, 2601.0 as f32); } -// Line 377 -fn c58_l377_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c58_l377_action_invoke"); +// Line 376 +fn c59_l376_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c59_l376_action_invoke"); let func_index = match result_object.module.info.exports.get("nesting") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1373,9 +1385,9 @@ fn c58_l377_action_invoke(result_object: &ResultObject) { assert_eq!(result, 1.0 as f32); } -// Line 378 -fn c59_l378_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c59_l378_action_invoke"); +// Line 377 +fn c60_l377_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c60_l377_action_invoke"); let func_index = match result_object.module.info.exports.get("nesting") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1385,9 +1397,9 @@ fn c59_l378_action_invoke(result_object: &ResultObject) { assert_eq!(result, 1.0 as f32); } -// Line 379 -fn c60_l379_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c60_l379_action_invoke"); +// Line 378 +fn c61_l378_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c61_l378_action_invoke"); let func_index = match result_object.module.info.exports.get("nesting") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1397,9 +1409,9 @@ fn c60_l379_action_invoke(result_object: &ResultObject) { assert_eq!(result, 1.0 as f32); } -// Line 380 -fn c61_l380_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c61_l380_action_invoke"); +// Line 379 +fn c62_l379_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c62_l379_action_invoke"); let func_index = match result_object.module.info.exports.get("nesting") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1409,9 +1421,9 @@ fn c61_l380_action_invoke(result_object: &ResultObject) { assert_eq!(result, 3.0 as f32); } -// Line 381 -fn c62_l381_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c62_l381_action_invoke"); +// Line 380 +fn c63_l380_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c63_l380_action_invoke"); let func_index = match result_object.module.info.exports.get("nesting") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1421,9 +1433,9 @@ fn c62_l381_action_invoke(result_object: &ResultObject) { assert_eq!(result, 4.0 as f32); } -// Line 382 -fn c63_l382_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c63_l382_action_invoke"); +// Line 381 +fn c64_l381_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c64_l381_action_invoke"); let func_index = match result_object.module.info.exports.get("nesting") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1433,9 +1445,9 @@ fn c63_l382_action_invoke(result_object: &ResultObject) { assert_eq!(result, 10.309524 as f32); } -// Line 383 -fn c64_l383_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c64_l383_action_invoke"); +// Line 382 +fn c65_l382_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c65_l382_action_invoke"); let func_index = match result_object.module.info.exports.get("nesting") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1445,9 +1457,9 @@ fn c64_l383_action_invoke(result_object: &ResultObject) { assert_eq!(result, 4381.548 as f32); } -// Line 384 -fn c65_l384_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c65_l384_action_invoke"); +// Line 383 +fn c66_l383_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c66_l383_action_invoke"); let func_index = match result_object.module.info.exports.get("nesting") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1457,89 +1469,89 @@ fn c65_l384_action_invoke(result_object: &ResultObject) { assert_eq!(result, 2601.0 as f32); } -// Line 387 +// Line 386 #[test] -fn c66_l387_assert_invalid() { +fn c67_l386_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 127, 3, 2, 1, 0, 10, 7, 1, 5, 0, 3, 64, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 391 +// Line 390 #[test] -fn c67_l391_assert_invalid() { +fn c68_l390_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 126, 3, 2, 1, 0, 10, 7, 1, 5, 0, 3, 64, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 395 +// Line 394 #[test] -fn c68_l395_assert_invalid() { +fn c69_l394_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 125, 3, 2, 1, 0, 10, 7, 1, 5, 0, 3, 64, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 399 +// Line 398 #[test] -fn c69_l399_assert_invalid() { +fn c70_l398_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 124, 3, 2, 1, 0, 10, 7, 1, 5, 0, 3, 64, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 404 +// Line 403 #[test] -fn c70_l404_assert_invalid() { +fn c71_l403_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 4, 1, 96, 0, 0, 3, 2, 1, 0, 10, 9, 1, 7, 0, 3, 64, 65, 1, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 410 +// Line 409 #[test] -fn c71_l410_assert_invalid() { +fn c72_l409_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 127, 3, 2, 1, 0, 10, 7, 1, 5, 0, 3, 127, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 416 +// Line 415 #[test] -fn c72_l416_assert_invalid() { +fn c73_l415_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 127, 3, 2, 1, 0, 10, 8, 1, 6, 0, 3, 127, 1, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 422 +// Line 421 #[test] -fn c73_l422_assert_invalid() { +fn c74_l421_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 127, 3, 2, 1, 0, 10, 12, 1, 10, 0, 3, 127, 67, 0, 0, 0, 0, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 428 +// Line 427 #[test] -fn c74_l428_assert_invalid() { +fn c75_l427_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 127, 3, 2, 1, 0, 10, 11, 1, 9, 0, 3, 126, 0, 0, 0, 27, 11, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 436 +// Line 435 #[test] -fn c75_l436_assert_malformed() { +fn c76_l435_assert_malformed() { let wasm_binary = [40, 102, 117, 110, 99, 32, 108, 111, 111, 112, 32, 101, 110, 100, 32, 36, 108, 41]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is malformed"); } -// Line 440 +// Line 439 #[test] -fn c76_l440_assert_malformed() { +fn c77_l439_assert_malformed() { let wasm_binary = [40, 102, 117, 110, 99, 32, 108, 111, 111, 112, 32, 36, 97, 32, 101, 110, 100, 32, 36, 108, 41]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is malformed"); @@ -1547,7 +1559,6 @@ fn c76_l440_assert_malformed() { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); @@ -1571,49 +1582,50 @@ fn test_module_1() { c18_l327_action_invoke(&result_object); c19_l329_action_invoke(&result_object); c20_l330_action_invoke(&result_object); - c21_l334_action_invoke(&result_object); - c22_l335_action_invoke(&result_object); - c23_l336_action_invoke(&result_object); - c24_l337_action_invoke(&result_object); - c25_l338_action_invoke(&result_object); - c26_l339_action_invoke(&result_object); - c27_l340_action_invoke(&result_object); - c28_l341_action_invoke(&result_object); - c29_l343_action_invoke(&result_object); - c30_l344_action_invoke(&result_object); - c31_l345_action_invoke(&result_object); - c32_l346_action_invoke(&result_object); - c33_l348_action_invoke(&result_object); - c34_l349_action_invoke(&result_object); - c35_l350_action_invoke(&result_object); - c36_l351_action_invoke(&result_object); - c37_l353_action_invoke(&result_object); - c38_l355_action_invoke(&result_object); - c39_l356_action_invoke(&result_object); - c40_l357_action_invoke(&result_object); - c41_l358_action_invoke(&result_object); - c42_l359_action_invoke(&result_object); - c43_l360_action_invoke(&result_object); - c44_l362_action_invoke(&result_object); - c45_l363_action_invoke(&result_object); - c46_l364_action_invoke(&result_object); - c47_l365_action_invoke(&result_object); - c48_l366_action_invoke(&result_object); - c49_l367_action_invoke(&result_object); - c50_l369_action_invoke(&result_object); - c51_l370_action_invoke(&result_object); - c52_l371_action_invoke(&result_object); - c53_l372_action_invoke(&result_object); - c54_l373_action_invoke(&result_object); - c55_l374_action_invoke(&result_object); - c56_l375_action_invoke(&result_object); - c57_l376_action_invoke(&result_object); - c58_l377_action_invoke(&result_object); - c59_l378_action_invoke(&result_object); - c60_l379_action_invoke(&result_object); - c61_l380_action_invoke(&result_object); - c62_l381_action_invoke(&result_object); - c63_l382_action_invoke(&result_object); - c64_l383_action_invoke(&result_object); - c65_l384_action_invoke(&result_object); + c21_l332_action_invoke(&result_object); + c22_l333_action_invoke(&result_object); + c23_l334_action_invoke(&result_object); + c24_l335_action_invoke(&result_object); + c25_l336_action_invoke(&result_object); + c26_l337_action_invoke(&result_object); + c27_l338_action_invoke(&result_object); + c28_l339_action_invoke(&result_object); + c29_l340_action_invoke(&result_object); + c30_l342_action_invoke(&result_object); + c31_l343_action_invoke(&result_object); + c32_l344_action_invoke(&result_object); + c33_l345_action_invoke(&result_object); + c34_l347_action_invoke(&result_object); + c35_l348_action_invoke(&result_object); + c36_l349_action_invoke(&result_object); + c37_l350_action_invoke(&result_object); + c38_l352_action_invoke(&result_object); + c39_l354_action_invoke(&result_object); + c40_l355_action_invoke(&result_object); + c41_l356_action_invoke(&result_object); + c42_l357_action_invoke(&result_object); + c43_l358_action_invoke(&result_object); + c44_l359_action_invoke(&result_object); + c45_l361_action_invoke(&result_object); + c46_l362_action_invoke(&result_object); + c47_l363_action_invoke(&result_object); + c48_l364_action_invoke(&result_object); + c49_l365_action_invoke(&result_object); + c50_l366_action_invoke(&result_object); + c51_l368_action_invoke(&result_object); + c52_l369_action_invoke(&result_object); + c53_l370_action_invoke(&result_object); + c54_l371_action_invoke(&result_object); + c55_l372_action_invoke(&result_object); + c56_l373_action_invoke(&result_object); + c57_l374_action_invoke(&result_object); + c58_l375_action_invoke(&result_object); + c59_l376_action_invoke(&result_object); + c60_l377_action_invoke(&result_object); + c61_l378_action_invoke(&result_object); + c62_l379_action_invoke(&result_object); + c63_l380_action_invoke(&result_object); + c64_l381_action_invoke(&result_object); + c65_l382_action_invoke(&result_object); + c66_l383_action_invoke(&result_object); } diff --git a/src/spectests/memory.rs b/src/spectests/memory.rs index c204112e1..262b0122b 100644 --- a/src/spectests/memory.rs +++ b/src/spectests/memory.rs @@ -32,7 +32,6 @@ fn start_module_1(result_object: &ResultObject) { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); @@ -53,7 +52,6 @@ fn start_module_2(result_object: &ResultObject) { #[test] fn test_module_2() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_2(); // We group the calls together start_module_2(&result_object); @@ -74,7 +72,6 @@ fn start_module_3(result_object: &ResultObject) { #[test] fn test_module_3() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_3(); // We group the calls together start_module_3(&result_object); @@ -111,7 +108,6 @@ fn c5_l8_assert_invalid() { #[test] fn test_module_4() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_4(); // We group the calls together start_module_4(&result_object); @@ -149,7 +145,6 @@ fn c7_l11_action_invoke(result_object: &ResultObject) { #[test] fn test_module_5() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_5(); // We group the calls together start_module_5(&result_object); @@ -188,7 +183,6 @@ fn c9_l13_action_invoke(result_object: &ResultObject) { #[test] fn test_module_6() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_6(); // We group the calls together start_module_6(&result_object); @@ -353,7 +347,6 @@ fn c27_l72_assert_invalid() { #[test] fn test_module_7() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_7(); // We group the calls together start_module_7(&result_object); diff --git a/src/spectests/memory_redundancy.rs b/src/spectests/memory_redundancy.rs index 6727314f6..7921daef1 100644 --- a/src/spectests/memory_redundancy.rs +++ b/src/spectests/memory_redundancy.rs @@ -190,7 +190,6 @@ fn c7_l65_action_invoke(result_object: &ResultObject) { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); diff --git a/src/spectests/mod.rs b/src/spectests/mod.rs index 37a51a423..16387f012 100644 --- a/src/spectests/mod.rs +++ b/src/spectests/mod.rs @@ -3,69 +3,69 @@ // The _common module is not autogenerated, as it provides common functions for the spectests mod _common; -// #[cfg(not(feature = "fast-tests"))] -// mod address; -// mod align; -// mod binary; +#[cfg(not(feature = "fast-tests"))] +mod address; +mod align; +mod binary; mod block; -// mod br; -// mod br_if; -// mod br_table; -// mod break_drop; -// mod call; -// mod call_indirect; -// mod comments; -// mod const_; -// #[cfg(not(feature = "fast-tests"))] -// mod conversions; -// mod custom; -// mod data; -// mod endianness; -// mod exports; -// #[cfg(not(feature = "fast-tests"))] -// mod f32_; -// #[cfg(not(feature = "fast-tests"))] -// mod f32_bitwise; -// #[cfg(not(feature = "fast-tests"))] -// mod f32_cmp; -// #[cfg(not(feature = "fast-tests"))] -// mod f64_; -// #[cfg(not(feature = "fast-tests"))] -// mod f64_bitwise; -// #[cfg(not(feature = "fast-tests"))] -// mod f64_cmp; -// mod fac; -// #[cfg(not(feature = "fast-tests"))] -// mod float_exprs; -// mod float_literals; -// mod float_memory; -// #[cfg(not(feature = "fast-tests"))] -// mod float_misc; -// mod forward; -// mod func; -// mod func_ptrs; -// mod get_local; -// mod globals; -// #[cfg(not(feature = "fast-tests"))] -// mod i32_; -// #[cfg(not(feature = "fast-tests"))] -// mod i64_; -// mod if_; -// mod int_exprs; -// mod int_literals; -// mod labels; -// mod left_to_right; -// mod loop_; -// mod memory; -// mod memory_redundancy; -// mod nop; -// mod return_; -// mod select; -// mod set_local; -// mod stack; -// mod start; -// mod store_retval; -// mod switch; -// mod tee_local; -// mod typecheck; -// mod types; +mod br; +mod br_if; +mod br_table; +mod break_drop; +mod call; +mod call_indirect; +mod comments; +mod const_; +#[cfg(not(feature = "fast-tests"))] +mod conversions; +mod custom; +mod data; +mod endianness; +mod exports; +#[cfg(not(feature = "fast-tests"))] +mod f32_; +#[cfg(not(feature = "fast-tests"))] +mod f32_bitwise; +#[cfg(not(feature = "fast-tests"))] +mod f32_cmp; +#[cfg(not(feature = "fast-tests"))] +mod f64_; +#[cfg(not(feature = "fast-tests"))] +mod f64_bitwise; +#[cfg(not(feature = "fast-tests"))] +mod f64_cmp; +mod fac; +#[cfg(not(feature = "fast-tests"))] +mod float_exprs; +mod float_literals; +mod float_memory; +#[cfg(not(feature = "fast-tests"))] +mod float_misc; +mod forward; +mod func; +mod func_ptrs; +mod get_local; +mod globals; +#[cfg(not(feature = "fast-tests"))] +mod i32_; +#[cfg(not(feature = "fast-tests"))] +mod i64_; +mod if_; +mod int_exprs; +mod int_literals; +mod labels; +mod left_to_right; +mod loop_; +mod memory; +mod memory_redundancy; +mod nop; +mod return_; +mod select; +mod set_local; +mod stack; +mod start; +mod store_retval; +mod switch; +mod tee_local; +mod typecheck; +mod types; diff --git a/src/spectests/nop.rs b/src/spectests/nop.rs index 7d0fc4b43..8be6c9fe7 100644 --- a/src/spectests/nop.rs +++ b/src/spectests/nop.rs @@ -1350,9 +1350,45 @@ fn c59_l378_action_invoke(result_object: &ResultObject) { assert_eq!(result, 1 as i32); } -// Line 387 -fn c60_l387_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c60_l387_action_invoke"); +// Line 380 +fn c60_l380_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c60_l380_action_invoke"); + let func_index = match result_object.module.info.exports.get("as-memory.grow-first") { + Some(&Export::Function(index)) => index, + _ => panic!("Function not found"), + }; + let invoke_fn: fn(i32, &Instance) -> i32 = get_instance_function!(result_object.instance, func_index); + let result = invoke_fn(0 as i32, &result_object.instance); + assert_eq!(result, 1 as i32); +} + +// Line 381 +fn c61_l381_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c61_l381_action_invoke"); + let func_index = match result_object.module.info.exports.get("as-memory.grow-last") { + Some(&Export::Function(index)) => index, + _ => panic!("Function not found"), + }; + let invoke_fn: fn(i32, &Instance) -> i32 = get_instance_function!(result_object.instance, func_index); + let result = invoke_fn(2 as i32, &result_object.instance); + assert_eq!(result, 1 as i32); +} + +// Line 382 +fn c62_l382_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c62_l382_action_invoke"); + let func_index = match result_object.module.info.exports.get("as-memory.grow-everywhere") { + Some(&Export::Function(index)) => index, + _ => panic!("Function not found"), + }; + let invoke_fn: fn(i32, &Instance) -> i32 = get_instance_function!(result_object.instance, func_index); + let result = invoke_fn(12 as i32, &result_object.instance); + assert_eq!(result, 3 as i32); +} + +// Line 384 +fn c63_l384_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c63_l384_action_invoke"); let func_index = match result_object.module.info.exports.get("as-call_indirect-first") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1362,9 +1398,9 @@ fn c60_l387_action_invoke(result_object: &ResultObject) { assert_eq!(result, 1 as i32); } -// Line 388 -fn c61_l388_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c61_l388_action_invoke"); +// Line 385 +fn c64_l385_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c64_l385_action_invoke"); let func_index = match result_object.module.info.exports.get("as-call_indirect-mid1") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1374,9 +1410,9 @@ fn c61_l388_action_invoke(result_object: &ResultObject) { assert_eq!(result, 1 as i32); } -// Line 389 -fn c62_l389_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c62_l389_action_invoke"); +// Line 386 +fn c65_l386_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c65_l386_action_invoke"); let func_index = match result_object.module.info.exports.get("as-call_indirect-mid2") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1386,9 +1422,9 @@ fn c62_l389_action_invoke(result_object: &ResultObject) { assert_eq!(result, 1 as i32); } -// Line 390 -fn c63_l390_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c63_l390_action_invoke"); +// Line 387 +fn c66_l387_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c66_l387_action_invoke"); let func_index = match result_object.module.info.exports.get("as-call_indirect-last") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1398,9 +1434,9 @@ fn c63_l390_action_invoke(result_object: &ResultObject) { assert_eq!(result, 1 as i32); } -// Line 391 -fn c64_l391_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c64_l391_action_invoke"); +// Line 388 +fn c67_l388_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c67_l388_action_invoke"); let func_index = match result_object.module.info.exports.get("as-call_indirect-everywhere") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1410,9 +1446,9 @@ fn c64_l391_action_invoke(result_object: &ResultObject) { assert_eq!(result, 1 as i32); } -// Line 393 -fn c65_l393_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c65_l393_action_invoke"); +// Line 390 +fn c68_l390_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c68_l390_action_invoke"); let func_index = match result_object.module.info.exports.get("as-set_local-first") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1422,9 +1458,9 @@ fn c65_l393_action_invoke(result_object: &ResultObject) { assert_eq!(result, 2 as i32); } -// Line 394 -fn c66_l394_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c66_l394_action_invoke"); +// Line 391 +fn c69_l391_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c69_l391_action_invoke"); let func_index = match result_object.module.info.exports.get("as-set_local-last") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1434,9 +1470,9 @@ fn c66_l394_action_invoke(result_object: &ResultObject) { assert_eq!(result, 2 as i32); } -// Line 395 -fn c67_l395_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c67_l395_action_invoke"); +// Line 392 +fn c70_l392_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c70_l392_action_invoke"); let func_index = match result_object.module.info.exports.get("as-set_local-everywhere") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1446,9 +1482,9 @@ fn c67_l395_action_invoke(result_object: &ResultObject) { assert_eq!(result, 2 as i32); } -// Line 397 -fn c68_l397_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c68_l397_action_invoke"); +// Line 394 +fn c71_l394_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c71_l394_action_invoke"); let func_index = match result_object.module.info.exports.get("as-tee_local-first") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1458,9 +1494,9 @@ fn c68_l397_action_invoke(result_object: &ResultObject) { assert_eq!(result, 2 as i32); } -// Line 398 -fn c69_l398_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c69_l398_action_invoke"); +// Line 395 +fn c72_l395_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c72_l395_action_invoke"); let func_index = match result_object.module.info.exports.get("as-tee_local-last") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1470,9 +1506,9 @@ fn c69_l398_action_invoke(result_object: &ResultObject) { assert_eq!(result, 2 as i32); } -// Line 399 -fn c70_l399_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c70_l399_action_invoke"); +// Line 396 +fn c73_l396_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c73_l396_action_invoke"); let func_index = match result_object.module.info.exports.get("as-tee_local-everywhere") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1482,9 +1518,9 @@ fn c70_l399_action_invoke(result_object: &ResultObject) { assert_eq!(result, 2 as i32); } -// Line 401 -fn c71_l401_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c71_l401_action_invoke"); +// Line 398 +fn c74_l398_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c74_l398_action_invoke"); let func_index = match result_object.module.info.exports.get("as-set_global-first") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1494,9 +1530,9 @@ fn c71_l401_action_invoke(result_object: &ResultObject) { assert_eq!(result, 2 as i32); } -// Line 402 -fn c72_l402_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c72_l402_action_invoke"); +// Line 399 +fn c75_l399_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c75_l399_action_invoke"); let func_index = match result_object.module.info.exports.get("as-set_global-last") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1506,9 +1542,9 @@ fn c72_l402_action_invoke(result_object: &ResultObject) { assert_eq!(result, 2 as i32); } -// Line 403 -fn c73_l403_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c73_l403_action_invoke"); +// Line 400 +fn c76_l400_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c76_l400_action_invoke"); let func_index = match result_object.module.info.exports.get("as-set_global-everywhere") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1518,9 +1554,9 @@ fn c73_l403_action_invoke(result_object: &ResultObject) { assert_eq!(result, 2 as i32); } -// Line 405 -fn c74_l405_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c74_l405_action_invoke"); +// Line 402 +fn c77_l402_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c77_l402_action_invoke"); let func_index = match result_object.module.info.exports.get("as-load-first") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1530,9 +1566,9 @@ fn c74_l405_action_invoke(result_object: &ResultObject) { assert_eq!(result, 0 as i32); } -// Line 406 -fn c75_l406_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c75_l406_action_invoke"); +// Line 403 +fn c78_l403_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c78_l403_action_invoke"); let func_index = match result_object.module.info.exports.get("as-load-last") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1542,9 +1578,9 @@ fn c75_l406_action_invoke(result_object: &ResultObject) { assert_eq!(result, 0 as i32); } -// Line 407 -fn c76_l407_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c76_l407_action_invoke"); +// Line 404 +fn c79_l404_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c79_l404_action_invoke"); let func_index = match result_object.module.info.exports.get("as-load-everywhere") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1554,9 +1590,9 @@ fn c76_l407_action_invoke(result_object: &ResultObject) { assert_eq!(result, 0 as i32); } -// Line 409 -fn c77_l409_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c77_l409_action_invoke"); +// Line 406 +fn c80_l406_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c80_l406_action_invoke"); let func_index = match result_object.module.info.exports.get("as-store-first") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1566,9 +1602,9 @@ fn c77_l409_action_invoke(result_object: &ResultObject) { assert_eq!(result, ()); } -// Line 410 -fn c78_l410_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c78_l410_action_invoke"); +// Line 407 +fn c81_l407_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c81_l407_action_invoke"); let func_index = match result_object.module.info.exports.get("as-store-mid") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1578,9 +1614,9 @@ fn c78_l410_action_invoke(result_object: &ResultObject) { assert_eq!(result, ()); } -// Line 411 -fn c79_l411_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c79_l411_action_invoke"); +// Line 408 +fn c82_l408_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c82_l408_action_invoke"); let func_index = match result_object.module.info.exports.get("as-store-last") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1590,9 +1626,9 @@ fn c79_l411_action_invoke(result_object: &ResultObject) { assert_eq!(result, ()); } -// Line 412 -fn c80_l412_action_invoke(result_object: &ResultObject) { - println!("Executing function {}", "c80_l412_action_invoke"); +// Line 409 +fn c83_l409_action_invoke(result_object: &ResultObject) { + println!("Executing function {}", "c83_l409_action_invoke"); let func_index = match result_object.module.info.exports.get("as-store-everywhere") { Some(&Export::Function(index)) => index, _ => panic!("Function not found"), @@ -1602,33 +1638,33 @@ fn c80_l412_action_invoke(result_object: &ResultObject) { assert_eq!(result, ()); } -// Line 415 +// Line 412 #[test] -fn c81_l415_assert_invalid() { +fn c84_l412_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 127, 3, 2, 1, 0, 10, 5, 1, 3, 0, 1, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 419 +// Line 416 #[test] -fn c82_l419_assert_invalid() { +fn c85_l416_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 126, 3, 2, 1, 0, 10, 5, 1, 3, 0, 1, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 423 +// Line 420 #[test] -fn c83_l423_assert_invalid() { +fn c86_l420_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 125, 3, 2, 1, 0, 10, 5, 1, 3, 0, 1, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); } -// Line 427 +// Line 424 #[test] -fn c84_l427_assert_invalid() { +fn c87_l424_assert_invalid() { let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 124, 3, 2, 1, 0, 10, 5, 1, 3, 0, 1, 11]; let compilation = compile(wasm_binary.to_vec()); assert!(compilation.is_err(), "WASM should not compile as is invalid"); @@ -1636,7 +1672,6 @@ fn c84_l427_assert_invalid() { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); @@ -1699,25 +1734,28 @@ fn test_module_1() { c57_l376_action_invoke(&result_object); c58_l377_action_invoke(&result_object); c59_l378_action_invoke(&result_object); - c60_l387_action_invoke(&result_object); - c61_l388_action_invoke(&result_object); - c62_l389_action_invoke(&result_object); - c63_l390_action_invoke(&result_object); - c64_l391_action_invoke(&result_object); - c65_l393_action_invoke(&result_object); - c66_l394_action_invoke(&result_object); - c67_l395_action_invoke(&result_object); - c68_l397_action_invoke(&result_object); - c69_l398_action_invoke(&result_object); - c70_l399_action_invoke(&result_object); - c71_l401_action_invoke(&result_object); - c72_l402_action_invoke(&result_object); - c73_l403_action_invoke(&result_object); - c74_l405_action_invoke(&result_object); - c75_l406_action_invoke(&result_object); - c76_l407_action_invoke(&result_object); - c77_l409_action_invoke(&result_object); - c78_l410_action_invoke(&result_object); - c79_l411_action_invoke(&result_object); - c80_l412_action_invoke(&result_object); + c60_l380_action_invoke(&result_object); + c61_l381_action_invoke(&result_object); + c62_l382_action_invoke(&result_object); + c63_l384_action_invoke(&result_object); + c64_l385_action_invoke(&result_object); + c65_l386_action_invoke(&result_object); + c66_l387_action_invoke(&result_object); + c67_l388_action_invoke(&result_object); + c68_l390_action_invoke(&result_object); + c69_l391_action_invoke(&result_object); + c70_l392_action_invoke(&result_object); + c71_l394_action_invoke(&result_object); + c72_l395_action_invoke(&result_object); + c73_l396_action_invoke(&result_object); + c74_l398_action_invoke(&result_object); + c75_l399_action_invoke(&result_object); + c76_l400_action_invoke(&result_object); + c77_l402_action_invoke(&result_object); + c78_l403_action_invoke(&result_object); + c79_l404_action_invoke(&result_object); + c80_l406_action_invoke(&result_object); + c81_l407_action_invoke(&result_object); + c82_l408_action_invoke(&result_object); + c83_l409_action_invoke(&result_object); } diff --git a/src/spectests/return_.rs b/src/spectests/return_.rs index 3df968eff..9f3911b10 100644 --- a/src/spectests/return_.rs +++ b/src/spectests/return_.rs @@ -1180,7 +1180,6 @@ fn c64_l310_assert_invalid() { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); diff --git a/src/spectests/select.rs b/src/spectests/select.rs index ef5ea1860..d03638ae6 100644 --- a/src/spectests/select.rs +++ b/src/spectests/select.rs @@ -475,7 +475,6 @@ fn c29_l65_assert_invalid() { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); diff --git a/src/spectests/set_local.rs b/src/spectests/set_local.rs index 701fe59e7..54703ac49 100644 --- a/src/spectests/set_local.rs +++ b/src/spectests/set_local.rs @@ -437,7 +437,6 @@ fn c33_l202_assert_invalid() { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); diff --git a/src/spectests/stack.rs b/src/spectests/stack.rs index d75a48514..984030e4b 100644 --- a/src/spectests/stack.rs +++ b/src/spectests/stack.rs @@ -208,7 +208,6 @@ fn c3_l132_action_invoke(result_object: &ResultObject) { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); @@ -452,7 +451,6 @@ fn start_module_2(result_object: &ResultObject) { #[test] fn test_module_2() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_2(); // We group the calls together start_module_2(&result_object); diff --git a/src/spectests/start.rs b/src/spectests/start.rs index 95eeb0f25..4bed85714 100644 --- a/src/spectests/start.rs +++ b/src/spectests/start.rs @@ -137,7 +137,6 @@ fn c8_l49_action_invoke(result_object: &ResultObject) { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); @@ -244,7 +243,6 @@ fn c14_l78_action_invoke(result_object: &ResultObject) { #[test] fn test_module_2() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_2(); // We group the calls together start_module_2(&result_object); @@ -276,7 +274,6 @@ fn start_module_3(result_object: &ResultObject) { #[test] fn test_module_3() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_3(); // We group the calls together start_module_3(&result_object); @@ -303,7 +300,6 @@ fn start_module_4(result_object: &ResultObject) { #[test] fn test_module_4() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_4(); // We group the calls together start_module_4(&result_object); @@ -326,7 +322,6 @@ fn start_module_5(result_object: &ResultObject) { #[test] fn test_module_5() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_5(); // We group the calls together start_module_5(&result_object); diff --git a/src/spectests/switch.rs b/src/spectests/switch.rs index 725e9179d..c04f23f02 100644 --- a/src/spectests/switch.rs +++ b/src/spectests/switch.rs @@ -469,7 +469,6 @@ fn c27_l150_assert_invalid() { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); diff --git a/src/spectests/tee_local.rs b/src/spectests/tee_local.rs index 9592b4319..f8303d94e 100644 --- a/src/spectests/tee_local.rs +++ b/src/spectests/tee_local.rs @@ -513,7 +513,6 @@ fn c34_l233_assert_invalid() { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); diff --git a/src/spectests/types.rs b/src/spectests/types.rs index 58da3f280..ee1188325 100644 --- a/src/spectests/types.rs +++ b/src/spectests/types.rs @@ -75,7 +75,6 @@ fn c4_l57_assert_invalid() { #[test] fn test_module_1() { - println!("Running tests in file: {:?}", file!()); let result_object = create_module_1(); // We group the calls together start_module_1(&result_object); diff --git a/src/webassembly/errors.rs b/src/webassembly/errors.rs index 7f0d2290f..d490d8047 100644 --- a/src/webassembly/errors.rs +++ b/src/webassembly/errors.rs @@ -13,12 +13,12 @@ error_chain! { errors { CompileError(reason: String) { - description("WebAssembly compilation error"), - display("Compilation error: '{:?}'", reason), + description("WebAssembly compilation error") + display("Compilation error: '{:?}'", reason) } LinkError(reason: String) { - description("WebAssembly link error"), + description("WebAssembly link error") display("Link error: '{:?}'", reason) } diff --git a/src/webassembly/instance.rs b/src/webassembly/instance.rs index 849bc3506..c7f65d087 100644 --- a/src/webassembly/instance.rs +++ b/src/webassembly/instance.rs @@ -59,8 +59,8 @@ fn get_function_addr( } // TODO: To be removed. -// #[derive(Debug)] -#[repr(C)] +#[derive(Debug)] +#[repr(C, packed)] pub struct VmCtx<'phantom> { pub user_data: UserData, globals: UncheckedSlice, @@ -70,8 +70,8 @@ pub struct VmCtx<'phantom> { } // TODO: To be removed. -// #[derive(Debug)] -#[repr(C)] +#[derive(Debug)] +#[repr(C, packed)] pub struct UserData { // pub process: Dispatch, pub instance: Instance, @@ -101,6 +101,27 @@ pub struct Instance { pub start_func: Option, // Region start memory location // code_base: *const (), + + // C-like pointers to data (heaps, globals, tables) + pub data_pointers: DataPointers, + + // Default memory bound + pub default_memory_bound: i32 +} + + +/// Contains pointers to data (heaps, globals, tables) needed +/// by Cranelift. +#[derive(Debug)] +pub struct DataPointers { + // Pointer to tables + pub tables: UncheckedSlice>, + + // Pointer to memories + pub memories: UncheckedSlice>, + + // Pointer to globals + pub globals: UncheckedSlice, } impl Instance { @@ -140,6 +161,7 @@ impl Instance { import_functions.push(function); relocations.push(vec![]); } + debug!("Instance - Compiling functions"); // Compile the functions (from cranelift IR to machine code) for function_body in module.info.function_bodies.values() { @@ -152,7 +174,7 @@ impl Instance { // .map_err(|e| ErrorKind::CompileError(e.to_string()))?; // let code_size_offset = func_context // .compile(&*isa) - // .map_err(|e| ErrorKind::CompileError(e.to_string()))? + // .map_err(|e| ErrorKind::CompileError(e.to_string()))?; // as usize; let mut code_buf: Vec = Vec::new(); @@ -163,7 +185,10 @@ impl Instance { // In case traps need to be triggered, they will go to trap_sink func_context .compile_and_emit(&*isa, &mut code_buf, &mut reloc_sink, &mut trap_sink) - .map_err(|e| ErrorKind::CompileError(e.to_string()))?; + .map_err(|e| { + println!("CompileError: {}", e.to_string()); + ErrorKind::CompileError(e.to_string()) + })?; // We set this code_buf to be readable & executable protect_codebuf(&code_buf).unwrap(); @@ -385,13 +410,30 @@ impl Instance { _ => None, }); + // TODO: Refactor repetitive code + let tables_pointer: Vec> = + tables.iter().map(|table| table[..].into()).collect(); + let memories_pointer: Vec> = + memories.iter().map(|mem| mem[..].into()).collect(); + let globals_pointer: UncheckedSlice = globals[..].into(); + + let data_pointers = DataPointers { + memories: memories_pointer[..].into(), + globals: globals_pointer, + tables: tables_pointer[..].into(), + }; + + let default_memory_bound = LinearMemory::WASM_PAGE_SIZE as i32; + Ok(Instance { tables: Arc::new(tables.into_iter().collect()), // tables.into_iter().map(|table| RwLock::new(table)).collect()), memories: Arc::new(memories.into_iter().collect()), - globals: globals, - functions: functions, - import_functions: import_functions, - start_func: start_func, + globals, + functions, + import_functions, + start_func, + data_pointers, + default_memory_bound, // code_base: code_base, }) } @@ -475,6 +517,22 @@ impl Instance { impl Clone for Instance { fn clone(&self) -> Instance { + // TODO: Refactor repetitive code + let tables_pointer: Vec> = + self.tables.iter().map(|table| table[..].into()).collect(); + let memories_pointer: Vec> = + self.memories.iter().map(|mem| mem[..].into()).collect(); + let globals_pointer: UncheckedSlice = self.globals[..].into(); + + let data_pointers = DataPointers { + memories: memories_pointer[..].into(), + globals: globals_pointer, + tables: tables_pointer[..].into(), + }; + + let default_memory_bound = + self.memories.get(0).unwrap().current as i32; + Instance { tables: Arc::clone(&self.tables), memories: Arc::clone(&self.memories), @@ -482,19 +540,52 @@ impl Clone for Instance { functions: self.functions.clone(), start_func: self.start_func.clone(), import_functions: self.import_functions.clone(), + data_pointers, + default_memory_bound, // code_base: self.code_base, } } } -extern "C" fn grow_memory(size: u32, memory_index: u32, instance: &mut Instance) -> i32 { +extern "C" fn grow_memory(size: u32, memory_index: u32, instance: &mut Instance) -> i32 { // For now only the first mem can be accessed // BTW, the memory_index coming in is random! let memory_index: u32 = 0; - instance + let old_mem_size = instance .memory_mut(memory_index as usize) .grow(size) - .unwrap_or(i32::max_value()) // Should be -1 ? + .unwrap_or(i32::max_value()); // Should be -1 ? + + instance.default_memory_bound = + (instance.memories.get(0).unwrap().current as usize * LinearMemory::WASM_PAGE_SIZE) as i32; + + // PROBLEM: The memories changed, so I have to do the whole slice thing all over again. + let tables_pointer: Vec> = + instance.tables.iter().map(|table| table[..].into()).collect(); + let memories_pointer: Vec> = + instance.memories.iter().map(|mem| mem[..].into()).collect(); + let globals_pointer: UncheckedSlice = + instance.globals[..].into(); + + let data_pointers = DataPointers { + memories: memories_pointer[..].into(), + globals: globals_pointer, + tables: tables_pointer[..].into(), + }; + + // Update data_pointers + instance.data_pointers = data_pointers; + + println!( + " + new mem loc = {:p} + instance.default_memory_bound = {:?} + ", + &instance.memories.get(0).unwrap().mmap.get(0), + instance.default_memory_bound + ); + + return old_mem_size; } extern "C" fn current_memory(memory_index: u32, instance: &mut Instance) -> u32 { diff --git a/src/webassembly/memory.rs b/src/webassembly/memory.rs index 05d1b7ad0..b39daf02c 100644 --- a/src/webassembly/memory.rs +++ b/src/webassembly/memory.rs @@ -18,7 +18,7 @@ pub struct LinearMemory { pub mmap: MmapMut, // The initial size of the WebAssembly Memory, in units of // WebAssembly pages. - current: u32, + pub current: u32, // The maximum size the WebAssembly Memory is allowed to grow // to, in units of WebAssembly pages. When present, the maximum // parameter acts as a hint to the engine to reserve memory up diff --git a/src/webassembly/mod.rs b/src/webassembly/mod.rs index b69514922..7b742b392 100644 --- a/src/webassembly/mod.rs +++ b/src/webassembly/mod.rs @@ -13,7 +13,7 @@ use wasmparser; pub use self::errors::{Error, ErrorKind}; pub use self::import_object::ImportObject; -pub use self::instance::{Instance, VmCtx}; +pub use self::instance::{Instance, DataPointers, VmCtx, UserData}; pub use self::memory::LinearMemory; pub use self::module::{Export, Module, ModuleInfo}; diff --git a/src/webassembly/module.rs b/src/webassembly/module.rs index 1058a5d84..bef367ac7 100644 --- a/src/webassembly/module.rs +++ b/src/webassembly/module.rs @@ -328,35 +328,53 @@ impl<'environment> FuncEnvironmentTrait for FuncEnvironment<'environment> { &self.mod_info.flags } - fn make_global(&mut self, func: &mut ir::Function, index: GlobalIndex) -> GlobalVariable { - // Just create a dummy `vmctx` global. + fn make_table(&mut self, func: &mut ir::Function, table_index: TableIndex) -> ir::Table { let vmctx = func.create_global_value(ir::GlobalValueData::VMContext); + let ptr_size = self.ptr_size(); - let globals_base_addr = func.create_global_value(ir::GlobalValueData::Load { + // Given a vmctx, we want to retrieve vmctx.tables + // Create a table whose base address is stored at `vmctx+88`. + // 88 is the offset of the vmctx.tables pointer respect to vmctx pointer + let base = func.create_global_value(ir::GlobalValueData::Load { base: vmctx, - offset: Offset32::new(96), + offset: Offset32::new(88), global_type: self.pointer_type(), }); - let offset = (index * 8) as i64; - let iadd = func.create_global_value(ir::GlobalValueData::IAddImm { - base: globals_base_addr, - offset: Imm64::new(offset), + // This will be 0 when the index is 0, not sure if the offset will work regardless + let table_data_offset = (table_index as usize * ptr_size * 2) as i32; + + // We get the pointer for our table index + let base_gv = func.create_global_value(ir::GlobalValueData::Load { + base: base, + offset: Offset32::new(table_data_offset), global_type: self.pointer_type(), }); - GlobalVariable::Memory { - gv: iadd, - ty: self.mod_info.globals[index].entity.ty, - } + + let bound_gv = func.create_global_value(ir::GlobalValueData::Load { + base: base, + offset: Offset32::new(table_data_offset), + global_type: I64, + }); + + let table = func.create_table(ir::TableData { + base_gv: base_gv, + min_size: Imm64::new(0), + bound_gv, + element_size: Imm64::new(i64::from(self.pointer_bytes())), + index_type: self.pointer_type(), + }); + // println!("FUNC {:?}", func); + table } fn make_heap(&mut self, func: &mut ir::Function, index: MemoryIndex) -> ir::Heap { - // Create a static heap whose base address is stored at `vmctx+104`. + // Create a static heap whose base address is stored at `vmctx+96`. let vmctx = func.create_global_value(ir::GlobalValueData::VMContext); let heap_base_addr = func.create_global_value(ir::GlobalValueData::Load { base: vmctx, - offset: Offset32::new(104), + offset: Offset32::new(96), global_type: self.pointer_type(), }); @@ -370,15 +388,22 @@ impl<'environment> FuncEnvironmentTrait for FuncEnvironment<'environment> { global_type: self.pointer_type(), }); + let bound_gv = func.create_global_value(ir::GlobalValueData::Load { + base: vmctx, + offset: Offset32::new(120), + global_type: I32, + }); + func.create_heap(ir::HeapData { base: heap_base, min_size: Imm64::new(0), guard_size: Imm64::new(LinearMemory::DEFAULT_GUARD_SIZE as i64), - style: ir::HeapStyle::Static { - bound: Imm64::new(LinearMemory::DEFAULT_HEAP_SIZE as i64), + style: ir::HeapStyle::Dynamic { + bound_gv, }, index_type: I32, }) + // if index == 0 { // let heap_base = self.main_memory_base.unwrap_or_else(|| { // let new_base = func.create_global_value(ir::GlobalValueData::VMContext { @@ -423,43 +448,26 @@ impl<'environment> FuncEnvironmentTrait for FuncEnvironment<'environment> { // } } - fn make_table(&mut self, func: &mut ir::Function, table_index: TableIndex) -> ir::Table { + fn make_global(&mut self, func: &mut ir::Function, index: GlobalIndex) -> GlobalVariable { + // Just create a dummy `vmctx` global. let vmctx = func.create_global_value(ir::GlobalValueData::VMContext); - let ptr_size = self.ptr_size(); - // Given a vmctx, we want to retrieve vmctx.tables - // Create a table whose base address is stored at `vmctx+112`. - // 112 is the offset of the vmctx.tables pointer respect to vmctx pointer - let base = func.create_global_value(ir::GlobalValueData::Load { + let globals_base_addr = func.create_global_value(ir::GlobalValueData::Load { base: vmctx, - offset: Offset32::new(112), + offset: Offset32::new(104), global_type: self.pointer_type(), }); - // This will be 0 when the index is 0, not sure if the offset will work regardless - let table_data_offset = (table_index as usize * ptr_size * 2) as i32; - - // We get the pointer for our table index - let base_gv = func.create_global_value(ir::GlobalValueData::Load { - base: base, - offset: Offset32::new(table_data_offset), + let offset = (index * 8) as i64; + let iadd = func.create_global_value(ir::GlobalValueData::IAddImm { + base: globals_base_addr, + offset: Imm64::new(offset), global_type: self.pointer_type(), }); - let bound_gv = func.create_global_value(ir::GlobalValueData::Load { - base: base, - offset: Offset32::new(table_data_offset), - global_type: I64, - }); - - let table = func.create_table(ir::TableData { - base_gv: base_gv, - min_size: Imm64::new(0), - bound_gv, - element_size: Imm64::new(i64::from(self.pointer_bytes())), - index_type: self.pointer_type(), - }); - // println!("FUNC {:?}", func); - table + GlobalVariable::Memory { + gv: iadd, + ty: self.mod_info.globals[index].entity.ty, + } } fn make_indirect_sig(&mut self, func: &mut ir::Function, index: SignatureIndex) -> ir::SigRef {