afonso360 edited PR #6555:
:wave: Hey,
This PR adds the widening
subinstructions. These are similar to the instructions added in #6542. The only difference is that the rules are not commutative so we have slightly fewer of them.That PR explains how these instructions work in a slightly more detailed way. We have the exact same instructions for both
addandsub.
fitzgen submitted PR review:
LGTM, thanks!
fitzgen merged PR #6555.
Last updated: Dec 06 2025 at 06:05 UTC