diff options
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) + ) + ) +) + |