On 10/19/20 6:36 AM, Aldy Hernandez wrote:
The test is trying to shift by 129, but the underlying type is 128 bits.
This causes low_bits to wrap around to -1 and things go bad really
quick.
Attached is my proposed solution.
Andrew, do you have a preference on how to fix this?
If we know we are shifting by the precision of the object, or more, we
cant tell anything about the operand... So just return varying I think.
The code is eventually just going to create a mask over all the bits
and come up with varying anyway.
Andrew
