diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit/passes/optimize-instructions-multivalue.wast | 103 |
1 files changed, 71 insertions, 32 deletions
diff --git a/test/lit/passes/optimize-instructions-multivalue.wast b/test/lit/passes/optimize-instructions-multivalue.wast index 310505360..0e7938417 100644 --- a/test/lit/passes/optimize-instructions-multivalue.wast +++ b/test/lit/passes/optimize-instructions-multivalue.wast @@ -3,72 +3,111 @@ (module ;; 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: (if (result i32 i32) ;; CHECK-NEXT: (local.get $x) - ;; CHECK-NEXT: (tuple.make - ;; CHECK-NEXT: (i32.const 0) - ;; CHECK-NEXT: (i32.const 1) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: (tuple.make - ;; CHECK-NEXT: (i32.const 2) - ;; CHECK-NEXT: (i32.const 3) - ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (local.get $tuple) + ;; CHECK-NEXT: (local.get $tuple2) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) (func $if-identical-arms-tuple (param $x i32) (result i32) + (local $tuple (i32 i32)) + (local $tuple2 (i32 i32)) (if (result i32) (local.get $x) ;; The tuple.extract can be hoisted out. (tuple.extract 0 - (tuple.make - (i32.const 0) - (i32.const 1) - ) + (local.get $tuple) ) (tuple.extract 0 - (tuple.make - (i32.const 2) - (i32.const 3) - ) + (local.get $tuple2) ) ) ) ;; CHECK: (func $select-identical-arms-tuple (param $x i32) (result i32) + ;; CHECK-NEXT: (local $tuple (i32 i32)) + ;; CHECK-NEXT: (local $tuple2 (i32 i32)) ;; CHECK-NEXT: (select ;; CHECK-NEXT: (tuple.extract 0 - ;; CHECK-NEXT: (tuple.make - ;; CHECK-NEXT: (i32.const 0) - ;; CHECK-NEXT: (i32.const 1) - ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (local.get $tuple) ;; CHECK-NEXT: ) ;; CHECK-NEXT: (tuple.extract 0 - ;; CHECK-NEXT: (tuple.make - ;; CHECK-NEXT: (i32.const 2) - ;; CHECK-NEXT: (i32.const 3) - ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (local.get $tuple2) ;; CHECK-NEXT: ) ;; CHECK-NEXT: (local.get $x) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) (func $select-identical-arms-tuple (param $x i32) (result i32) + (local $tuple (i32 i32)) + (local $tuple2 (i32 i32)) (select ;; The tuple.extract cannot be hoisted out, as the spec disallows a ;; select with multiple values in its arms. (tuple.extract 0 - (tuple.make - (i32.const 0) - (i32.const 1) - ) + (local.get $tuple) ) (tuple.extract 0 - (tuple.make - (i32.const 2) - (i32.const 3) - ) + (local.get $tuple2) ) (local.get $x) ) ) + + ;; CHECK: (func $extract-make (param $x i32) (param $y i32) (result i32) + ;; CHECK-NEXT: (local $2 i32) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (local.tee $2 + ;; CHECK-NEXT: (local.get $x) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (local.get $2) + ;; 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.make + (local.get $x) + (local.get $y) + ) + ) + ) + + ;; CHECK: (func $extract-make-2 (param $x i32) (param $y i32) (result i32) + ;; CHECK-NEXT: (local $2 i32) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (local.tee $2 + ;; CHECK-NEXT: (local.get $y) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (local.get $2) + ;; CHECK-NEXT: ) + (func $extract-make-2 (param $x i32) (param $y i32) (result i32) + ;; As above, but the second lane. + (tuple.extract 1 + (tuple.make + (local.get $x) + (local.get $y) + ) + ) + ) + + ;; CHECK: (func $extract-make-unreachable (param $x i32) (param $y i32) (result i32) + ;; CHECK-NEXT: (tuple.extract 0 + ;; CHECK-NEXT: (tuple.make + ;; CHECK-NEXT: (unreachable) + ;; CHECK-NEXT: (local.get $y) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $extract-make-unreachable (param $x i32) (param $y i32) (result i32) + (tuple.extract 0 + (tuple.make + (unreachable) ;; because of this we should do nothing + (local.get $y) + ) + ) + ) ) |