OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

arm: Require MVE memory operand for destination of vst1q intrinsic

Browse Source 
Previously, the machine description patterns for vst1q accepted a generic memory
operand for the destination, which could lead to an unrecognised builtin when
expanding vst1q* intrinsics. This change fixes the pattern to only accept MVE
memory operands.

gcc/ChangeLog:

	PR target/96683
	* config/arm/mve.md (mve_vst1q_f<mode>): Require MVE memory operand for
	destination.
	(mve_vst1q_<supf><mode>): Likewise.

gcc/testsuite/ChangeLog:

	PR target/96683
	* gcc.target/arm/mve/intrinsics/vst1q_f16.c: New test.
	* gcc.target/arm/mve/intrinsics/vst1q_s16.c: New test.
	* gcc.target/arm/mve/intrinsics/vst1q_s8.c: New test.
	* gcc.target/arm/mve/intrinsics/vst1q_u16.c: New test.
	* gcc.target/arm/mve/intrinsics/vst1q_u8.c: New test.
This commit is contained in:
Joe Ramsay 2020-08-19 12:34:06 +00:00 committed by Joe Ramsay
parent f9b9832837
commit 91d206adfe
6 changed files with 37 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gcc/config/arm/mve.md
View File

@ -9330,7 +9330,7 @@
[(set_attr "length" "4")])
(define_expand "mve_vst1q_f<mode>"
[(match_operand:<MVE_CNVT> 0 "memory_operand")
[(match_operand:<MVE_CNVT> 0 "mve_memory_operand")
(unspec:<MVE_CNVT> [(match_operand:MVE_0 1 "s_register_operand")] VST1Q_F)
]
"TARGET_HAVE_MVE || TARGET_HAVE_MVE_FLOAT"
@ -9340,7 +9340,7 @@
})
(define_expand "mve_vst1q_<supf><mode>"
[(match_operand:MVE_2 0 "memory_operand")
[(match_operand:MVE_2 0 "mve_memory_operand")
(unspec:MVE_2 [(match_operand:MVE_2 1 "s_register_operand")] VST1Q)
]
"TARGET_HAVE_MVE"

10
gcc/testsuite/gcc.target/arm/mve/intrinsics/vst1q_f16.c
View File

@ -10,12 +10,16 @@ foo (float16_t * addr, float16x8_t value)
vst1q_f16 (addr, value);
}
/* { dg-final { scan-assembler "vstrh.16" } } */
void
foo1 (float16_t * addr, float16x8_t value)
{
vst1q (addr, value);
}
/* { dg-final { scan-assembler "vstrh.16" } } */
/* { dg-final { scan-assembler-times "vstrh.16" 2 } } */
void
foo2 (float16_t a, float16x8_t x)
{
vst1q (&a, x);
}

10
gcc/testsuite/gcc.target/arm/mve/intrinsics/vst1q_s16.c
View File

@ -10,12 +10,16 @@ foo (int16_t * addr, int16x8_t value)
vst1q_s16 (addr, value);
}
/* { dg-final { scan-assembler "vstrh.16" } } */
void
foo1 (int16_t * addr, int16x8_t value)
{
vst1q (addr, value);
}
/* { dg-final { scan-assembler "vstrh.16" } } */
/* { dg-final { scan-assembler-times "vstrh.16" 2 } } */
void
foo2 (int16_t a, int16x8_t x)
{
vst1q (&a, x);
}

10
gcc/testsuite/gcc.target/arm/mve/intrinsics/vst1q_s8.c
View File

@ -10,12 +10,16 @@ foo (int8_t * addr, int8x16_t value)
vst1q_s8 (addr, value);
}
/* { dg-final { scan-assembler "vstrb.8" } } */
void
foo1 (int8_t * addr, int8x16_t value)
{
vst1q (addr, value);
}
/* { dg-final { scan-assembler "vstrb.8" } } */
/* { dg-final { scan-assembler-times "vstrb.8" 2 } } */
void
foo2 (int8_t a, int8x16_t x)
{
vst1q (&a, x);
}

10
gcc/testsuite/gcc.target/arm/mve/intrinsics/vst1q_u16.c
View File

@ -10,12 +10,16 @@ foo (uint16_t * addr, uint16x8_t value)
vst1q_u16 (addr, value);
}
/* { dg-final { scan-assembler "vstrh.16" } } */
void
foo1 (uint16_t * addr, uint16x8_t value)
{
vst1q (addr, value);
}
/* { dg-final { scan-assembler "vstrh.16" } } */
/* { dg-final { scan-assembler-times "vstrh.16" 2 } } */
void
foo2 (uint16_t a, uint16x8_t x)
{
vst1q (&a, x);
}

10
gcc/testsuite/gcc.target/arm/mve/intrinsics/vst1q_u8.c
View File

@ -10,12 +10,16 @@ foo (uint8_t * addr, uint8x16_t value)
vst1q_u8 (addr, value);
}
/* { dg-final { scan-assembler "vstrb.8" } } */
void
foo1 (uint8_t * addr, uint8x16_t value)
{
vst1q (addr, value);
}
/* { dg-final { scan-assembler "vstrb.8" } } */
/* { dg-final { scan-assembler-times "vstrb.8" 2 } } */
void
foo2 (uint8_t a, uint8x16_t x)
{
vst1q (&a, x);
}