]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
aarch64: Allow moves after tied-register intrinsics (2nd edition)
authorRichard Sandiford <richard.sandiford@arm.com>
Tue, 16 May 2023 10:54:57 +0000 (11:54 +0100)
committerRichard Sandiford <richard.sandiford@arm.com>
Tue, 16 May 2023 10:54:57 +0000 (11:54 +0100)
I missed these two in g:4ff89f10ca0d41f9cfa76 because I was
testing on a system that didn't support big-endian compilation.
Testing on aarch64_be-elf shows no other related failures
(although the overall results are worse than for little-endian).

gcc/testsuite/
* gcc.target/aarch64/advsimd-intrinsics/bfdot-2.c: Allow mves
to occur after the intrinsic instruction, rather than requiring
them to happen before.
* gcc.target/aarch64/advsimd-intrinsics/vdot-3-2.c: Likewise.

gcc/testsuite/gcc.target/aarch64/advsimd-intrinsics/bfdot-2.c
gcc/testsuite/gcc.target/aarch64/advsimd-intrinsics/vdot-3-2.c

index ae0a953f7b4e5fc5ede7e868859c1d8b5c28950d..9975edb8fdb9a00362aab75cce1230f884315bef 100644 (file)
@@ -70,8 +70,13 @@ float32x4_t ufooq_lane(float32x4_t r, bfloat16x8_t x, bfloat16x4_t y)
 
 /*
 **ufoo_untied:
+** (
 **     mov     v0.8b, v1.8b
 **     bfdot   v0.2s, (v2.4h, v3.4h|v3.4h, v2.4h)
+** |
+**     bfdot   v1.2s, (v2.4h, v3.4h|v3.4h, v2.4h)
+**     mov     v0.8b, v1.8b
+** )
 **     ret
 */
 float32x2_t ufoo_untied(float32x4_t unused, float32x2_t r, bfloat16x4_t x, bfloat16x4_t y)
@@ -81,8 +86,13 @@ float32x2_t ufoo_untied(float32x4_t unused, float32x2_t r, bfloat16x4_t x, bfloa
 
 /*
 **ufooq_lane_untied:
+** (
 **     mov     v0.16b, v1.16b
 **     bfdot   v0.4s, v2.8h, v3.2h\[1\]
+** |
+**     bfdot   v1.4s, v2.8h, v3.2h\[1\]
+**     mov     v0.16b, v1.16b
+** )
 **     ret
 */
 float32x4_t ufooq_lane_untied(float32x4_t unused, float32x4_t r, bfloat16x8_t x, bfloat16x4_t y)
index 61c7c51f5ec905e68b211962929708fd87a85598..76787f6beddf18b368e3499c50e5637ac706654a 100644 (file)
@@ -115,8 +115,13 @@ int32x4_t sfooq_laneq (int32x4_t r, int8x16_t x, uint8x16_t y)
 
 /*
 **ufoo_untied:
+** (
 **     mov     v0\.8b, v1\.8b
 **     usdot   v0\.2s, v2\.8b, v3\.8b
+** |
+**     usdot   v1\.2s, v2\.8b, v3\.8b
+**     mov     v0\.8b, v1\.8b
+** )
 **     ret
 */
 int32x2_t ufoo_untied (int32x2_t unused, int32x2_t r, uint8x8_t x, int8x8_t y)
@@ -126,8 +131,13 @@ int32x2_t ufoo_untied (int32x2_t unused, int32x2_t r, uint8x8_t x, int8x8_t y)
 
 /*
 **ufooq_laneq_untied:
+** (
 **     mov     v0\.16b, v1\.16b
 **     usdot   v0\.4s, v2\.16b, v3\.4b\[3\]
+** |
+**     usdot   v1\.4s, v2\.16b, v3\.4b\[3\]
+**     mov     v0\.16b, v1\.16b
+** )
 **     ret
 */
 int32x4_t ufooq_laneq_untied (int32x2_t unused, int32x4_t r, uint8x16_t x, int8x16_t y)