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: Nov 22 2024 at 16:03 UTC