1 files changed, 43 insertions, 0 deletions
diff --git a/test/passes/safe-heap.wast b/test/passes/safe-heap.wast
new file mode 100644
index 000000000..d583accb7
--- /dev/null
+++ b/test/passes/safe-heap.wast
@@ -0,0 +1,43 @@
+(module
+ (memory 100 100 shared)
+ (func $loads
+  (drop (i32.load (i32.const 1)))
+  (drop (i32.atomic.load (i32.const 1)))
+  (drop (i32.load offset=31 (i32.const 2)))
+  (drop (i32.load align=2 (i32.const 3)))
+  (drop (i32.load align=1 (i32.const 4)))
+  (drop (i32.load8_s (i32.const 5)))
+  (drop (i32.load16_u (i32.const 6)))
+  (drop (i64.load8_s (i32.const 7)))
+  (drop (i64.load16_u (i32.const 8)))
+  (drop (i64.load32_s (i32.const 9)))
+  (drop (i64.load align=4 (i32.const 10)))
+  (drop (i64.load (i32.const 11)))
+  (drop (f32.load (i32.const 12)))
+  (drop (f64.load (i32.const 13)))
+ )
+ (func $stores
+  (i32.store (i32.const 1) (i32.const 100))
+  (i32.atomic.store (i32.const 1) (i32.const 100))
+  (i32.store offset=31 (i32.const 2) (i32.const 200))
+  (i32.store align=2 (i32.const 3) (i32.const 300))
+  (i32.store align=1 (i32.const 4) (i32.const 400))
+  (i32.store8 (i32.const 5) (i32.const 500))
+  (i32.store16 (i32.const 6) (i32.const 600))
+  (i64.store8 (i32.const 7) (i64.const 700))
+  (i64.store16 (i32.const 8) (i64.const 800))
+  (i64.store32 (i32.const 9) (i64.const 900))
+  (i64.store align=4 (i32.const 10) (i64.const 1000))
+  (i64.store (i32.const 11) (i64.const 1100))
+  (f32.store (i32.const 12) (f32.const 1200))
+  (f64.store (i32.const 13) (f64.const 1300))
+ )
+)
+;; not shared
+(module
+ (memory 100 100)
+ (func $loads
+  (drop (i32.load (i32.const 1)))
+ )
+)
+