File: memory_data.wat

package info (click to toggle)
binaryen 120-4
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 41,284 kB
  • sloc: cpp: 189,449; javascript: 62,189; ansic: 14,087; python: 5,379; pascal: 441; sh: 77; makefile: 30; asm: 27
file content (46 lines) | stat: -rw-r--r-- 1,413 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
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.

;; RUN: wasm-merge %s first %s.second second --rename-export-conflicts -all -S -o - | filecheck %s

;; Test we rename memories and data segments properly at the module scope.
;; Memory $bar has a name collision, and both of the element segments' names.
;; This test verifies that data segments refer to the right tables even after
;; such name changes.

(module
  ;; CHECK:      (import "import" "mem" (memory $imported 10000))

  ;; CHECK:      (memory $foo 1)
  (memory $foo 1)

  ;; CHECK:      (memory $bar 10)
  (memory $bar 10)

  (memory $shared 10)

  ;; CHECK:      (memory $other 100)

  ;; CHECK:      (memory $bar_3 1000)

  ;; CHECK:      (data $a (i32.const 0) "a")
  (data $a (memory $foo) (i32.const 0) "a")

  ;; CHECK:      (data $b (memory $bar) (i32.const 0) "b")
  (data $b (memory $bar) (i32.const 0) "b")

  ;; CHECK:      (data $a_2 (memory $other) (i32.const 0) "a2")

  ;; CHECK:      (data $b_2 (memory $bar_3) (i32.const 0) "b2")

  ;; CHECK:      (export "keepalive" (memory $foo))
  (export "keepalive" (memory $foo))

  ;; CHECK:      (export "keepalive1" (memory $bar))
  (export "keepalive1" (memory $bar))

)
;; CHECK:      (export "keepalive_2" (memory $other))

;; CHECK:      (export "keepalive1_3" (memory $bar_3))

;; CHECK:      (export "keepalive2" (memory $imported))