On 7/13/2026 2:16 AM, Richard Biener wrote:
On Fri, Jul 10, 2026 at 7:15 PM Odysseas Georgoudis <[email protected]> wrote:
Hi Richard, Jeff,
Thanks for the review. I have addressed the comments in v2:
- Added !TYPE_SATURATING to the sign-test ABS transformation.
- Added the GENERIC side-effect guard so that the transformation does not
change the number of evaluations of X.
- Changed the testcase to inspect the earlier forwprop1 dump.
- Updated the _Bool case to use a single converted value.
- Added a direct check for the five conditional-negate forms.
V2 was rebuilt successfully on x86_64-pc-linux-gnu. The individual pr113894.c
test and the complete gcc.dg/tree-ssa/tree-ssa.exp suite pass with no
unexpected failures.
LGTM
And pushed.
jeff
