On 3/30/25 8:54 PM, Bohan Lei wrote:
The RTL pattern has an "and" operation, which clears out the upper bits after
the shift operation. Since we have (INTVAL (operands[3]) >> INTVAL
(operands[2])) == 0xffffffff as a constraint, the RTL template and the split
code should be semantically identical. Also, the RTL template here is
technically the same as that of "*slliuw" in bitmanip.md, and the split code
shows the semantics of an slli.uw operation.
You're absolutely right. Not sure how I missed that. I'll try to take
another look at this tomorrow AM. It's just too late to try tonight.
Thanks,
jeff
