From: Kyrylo Tkachov <kyrylo.tkachov@arm.com>
Date: Sun, 23 Apr 2023 13:40:17 +0000 (+0100)
Subject: aarch64: Add vect_concat with zeroes annotation to addp pattern
X-Git-Tag: basepoints/gcc-15~9961
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3b13c59c835f92b353ef318398e39907cdeec4fa;p=thirdparty%2Fgcc.git

aarch64: Add vect_concat with zeroes annotation to addp pattern

Similar to others, the addp pattern can be safely annotated with <vczle><vczbe> to create
the implicit vec_concat-with-zero variants.

Bootstrapped and tested on aarch64-none-linux-gnu and aarch64_be-none-elf.

gcc/ChangeLog:

	PR target/99195
	* config/aarch64/aarch64-simd.md (aarch64_addp<mode>): Rename to...
	(aarch64_addp<mode><vczle><vczbe>): ... This.

gcc/testsuite/ChangeLog:

	PR target/99195
	* gcc.target/aarch64/simd/pr99195_1.c: Add testing for vpadd intrinsics.
---

diff --git a/gcc/config/aarch64/aarch64-simd.md b/gcc/config/aarch64/aarch64-simd.md
index adcad56cf553..4a1ec71995da 100644
--- a/gcc/config/aarch64/aarch64-simd.md
+++ b/gcc/config/aarch64/aarch64-simd.md
@@ -6767,7 +6767,7 @@
 
 ;; addp
 
-(define_insn "aarch64_addp<mode>"
+(define_insn "aarch64_addp<mode><vczle><vczbe>"
   [(set (match_operand:VDQ_I 0 "register_operand" "=w")
         (unspec:VDQ_I
           [(match_operand:VDQ_I 1 "register_operand" "w")
diff --git a/gcc/testsuite/gcc.target/aarch64/simd/pr99195_1.c b/gcc/testsuite/gcc.target/aarch64/simd/pr99195_1.c
index 3ddd5a37af03..3fe0e53bcd08 100644
--- a/gcc/testsuite/gcc.target/aarch64/simd/pr99195_1.c
+++ b/gcc/testsuite/gcc.target/aarch64/simd/pr99195_1.c
@@ -37,13 +37,18 @@ OPFOUR (T, IS, OS, S, OP2, OP3, OP4, OP5)
 FUNC (T, IS, OS, OP1, S)                \
 OPFIVE (T, IS, OS, S, OP2, OP3, OP4, OP5, OP6)
 
-OPSIX (int8, 8, 16, s8, add, sub, mul, and, orr, eor)
-OPSIX (int16, 4, 8, s16, add, sub, mul, and, orr, eor)
-OPSIX (int32, 2, 4, s32, add, sub, mul, and, orr, eor)
+#define OPSEVEN(T,IS,OS,S,OP1,OP2,OP3,OP4,OP5,OP6,OP7)        \
+FUNC (T, IS, OS, OP1, S)                \
+OPSIX (T, IS, OS, S, OP2, OP3, OP4, OP5, OP6, OP7)
+
+
+OPSEVEN (int8, 8, 16, s8, padd, add, sub, mul, and, orr, eor)
+OPSEVEN (int16, 4, 8, s16, padd, add, sub, mul, and, orr, eor)
+OPSEVEN (int32, 2, 4, s32, padd, add, sub, mul, and, orr, eor)
 
-OPSIX (uint8, 8, 16, u8, add, sub, mul, and, orr, eor)
-OPSIX (uint16, 4, 8, u16, add, sub, mul, and, orr, eor)
-OPSIX (uint32, 2, 4, u32, add, sub, mul, and, orr, eor)
+OPSEVEN (uint8, 8, 16, u8, padd, add, sub, mul, and, orr, eor)
+OPSEVEN (uint16, 4, 8, u16, padd, add, sub, mul, and, orr, eor)
+OPSEVEN (uint32, 2, 4, u32, padd, add, sub, mul, and, orr, eor)
 
 /* { dg-final { scan-assembler-not {\tfmov\t} } }  */
 /* { dg-final { scan-assembler-not {\tmov\t} } }  */