xeos
/
wasmi
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
129 Commits 15 Branches 16 Tags 5.4 MiB
Commit Graph

129 Commits

Author SHA1 Message Date
Sergey Pepyakin 59ddf11432 Inline always instruction dispatch function. 2018-06-14 18:49:28 +03:00
Sergey Pepyakin 03f378a000 Cache memory index. 2018-06-14 18:48:25 +03:00
Sergey Pepyakin ea1e15bc3f Optimize a bit more. 2018-06-14 18:40:26 +03:00
Sergey Pepyakin ca4036fb16 Optimize value stack 2018-06-14 18:34:47 +03:00
Sergey Pepyakin d5e47a03ab Ignore traces. 2018-06-14 18:34:33 +03:00
Sergey Pepyakin 4802635c95 Another round of cleaning. 2018-06-14 17:06:52 +03:00
Sergey Pepyakin 0110ea2d57 Clean 2018-06-14 17:02:56 +03:00
Sergey Pepyakin 1e758afaa2 Clean 2018-06-14 16:58:27 +03:00
Sergey Pepyakin f45b45459c Calibrate the limits. 2018-06-14 16:38:14 +03:00
Sergey Pepyakin de27ef3745 Use Vec instead of VecDeque. 2018-06-14 16:35:55 +03:00
Sergey Pepyakin e9f201bde9 WIP 2018-06-14 16:06:45 +03:00
Sergey Pepyakin aba44ca5ed WIP 2018-06-13 22:28:28 +03:00
Sergey Pepyakin bd3d8fc762 Bunch of other tests. 2018-06-13 17:42:56 +03:00
Sergey Pepyakin a9bf01a60f Working 2018-06-13 16:15:45 +03:00
Sergey Pepyakin 5e20cc28f8 Tests 2018-06-13 12:05:20 +03:00
Sergey Pepyakin d0e13db6f2 WIP 2 2018-06-13 11:32:44 +03:00
Sergey Pepyakin 5653e2809f WIP 2018-06-12 22:13:37 +03:00
Sergey Pepyakin 1702372696 Define Instruction Set. 2018-06-12 16:09:31 +03:00
Sergey Pepyakin f305b3cd1f
Fix wasm benches on nightly (#93) 2018-06-12 14:00:57 +03:00
Sergey Pepyakin 724a32ad60
Provide direct access to the underlying buffer (#91) 
This allows zero-copy access to the linear memory.
 2018-05-31 16:01:15 +02:00
Sergey Pepyakin 6cf0ebc79e
Add a simple bench (#90) 
* Add first bench

* Refactor travis.yml

* Use assert_matches!

* sha3_256 → keccak256
 2018-05-24 16:31:15 +03:00
Sergey Pepyakin d926993c6c Bump wabt version to 0.3 2018-04-25 18:00:11 +03:00
Sergey Pepyakin 89c3a9286f Bump version 0.2.0 2018-04-25 10:25:33 +03:00
Jef 3890dd379f Preserve signalling bit in NaNs (#87) 
* Preserve signalling bit in NaNs

* Fix warnings
 2018-04-25 10:18:14 +03:00
Sergey Pepyakin b95e11c414 Bump version to 0.1.3. 2018-04-20 17:59:16 +03:00
Sergey Pepyakin 730c918a80
Don't expand locals. (#86) 2018-04-20 17:55:07 +03:00
Sergey Pepyakin 5cda9a05da Check the signature of host function. (#84) 2018-04-18 17:44:10 +03:00
Jef 22b260a3b9 Optionally deny floating point operations (#83) 
* Optionally deny floating point operations

* Deny floating-point parameters and fix docs/indentation

* Test denial of floating-point parameters
 2018-04-18 15:09:09 +03:00
Sergey Pepyakin a2aa3ddb25 Update README.md 2018-04-17 09:41:26 +03:00
Sergey Pepyakin 7aecc55173 Bump version to 0.1.2 2018-04-05 13:12:39 +03:00
Pierre Krieger 4c2995ca98 Fix the name of the 32bits feature (#82) 
So that it matches the Cargo.toml
 2018-04-04 18:14:43 +03:00
Sergey Pepyakin d12a04f8ff
Publish with externvals (#81) 
* Publish with_externvals constructor.
* Add examples to Signature::new.
* Use Iterators for ExternVal imports
 2018-03-29 18:43:44 +03:00
NikVolf a6b5574704 bump version 2018-03-24 17:57:28 +03:00
Sergey Pepyakin 86bbd96a33
Require func_type (not func) for func import. (#79) 2018-03-22 17:49:30 +03:00
Sergey Pepyakin 654426b147 Rename feature opt-in-32bit 2018-03-21 11:01:13 +03:00
Sergey Pepyakin 527b9e0cbc Prepare for 0.1.0 (#77) 2018-03-21 10:51:51 +03:00
Sergey Pepyakin 522fa20983
Fix br_if and then tee_local validation. (#76) 2018-03-20 13:09:51 +03:00
Sergey Pepyakin 6253dd6fdf Args refactor (#71) 
* Refactor TryInto → FromRuntimeValue.

Replace `TryInto<T, E>` with `FromRuntimeValue`.

The main difference is that `FromRuntimeValue` is implemented for the concrete type of the value we create, rather than on `RuntimeValue`. This makes more sense to me and seems more clear.

The `try_into` method is now implemented on `RuntimeValue` itself.

And finally, `FromRuntimeValue` has been made public.

* Impl AsRef<[RuntimeValue]> for RuntimeArgs

This impl can be used as an escape hatch if the user wants to use the inner slice.

* Little doc fixes for RuntimeArgs.
 2018-03-14 01:23:12 +03:00
Sergey Pepyakin 9fa933ccd6
Use f32/f64::from_bits. (#72) 
And also enable:

- "conversions",
- "float_exprs",
- "float_literals",
- "float_memory",

tests.
 2018-03-12 12:37:43 +01:00
Sergey Pepyakin 0c277abacb
Implement Error for Trap (#73) 2018-03-12 12:37:12 +01:00
Sergey Pepyakin 7c88c6ad65
Fix br_table validation (#67) 
Fixes #63

Fix is simple: all labels refered by the br_table instruction must have same value type (or NoResult in case if they don't have result). So we just take the default label and check other labels against it.
 2018-02-23 18:00:16 +03:00
Sergey Pepyakin 8a96bc2649
Make it easier to work with spec testsuite (#68) 
If module will failed to load, one could just check line number of the original script.
 2018-02-23 17:57:35 +03:00
Nikolay Volf 5bb5b6809c Exclude test directory for package (#65) 
* Exclude test directory for package

* Update Cargo.toml

* Also exclude fuzz and deexclude non-existant spec
 2018-02-23 00:45:27 +03:00
Nikolay Volf f1a3f06d5e
remove stray println (#66) 2018-02-21 23:00:31 +03:00
Nikolay Volf 6b6961bcb6
Bump parity-wasm version (#64) 2018-02-21 18:00:32 +03:00
Sergey Pepyakin 73c1451a84 Bump parity-wasm version to 0.25 (#62) 2018-02-19 19:32:38 +03:00
Sergey Pepyakin 9140e869e2 Update spec testsuite; Fix instantiation bug (#61) 
The bug was about instantiating a module with elements segment being out-of-bounds, however, it was with zero length. E.g.:

```
(module
  (table 0 anyfunc)
  (elem (i32.const 1))
)
```

In our impl there was no out-of-bounds, because there was no attempt to set any table entry.

This change adds early check for specifically this case.
 2018-02-19 18:59:18 +03:00
Sergey Pepyakin d02b0f8527
Add plain load to fuzzer (#58) 2018-02-15 20:34:56 +03:00
Sergey Pepyakin d11dffcf51 Use memory_units from crates.io. 2018-02-14 18:44:11 +03:00
Sergey Pepyakin 6cf6a31970
Merge signature mismatch traps (#57) 2018-02-14 18:27:22 +03:00