LoongArch:Implement avg and sad standard names.

gcc/ChangeLog:

	* config/loongarch/lasx.md
	(avg<mode>3_ceil): New patterns.
	(uavg<mode>3_ceil): Ditto.
	(avg<mode>3_floor): Ditto.
	(uavg<mode>3_floor): Ditto.
	(usadv32qi): Ditto.
	(ssadv32qi): Ditto.
	* config/loongarch/lsx.md
	(avg<mode>3_ceil): New patterns.
	(uavg<mode>3_ceil): Ditto.
	(avg<mode>3_floor): Ditto.
	(uavg<mode>3_floor): Ditto.
	(usadv16qi): Ditto.
	(ssadv16qi): Ditto.

gcc/testsuite/ChangeLog:

	* gcc.target/loongarch/avg-ceil-lasx.c: New test.
	* gcc.target/loongarch/avg-ceil-lsx.c: New test.
	* gcc.target/loongarch/avg-floor-lasx.c: New test.
	* gcc.target/loongarch/avg-floor-lsx.c: New test.
	* gcc.target/loongarch/sad-lasx.c: New test.
	* gcc.target/loongarch/sad-lsx.c: New test.
This commit is contained in:
Jiahao Xu 2023-10-18 17:36:12 +08:00 committed by Lulu Cheng
parent 0308461d9d
commit a7b7284fe1
8 changed files with 284 additions and 0 deletions

View file

@ -5171,3 +5171,81 @@
const0_rtx));
DONE;
})
(define_expand "avg<mode>3_ceil"
[(match_operand:ILASX_WHB 0 "register_operand")
(match_operand:ILASX_WHB 1 "register_operand")
(match_operand:ILASX_WHB 2 "register_operand")]
"ISA_HAS_LASX"
{
emit_insn (gen_lasx_xvavgr_s_<lasxfmt> (operands[0],
operands[1], operands[2]));
DONE;
})
(define_expand "uavg<mode>3_ceil"
[(match_operand:ILASX_WHB 0 "register_operand")
(match_operand:ILASX_WHB 1 "register_operand")
(match_operand:ILASX_WHB 2 "register_operand")]
"ISA_HAS_LASX"
{
emit_insn (gen_lasx_xvavgr_u_<lasxfmt_u> (operands[0],
operands[1], operands[2]));
DONE;
})
(define_expand "avg<mode>3_floor"
[(match_operand:ILASX_WHB 0 "register_operand")
(match_operand:ILASX_WHB 1 "register_operand")
(match_operand:ILASX_WHB 2 "register_operand")]
"ISA_HAS_LASX"
{
emit_insn (gen_lasx_xvavg_s_<lasxfmt> (operands[0],
operands[1], operands[2]));
DONE;
})
(define_expand "uavg<mode>3_floor"
[(match_operand:ILASX_WHB 0 "register_operand")
(match_operand:ILASX_WHB 1 "register_operand")
(match_operand:ILASX_WHB 2 "register_operand")]
"ISA_HAS_LASX"
{
emit_insn (gen_lasx_xvavg_u_<lasxfmt_u> (operands[0],
operands[1], operands[2]));
DONE;
})
(define_expand "usadv32qi"
[(match_operand:V8SI 0 "register_operand")
(match_operand:V32QI 1 "register_operand")
(match_operand:V32QI 2 "register_operand")
(match_operand:V8SI 3 "register_operand")]
"ISA_HAS_LASX"
{
rtx t1 = gen_reg_rtx (V32QImode);
rtx t2 = gen_reg_rtx (V16HImode);
rtx t3 = gen_reg_rtx (V8SImode);
emit_insn (gen_lasx_xvabsd_u_bu (t1, operands[1], operands[2]));
emit_insn (gen_lasx_xvhaddw_h_b (t2, t1, t1));
emit_insn (gen_lasx_xvhaddw_w_h (t3, t2, t2));
emit_insn (gen_addv8si3 (operands[0], t3, operands[3]));
DONE;
})
(define_expand "ssadv32qi"
[(match_operand:V8SI 0 "register_operand")
(match_operand:V32QI 1 "register_operand")
(match_operand:V32QI 2 "register_operand")
(match_operand:V8SI 3 "register_operand")]
"ISA_HAS_LASX"
{
rtx t1 = gen_reg_rtx (V32QImode);
rtx t2 = gen_reg_rtx (V16HImode);
rtx t3 = gen_reg_rtx (V8SImode);
emit_insn (gen_lasx_xvabsd_s_b (t1, operands[1], operands[2]));
emit_insn (gen_lasx_xvhaddw_h_b (t2, t1, t1));
emit_insn (gen_lasx_xvhaddw_w_h (t3, t2, t2));
emit_insn (gen_addv8si3 (operands[0], t3, operands[3]));
DONE;
})

View file

@ -3581,6 +3581,84 @@
DONE;
})
(define_expand "avg<mode>3_ceil"
[(match_operand:ILSX_WHB 0 "register_operand")
(match_operand:ILSX_WHB 1 "register_operand")
(match_operand:ILSX_WHB 2 "register_operand")]
"ISA_HAS_LSX"
{
emit_insn (gen_lsx_vavgr_s_<lsxfmt> (operands[0],
operands[1], operands[2]));
DONE;
})
(define_expand "uavg<mode>3_ceil"
[(match_operand:ILSX_WHB 0 "register_operand")
(match_operand:ILSX_WHB 1 "register_operand")
(match_operand:ILSX_WHB 2 "register_operand")]
"ISA_HAS_LSX"
{
emit_insn (gen_lsx_vavgr_u_<lsxfmt_u> (operands[0],
operands[1], operands[2]));
DONE;
})
(define_expand "avg<mode>3_floor"
[(match_operand:ILSX_WHB 0 "register_operand")
(match_operand:ILSX_WHB 1 "register_operand")
(match_operand:ILSX_WHB 2 "register_operand")]
"ISA_HAS_LSX"
{
emit_insn (gen_lsx_vavg_s_<lsxfmt> (operands[0],
operands[1], operands[2]));
DONE;
})
(define_expand "uavg<mode>3_floor"
[(match_operand:ILSX_WHB 0 "register_operand")
(match_operand:ILSX_WHB 1 "register_operand")
(match_operand:ILSX_WHB 2 "register_operand")]
"ISA_HAS_LSX"
{
emit_insn (gen_lsx_vavg_u_<lsxfmt_u> (operands[0],
operands[1], operands[2]));
DONE;
})
(define_expand "usadv16qi"
[(match_operand:V4SI 0 "register_operand")
(match_operand:V16QI 1 "register_operand")
(match_operand:V16QI 2 "register_operand")
(match_operand:V4SI 3 "register_operand")]
"ISA_HAS_LSX"
{
rtx t1 = gen_reg_rtx (V16QImode);
rtx t2 = gen_reg_rtx (V8HImode);
rtx t3 = gen_reg_rtx (V4SImode);
emit_insn (gen_lsx_vabsd_u_bu (t1, operands[1], operands[2]));
emit_insn (gen_lsx_vhaddw_h_b (t2, t1, t1));
emit_insn (gen_lsx_vhaddw_w_h (t3, t2, t2));
emit_insn (gen_addv4si3 (operands[0], t3, operands[3]));
DONE;
})
(define_expand "ssadv16qi"
[(match_operand:V4SI 0 "register_operand")
(match_operand:V16QI 1 "register_operand")
(match_operand:V16QI 2 "register_operand")
(match_operand:V4SI 3 "register_operand")]
"ISA_HAS_LSX"
{
rtx t1 = gen_reg_rtx (V16QImode);
rtx t2 = gen_reg_rtx (V8HImode);
rtx t3 = gen_reg_rtx (V4SImode);
emit_insn (gen_lsx_vabsd_s_b (t1, operands[1], operands[2]));
emit_insn (gen_lsx_vhaddw_h_b (t2, t1, t1));
emit_insn (gen_lsx_vhaddw_w_h (t3, t2, t2));
emit_insn (gen_addv4si3 (operands[0], t3, operands[3]));
DONE;
})
(define_insn "lsx_v<optab>wev_d_w<u>"
[(set (match_operand:V2DI 0 "register_operand" "=f")
(addsubmul:V2DI

View file

@ -0,0 +1,22 @@
/* { dg-do compile } */
/* { dg-options "-O3 -mlasx" } */
/* { dg-final { scan-assembler "xvavgr.b" } } */
/* { dg-final { scan-assembler "xvavgr.bu" } } */
/* { dg-final { scan-assembler "xvavgr.hu" } } */
/* { dg-final { scan-assembler "xvavgr.h" } } */
#define N 1024
#define TEST(TYPE, NAME) \
TYPE a_##NAME[N], b_##NAME[N], c_##NAME[N]; \
void f_##NAME (void) \
{ \
int i; \
for (i = 0; i < N; i++) \
a_##NAME[i] = (b_##NAME[i] + c_##NAME[i] + 1) >> 1; \
}
TEST(char, 1);
TEST(short, 2);
TEST(unsigned char, 3);
TEST(unsigned short, 4);

View file

@ -0,0 +1,22 @@
/* { dg-do compile } */
/* { dg-options "-O3 -mlsx" } */
/* { dg-final { scan-assembler "vavgr.b" } } */
/* { dg-final { scan-assembler "vavgr.bu" } } */
/* { dg-final { scan-assembler "vavgr.hu" } } */
/* { dg-final { scan-assembler "vavgr.h" } } */
#define N 1024
#define TEST(TYPE, NAME) \
TYPE a_##NAME[N], b_##NAME[N], c_##NAME[N]; \
void f_##NAME (void) \
{ \
int i; \
for (i = 0; i < N; i++) \
a_##NAME[i] = (b_##NAME[i] + c_##NAME[i] + 1) >> 1; \
}
TEST(char, 1);
TEST(short, 2);
TEST(unsigned char, 3);
TEST(unsigned short, 4);

View file

@ -0,0 +1,22 @@
/* { dg-do compile } */
/* { dg-options "-O3 -mlasx" } */
/* { dg-final { scan-assembler "xvavg.b" } } */
/* { dg-final { scan-assembler "xvavg.bu" } } */
/* { dg-final { scan-assembler "xvavg.hu" } } */
/* { dg-final { scan-assembler "xvavg.h" } } */
#define N 1024
#define TEST(TYPE, NAME) \
TYPE a_##NAME[N], b_##NAME[N], c_##NAME[N]; \
void f_##NAME (void) \
{ \
int i; \
for (i = 0; i < N; i++) \
a_##NAME[i] = (b_##NAME[i] + c_##NAME[i]) >> 1; \
}
TEST(char, 1);
TEST(short, 2);
TEST(unsigned char, 3);
TEST(unsigned short, 4);

View file

@ -0,0 +1,22 @@
/* { dg-do compile } */
/* { dg-options "-O3 -mlsx" } */
/* { dg-final { scan-assembler "vavg.b" } } */
/* { dg-final { scan-assembler "vavg.bu" } } */
/* { dg-final { scan-assembler "vavg.hu" } } */
/* { dg-final { scan-assembler "vavg.h" } } */
#define N 1024
#define TEST(TYPE, NAME) \
TYPE a_##NAME[N], b_##NAME[N], c_##NAME[N]; \
void f_##NAME (void) \
{ \
int i; \
for (i = 0; i < N; i++) \
a_##NAME[i] = (b_##NAME[i] + c_##NAME[i]) >> 1; \
}
TEST(char, 1);
TEST(short, 2);
TEST(unsigned char, 3);
TEST(unsigned short, 4);

View file

@ -0,0 +1,20 @@
/* { dg-do compile } */
/* { dg-options "-O3 -mlasx" } */
#define N 1024
#define TEST(SIGN) \
SIGN char a_##SIGN[N], b_##SIGN[N]; \
int f_##SIGN (void) \
{ \
int i, sum = 0; \
for (i = 0; i < N; i++) \
sum += __builtin_abs (a_##SIGN[i] - b_##SIGN[i]);; \
return sum; \
}
TEST(signed);
TEST(unsigned);
/* { dg-final { scan-assembler {\txvabsd.bu\t} } } */
/* { dg-final { scan-assembler {\txvabsd.b\t} } } */

View file

@ -0,0 +1,20 @@
/* { dg-do compile } */
/* { dg-options "-O3 -mlsx" } */
#define N 1024
#define TEST(SIGN) \
SIGN char a_##SIGN[N], b_##SIGN[N]; \
int f_##SIGN (void) \
{ \
int i, sum = 0; \
for (i = 0; i < N; i++) \
sum += __builtin_abs (a_##SIGN[i] - b_##SIGN[i]);; \
return sum; \
}
TEST(signed);
TEST(unsigned);
/* { dg-final { scan-assembler {\tvabsd.bu\t} } } */
/* { dg-final { scan-assembler {\tvabsd.b\t} } } */