summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/passes/Precompute.cpp3
-rw-r--r--test/passes/precompute.txt7
-rw-r--r--test/passes/precompute.wast7
3 files changed, 16 insertions, 1 deletions
diff --git a/src/passes/Precompute.cpp b/src/passes/Precompute.cpp
index 6f59fceb7..50c17510f 100644
--- a/src/passes/Precompute.cpp
+++ b/src/passes/Precompute.cpp
@@ -168,9 +168,10 @@ struct Precompute : public WalkerPass<PostWalker<Precompute, UnifiedExpressionVi
// Until engines implement v128.const and we have SIMD-aware optimizations
// that can break large v128.const instructions into smaller consts and
// splats, do not try to precompute v128 expressions.
- if (curr->type == v128) return;
+ if (isVectorType(curr->type)) return;
// try to evaluate this into a const
Flow flow = precomputeExpression(curr);
+ if (isVectorType(flow.value.type)) return;
if (flow.breaking()) {
if (flow.breakTo == NOTPRECOMPUTABLE_FLOW) return;
if (flow.breakTo == RETURN_FLOW) {
diff --git a/test/passes/precompute.txt b/test/passes/precompute.txt
index 8b2d82f64..f7f58f58f 100644
--- a/test/passes/precompute.txt
+++ b/test/passes/precompute.txt
@@ -217,4 +217,11 @@
(i32.const 0)
)
)
+ (func $no-simd-precompute-if (; 12 ;) (type $4) (result v128)
+ (return
+ (i32x4.splat
+ (i32.const 0)
+ )
+ )
+ )
)
diff --git a/test/passes/precompute.wast b/test/passes/precompute.wast
index 000835f4a..d6b1cc1b7 100644
--- a/test/passes/precompute.wast
+++ b/test/passes/precompute.wast
@@ -311,4 +311,11 @@
(i32.const 0)
)
)
+ (func $no-simd-precompute-if (result v128)
+ (return
+ (i32x4.splat
+ (i32.const 0)
+ )
+ )
+ )
)