diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/lit/passes/table64-lowering.wast (renamed from test/lit/passes/table64-lowering-features.wast) | 28 |
1 files changed, 17 insertions, 11 deletions
diff --git a/test/lit/passes/table64-lowering-features.wast b/test/lit/passes/table64-lowering.wast index eb06231ad..19d51eec5 100644 --- a/test/lit/passes/table64-lowering-features.wast +++ b/test/lit/passes/table64-lowering.wast @@ -7,14 +7,20 @@ ;; CHECK: (type $1 (func (result i64))) - ;; CHECK: (table $t 10 100 funcref) - (table $t i64 10 100 funcref) + ;; CHECK: (table $t64 10 100 funcref) + (table $t64 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: (table $t32 10 100 funcref) + + ;; CHECK: (elem $elem64 (table $t64) (i32.const 0) funcref (ref.null nofunc)) + (elem $elem64 (table $t64) (i64.const 0) funcref (ref.null func)) + + (table $t32 10 100 funcref) + ;; CHECK: (elem $elem32 (table $t32) (i32.const 0) funcref (ref.null nofunc)) + (elem $elem32 (table $t32) (i32.const 0) funcref (ref.null func)) ;; CHECK: (func $test_call_indirect - ;; CHECK-NEXT: (call_indirect $t (type $0) + ;; CHECK-NEXT: (call_indirect $t64 (type $0) ;; CHECK-NEXT: (i32.wrap_i64 ;; CHECK-NEXT: (i64.const 0) ;; CHECK-NEXT: ) @@ -26,16 +32,16 @@ ;; CHECK: (func $test_table_size (result i64) ;; CHECK-NEXT: (i64.extend_i32_u - ;; CHECK-NEXT: (table.size $t) + ;; CHECK-NEXT: (table.size $t64) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) (func $test_table_size (result i64) - (table.size $t) + (table.size $t64) ) ;; CHECK: (func $test_table_grow (result i64) ;; CHECK-NEXT: (i64.extend_i32_u - ;; CHECK-NEXT: (table.grow $t + ;; CHECK-NEXT: (table.grow $t64 ;; CHECK-NEXT: (ref.null nofunc) ;; CHECK-NEXT: (i32.wrap_i64 ;; CHECK-NEXT: (i64.const 10) @@ -44,11 +50,11 @@ ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) (func $test_table_grow (result i64) - (table.grow $t (ref.null func) (i64.const 10)) + (table.grow $t64 (ref.null func) (i64.const 10)) ) ;; CHECK: (func $test_table_fill - ;; CHECK-NEXT: (table.fill $t + ;; CHECK-NEXT: (table.fill $t64 ;; CHECK-NEXT: (i32.wrap_i64 ;; CHECK-NEXT: (i64.const 0) ;; CHECK-NEXT: ) @@ -59,6 +65,6 @@ ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) (func $test_table_fill - (table.fill $t (i64.const 0) (ref.null func) (i64.const 10)) + (table.fill $t64 (i64.const 0) (ref.null func) (i64.const 10)) ) ) |