diff options
author | Max Graey <maxgraey@gmail.com> | 2020-09-30 22:21:30 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-30 12:21:30 -0700 |
commit | 11de8894505d37b7b970a2103bc5b1cfd094b115 (patch) | |
tree | 6c111c5f53da2516a571484d775be03b3601bbdb /src/passes/OptimizeInstructions.cpp | |
parent | 7e99538386e047bddc41ad50b9762b7d4b9611b8 (diff) | |
download | binaryen-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.cpp | 12 |
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>()) { |