[test] Exporting random globals does not interfere with memories (#1753)

WebAssembly · Jun 13, 2024 · 20dc91f · 20dc91f
1 parent 2285497
commit 20dc91f
Showing 1 changed file with 25 additions and 0 deletions.
diff --git a/test/core/memory.wast b/test/core/memory.wast
@@ -240,3 +240,28 @@
  "(import \"\" \"\" (memory $foo 1))"
  "(import \"\" \"\" (memory $foo 1))")
  "duplicate memory")
+
+;; Test that exporting random globals does not change a memory's semantics.
+
+(module
+ (memory (export "memory") 1 1)
+
+ ;; These should not change the behavior of memory accesses.
+ (global (export "__data_end") i32 (i32.const 10000))
+ (global (export "__stack_top") i32 (i32.const 10000))
+ (global (export "__heap_base") i32 (i32.const 10000))
+
+ (func (export "load") (param i32) (result i32)
+ (i32.load8_u (local.get 0))
+ )
+)
+
+;; None of these memory accesses should trap.
+(assert_return (invoke "load" (i32.const 0)) (i32.const 0))
+(assert_return (invoke "load" (i32.const 10000)) (i32.const 0))
+(assert_return (invoke "load" (i32.const 20000)) (i32.const 0))
+(assert_return (invoke "load" (i32.const 30000)) (i32.const 0))
+(assert_return (invoke "load" (i32.const 40000)) (i32.const 0))
+(assert_return (invoke "load" (i32.const 50000)) (i32.const 0))
+(assert_return (invoke "load" (i32.const 60000)) (i32.const 0))
+(assert_return (invoke "load" (i32.const 65535)) (i32.const 0))