| ;; NOTE: Assertions have been generated by update_lit_checks.py --output=fuzz-exec and should not be edited. |
| |
| ;; RUN: wasm-opt %s -all --fuzz-exec-before -q -o /dev/null 2>&1 | filecheck %s |
| |
| (module |
| (import "fuzzing-support" "log-i32" (func $log (param i32))) |
| |
| (memory $0 23 256 shared) |
| |
| ;; CHECK: [fuzz-exec] calling wait_and_log |
| ;; CHECK-NEXT: [LoggingExternalInterface logging 2] |
| (func $wait_and_log (export "wait_and_log") |
| (call $log |
| (memory.atomic.wait64 |
| (i32.const 0) |
| (i64.const 0) |
| (i64.const 0) |
| ) |
| ) |
| ) |
| ) |