summaryrefslogtreecommitdiff
path: root/src/passes/OptimizeInstructions.cpp
diff options
context:
space:
mode:
authorMax Graey <maxgraey@gmail.com>2020-09-30 22:21:30 +0300
committerGitHub <noreply@github.com>2020-09-30 12:21:30 -0700
commit11de8894505d37b7b970a2103bc5b1cfd094b115 (patch)
tree6c111c5f53da2516a571484d775be03b3601bbdb /src/passes/OptimizeInstructions.cpp
parent7e99538386e047bddc41ad50b9762b7d4b9611b8 (diff)
downloadbinaryen-11de8894505d37b7b970a2103bc5b1cfd094b115.tar.gz
binaryen-11de8894505d37b7b970a2103bc5b1cfd094b115.tar.bz2
binaryen-11de8894505d37b7b970a2103bc5b1cfd094b115.zip
Fold i32.eqz(wrap_i64(x)) -> i64.eqz(x) where possible (#3181)
Specifically, when `x` has at most 32 bits so that wrapping doesn't change its value.
Diffstat (limited to 'src/passes/OptimizeInstructions.cpp')
-rw-r--r--src/passes/OptimizeInstructions.cpp12
1 files changed, 12 insertions, 0 deletions
diff --git a/src/passes/OptimizeInstructions.cpp b/src/passes/OptimizeInstructions.cpp
index 1f65ae609..36d92e81f 100644
--- a/src/passes/OptimizeInstructions.cpp
+++ b/src/passes/OptimizeInstructions.cpp
@@ -330,6 +330,18 @@ struct OptimizeInstructions
return un;
}
}
+ {
+ // i32.eqz(i32.wrap_i64(x)) => i64.eqz(x)
+ // where maxBits(x) <= 32
+ Unary* inner;
+ Expression* x;
+ if (matches(curr, unary(EqZInt32, unary(&inner, WrapInt64, any(&x)))) &&
+ Bits::getMaxBits(x, this) <= 32) {
+ inner->op = EqZInt64;
+ inner->value = x;
+ return inner;
+ }
+ }
}
if (auto* select = curr->dynCast<Select>()) {