On 12/30/24 3:02 PM, Richard Sandiford wrote:
So it seems like it's a bit of a mess :(
If we do try to fix combine, I think something like the attached
would fit within the current scheme. It is a pure shift-for-shift
transformation, avoiding any extensions.
Will think more about it, but wanted to get the above stream of
consciousness out before I finish for the day :)
So your approach in simplify-rtx ended up much cleaner than mine; unless
there's some objection from you, I'd like to go with it. Obviously I'll
run it through the usual testing cycles first ;-)
jeff