fitzgen opened issue #5270:
This would let us reuse existing immediate-encoding optimizations for rewriting
value >= C + 1intovalue > CwhenC + 1is 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 <= valueintovalue >= constand 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 06 2025 at 06:05 UTC