diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/lit/passes/outlining.wast | 52 |
1 files changed, 26 insertions, 26 deletions
diff --git a/test/lit/passes/outlining.wast b/test/lit/passes/outlining.wast index 46a3de0bd..1d7d0e6c2 100644 --- a/test/lit/passes/outlining.wast +++ b/test/lit/passes/outlining.wast @@ -729,20 +729,16 @@ ) ;; Test outlining works with call_indirect -;; 0 results, 2 params, 3 operands +;; 0 results, 0 params, 1 operand (module (table funcref) ;; CHECK: (type $0 (func)) - ;; CHECK: (type $1 (func (param i32 i32))) - ;; CHECK: (table $0 0 funcref) ;; CHECK: (func $outline$ (type $0) - ;; CHECK-NEXT: (call_indirect $0 (type $1) + ;; CHECK-NEXT: (call_indirect $0 (type $0) ;; CHECK-NEXT: (i32.const 0) - ;; CHECK-NEXT: (i32.const 1) - ;; CHECK-NEXT: (i32.const 2) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) @@ -752,31 +748,29 @@ ;; CHECK-NEXT: ) (func $a (call_indirect - (param i32 i32) (i32.const 0) - (i32.const 1) - (i32.const 2) ) (call_indirect - (param i32 i32) (i32.const 0) - (i32.const 1) - (i32.const 2) ) ) ) ;; Test outlining works with call_indirect -;; 0 results, 0 params, 1 operand +;; 1 result, 0 params, 1 operand (module (table funcref) ;; CHECK: (type $0 (func)) + ;; CHECK: (type $1 (func (result i32))) + ;; CHECK: (table $0 0 funcref) ;; CHECK: (func $outline$ (type $0) - ;; CHECK-NEXT: (call_indirect $0 (type $0) - ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (call_indirect $0 (type $1) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) @@ -785,27 +779,33 @@ ;; CHECK-NEXT: (call $outline$) ;; CHECK-NEXT: ) (func $a - (call_indirect - (i32.const 0) + (drop + (call_indirect + (result i32) + (i32.const 0) + ) ) - (call_indirect - (i32.const 0) + (drop + (call_indirect + (result i32) + (i32.const 0) + ) ) ) ) ;; Test outlining works with call_indirect -;; 1 result, 0 params, 1 operand +;; 2 results, 0 params, 1 operand (module (table funcref) ;; CHECK: (type $0 (func)) - ;; CHECK: (type $1 (func (result i32))) + ;; CHECK: (type $1 (func (result i32 i32))) ;; CHECK: (table $0 0 funcref) ;; CHECK: (func $outline$ (type $0) - ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (tuple.drop 2 ;; CHECK-NEXT: (call_indirect $0 (type $1) ;; CHECK-NEXT: (i32.const 0) ;; CHECK-NEXT: ) @@ -817,15 +817,15 @@ ;; CHECK-NEXT: (call $outline$) ;; CHECK-NEXT: ) (func $a - (drop + (tuple.drop 2 (call_indirect - (result i32) + (result i32 i32) (i32.const 0) ) ) - (drop + (tuple.drop 2 (call_indirect - (result i32) + (result i32 i32) (i32.const 0) ) ) |