On Thu, Jan 23, 2025 at 8:43 AM Alexandre Oliva wrote:
>
>
> When comparing a signed narrow variable with a wider constant that has
> the bit corresponding to the variable's sign bit set, we would check
> that the constant is a sign-extension from that sign bit, and conclude
> that the compare fai
When comparing a signed narrow variable with a wider constant that has
the bit corresponding to the variable's sign bit set, we would check
that the constant is a sign-extension from that sign bit, and conclude
that the compare fails if it isn't.
When the signed variable is masked without gettin
