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
reverse
here and ended up looking up whetherinverse
is actually the right thing — we can see fromrule 1
, though, thatreverse
is used there as well.
jameysharp submitted PR review.
jameysharp created PR review comment:
Yeah, I'm frequently confused between
inverse
andreverse
too. 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
a
into a register earlier it's not separately converted to bothGprMem
andGpr
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 23 2024 at 12:05 UTC