Commit Graph

303 Commits

Author SHA1 Message Date
Steve Akinyemi
ffe383e611 Add updated upstream tests 2018-11-07 11:56:37 +01:00
Steve Akinyemi
3a65bdbac5 Fix memory grow issues 2018-11-07 11:55:48 +01:00
Syrus Akbary
702ea931b4 Fixed grow_memory call 2018-11-06 16:54:43 +01:00
Syrus Akbary
e7b4d06ec0 Fixed all Rust code warnings 2018-11-06 15:51:01 +01:00
Syrus Akbary
0045d263d2 Added support for assert_trap in spectests 2018-11-06 11:17:16 +01:00
Syrus Akbary
52614de22f Added signal handler to handle WebAssembly traps properly
Please read more about this here: https://github.com/CraneStation/wasmtime/issues/15
Code inspired by: 625a2b6c08
2018-11-06 11:15:40 +01:00
Syrus Akbary
4e435e5ae1 Implemented spectests assert trap 2018-11-06 01:32:38 +01:00
Syrus Akbary
f44466d1a3 Improved Instance docs 2018-11-02 11:37:45 +01:00
Steve Akinyemi
0bde1c2d00 Fix assert_return_canonical_nan and assert_return_arithmetic__nan for tests 2018-11-02 10:03:44 +01:00
Syrus Akbary
1f8a9d931c Improved speed of tests with a special feature flag 2018-10-30 17:35:11 +01:00
Syrus Akbary
a3f880b67e Deleted unused files 2018-10-30 15:58:24 +01:00
Syrus Akbary
d0ad33bdb9 Fixed support for non-deterministic NaNs
This got fixed by using f32,f64::from_bits rather than the canonical NaN representation
2018-10-30 13:28:00 +01:00
Syrus Akbary
82ac069c57 Added typecheck spectests 2018-10-30 12:25:31 +01:00
Syrus Akbary
c3849f44f5 Added store_retval spectests 2018-10-30 12:23:37 +01:00
Syrus Akbary
2a53858951 Added nop spectests 2018-10-30 12:19:45 +01:00
Syrus Akbary
ca6bc6b3b4 Added int_literals spectests 2018-10-30 12:15:47 +01:00
Syrus Akbary
13e9a7c9f5 Added int_exprs spectests 2018-10-30 12:13:15 +01:00
Syrus Akbary
17519d8cd7 Added forward spectests 2018-10-30 12:10:48 +01:00
Syrus Akbary
c9b6ee5a97 Added float_misc spectests 2018-10-30 12:09:07 +01:00
Syrus Akbary
d7f2dbb352 Added float_memory spectests 2018-10-30 12:07:00 +01:00
Syrus Akbary
43f0d7594f Added custom spectests 2018-10-30 12:05:00 +01:00
Syrus Akbary
25c90856e5 Added float_exprs spectests 2018-10-30 12:02:50 +01:00
Syrus Akbary
0cb3c9365f Added fac spectests 2018-10-30 11:59:51 +01:00
Syrus Akbary
b105a4583f Refactored visit_action to allow trap / panic catches 2018-10-30 11:57:53 +01:00
Syrus Akbary
e8b67d2e65 Added func spectests 2018-10-30 00:39:26 +01:00
Syrus Akbary
266ff13764 Added comments spectests 2018-10-30 00:34:46 +01:00
Syrus Akbary
ef345a5b45 Added binary spectests 2018-10-30 00:32:53 +01:00
Syrus Akbary
44d70a615e Added start spectests 2018-10-29 23:44:43 +01:00
Syrus Akbary
0aa26455b7 Automatically start modules first. Documented SKIP_MUTABLE_GLOBALS case 2018-10-29 23:40:20 +01:00
Syrus Akbary
df35bb5e06 Added if_ spectests 2018-10-29 16:16:39 +01:00
Syrus Akbary
49ca36435d Merge branch 'master' into tests/add-more-spectests
# Conflicts:
#	src/build_spectests.rs
#	src/spectests/mod.rs
#	src/spectests/switch.rs
#	src/spectests/tee_local.rs
2018-10-29 15:31:38 +01:00
Syrus Akbary
77457ea116 Added left_to_right spectests 2018-10-29 15:18:57 +01:00
Syrus Akbary
beafb5035c Allow multiple commands per spectest line 2018-10-29 15:18:16 +01:00
Steve Akinyemi
91bd5b27ba Add more wasm spectests 2018-10-29 14:36:26 +01:00
Syrus Akbary
2357f0ed13 Added memory_redundancy spectests 2018-10-29 14:33:36 +01:00
Syrus Akbary
572aa89bff Added support for PerformAction spectest command 2018-10-29 14:33:00 +01:00
Syrus Akbary
de8a93e30d Added loop spectests 2018-10-29 14:17:46 +01:00
Syrus Akbary
6217b2defa Added conversions spectest 2018-10-29 14:08:47 +01:00
Syrus Akbary
b519dc043e Improved documentation for manually skipped spec cases 2018-10-29 14:08:14 +01:00
Syrus Akbary
f9550c845c Added tee_local spectest 2018-10-29 13:27:52 +01:00
Syrus Akbary
c29a41f48f Added get_local spectests 2018-10-29 13:23:56 +01:00
Syrus Akbary
33b8757e90 Get env printf basic example working 2018-10-29 12:29:44 +01:00
Syrus Akbary
c97312345e Test 'tee_local' and 'set_global' in more operators
Based on this commit from the WebAssembly spec tests: c90bc9686f
2018-10-29 09:53:48 +01:00
Syrus Akbary
d772cacc98 Fixed globals to a correct func pointer. Added globals spectest
Also fixed f32, f64 to i64 conversion (from mem::transmute to byte type casting)
2018-10-28 21:50:57 +01:00
Syrus Akbary
c9725ecb8b Added stack spectest 2018-10-28 14:05:52 +01:00
Syrus Akbary
f4ce2c72ba Added switch spectest 2018-10-28 13:59:06 +01:00
Syrus Akbary
b94049f949 Fixed heap reference to memory. Added address spectest 2018-10-27 13:33:08 +02:00
Syrus Akbary
0e1dc88d9c Improved call_indirect tests and instance error message on mutable memories 2018-10-26 15:14:51 +02:00
Syrus Akbary
79506c4983 Make align partially pass 2018-10-26 14:53:33 +02:00
Syrus Akbary
6c18701f9d Improved tests to use a common vm_context for same modules 2018-10-26 12:49:29 +02:00
Syrus Akbary
d32422c2be Improved memory access to use the vm_context 2018-10-26 12:49:02 +02:00
Syrus Akbary
1882aa8fd6 Added excute function debug print statements 2018-10-25 19:22:52 +02:00
Syrus Akbary
ca6050e18b Fixed instantiate_streaming references 2018-10-24 12:36:43 +02:00
Syrus Akbary
dfa50ddc53 Remove unused code 2018-10-24 12:35:54 +02:00
Syrus Akbary
d4a21c0343 Added unimplemented instantiateStreaming function 2018-10-24 11:56:42 +02:00
Syrus Akbary
6db2d9f696 Documented the import module 2018-10-24 11:54:06 +02:00
Syrus Akbary
fe9fb9fe42 Improved memory documentation 2018-10-24 11:47:12 +02:00
Syrus Akbary
bcad000cc2 Improved utility functions docs 2018-10-24 11:44:33 +02:00
Syrus Akbary
1c6f677a78 Cleanup “module” module 2018-10-24 11:43:18 +02:00
Syrus Akbary
67b0d156a3 Refactored relocation code 2018-10-24 11:39:00 +02:00
Syrus Akbary
76850eed96 Fixed grow_memory function 2018-10-24 02:32:06 +02:00
Syrus Akbary
d797808d4b Improved Instance docs and removed unused code 2018-10-24 02:17:05 +02:00
Syrus Akbary
e9a968b4b0 Improved formatting 2018-10-24 02:01:46 +02:00
Syrus Akbary
48f7c46020 Set spectests to be only imported in testing 2018-10-24 02:01:16 +02:00
Syrus Akbary
c4b0261336 Added f64_cmp spectest 2018-10-24 02:00:59 +02:00
Syrus Akbary
3727d6e3de Added f64_bitwise spectest 2018-10-24 01:57:37 +02:00
Syrus Akbary
0c6d76bbba Added f32_cmp spectest 2018-10-24 01:55:08 +02:00
Syrus Akbary
36326007c5 Added f32_bitwise spectest. Improved f32, f64 NaN assertions 2018-10-24 01:51:52 +02:00
Syrus Akbary
f6a5bfaeee Added f64 spectest 2018-10-24 01:22:16 +02:00
Syrus Akbary
e8e7111e3f Added f32 spectest 2018-10-24 01:15:20 +02:00
Syrus Akbary
bb3e5dcfbe Allow LibCalls in the relocator 2018-10-24 01:14:59 +02:00
Syrus Akbary
363fb9894f Added exports spectest 2018-10-24 00:41:32 +02:00
Syrus Akbary
459be45480 Added data spectest 2018-10-24 00:27:15 +02:00
Syrus Akbary
a0a8e7512b Added labels spectest 2018-10-24 00:25:11 +02:00
Syrus Akbary
1b728e8903 Removed unused file 2018-10-24 00:25:02 +02:00
Syrus Akbary
a5da22aa64 Added break_drop spectest 2018-10-24 00:22:07 +02:00
Syrus Akbary
596c1ef72c Added const spectest 2018-10-24 00:17:36 +02:00
Syrus Akbary
d28b29ccc0 Fixed start function 2018-10-24 00:17:17 +02:00
Syrus Akbary
a3343a2ffb Added i64 spectest 2018-10-24 00:04:30 +02:00
Syrus Akbary
c8acc46e1f Formatted file 2018-10-24 00:02:35 +02:00
Syrus Akbary
1311057fd7 Added block spectest 2018-10-24 00:02:19 +02:00
Syrus Akbary
8b6b6152f4 Added br spectest 2018-10-23 23:58:13 +02:00
Syrus Akbary
98df45a7dd Improved spectest generator 2018-10-23 23:54:07 +02:00
Syrus Akbary
6653eeca4f Improved testing times by 5-10x
This is done via grouping of module/instance creation calls. This way the assert return calls are grouped to be tested in the same thread (therefore only one module creation is required rather than n=one for each test)
2018-10-23 15:43:44 +02:00
Syrus Akbary
8671025d97 Commented build_spectests file 2018-10-23 13:26:21 +02:00
Syrus Akbary
099b4ac1ac Added func_ptrs spectests 2018-10-23 13:13:03 +02:00
Syrus Akbary
10eff5f3c3 Fixed slice public pointers 2018-10-23 11:55:54 +02:00
Syrus Akbary
138d5a6bf4 Restored integration tests back as it was before 2018-10-23 11:49:26 +02:00
Syrus Akbary
3f5091780d Improved formatting 2018-10-23 11:43:43 +02:00
Syrus Akbary
837e67999f Show result 2018-10-23 11:41:55 +02:00
Syrus Akbary
46742c9aaf Call indirect fully working 2018-10-23 11:40:17 +02:00
Syrus Akbary
a796056c5f Improved module docs 2018-10-23 11:09:57 +02:00
Syrus Akbary
81ab8951c9 Working fully with the context pointer 2018-10-23 01:52:03 +02:00
Syrus Akbary
975b106731 Improved pointers 2018-10-23 01:44:19 +02:00
Syrus Akbary
2a118930c2 Table now working properly 2018-10-23 01:15:18 +02:00
Syrus Akbary
037f76e3b1 Improved context data 2018-10-22 21:03:43 +02:00
Syrus Akbary
4ab26226f9 Revert "Improved function pointers"
This reverts commit a625382158.
2018-10-22 18:56:29 +02:00
Syrus Akbary
a625382158 Improved function pointers 2018-10-22 18:36:51 +02:00
Syrus Akbary
7444837d09 Moved memories, tables and globals to be Unchecked slices 2018-10-22 18:31:12 +02:00
Syrus Akbary
7e7d230441 Fixed main function generate context 2018-10-22 12:59:21 +02:00
Syrus Akbary
6c9087a73d Added set_local tests 2018-10-19 12:44:19 +02:00
Syrus Akbary
617b66aad7 Documented the relocation module 2018-10-19 11:31:10 +02:00
Syrus Akbary
f95863964d Improved test banner 2018-10-19 11:31:02 +02:00
Syrus Akbary
76d9b2602e Added spectests autogenerated banner 2018-10-19 02:18:01 +02:00
Syrus Akbary
da492d9cec Improved build test script to only execute if necessary 2018-10-19 02:15:27 +02:00
Syrus Akbary
2953cf7836 Improved tests build script 2018-10-19 02:11:27 +02:00
Syrus Akbary
4029357d31 Added i32 tests 2018-10-19 01:44:48 +02:00
Syrus Akbary
0e50e09fc6 Added f32/f64 br_if tests 2018-10-19 01:31:31 +02:00
Syrus Akbary
a932fef217 Added automatic test generator from wasm spec 2018-10-19 01:29:12 +02:00
Syrus Akbary
5c5fbd309d Fixed memory issues 2018-10-19 01:28:16 +02:00
Syrus Akbary
6fce21e4d5 Added first tests for the vmctx (memory usage) 2018-10-18 19:01:09 +02:00
Syrus Akbary
80f3bf161e Removed unnecesary function 2018-10-18 12:05:00 +02:00
Syrus Akbary
96f2440960 Added working mock for memory (grow and size) 2018-10-18 00:09:04 +02:00
Syrus Akbary
6534939005 Make import object non optional 2018-10-17 17:14:35 +02:00
Syrus Akbary
ba050f35cc Improved wasmer script 2018-10-17 16:45:24 +02:00
Syrus Akbary
e97b47e147 Added ImportObject structure. Added integration tests 2018-10-17 16:08:51 +02:00
Syrus Akbary
c834f6b33e Function imports now fully working 2018-10-17 11:23:41 +02:00
Syrus Akbary
606afda496 Moved macros to common mod 2018-10-16 17:01:47 +02:00
Syrus Akbary
2cc93ddc38 Added basic identity function benchmark 2018-10-16 17:01:36 +02:00
Syrus Akbary
daefac46bb Improved tests coverage 2018-10-16 11:18:58 +02:00
Syrus Akbary
1879a14938 All function calls are now working 2018-10-16 03:24:36 +02:00
Syrus Akbary
7f7eff788d Function relocations are now working 2018-10-16 00:04:05 +02:00
Syrus Akbary
fade076fa4 Better reuse of function pointers in Instance 2018-10-15 20:45:16 +02:00
Syrus Akbary
b2d0968e49 Improved invoke function 2018-10-15 18:33:26 +02:00
Syrus Akbary
c989a61ce3 Improved tests 2018-10-15 15:58:23 +02:00
Syrus Akbary
dd0f1b1a2d Improved instance functions 2018-10-15 15:58:06 +02:00
Syrus Akbary
1482648219 Added module.info.exports for O(1) retrieval 2018-10-15 13:45:44 +02:00
Syrus Akbary
4c1e450c7f Added function pointer to the instance functions 2018-10-15 12:51:34 +02:00
Syrus Akbary
7685746655 Fixed Instance functions memory offsets 2018-10-15 12:44:24 +02:00
Syrus Akbary
714c27b502 Fixed used architecture 2018-10-15 12:44:07 +02:00
Syrus Akbary
ad31e295dd Fixed issue when there are no WebAssembly functions to allocate in memory 2018-10-15 11:52:36 +02:00
Syrus Akbary
69efaaaddd Fixed duplicated signature 2018-10-15 11:46:13 +02:00
Syrus Akbary
432ed4cdbf Make instance code more readable. 2018-10-15 11:46:04 +02:00
Syrus Akbary
69a6cd35f7 Improved debug macro 2018-10-15 11:45:40 +02:00
Syrus Akbary
8d790d78f9 Improved formatting 2018-10-15 03:03:00 +02:00
Syrus Akbary
78cf7800e5 Added function compilation 2018-10-15 02:48:59 +02:00
Syrus Akbary
e7788645d7 Added Module.verify function 2018-10-15 00:25:11 +02:00
Syrus Akbary
a9a580acee Formatted files 2018-10-14 23:48:59 +02:00
Syrus Akbary
48fbc850ea Improved runnable options 2018-10-14 23:47:35 +02:00
Syrus Akbary
6af9d0464a Improved main module 2018-10-14 23:17:24 +02:00
Syrus Akbary
3aaba4861f Improved errors module 2018-10-14 23:14:00 +02:00
Syrus Akbary
adbcf89470 Refactored instantiate function to return Module and Instance 2018-10-14 22:23:48 +02:00
Syrus Akbary
59e9c7fe29 Improved module structure. Removed unnecessary files 2018-10-14 22:10:53 +02:00
Syrus Akbary
e16dcfe232 Renamed from ModuleInstance to Module 2018-10-14 21:41:59 +02:00
Syrus Akbary
cc9caff8d5 Improved ModuleInstance automatic compilation 2018-10-14 21:13:19 +02:00
Syrus Akbary
8bd6657e84 environment fully working 2018-10-14 20:37:42 +02:00
Syrus Akbary
ac9edf39e6 Improved instance 2018-10-14 13:59:11 +02:00
Syrus Akbary
2febd4edde Improved make_table fn 2018-10-14 01:49:50 +02:00
Syrus Akbary
47215837fa Trying to port functions over 2018-10-13 19:22:57 +02:00
Syrus Akbary
39bf85e0ea Improved tests 2018-10-13 15:31:56 +02:00
Syrus Akbary
c8d4efaada Added ExecFunc 2018-10-12 12:39:33 +02:00
Syrus Akbary
b4a09a2e94 Improved tests 2018-10-12 02:45:09 +02:00
Syrus Akbary
9bca6940b3 First working version of the interpreter 2018-10-11 21:29:36 +02:00