diff options
Diffstat (limited to 'test/lit/passes/flatten_all-features.wast')
| -rw-r--r-- | test/lit/passes/flatten_all-features.wast | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/test/lit/passes/flatten_all-features.wast b/test/lit/passes/flatten_all-features.wast index aa3dc7578..2ba7c6954 100644 --- a/test/lit/passes/flatten_all-features.wast +++ b/test/lit/passes/flatten_all-features.wast @@ -14,11 +14,11 @@ (type $2 (func (result i32))) ;; CHECK: (type $3 (func (param i32) (result i32))) (type $3 (func (param i32) (result i32))) - ;; CHECK: (type $4 (func (result f32))) - (type $4 (func (param i64 i64) (result i64))) - ;; CHECK: (type $4 (func (param i64 i64) (result i64))) + ;; CHECK: (type $5 (func (result f32))) - ;; CHECK: (type $6 (func (result anyref))) + ;; CHECK: (type $4 (func (param i64 i64) (result i64))) + (type $4 (func (param i64 i64) (result i64))) + ;; CHECK: (type $7 (func (result anyref))) ;; CHECK: (global $x (mut i32) (i32.const 0)) (global $x (mut i32) (i32.const 0)) @@ -833,7 +833,7 @@ (i32.const 0) ) ) - ;; CHECK: (func $a17 (type $4) (result f32) + ;; CHECK: (func $a17 (type $5) (result f32) ;; CHECK-NEXT: (local $var$0 f32) ;; CHECK-NEXT: (local $1 f32) ;; CHECK-NEXT: (local $2 f32) @@ -921,7 +921,7 @@ ) ) ) - ;; CHECK: (func $a19 (type $4) (result f32) + ;; CHECK: (func $a19 (type $5) (result f32) ;; CHECK-NEXT: (block $label$0 ;; CHECK-NEXT: (block $label$1 ;; CHECK-NEXT: (unreachable) @@ -3585,7 +3585,7 @@ ;; targets an outer branch whose return type is a supertype of the br_if's ;; value type, we need the value to be set into two locals: one with the outer ;; block's type, and one with its value type. - ;; CHECK: (func $subtype (type $6) (result anyref) + ;; CHECK: (func $subtype (type $7) (result anyref) ;; CHECK-NEXT: (local $0 eqref) ;; CHECK-NEXT: (local $1 anyref) ;; CHECK-NEXT: (local $2 nullref) |