tree-optimization/112344 - relax final value-replacement fix
commita7d82b45edeed99a850595eee0e59d16c4df7aff
authorRichard Biener <rguenther@suse.de>
Thu, 23 Nov 2023 08:49:59 +0000 (23 09:49 +0100)
committerRichard Biener <rguenther@suse.de>
Fri, 24 Nov 2023 07:49:59 +0000 (24 08:49 +0100)
tree7a8a8d1e8e597bc77cd8867ca52bfd139cf5f067
parentd83013b88b74d1f1f774d94ca950d3b6dba26e5d
tree-optimization/112344 - relax final value-replacement fix

The following tries to reduce the number of cases we use an unsigned
type for the addition when we know the original signed increment was
OK which is when the total unsigned increment computed fits the signed
type as well.

This fixes the observed testsuite fallout.

PR tree-optimization/112344
* tree-chrec.cc (chrec_apply): Only use an unsigned add
when the overall increment doesn't fit the signed type.
gcc/tree-chrec.cc