[prev in list] [next in list] [prev in thread] [next in thread] 

List:       gcc-patches
Subject:    Re: [PATCH 2/2] MATCH: add some of what phiopt's builtin_zero_pattern did
From:       Jeff Law via Gcc-patches <gcc-patches () gcc ! gnu ! org>
Date:       2023-04-30 19:13:53
Message-ID: 2a02f27e-4d6d-9245-dc04-5c9f78c4064d () gmail ! com
[Download RAW message or body]



On 4/28/23 11:02, Andrew Pinski via Gcc-patches wrote:
> This adds the patterns for
> POPCOUNT BSWAP FFS PARITY CLZ and CTZ.
> For "a != 0 ? FUNC(a) : CST".
> CLRSB, CLRSBL, and CLRSBLL will be moved next.
> 
> Note this is not enough to remove
> cond_removal_in_builtin_zero_pattern as we need to handle
> the case where there is an NOP_CONVERT inside the conditional
> to move out of the condition inside match_simplify_replacement.
> 
> OK? Bootstrapped and tested on x86_64-linux-gnu.
> 
> gcc/ChangeLog:
> 
> 	* match.pd: Add patterns for "a != 0 ? FUNC(a) : CST"
> 	for FUNC of POPCOUNT BSWAP FFS PARITY CLZ and CTZ.
OK
jeff
[prev in list] [next in list] [prev in thread] [next in thread]