summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlon Zakai <azakai@google.com>2022-05-24 17:03:49 -0700
committerGitHub <noreply@github.com>2022-05-24 17:03:49 -0700
commit4c193ecdfc873201c9feab61b9533216deb53f70 (patch)
tree12684f9811cb7f4ce1a2c0c2014157c65c240cdb
parent5ae71ee1baf590fb9bafc5d7efc3d55815fd447e (diff)
downloadbinaryen-4c193ecdfc873201c9feab61b9533216deb53f70.tar.gz
binaryen-4c193ecdfc873201c9feab61b9533216deb53f70.tar.bz2
binaryen-4c193ecdfc873201c9feab61b9533216deb53f70.zip
[Fuzzer] Ignore relaxed-simd test for initial contents (#4683)
If we use it as initial contents, we will try to execute it, and hit the TODOs in the interpreter for unimplemented parts.
-rwxr-xr-xscripts/fuzz_opt.py8
1 files changed, 8 insertions, 0 deletions
diff --git a/scripts/fuzz_opt.py b/scripts/fuzz_opt.py
index 8ef4df334..083d476fb 100755
--- a/scripts/fuzz_opt.py
+++ b/scripts/fuzz_opt.py
@@ -257,6 +257,12 @@ def init_important_initial_contents():
IMPORTANT_INITIAL_CONTENTS = [os.path.join(shared.get_test_dir('.'), t) for t in initial_contents]
+INITIAL_CONTENTS_IGNORE = [
+ # not all relaxed SIMD instructions are implemented in the interpreter
+ 'relaxed-simd.wast'
+]
+
+
def pick_initial_contents():
# if we use an initial wasm file's contents as the basis for the
# fuzzing, then that filename, or None if we start entirely from scratch
@@ -279,6 +285,8 @@ def pick_initial_contents():
# no longer exist, and we should just skip it.
if not os.path.exists(test_name):
return
+ if os.path.basename(test_name) in INITIAL_CONTENTS_IGNORE:
+ return
assert os.path.exists(test_name)
# tests that check validation errors are not helpful for us
if '.fail.' in test_name: