1 files changed, 56 insertions, 0 deletions
diff --git a/test/passes/safe-heap_low-memory-unused.wast b/test/passes/safe-heap_low-memory-unused.wast
new file mode 100644
index 000000000..a2754b469
--- /dev/null
+++ b/test/passes/safe-heap_low-memory-unused.wast
@@ -0,0 +1,56 @@
+(module
+ (memory (shared 100 100))
+ (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)))
+  (drop (v128.load (i32.const 14)))
+ )
+ (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))
+  (v128.store (i32.const 14) (v128.const i32 1 2 3 4))
+ )
+)
+;; not shared
+(module
+ (memory 100 100)
+ (func $loads
+  (drop (i32.load (i32.const 1)))
+ )
+)
+;; pre-existing
+(module
+ (type $FUNCSIG$v (func))
+ (import "env" "DYNAMICTOP_PTR" (global $DYNAMICTOP_PTR i32))
+ (import "env" "segfault" (func $segfault))
+ (import "env" "alignfault" (func $alignfault))
+ (memory $0 (shared 100 100))
+ (func $actions
+  (drop (i32.load (i32.const 1)))
+  (i32.store (i32.const 1) (i32.const 100))
+ )
+)