diff options
Diffstat (limited to 'test/lit/passes/optimize-instructions-multivalue.wast')
| -rw-r--r-- | test/lit/passes/optimize-instructions-multivalue.wast | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/test/lit/passes/optimize-instructions-multivalue.wast b/test/lit/passes/optimize-instructions-multivalue.wast index b7a871ce2..10b64e354 100644 --- a/test/lit/passes/optimize-instructions-multivalue.wast +++ b/test/lit/passes/optimize-instructions-multivalue.wast @@ -5,7 +5,7 @@ ;; CHECK: (func $if-identical-arms-tuple (param $x i32) (result i32) ;; CHECK-NEXT: (local $tuple (i32 i32)) ;; CHECK-NEXT: (local $tuple2 (i32 i32)) - ;; CHECK-NEXT: (tuple.extract 0 + ;; CHECK-NEXT: (tuple.extract 2 0 ;; CHECK-NEXT: (if (type $2) (result i32 i32) ;; CHECK-NEXT: (local.get $x) ;; CHECK-NEXT: (local.get $tuple) @@ -19,10 +19,10 @@ (if (result i32) (local.get $x) ;; The tuple.extract can be hoisted out. - (tuple.extract 0 + (tuple.extract 2 0 (local.get $tuple) ) - (tuple.extract 0 + (tuple.extract 2 0 (local.get $tuple2) ) ) @@ -31,10 +31,10 @@ ;; CHECK-NEXT: (local $tuple (i32 i32)) ;; CHECK-NEXT: (local $tuple2 (i32 i32)) ;; CHECK-NEXT: (select - ;; CHECK-NEXT: (tuple.extract 0 + ;; CHECK-NEXT: (tuple.extract 2 0 ;; CHECK-NEXT: (local.get $tuple) ;; CHECK-NEXT: ) - ;; CHECK-NEXT: (tuple.extract 0 + ;; CHECK-NEXT: (tuple.extract 2 0 ;; CHECK-NEXT: (local.get $tuple2) ;; CHECK-NEXT: ) ;; CHECK-NEXT: (local.get $x) @@ -46,10 +46,10 @@ (select ;; The tuple.extract cannot be hoisted out, as the spec disallows a ;; select with multiple values in its arms. - (tuple.extract 0 + (tuple.extract 2 0 (local.get $tuple) ) - (tuple.extract 0 + (tuple.extract 2 0 (local.get $tuple2) ) (local.get $x) @@ -67,7 +67,7 @@ ;; CHECK-NEXT: ) (func $extract-make (param $x i32) (param $y i32) (result i32) ;; An extraction from a make can be simplified to just get the right lane. - (tuple.extract 0 + (tuple.extract 2 0 (tuple.make 2 (local.get $x) (local.get $y) @@ -86,7 +86,7 @@ ;; CHECK-NEXT: ) (func $extract-make-2 (param $x i32) (param $y i32) (result i32) ;; As above, but the second lane. - (tuple.extract 1 + (tuple.extract 2 1 (tuple.make 2 (local.get $x) (local.get $y) @@ -95,7 +95,7 @@ ) ;; CHECK: (func $extract-make-unreachable (param $x i32) (param $y i32) (result i32) - ;; CHECK-NEXT: (tuple.extract 0 + ;; CHECK-NEXT: (tuple.extract 1 0 ;; CHECK-NEXT: (tuple.make 2 ;; CHECK-NEXT: (unreachable) ;; CHECK-NEXT: (local.get $y) @@ -103,7 +103,7 @@ ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) (func $extract-make-unreachable (param $x i32) (param $y i32) (result i32) - (tuple.extract 0 + (tuple.extract 2 0 (tuple.make 2 (unreachable) ;; because of this we should do nothing (local.get $y) |