diff options
Diffstat (limited to 'test/lit')
| -rw-r--r-- | test/lit/help/wasm-opt.test | 2 | ||||
| -rw-r--r-- | test/lit/help/wasm2js.test | 2 | ||||
| -rw-r--r-- | test/lit/passes/table64-lowering-features.wast | 64 | ||||
| -rw-r--r-- | test/lit/validation/extended-const.wast | 4 |
4 files changed, 70 insertions, 2 deletions
diff --git a/test/lit/help/wasm-opt.test b/test/lit/help/wasm-opt.test index 6dafe2c62..fd8bc5b1e 100644 --- a/test/lit/help/wasm-opt.test +++ b/test/lit/help/wasm-opt.test @@ -505,6 +505,8 @@ ;; CHECK-NEXT: ;; CHECK-NEXT: --symbolmap (alias for print-function-map) ;; CHECK-NEXT: +;; CHECK-NEXT: --table64-lowering lower 64-bit tables 32-bit ones +;; CHECK-NEXT: ;; CHECK-NEXT: --translate-to-exnref translate old Phase 3 EH ;; CHECK-NEXT: instructions to new ones with ;; CHECK-NEXT: exnref diff --git a/test/lit/help/wasm2js.test b/test/lit/help/wasm2js.test index 63d43d388..d8768f35e 100644 --- a/test/lit/help/wasm2js.test +++ b/test/lit/help/wasm2js.test @@ -452,6 +452,8 @@ ;; CHECK-NEXT: ;; CHECK-NEXT: --symbolmap (alias for print-function-map) ;; CHECK-NEXT: +;; CHECK-NEXT: --table64-lowering lower 64-bit tables 32-bit ones +;; CHECK-NEXT: ;; CHECK-NEXT: --translate-to-exnref translate old Phase 3 EH ;; CHECK-NEXT: instructions to new ones with ;; CHECK-NEXT: exnref diff --git a/test/lit/passes/table64-lowering-features.wast b/test/lit/passes/table64-lowering-features.wast new file mode 100644 index 000000000..eb06231ad --- /dev/null +++ b/test/lit/passes/table64-lowering-features.wast @@ -0,0 +1,64 @@ +;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited. + +;; RUN: wasm-opt %s --enable-memory64 --enable-reference-types --enable-bulk-memory --table64-lowering -S -o - | filecheck %s + +(module + ;; CHECK: (type $0 (func)) + + ;; CHECK: (type $1 (func (result i64))) + + ;; CHECK: (table $t 10 100 funcref) + (table $t i64 10 100 funcref) + + ;; CHECK: (elem $elem (table $t) (i32.const 0) funcref (ref.null nofunc)) + (elem $elem (table $t) (i64.const 0) funcref (ref.null func)) + + ;; CHECK: (func $test_call_indirect + ;; CHECK-NEXT: (call_indirect $t (type $0) + ;; CHECK-NEXT: (i32.wrap_i64 + ;; CHECK-NEXT: (i64.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $test_call_indirect + (call_indirect 0 (i64.const 0)) + ) + + ;; CHECK: (func $test_table_size (result i64) + ;; CHECK-NEXT: (i64.extend_i32_u + ;; CHECK-NEXT: (table.size $t) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $test_table_size (result i64) + (table.size $t) + ) + + ;; CHECK: (func $test_table_grow (result i64) + ;; CHECK-NEXT: (i64.extend_i32_u + ;; CHECK-NEXT: (table.grow $t + ;; CHECK-NEXT: (ref.null nofunc) + ;; CHECK-NEXT: (i32.wrap_i64 + ;; CHECK-NEXT: (i64.const 10) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $test_table_grow (result i64) + (table.grow $t (ref.null func) (i64.const 10)) + ) + + ;; CHECK: (func $test_table_fill + ;; CHECK-NEXT: (table.fill $t + ;; CHECK-NEXT: (i32.wrap_i64 + ;; CHECK-NEXT: (i64.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (ref.null nofunc) + ;; CHECK-NEXT: (i32.wrap_i64 + ;; CHECK-NEXT: (i64.const 10) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $test_table_fill + (table.fill $t (i64.const 0) (ref.null func) (i64.const 10)) + ) +) diff --git a/test/lit/validation/extended-const.wast b/test/lit/validation/extended-const.wast index 8188079a1..36ffee430 100644 --- a/test/lit/validation/extended-const.wast +++ b/test/lit/validation/extended-const.wast @@ -4,8 +4,8 @@ ;; 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 -;; NO-EXTENDED: unexpected false: table segment offset should be constant +;; NO-EXTENDED: unexpected false: memory segment offset must be constant +;; NO-EXTENDED: unexpected false: table segment offset must be constant ;; EXTENDED: (import "env" "global" (global $gimport$0 i32)) ;; EXTENDED: (global $1 i32 (i32.add |