File: memory-init.wast

package info (click to toggle)
binaryen 108-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 35,424 kB
  • sloc: cpp: 151,487; javascript: 62,522; ansic: 13,124; python: 5,260; pascal: 441; sh: 75; asm: 27; makefile: 8
file content (22 lines) | stat: -rw-r--r-- 526 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
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)
    )
  )
)