diff options
| author | Alon Zakai <azakai@google.com> | 2022-07-26 19:35:06 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-26 19:35:06 -0700 |
| commit | 85b05ebd648e7cc282777a2f445fe9c5b111eeb9 (patch) | |
| tree | 22f2bfdab678414069eaeae9f923f983d7040ccb /test | |
| parent | 24552779ebfbfc8f296d169c1462308aea27591c (diff) | |
| download | binaryen-85b05ebd648e7cc282777a2f445fe9c5b111eeb9.tar.gz binaryen-85b05ebd648e7cc282777a2f445fe9c5b111eeb9.tar.bz2 binaryen-85b05ebd648e7cc282777a2f445fe9c5b111eeb9.zip | |
[Strings] Add interpreter stubs for string instructions (#4835)
The stubs let precompute skip over them without erroring. With this PR we can
run the optimizer on strings code. We still can't run --fuzz-exec though, so we
can't run the fuzzer.
Also simplify the error strings in the earlier part of the file. All other code just
has "unimp" so we might as well do the same and not mention full names
there.
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit/strings.wast | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/test/lit/strings.wast b/test/lit/strings.wast index e201b2bd7..859d49bee 100644 --- a/test/lit/strings.wast +++ b/test/lit/strings.wast @@ -1,8 +1,11 @@ ;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited. ;; Check that string types are emitted properly in the binary format. +;; +;; runs --precompute in order to verify no problems occur in the optimizer's +;; invocation of the interpreter. -;; RUN: foreach %s %t wasm-opt --enable-strings --enable-reference-types --enable-gc --roundtrip -S -o - | filecheck %s +;; RUN: foreach %s %t wasm-opt --enable-strings --enable-reference-types --enable-gc --roundtrip --precompute -S -o - | filecheck %s (module ;; CHECK: (type $stringref_=>_none (func (param stringref))) |