This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: [AArch64] Describe the 'BSL' RTL pattern more accurately.

From: Marcus Shawcroft <marcus dot shawcroft at arm dot com>
To: gcc-patches at gcc dot gnu dot org
Date: Thu, 25 Apr 2013 17:04:51 +0100
Subject: Re: [AArch64] Describe the 'BSL' RTL pattern more accurately.
References: <1366886196-6752-1-git-send-email-james dot greenhalgh at arm dot com>

On 25/04/13 11:36, James Greenhalgh wrote:


Hi,

The aarch64_simd_bsl<mode> pattern performs an operation which can
be described in C as:

(a & b) | (~a & c)

Rewriting this in RTL rather than using an UNSPEC allows for
better constant folding.

Regression tested for aarch64-none-elf with no regressions.

OK?

Thanks,
James

---
gcc/

2013-04-25  James Greenhalgh  <james.greenhalgh@arm.com>

	* config/aarch64/aarch64-simd.md
	(aarch64_simd_bsl<mode>_internal): Rewrite RTL to not use UNSPEC_BSL.
	(aarch64_simd_bsl<mode>): Likewise.
	* config/aarch64/iterators.md (unspec): Remove UNSPEC_BSL.


Looks OK to me.
/Marcus

References:
- [AArch64] Describe the 'BSL' RTL pattern more accurately.
  - From: James Greenhalgh

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]