wasmi/src/validation
Sergey Pepyakin f6657bace4
Flat Stack (#98)
* Define Instruction Set.

* WIP

* WIP 2

* Tests

* Working

* Bunch of other tests.

* WIP

* WIP

* Use Vec instead of VecDeque.

* Calibrate the limits.

* Clean

* Clean

* Another round of cleaning.

* Ignore traces.

* Optimize value stack

* Optimize a bit more.

* Cache memory index.

* Inline always instruction dispatch function.

* Comments.

* Clean

* Clean

* Use vector to keep unresolved references.

* Estimate resulting size.

* do refactoring

* Validate the locals count in the begging

* Introduce Keep and DropKeep structs in isa

* Rename/Split Validator into Reader

* Document stack layout

* Remove println!

* Fix typo.

* Use .last / .last_mut in stack

* Update docs for BrTable.

* Review fixes.

* Merge.

* Add an assert that stack is empty after the exec
2018-07-04 10:08:45 +03:00
..
context.rs Initial commit 2018-01-17 19:54:06 +03:00
func.rs Flat Stack (#98) 2018-07-04 10:08:45 +03:00
mod.rs Flat Stack (#98) 2018-07-04 10:08:45 +03:00
tests.rs Flat Stack (#98) 2018-07-04 10:08:45 +03:00
util.rs Flat Stack (#98) 2018-07-04 10:08:45 +03:00