🪤 Non-trapping mode for wasm-smith (#659)

* Introduce non-trapping mode for wasm-smith * Ensure integer division and remainder operations don't trap * Ensure `store` operations don't trap * Avoid trapping on float -> int conversion for NaN, and Infinities * Move notrap.rs under wasm-smith core * Fixed some bugs with the wasm we were emitting * Fixed the last few bugs with call_indirect rewrites Co-authored-by: Nick Fitzgerald <fitzgen@gmail.com> * Clean up unused variables for now * cargo fmt * revert validator changes and remove unused import * fixup comments Co-authored-by: Nick Fitzgerald <fitzgen@gmail.com> Co-authored-by: Nick Fitzgerald <fitzgen@gmail.com>
bytecodealliance · Jul 25, 2022 · f229c4f · f229c4f
1 parent ed454cd
commit f229c4f
Show file tree

Hide file tree

Showing 3 changed files with 841 additions and 0 deletions.
diff --git a/crates/wasm-smith/src/core.rs b/crates/wasm-smith/src/core.rs
@@ -2,6 +2,7 @@
 
 mod code_builder;
 pub(crate) mod encode;
+mod notrap;
 mod terminate;
 
 use crate::{arbitrary_loop, limited_string, unique_string, Config, DefaultConfig};