blob: 9317f47b7359295b39ee5247ec4172d97ae3c922 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
;; Test that shared memory requires atomics
;; RUN: not wasm-opt -all --disable-extended-const %s 2>&1 | filecheck %s --check-prefix NO-EXTENDED
;; RUN: wasm-opt %s -all -o - -S | filecheck %s --check-prefix EXTENDED
;; NO-EXTENDED: unexpected false: global init must be constant
;; NO-EXTENDED: unexpected false: memory segment offset should be constant
;; EXTENDED: (import "env" "global" (global $gimport$0 i32))
;; EXTENDED: (global $1 i32 (i32.add
;; EXTENDED: (global.get $gimport$0)
;; EXTENDED: (i32.const 42)
;; EXTENDED: ))
;; EXTENDED: (data $0 (i32.sub
;; EXTENDED: (global.get $gimport$0)
;; EXTENDED: (i32.const 10)
;; EXTENDED: ) "hello world")
(module
(memory 1 1)
(import "env" "global" (global i32))
(global i32 (i32.add (global.get 0) (i32.const 42)))
(data (i32.sub (global.get 0) (i32.const 10)) "hello world")
)
|
