src/binaryen/test/passes/safe-heap.wast

   1 (module
   2  (memory (shared 100 100))
   3  (func $loads
   4   (drop (i32.load (i32.const 1)))
   5   (drop (i32.atomic.load (i32.const 1)))
   6   (drop (i32.load offset=31 (i32.const 2)))
   7   (drop (i32.load align=2 (i32.const 3)))
   8   (drop (i32.load align=1 (i32.const 4)))
   9   (drop (i32.load8_s (i32.const 5)))
  10   (drop (i32.load16_u (i32.const 6)))
  11   (drop (i64.load8_s (i32.const 7)))
  12   (drop (i64.load16_u (i32.const 8)))
  13   (drop (i64.load32_s (i32.const 9)))
  14   (drop (i64.load align=4 (i32.const 10)))
  15   (drop (i64.load (i32.const 11)))
  16   (drop (f32.load (i32.const 12)))
  17   (drop (f64.load (i32.const 13)))
  18  )
  19  (func $stores
  20   (i32.store (i32.const 1) (i32.const 100))
  21   (i32.atomic.store (i32.const 1) (i32.const 100))
  22   (i32.store offset=31 (i32.const 2) (i32.const 200))
  23   (i32.store align=2 (i32.const 3) (i32.const 300))
  24   (i32.store align=1 (i32.const 4) (i32.const 400))
  25   (i32.store8 (i32.const 5) (i32.const 500))
  26   (i32.store16 (i32.const 6) (i32.const 600))
  27   (i64.store8 (i32.const 7) (i64.const 700))
  28   (i64.store16 (i32.const 8) (i64.const 800))
  29   (i64.store32 (i32.const 9) (i64.const 900))
  30   (i64.store align=4 (i32.const 10) (i64.const 1000))
  31   (i64.store (i32.const 11) (i64.const 1100))
  32   (f32.store (i32.const 12) (f32.const 1200))
  33   (f64.store (i32.const 13) (f64.const 1300))
  34  )
  35 )
  36 ;; not shared
  37 (module
  38  (memory 100 100)
  39  (func $loads
  40   (drop (i32.load (i32.const 1)))
  41  )
  42 )
  43 ;; pre-existing
  44 (module
  45  (type $FUNCSIG$v (func))
  46  (import "env" "DYNAMICTOP_PTR" (global $DYNAMICTOP_PTR i32))
  47  (import "env" "segfault" (func $segfault))
  48  (import "env" "alignfault" (func $alignfault))
  49  (memory $0 (shared 100 100))
  50  (func $actions
  51   (drop (i32.load (i32.const 1)))
  52   (i32.store (i32.const 1) (i32.const 100))
  53  )
  54 )
  55