On Fri, 18 Nov 2022 at 20:52, Jeff Law <jeffreya...@gmail.com> wrote:
> Something to consider. We're gaining a lot of > > (subreg:SI (reg:DI) 0) kinds of operands. > > > Would it make sense to make an operand predicate that accepted > > (reg:SI) or (subreg:SI (reg:DI) 0)? > > > It will reduce my compaints about subregs :-) But the real reason I'm > suggesting we consider adding such a predicate is, AFIACT, it it gives > combine a chance to eliminate the subreg. I haven't actually tested > this, but it seems like it might be worth a quick experiment independent > of these patches (and probably targeted towards gcc-14 rather than gcc-13). > I like the idea. Definitively something to consider. We'll give this a try. --Philipp.
