meithecatte opened PR #6086 from emit-cmp-test to main:
This implements the first part of the improvement described in #5869.
The PR template suggests I assign someone for review, but I have no idea who'd be best suited for this.
cc @elliottt
abrown submitted PR review.
abrown submitted PR review.
abrown created PR review comment:
As a note for others: I was a bit nervous about
reversehere and ended up looking up whetherinverseis actually the right thing — we can see fromrule 1, though, thatreverseis used there as well.
jameysharp submitted PR review.
jameysharp created PR review comment:
Yeah, I'm frequently confused between
inverseandreversetoo. I think both names are correct descriptions of what they do, but maybe later we can come up with alternate names that are less confusing. Maybe "negate" instead of "inverse", and "swap" instead of "reverse", for example.
meithecatte submitted PR review.
meithecatte created PR review comment:
@jameysharp Good idea! I think these are much better names.
alexcrichton submitted PR review.
alexcrichton created PR review comment:
To fix the issue on CI, I think this should work?
(let ( (size OperandSize (raw_operand_size_of_type ty)) (a Gpr (put_in_gpr a)) ) (icmp_cond_result (x64_test size a a) cc))Basically by forcing
ainto a register earlier it's not separately converted to bothGprMemandGpr
jameysharp submitted PR review.
jameysharp created PR review comment:
Yes, I think that's the right fix!
meithecatte updated PR #6086 from emit-cmp-test to main.
meithecatte submitted PR review.
meithecatte created PR review comment:
Yup, that works. I added a filetest that triggers this assertion, too.
jameysharp submitted PR review.
jameysharp merged PR #6086.
Last updated: Dec 13 2025 at 21:03 UTC