This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Fix PR78546
- From: Bernd Edlinger <bernd dot edlinger at hotmail dot de>
- To: Richard Biener <rguenther at suse dot de>
- Cc: "gcc-patches at gcc dot gnu dot org" <gcc-patches at gcc dot gnu dot org>
- Date: Mon, 28 Nov 2016 16:23:12 +0000
- Subject: Re: [PATCH] Fix PR78546
- Authentication-results: sourceware.org; auth=none
- Authentication-results: suse.de; dkim=none (message not signed) header.d=none;suse.de; dmarc=none action=none header.from=hotmail.de;
- Spamdiagnosticmetadata: NSPM
- Spamdiagnosticoutput: 1:99
Hi Richard,
I am just wondering if this might be a mistake,
because this looks somehow odd:
> + /* CST - (CST - A) -> CST - A */
> + (simplify
> + (minus CONSTANT_CLASS_P@1 (minus CONSTANT_CLASS_P@2 @0))
> + (with { tree cst = const_binop (MINUS_EXPR, type, @1, @2); }
> + (if (cst && !TREE_OVERFLOW (cst))
> + (minus { cst; } @0))))
isn't CST1 - (CST2 - A) == (CST1 - CST2) + A
thus (plus { cst; } @0) ??
Bernd.