diff options
| author | Thomas Lively <7121787+tlively@users.noreply.github.com> | 2020-03-10 18:52:50 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-10 18:52:50 -0700 |
| commit | 0abc9ce8e9676c95f7ff572529eebf3018179dad (patch) | |
| tree | cfe650786faef0e072ed426d70590a29095031ca /test/passes/precompute_all-features.wast | |
| parent | 8f16059d3c29e285d4effed7f0c1f84c1f2f4d9d (diff) | |
| download | binaryen-0abc9ce8e9676c95f7ff572529eebf3018179dad.tar.gz binaryen-0abc9ce8e9676c95f7ff572529eebf3018179dad.tar.bz2 binaryen-0abc9ce8e9676c95f7ff572529eebf3018179dad.zip | |
Update Precompute to handle tuples (#2687)
This involves replacing `Literal::makeZero` with `Literal::makeZeroes`
and `Literal::makeSingleZero` and updating `isConstantExpression` to
handle constant tuples as well. Also makes `Literals` its own struct
and adds convenience methods on it.
Diffstat (limited to 'test/passes/precompute_all-features.wast')
| -rw-r--r-- | test/passes/precompute_all-features.wast | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/test/passes/precompute_all-features.wast b/test/passes/precompute_all-features.wast index 74b8f1317..da755bde6 100644 --- a/test/passes/precompute_all-features.wast +++ b/test/passes/precompute_all-features.wast @@ -48,6 +48,22 @@ (i32.const 1) ) ) + (drop + (tuple.make + (tuple.extract 0 + (tuple.make + (i32.const 42) + (i32.const 0) + ) + ) + (tuple.extract 1 + (tuple.make + (i64.const 0) + (i64.const 42) + ) + ) + ) + ) (loop $in (br $in) ) @@ -344,6 +360,23 @@ (i32.const 12) ) ) + (func $tuple-precompute (result i32 i64) + (tuple.make + (tuple.extract 0 + (tuple.make + (i32.const 42) + (i32.const 0) + ) + ) + (tuple.extract 1 + (tuple.make + (i64.const 0) + (i64.const 42) + ) + ) + ) + ) + ;; Check if Precompute pass does not crash on reference types (func $reftype-test (result nullref) (ref.null) |