summaryrefslogtreecommitdiff
path: root/test/lit/exec
diff options
context:
space:
mode:
Diffstat (limited to 'test/lit/exec')
-rw-r--r--test/lit/exec/host-limit.wast27
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)
+ )
+ )
+)
+