On 11/8/22 12:57, Philipp Tomsich wrote:
gcc/ChangeLog:
* config/riscv/bitmanip.md: Handle corner-cases for combine
when chaining slli(.uw)? + addw
gcc/testsuite/ChangeLog:
* gcc.target/riscv/zba-shNadd-04.c: New test.
OK.
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).
jeff