diff options
| author | Alon Zakai <azakai@google.com> | 2024-11-19 15:26:09 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-11-19 15:26:09 -0800 |
| commit | e13bf0fb72fca160f457570b930c4ba3c35ead3a (patch) | |
| tree | d840d824a6da6213cb9e27051cda3afd138863ed /test/lit/help/wasm-opt.test | |
| parent | 206ad2906c9e0af92ec4c4da223c96755243aa2e (diff) | |
| download | binaryen-e13bf0fb72fca160f457570b930c4ba3c35ead3a.tar.gz binaryen-e13bf0fb72fca160f457570b930c4ba3c35ead3a.tar.bz2 binaryen-e13bf0fb72fca160f457570b930c4ba3c35ead3a.zip | |
Improve fuzzing of both closed and open world styles of modules (#7090)
Before, we would simply not export a function that had an e.g. anyref
param. As a result, the modules were effectively "closed", which was
good for testing full closed-world mode, but not for testing degrees of
open world. To improve that, this PR allows the fuzzer to export such
functions, and an "enclose world" pass is added that "closes" the wasm
(makes it more compatible with closed-world) that is run 50% of the
time, giving us coverage of both styles.
Diffstat (limited to 'test/lit/help/wasm-opt.test')
| -rw-r--r-- | test/lit/help/wasm-opt.test | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test/lit/help/wasm-opt.test b/test/lit/help/wasm-opt.test index 62a30a770..5c978ee81 100644 --- a/test/lit/help/wasm-opt.test +++ b/test/lit/help/wasm-opt.test @@ -152,6 +152,9 @@ ;; CHECK-NEXT: --emit-target-features emit the target features section ;; CHECK-NEXT: in the output ;; CHECK-NEXT: +;; CHECK-NEXT: --enclose-world modify the wasm (destructively) +;; CHECK-NEXT: for closed-world +;; CHECK-NEXT: ;; CHECK-NEXT: --extract-function leaves just one function (useful ;; CHECK-NEXT: for debugging) ;; CHECK-NEXT: |