diff options
| author | Alon Zakai <azakai@google.com> | 2023-03-01 14:23:43 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-01 14:23:43 -0800 |
| commit | 4eb39ce8e3702da04a0ebfda7742486f34db5752 (patch) | |
| tree | 33feaf875bc570b5b3476f19e08f4eb58d4cd34e /test/lit/exec | |
| parent | 23278eac5ac01e9ed029859366b3e49665c9aeea (diff) | |
| download | binaryen-4eb39ce8e3702da04a0ebfda7742486f34db5752.tar.gz binaryen-4eb39ce8e3702da04a0ebfda7742486f34db5752.tar.bz2 binaryen-4eb39ce8e3702da04a0ebfda7742486f34db5752.zip | |
Fuzzer: Ignore host limits (#5536)
We can't just skip host limits (#5534) but must also ignore execution at that
point, as optimizations can change the results if they change whether we reach
a host limit.
Diffstat (limited to 'test/lit/exec')
| -rw-r--r-- | test/lit/exec/host-limit.wast | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/test/lit/exec/host-limit.wast b/test/lit/exec/host-limit.wast new file mode 100644 index 000000000..ee59d655b --- /dev/null +++ b/test/lit/exec/host-limit.wast @@ -0,0 +1,27 @@ +;; NOTE: Assertions have been generated by update_lit_checks.py --output=fuzz-exec and should not be edited. + +;; RUN: wasm-opt %s -all --remove-unused-module-elements --fuzz-exec -o /dev/null 2>&1 | filecheck %s + +;; The global here can be optimized out as it has no uses. That has a noticeable +;; effect, however, of avoiding a host limit exception. We should ignore that in +;; fuzz exec and not error. + +(module + (type $type$0 (array i8)) + + (import "fuzzing-support" "log" (func $log (param i32))) + + (global $global (mut (ref $type$0)) (array.new_default $type$0 + (i32.const -1) + )) + + ;; CHECK: [fuzz-exec] calling export + ;; CHECK-NEXT: [LoggingExternalInterface logging 42] + ;; CHECK-NEXT: ignoring comparison of ExecutionResults! + (func "export" + (call $log + (i32.const 42) + ) + ) +) + |