summaryrefslogtreecommitdiff
path: root/test/ctor-eval/memory-init.wast
diff options
context:
space:
mode:
Diffstat (limited to 'test/ctor-eval/memory-init.wast')
-rw-r--r--test/ctor-eval/memory-init.wast22
1 files changed, 22 insertions, 0 deletions
diff --git a/test/ctor-eval/memory-init.wast b/test/ctor-eval/memory-init.wast
new file mode 100644
index 000000000..b910aa2f3
--- /dev/null
+++ b/test/ctor-eval/memory-init.wast
@@ -0,0 +1,22 @@
+(module
+ (memory $0 1)
+ (data (i32.const 0) "__________")
+ (data (i32.const 20) "__________")
+ (func "test1"
+ ;; A store that can be evalled.
+ (i32.store8
+ (i32.const 4)
+ (i32.const 100)
+ )
+
+ ;; A memory init cannot be evalled since ctor-eval flattens memory segments
+ ;; atm. We lose the identity of them as a result as they are all merged
+ ;; into a single big segment. We could fix that eventually.
+ (memory.init 1
+ (i32.const 0)
+ (i32.const 0)
+ (i32.const 1)
+ )
+ )
+)
+