Kmeakin edited PR #6053 from imul-cancel to main:
imul-cancel
main
;; ineg(x) * ineg(y) == x*y.
cfallin submitted PR review.
cfallin has enabled auto merge for PR #6053.
cfallin merged PR #6053.
Last updated: Jan 24 2025 at 00:11 UTC