fluencelabs/wasmer
1
0
Fork 0
mirror of https://github.com/fluencelabs/wasmer synced 2024-12-12 22:05:33 +00:00
Code Issues Projects Releases Wiki Activity

These tests are fixed too.

Browse Source
This commit is contained in:
Nick Lewycky 2019-08-02 14:33:11 -07:00
parent 2fabb5bc20
commit 546969a742
2 changed files with 32 additions and 40 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

66
lib/spectests/spectests/data.wast vendored
View File

@ -47,31 +47,27 @@
(data (i32.const 1) "h")
)
;; SKIP_MUTABLE_GLOBALS
;; (module
;; (global (import "spectest" "global_i32") i32)
;; (memory 1)
;; (data (get_global 0) "a")
;; )
;; SKIP_MUTABLE_GLOBALS
;; (module
;; (global (import "spectest" "global_i32") i32)
;; (import "spectest" "memory" (memory 1))
;; (data (get_global 0) "a")
;; )
(module
(global (import "spectest" "global_i32") i32)
(memory 1)
(data (get_global 0) "a")
)
(module
(global (import "spectest" "global_i32") i32)
(import "spectest" "memory" (memory 1))
(data (get_global 0) "a")
)
;; SKIP_MUTABLE_GLOBALS
;; (module
;; (global $g (import "spectest" "global_i32") i32)
;; (memory 1)
;; (data (get_global $g) "a")
;; )
;; SKIP_MUTABLE_GLOBALS
;; (module
;; (global $g (import "spectest" "global_i32") i32)
;; (import "spectest" "memory" (memory 1))
;; (data (get_global $g) "a")
;; )
(module
(global $g (import "spectest" "global_i32") i32)
(memory 1)
(data (get_global $g) "a")
)
(module
(global $g (import "spectest" "global_i32") i32)
(import "spectest" "memory" (memory 1))
(data (get_global $g) "a")
)
;; Use of internal globals in constant expressions is not allowed in MVP.
;; (module (memory 1) (data (get_global 0) "a") (global i32 (i32.const 0)))
@ -138,19 +134,17 @@
(data (i32.const 0) "a")
)
;; SKIP_MUTABLE_GLOBALS
;; (module
;; (global (import "spectest" "global_i32") i32)
;; (import "spectest" "memory" (memory 0))
;; (data (get_global 0) "a")
;; )
(module
(global (import "spectest" "global_i32") i32)
(import "spectest" "memory" (memory 0))
(data (get_global 0) "a")
)
;; SKIP_MUTABLE_GLOBALS
;; (module
;; (global (import "spectest" "global_i32") i32)
;; (import "spectest" "memory" (memory 0 3))
;; (data (get_global 0) "a")
;; )
(module
(global (import "spectest" "global_i32") i32)
(import "spectest" "memory" (memory 0 3))
(data (get_global 0) "a")
)
(module
(import "spectest" "memory" (memory 0))

6
lib/spectests/spectests/globals.wast vendored
View File

@ -246,11 +246,9 @@
)
;; mutable globals can be exported
;; SKIP_MUTABLE_GLOBALS
;; (module (global (mut f32) (f32.const 0)) (export "a" (global 0)))
(module (global (mut f32) (f32.const 0)) (export "a" (global 0)))
;; SKIP_MUTABLE_GLOBALS
;; (module (global (export "a") (mut f32) (f32.const 0)))
(module (global (export "a") (mut f32) (f32.const 0)))
(assert_invalid
(module (global f32 (f32.neg (f32.const 0))))