test/passes/fuzz-exec_all-features.wast

(module
 (export "a" (func $a))
 (export "b" (func $b))
 (export "c" (func $c))
 (export "d" (func $d))
 (export "e" (func $e))
 (func $a (result i32)
  (i32.extend8_s
   (i32.const 187)
  )
 )
 (func $b (result i32)
  (i32.extend16_s
   (i32.const 33768)
  )
 )
 (func $c (result i64)
  (i64.extend8_s
   (i64.const 187)
  )
 )
 (func $d (result i64)
  (i64.extend16_s
   (i64.const 33768)
  )
 )
 (func $e (result i64)
  (i64.extend32_s
   (i64.const 2148318184)
  )
 )
)
(module
 (import "fuzzing-support" "log-i32" (func $fimport$0 (param i32)))
 (memory $0 1 1 shared)
 (func $unaligned_load (export "unaligned_load") (result i32)
  (i32.atomic.load
   (i32.const 1) ;; unaligned ptr
  )
 )
 (func $unaligned_load_offset (export "unaligned_load_offset") (result i32)
  (i32.atomic.load offset=1 ;; unaligned with offset
   (i32.const 0)
  )
 )
 (func $aligned_for_size (export "aligned_for_size") (result i32)
  (i32.atomic.load16_u offset=2 ;; just 2 bytes loaded, so size is ok
   (i32.const 0)
  )
 )
 (func $unaligned_notify (export "unaligned_notify") (result i32)
  (memory.atomic.notify
   (i32.const 1) ;; unaligned
   (i32.const 1)
  )
 )
 (func $wrap_cmpxchg (export "wrap_cmpxchg") (param $0 i32) (param $1 i32)
  (drop
   (i32.atomic.rmw8.cmpxchg_u
    (i32.const 0)
    (i32.const 256) ;; 0x100, lower byte is 0 - should be wrapped to that
    (i32.const 42)
   )
  )
  (call $fimport$0
   (i32.load (i32.const 0))
  )
 )
 (func $oob_notify (export "oob_notify")
  (drop
   (memory.atomic.notify offset=22
    (i32.const -104) ;; illegal address
    (i32.const -72)
   )
  )
 )
)
(module
 (memory $0 1 1 shared)
 (data (i32.const 0) "\ff\ff")
 (func $unsigned_2_bytes (export "unsigned_2_bytes") (result i32)
  (i32.atomic.rmw16.xor_u ;; should be unsigned
   (i32.const 0)
   (i32.const 0)
  )
 )
)
(module
 (import "fuzzing-support" "log-i32" (func $fimport$0 (param i32)))
 (memory $0 1 1 shared)
 (func $rmw-reads-modifies-and-writes (export "rmw-reads-modifies-and-writes")
  (drop
   (i64.atomic.rmw16.and_u offset=4
    (i32.const 0)
    (i64.const 65535)
   )
  )
  (call $fimport$0
   (i32.load8_u
    (i32.const 5)
   )
  )
 )
)
(module
 (import "fuzzing-support" "log-i32" (func $fimport$0 (param i32)))
 (memory $0 1 1 shared)
 (func $rmw-reads-modifies-and-writes-asymmetrical (export "rmw-reads-modifies-and-writes-asymmetrical")
  (drop
   (i32.atomic.rmw8.sub_u
    (i32.const 3)
    (i32.const 42)
   )
  )
  (call $fimport$0
   (i32.load8_u
    (i32.const 3)
   )
  )
 )
)
(module
 (export "func" (func $func))
 (func $func (result funcref)
  (ref.func $func)
 )
)