diff options
Diffstat (limited to 'test/lit/passes')
9 files changed, 29 insertions, 31 deletions
diff --git a/test/lit/passes/code-folding_enable-threads.wast b/test/lit/passes/code-folding_enable-threads.wast index 15b83f71b..487fbd3ac 100644 --- a/test/lit/passes/code-folding_enable-threads.wast +++ b/test/lit/passes/code-folding_enable-threads.wast @@ -262,8 +262,8 @@ (module ;; CHECK: (type $0 (func (result i32))) - ;; CHECK: (memory $0 (shared 1 1)) - (memory $0 (shared 1 1)) + ;; CHECK: (memory $0 1 1 shared) + (memory $0 1 1 shared) ;; CHECK: (export "func_2224" (func $0)) (export "func_2224" (func $0)) ;; CHECK: (func $0 (result i32) @@ -420,4 +420,3 @@ ) ) ) - diff --git a/test/lit/passes/flatten_dfo_O3_enable-threads.wast b/test/lit/passes/flatten_dfo_O3_enable-threads.wast index 55bf54dc9..ccb029060 100644 --- a/test/lit/passes/flatten_dfo_O3_enable-threads.wast +++ b/test/lit/passes/flatten_dfo_O3_enable-threads.wast @@ -14,8 +14,8 @@ ;; CHECK: (type $4 (func (result i32))) - ;; CHECK: (memory $0 (shared 1 1)) - (memory $0 (shared 1 1)) + ;; CHECK: (memory $0 1 1 shared) + (memory $0 1 1 shared) ;; CHECK: (export "one" (func $one)) ;; CHECK: (export "two" (func $two)) @@ -264,4 +264,3 @@ ) ) ) - diff --git a/test/lit/passes/flatten_simplify-locals-nonesting_souperify-single-use_enable-threads.wast b/test/lit/passes/flatten_simplify-locals-nonesting_souperify-single-use_enable-threads.wast index 0bcc36de2..ea693d502 100644 --- a/test/lit/passes/flatten_simplify-locals-nonesting_souperify-single-use_enable-threads.wast +++ b/test/lit/passes/flatten_simplify-locals-nonesting_souperify-single-use_enable-threads.wast @@ -30,8 +30,8 @@ ;; CHECK: (type $12 (func (param i32 i32 i32 i32 i32) (result i32))) - ;; CHECK: (memory $0 (shared 1 1)) - (memory $0 (shared 1 1)) + ;; CHECK: (memory $0 1 1 shared) + (memory $0 1 1 shared) ;; Figure 1a from the Souper paper https://arxiv.org/pdf/1711.04422.pdf ;; CHECK: (export "replaced-print-internal" (func $replaced-print-internal)) diff --git a/test/lit/passes/flatten_simplify-locals-nonesting_souperify_enable-threads.wast b/test/lit/passes/flatten_simplify-locals-nonesting_souperify_enable-threads.wast index 61430d653..e8d423058 100644 --- a/test/lit/passes/flatten_simplify-locals-nonesting_souperify_enable-threads.wast +++ b/test/lit/passes/flatten_simplify-locals-nonesting_souperify_enable-threads.wast @@ -30,8 +30,8 @@ ;; CHECK: (type $12 (func (param i32 i32 i32 i32 i32) (result i32))) - ;; CHECK: (memory $0 (shared 1 1)) - (memory $0 (shared 1 1)) + ;; CHECK: (memory $0 1 1 shared) + (memory $0 1 1 shared) ;; Figure 1a from the Souper paper https://arxiv.org/pdf/1711.04422.pdf ;; CHECK: (export "replaced-print-internal" (func $replaced-print-internal)) diff --git a/test/lit/passes/inlining-optimizing_enable-threads.wast b/test/lit/passes/inlining-optimizing_enable-threads.wast index 60385b11a..631fc1fa5 100644 --- a/test/lit/passes/inlining-optimizing_enable-threads.wast +++ b/test/lit/passes/inlining-optimizing_enable-threads.wast @@ -153,8 +153,8 @@ (module ;; CHECK: (type $0 (func (result i64))) - ;; CHECK: (memory $0 (shared 1 1)) - (memory $0 (shared 1 1)) + ;; CHECK: (memory $0 1 1 shared) + (memory $0 1 1 shared) (func $0 (result i32) (i32.atomic.store16 (i32.const 0) diff --git a/test/lit/passes/memory-packing_all-features.wast b/test/lit/passes/memory-packing_all-features.wast index dfcf5ce53..1f0886d66 100644 --- a/test/lit/passes/memory-packing_all-features.wast +++ b/test/lit/passes/memory-packing_all-features.wast @@ -2279,8 +2279,8 @@ ;; the wrong segments in the presence of unreferenced segments. ;; CHECK: (type $0 (func)) - ;; CHECK: (memory $0 (shared 1 1)) - (memory $0 (shared 1 1)) + ;; CHECK: (memory $0 1 1 shared) + (memory $0 1 1 shared) (data (i32.const 0) "") (data "foo") ;; CHECK: (data $1 "foo") @@ -2394,8 +2394,8 @@ (type $array (array (mut i32))) ;; CHECK: (type $1 (func (param (ref $array) i32 i32 i32))) - ;; CHECK: (memory $0 (shared 16 17)) - (memory $0 (shared 16 17)) + ;; CHECK: (memory $0 16 17 shared) + (memory $0 16 17 shared) ;; CHECK: (data $0 "") (data $0 "") ;; CHECK: (func $0 (type $1) (param $0 (ref $array)) (param $1 i32) (param $2 i32) (param $3 i32) diff --git a/test/lit/passes/merge-similar-functions_types.wast b/test/lit/passes/merge-similar-functions_types.wast index 717777ab7..980f10cd9 100644 --- a/test/lit/passes/merge-similar-functions_types.wast +++ b/test/lit/passes/merge-similar-functions_types.wast @@ -120,8 +120,8 @@ ;; CHECK: (global $global$0 (mut i32) (i32.const 10)) (global $global$0 (mut i32) (i32.const 10)) - ;; CHECK: (memory $0 (shared 16 17)) - (memory $0 (shared 16 17)) + ;; CHECK: (memory $0 16 17 shared) + (memory $0 16 17 shared) ;; CHECK: (elem declare func $2 $3) diff --git a/test/lit/passes/optimize-instructions-atomics.wast b/test/lit/passes/optimize-instructions-atomics.wast index 29037186d..e59c6a4e7 100644 --- a/test/lit/passes/optimize-instructions-atomics.wast +++ b/test/lit/passes/optimize-instructions-atomics.wast @@ -2,8 +2,8 @@ ;; RUN: wasm-opt %s --optimize-instructions --enable-threads -S -o - | filecheck %s (module - ;; CHECK: (import "env" "memory" (memory $0 (shared 256 256))) - (import "env" "memory" (memory $0 (shared 256 256))) + ;; CHECK: (import "env" "memory" (memory $0 256 256 shared)) + (import "env" "memory" (memory $0 256 256 shared)) ;; CHECK: (func $x ;; CHECK-NEXT: (drop diff --git a/test/lit/passes/remove-unused-module-elements_all-features.wast b/test/lit/passes/remove-unused-module-elements_all-features.wast index 15a843064..f287df88f 100644 --- a/test/lit/passes/remove-unused-module-elements_all-features.wast +++ b/test/lit/passes/remove-unused-module-elements_all-features.wast @@ -260,8 +260,8 @@ (module ;; more use checks ;; CHECK: (type $0 (func)) - ;; CHECK: (memory $0 (shared 23 256)) - (memory $0 (shared 23 256)) + ;; CHECK: (memory $0 23 256 shared) + (memory $0 23 256 shared) (export "user" $user) ;; CHECK: (export "user" (func $user)) @@ -278,8 +278,8 @@ (module ;; more use checks ;; CHECK: (type $0 (func (result i32))) - ;; CHECK: (memory $0 (shared 23 256)) - (memory $0 (shared 23 256)) + ;; CHECK: (memory $0 23 256 shared) + (memory $0 23 256 shared) (export "user" $user) ;; CHECK: (export "user" (func $user)) @@ -296,8 +296,8 @@ (module ;; more use checks ;; CHECK: (type $0 (func (result i32))) - ;; CHECK: (memory $0 (shared 23 256)) - (memory $0 (shared 23 256)) + ;; CHECK: (memory $0 23 256 shared) + (memory $0 23 256 shared) (export "user" $user) ;; CHECK: (export "user" (func $user)) @@ -315,8 +315,8 @@ (module ;; more use checks ;; CHECK: (type $0 (func)) - ;; CHECK: (memory $0 (shared 23 256)) - (memory $0 (shared 23 256)) + ;; CHECK: (memory $0 23 256 shared) + (memory $0 23 256 shared) (export "user" $user) ;; CHECK: (export "user" (func $user)) @@ -346,8 +346,8 @@ (module ;; more use checks ;; CHECK: (type $0 (func (result i32))) - ;; CHECK: (memory $0 (shared 23 256)) - (memory $0 (shared 23 256)) + ;; CHECK: (memory $0 23 256 shared) + (memory $0 23 256 shared) (export "user" $user) ;; CHECK: (export "user" (func $user)) @@ -362,7 +362,7 @@ ) ) (module ;; atomic.fence and data.drop do not use a memory, so should not keep the memory alive. - (memory $0 (shared 1 1)) + (memory $0 1 1 shared) (data "") (export "fake-user" $user) ;; CHECK: (type $0 (func)) |