This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: match.pd: unsigned A - B > A --> A < B
- From: Marc Glisse <marc dot glisse at inria dot fr>
- To: Richard Biener <richard dot guenther at gmail dot com>
- Cc: GCC Patches <gcc-patches at gcc dot gnu dot org>
- Date: Wed, 27 Apr 2016 23:38:06 +0200 (CEST)
- Subject: Re: match.pd: unsigned A - B > A --> A < B
- Authentication-results: sourceware.org; auth=none
- References: <alpine dot DEB dot 2 dot 02 dot 1604241924390 dot 12491 at laptop-mg dot saclay dot inria dot fr> <CAFiYyc3zv5T_gkrbCf55a=1bPyyzQZyZt7f7E-GePmK1rhAKPA at mail dot gmail dot com> <alpine dot DEB dot 2 dot 20 dot 1604261726210 dot 2084 at laptop-mg dot saclay dot inria dot fr> <CAFiYyc2Krw9xGgHL6nJzKS=YN35aaiF1bLYLZmaXtSV-3SbzTQ at mail dot gmail dot com>
On Wed, 27 Apr 2016, Richard Biener wrote:
Please use types_match_p () instead
Ah, thanks, I couldn't remember the name and spent a bit of time looking
for it with a name like same_type, equal_types, etc, and eventually
assumed the patch adding it had never been committed when I saw we
still had several
(if ((GIMPLE && useless_type_conversion_p (type, TREE_TYPE (@0)))
|| (GENERIC && type == TREE_TYPE (@0)))
I'm fine if you want to disable all this on GENERIC
The main goal of disabling it was to avoid the ugly test, but with
types_match I left it enabled for both.
--
Marc Glisse