fitzgen opened issue #5270:
This would let us reuse existing immediate-encoding optimizations for rewriting
value >= C + 1
intovalue > C
whenC + 1
is odd. In general this is pretty nice to have, since it turns a four instruction sequence into a two instruction sequence.Follow up issue from:
In the future, we could try and "rotate"
const <= value
intovalue >= const
and then go through this same optimization path so that we don't need to duplicate the rules but with tiny tweaks. I opted not to do that in this PR and removed the buggy optimizations to just get this land-able._Originally posted by @fitzgen in https://github.com/bytecodealliance/wasmtime/issues/5252#issuecomment-1315621231_
Last updated: Dec 23 2024 at 13:07 UTC