procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

RISC-V: Add testcases for unsigned scalar quad and oct .SAT_TRUNC form 3

Browse source 
This patch would like to add test cases for the unsigned scalar quad and
oct .SAT_TRUNC form 3.  Aka:

Form 3:
  #define DEF_SAT_U_TRUC_FMT_3(NT, WT)     \
  NT __attribute__((noinline))             \
  sat_u_truc_##WT##_to_##NT##_fmt_3 (WT x) \
  {                                        \
    WT max = (WT)(NT)-1;                   \
    return x <= max ? (NT)x : (NT) max;    \
  }

QUAD:
DEF_SAT_U_TRUC_FMT_3 (uint16_t, uint64_t)
DEF_SAT_U_TRUC_FMT_3 (uint8_t, uint32_t)

OCT:
DEF_SAT_U_TRUC_FMT_3 (uint8_t, uint64_t)

The below test is passed for this patch.
* The rv64gcv regression test.

gcc/testsuite/ChangeLog:

	* gcc.target/riscv/sat_u_trunc-16.c: New test.
	* gcc.target/riscv/sat_u_trunc-17.c: New test.
	* gcc.target/riscv/sat_u_trunc-18.c: New test.
	* gcc.target/riscv/sat_u_trunc-run-16.c: New test.
	* gcc.target/riscv/sat_u_trunc-run-17.c: New test.
	* gcc.target/riscv/sat_u_trunc-run-18.c: New test.

Signed-off-by: Pan Li <pan2.li@intel.com>
This commit is contained in:
Pan Li 2024-08-18 14:08:21 +08:00
parent ea81e21d53
commit 5239902210
6 changed files with 102 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
gcc/testsuite/gcc.target/riscv/sat_u_trunc-16.c Normal file
View file

@ -0,0 +1,17 @@
/* { dg-do compile } */
/* { dg-options "-march=rv64gc -mabi=lp64d -O3 -fdump-rtl-expand-details -fno-schedule-insns -fno-schedule-insns2" } */
/* { dg-final { check-function-bodies "**" "" } } */
#include "sat_arith.h"
/*
** sat_u_trunc_uint32_t_to_uint8_t_fmt_3:
** sltiu\s+[atx][0-9]+,\s*a0,\s*255
** addi\s+[atx][0-9]+,\s*[atx][0-9]+,\s*-1
** or\s+[atx][0-9]+,\s*[atx][0-9]+,\s*[atx][0-9]+
** andi\s+[atx][0-9]+,\s*[atx][0-9]+,\s*0xff
** ret
*/
DEF_SAT_U_TRUNC_FMT_3(uint8_t, uint32_t)
/* { dg-final { scan-rtl-dump-times ".SAT_TRUNC " 2 "expand" } } */

17
gcc/testsuite/gcc.target/riscv/sat_u_trunc-17.c Normal file
View file

@ -0,0 +1,17 @@
/* { dg-do compile } */
/* { dg-options "-march=rv64gc -mabi=lp64d -O3 -fdump-rtl-expand-details -fno-schedule-insns -fno-schedule-insns2" } */
/* { dg-final { check-function-bodies "**" "" } } */
#include "sat_arith.h"
/*
** sat_u_trunc_uint64_t_to_uint8_t_fmt_3:
** sltiu\s+[atx][0-9]+,\s*a0,\s*255
** addi\s+[atx][0-9]+,\s*[atx][0-9]+,\s*-1
** or\s+[atx][0-9]+,\s*[atx][0-9]+,\s*[atx][0-9]+
** andi\s+[atx][0-9]+,\s*[atx][0-9]+,\s*0xff
** ret
*/
DEF_SAT_U_TRUNC_FMT_3(uint8_t, uint64_t)
/* { dg-final { scan-rtl-dump-times ".SAT_TRUNC " 2 "expand" } } */

20
gcc/testsuite/gcc.target/riscv/sat_u_trunc-18.c Normal file
View file

@ -0,0 +1,20 @@
/* { dg-do compile } */
/* { dg-options "-march=rv64gc -mabi=lp64d -O3 -fdump-rtl-expand-details -fno-schedule-insns -fno-schedule-insns2" } */
/* { dg-final { check-function-bodies "**" "" } } */
#include "sat_arith.h"
/*
** sat_u_trunc_uint64_t_to_uint16_t_fmt_3:
** li\s+[atx][0-9]+,\s*65536
** addi\s+[atx][0-9]+,\s*[atx][0-9]+,\s*-1
** sltu\s+[atx][0-9]+,\s*a0,\s*[atx][0-9]+
** addi\s+[atx][0-9]+,\s*[atx][0-9]+,\s*-1
** or\s+[atx][0-9]+,\s*[atx][0-9]+,\s*[atx][0-9]+
** slli\s+a0,\s*a0,\s*48
** srli\s+a0,\s*a0,\s*48
** ret
*/
DEF_SAT_U_TRUNC_FMT_3(uint16_t, uint64_t)
/* { dg-final { scan-rtl-dump-times ".SAT_TRUNC " 2 "expand" } } */

16
gcc/testsuite/gcc.target/riscv/sat_u_trunc-run-16.c Normal file
View file

@ -0,0 +1,16 @@
/* { dg-do run { target { riscv_v } } } */
/* { dg-additional-options "-std=c99" } */
#include "sat_arith.h"
#include "sat_arith_data.h"
#define T1 uint8_t
#define T2 uint32_t
DEF_SAT_U_TRUNC_FMT_3_WRAP(T1, T2)
#define DATA TEST_UNARY_DATA_WRAP(T1, T2)
#define T TEST_UNARY_STRUCT_DECL(T1, T2)
#define RUN_UNARY(x) RUN_SAT_U_TRUNC_FMT_3_WRAP(T1, T2, x)
#include "scalar_sat_unary.h"

16
gcc/testsuite/gcc.target/riscv/sat_u_trunc-run-17.c Normal file
View file

@ -0,0 +1,16 @@
/* { dg-do run { target { riscv_v } } } */
/* { dg-additional-options "-std=c99" } */
#include "sat_arith.h"
#include "sat_arith_data.h"
#define T1 uint8_t
#define T2 uint64_t
DEF_SAT_U_TRUNC_FMT_3_WRAP(T1, T2)
#define DATA TEST_UNARY_DATA_WRAP(T1, T2)
#define T TEST_UNARY_STRUCT_DECL(T1, T2)
#define RUN_UNARY(x) RUN_SAT_U_TRUNC_FMT_3_WRAP(T1, T2, x)
#include "scalar_sat_unary.h"

16
gcc/testsuite/gcc.target/riscv/sat_u_trunc-run-18.c Normal file
View file

@ -0,0 +1,16 @@
/* { dg-do run { target { riscv_v } } } */
/* { dg-additional-options "-std=c99" } */
#include "sat_arith.h"
#include "sat_arith_data.h"
#define T1 uint16_t
#define T2 uint64_t
DEF_SAT_U_TRUNC_FMT_3_WRAP(T1, T2)
#define DATA TEST_UNARY_DATA_WRAP(T1, T2)
#define T TEST_UNARY_STRUCT_DECL(T1, T2)
#define RUN_UNARY(x) RUN_SAT_U_TRUNC_FMT_3_WRAP(T1, T2, x)
#include "scalar_sat_unary.h"