Jeff Law wrote:
On 9/11/26 4:32 AM, Dominic P wrote:
...
gcc/ChangeLog:
* match.pd (ior_range_test, ior_range_test_1, ior_range_test_0):
New matchers.
(((X + C1) | (C2 - X)) < 0): New simplification.
((unsigned) ((X + C1) | (C2 - X)) >> (prec - 1)): Likewise.
(ABS_EXPR <X> > C): Likewise.
This patch caused:
https://gcc.gnu.org/PR127379
Bug 127379 - [17 Regression][GCN] ICE 'invalid vector types in nop
conversion' since r17-4207-g56c81c325cccf4
Andrea already analyzed (thanks!):
The patterns either need to limit themselves to scalar integral types
or use view_convert instead for nop conversions (which I think these
are).
Tobias
