From patchwork Mon Jul 8 14:15:56 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: "Li, Pan2" X-Patchwork-Id: 1957978 Return-Path: X-Original-To: incoming@patchwork.ozlabs.org Delivered-To: patchwork-incoming@legolas.ozlabs.org Authentication-Results: legolas.ozlabs.org; dkim=pass (2048-bit key; unprotected) header.d=intel.com header.i=@intel.com header.a=rsa-sha256 header.s=Intel header.b=AxFs5Efg; dkim-atps=neutral Authentication-Results: legolas.ozlabs.org; spf=pass (sender SPF authorized) smtp.mailfrom=gcc.gnu.org (client-ip=2620:52:3:1:0:246e:9693:128c; helo=server2.sourceware.org; envelope-from=gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org; receiver=patchwork.ozlabs.org) Received: from server2.sourceware.org (server2.sourceware.org [IPv6:2620:52:3:1:0:246e:9693:128c]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (secp384r1) server-digest SHA384) (No client certificate requested) by legolas.ozlabs.org (Postfix) with ESMTPS id 4WHmQB2Rp9z1xr9 for ; Tue, 9 Jul 2024 00:16:33 +1000 (AEST) Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id C235E38654B3 for ; Mon, 8 Jul 2024 14:16:31 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mgamail.intel.com (mgamail.intel.com [198.175.65.15]) by sourceware.org (Postfix) with ESMTPS id 27E64386480F for ; Mon, 8 Jul 2024 14:16:06 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 27E64386480F Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=intel.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=intel.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 27E64386480F Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=198.175.65.15 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1720448169; cv=none; b=qxhpArSKiMsk3PDSnFn8Ffr1iUN/huS9oR62jLu1+qrZxpzhoI9nZ7EtlFCYBFGoCHpsskci7OyZ37+4UF+pLTQKyjacb+03iafuBpWjpJmgWowtoizuem6s7eOnc95oaE8KIR3P7zDKQeKUIBVJ5a+gPRelqaRfqVMUZxWLVpk= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1720448169; c=relaxed/simple; bh=ZUrPhAbzWIwTYwAGy8Q/3fvOrwgagjtWkoaJXmhi3B0=; h=DKIM-Signature:From:To:Subject:Date:Message-Id:MIME-Version; b=b+SksY3tug4OXjUPVWqgFBF9+lwT+c9eHmGvu0JFryB1MaedY/aQyIpvkrh9jzjw68Zvk9tZKGH45cLLhA5VHNeYsZfKdavReZypUGGcmsz0Oiric3JrS+HzM6AvnBn90Yw22Q12SHc4rYKA58kMlVnwFQqYZhAk8jPWHn+SBec= ARC-Authentication-Results: i=1; server2.sourceware.org DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=intel.com; i=@intel.com; q=dns/txt; s=Intel; t=1720448166; x=1751984166; h=from:to:cc:subject:date:message-id:mime-version: content-transfer-encoding; bh=ZUrPhAbzWIwTYwAGy8Q/3fvOrwgagjtWkoaJXmhi3B0=; b=AxFs5EfgCTLe4e4h+2ZXqdJBZs4SjYQ9pztSTmP4M9/0JqS0MMNKjVGm vTXvuMQ1jGrxojUFsKpxTCREYgbz6N0A5YNj9gi9HUiBp8CwvJII/K7o+ 3Fp6zGHodXf31jDLnGojNJ+mTJcz/wYeM471TvAdi8eqzb/dz1vnrJegM SkaNjS7sO/tlwpAJDIoenUpviaI/oJZ4mc4tkI9YF6tco/MK/xVmjbTWe Bma+i8nzMW11ChA1CZzMNUcXYwL2rj6E/GqIhu1Erg8eiugL4Ydlu1Vga lqu4J25Z0oR0VXkXdF6ZxzehLD7hsgdF7sL/tE0GqKX+HVoeklNfcETbt g==; X-CSE-ConnectionGUID: u6jQGw3ITvO7+RKaiWMS4g== X-CSE-MsgGUID: Zgvhc457RqqxauwgNQWgAw== X-IronPort-AV: E=McAfee;i="6700,10204,11127"; a="21418396" X-IronPort-AV: E=Sophos;i="6.09,192,1716274800"; d="scan'208";a="21418396" Received: from orviesa005.jf.intel.com ([10.64.159.145]) by orvoesa107.jf.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 08 Jul 2024 07:16:05 -0700 X-CSE-ConnectionGUID: npPE0UbIQ7iTJTagyeC9Pw== X-CSE-MsgGUID: S7kLhU3DQXCw/+SSgy0QCA== X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="6.09,192,1716274800"; d="scan'208";a="52466241" Received: from shvmail03.sh.intel.com ([10.239.245.20]) by orviesa005.jf.intel.com with ESMTP; 08 Jul 2024 07:16:01 -0700 Received: from pli-ubuntu.sh.intel.com (pli-ubuntu.sh.intel.com [10.239.159.47]) by shvmail03.sh.intel.com (Postfix) with ESMTP id BDD18100737A; Mon, 8 Jul 2024 22:16:00 +0800 (CST) From: pan2.li@intel.com To: gcc-patches@gcc.gnu.org Cc: juzhe.zhong@rivai.ai, kito.cheng@gmail.com, jeffreyalaw@gmail.com, rdapp.gcc@gmail.com, Pan Li Subject: [PATCH v1 1/2] RISC-V: Add testcases for unsigned vector .SAT_ADD IMM form 1 Date: Mon, 8 Jul 2024 22:15:56 +0800 Message-Id: <20240708141557.2764170-1-pan2.li@intel.com> X-Mailer: git-send-email 2.34.1 MIME-Version: 1.0 X-Spam-Status: No, score=-9.6 required=5.0 tests=BAYES_00, DKIMWL_WL_HIGH, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, GIT_PATCH_0, KAM_LOTSOFHASH, KAM_NUMSUBJECT, KAM_SHORT, SCC_10_SHORT_WORD_LINES, SCC_20_SHORT_WORD_LINES, SCC_5_SHORT_WORD_LINES, SPF_HELO_NONE, SPF_NONE, TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.30 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org From: Pan Li After the middle-end supported the vector mode of .SAT_ADD, add more testcases to ensure the correctness of RISC-V backend for form 1. Aka: Form 1: #define DEF_VEC_SAT_U_ADD_IMM_FMT_1(T, IMM) \ T __attribute__((noinline)) \ vec_sat_u_add_imm##IMM##_##T##_fmt_1 (T *out, T *in, unsigned limit) \ { \ unsigned i; \ for (i = 0; i < limit; i++) \ out[i] = (T)(in[i] + IMM) >= in[i] ? (in[i] + IMM) : -1; \ } DEF_VEC_SAT_U_ADD_IMM_FMT_1 (uint64_t, 9) Passed the fully rv64gcv regression tests. gcc/testsuite/ChangeLog: * gcc.target/riscv/rvv/autovec/binop/vec_sat_arith.h: Add help test macro. * gcc.target/riscv/rvv/autovec/binop/vec_sat_data.h: New test. * gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-1.c: New test. * gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-2.c: New test. * gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-3.c: New test. * gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-4.c: New test. * gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-run-1.c: New test. * gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-run-2.c: New test. * gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-run-3.c: New test. * gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-run-4.c: New test. Signed-off-by: Pan Li --- .../riscv/rvv/autovec/binop/vec_sat_arith.h | 26 ++ .../riscv/rvv/autovec/binop/vec_sat_data.h | 256 ++++++++++++++++++ .../rvv/autovec/binop/vec_sat_u_add_imm-1.c | 14 + .../rvv/autovec/binop/vec_sat_u_add_imm-2.c | 14 + .../rvv/autovec/binop/vec_sat_u_add_imm-3.c | 14 + .../rvv/autovec/binop/vec_sat_u_add_imm-4.c | 14 + .../autovec/binop/vec_sat_u_add_imm-run-1.c | 28 ++ .../autovec/binop/vec_sat_u_add_imm-run-2.c | 28 ++ .../autovec/binop/vec_sat_u_add_imm-run-3.c | 28 ++ .../autovec/binop/vec_sat_u_add_imm-run-4.c | 28 ++ 10 files changed, 450 insertions(+) create mode 100644 gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_data.h create mode 100644 gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-1.c create mode 100644 gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-2.c create mode 100644 gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-3.c create mode 100644 gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-4.c create mode 100644 gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-run-1.c create mode 100644 gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-run-2.c create mode 100644 gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-run-3.c create mode 100644 gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-run-4.c diff --git a/gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_arith.h b/gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_arith.h index a3116033fb3..0e5e07a38b6 100644 --- a/gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_arith.h +++ b/gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_arith.h @@ -3,6 +3,15 @@ #include #include +#include + +#define VALIDATE_RESULT(out, expect, N) \ + do \ + { \ + for (unsigned i = 0; i < N; i++) \ + if (out[i] != expect[i]) __builtin_abort (); \ + } \ + while (false) /******************************************************************************/ /* Saturation Add (unsigned and signed) */ @@ -139,6 +148,23 @@ vec_sat_u_add_##T##_fmt_8 (T *out, T *op_1, T *op_2, unsigned limit) \ #define RUN_VEC_SAT_U_ADD_FMT_8(T, out, op_1, op_2, N) \ vec_sat_u_add_##T##_fmt_8(out, op_1, op_2, N) +#define DEF_VEC_SAT_U_ADD_IMM_FMT_1(T, IMM) \ +T __attribute__((noinline)) \ +vec_sat_u_add_imm##IMM##_##T##_fmt_1 (T *out, T *in, unsigned limit) \ +{ \ + unsigned i; \ + for (i = 0; i < limit; i++) \ + out[i] = (T)(in[i] + IMM) >= in[i] ? (in[i] + IMM) : -1; \ +} +#define DEF_VEC_SAT_U_ADD_IMM_FMT_1_WRAP(T, IMM) \ + DEF_VEC_SAT_U_ADD_IMM_FMT_1(T, IMM) + +#define RUN_VEC_SAT_U_ADD_IMM_FMT_1(T, out, op_1, expect, IMM, N) \ + vec_sat_u_add_imm##IMM##_##T##_fmt_1(out, op_1, N); \ + VALIDATE_RESULT (out, expect, N) +#define RUN_VEC_SAT_U_ADD_IMM_FMT_1_WRAP(T, out, op_1, expect, IMM, N) \ + RUN_VEC_SAT_U_ADD_IMM_FMT_1(T, out, op_1, expect, IMM, N) + /******************************************************************************/ /* Saturation Sub (Unsigned and Signed) */ /******************************************************************************/ diff --git a/gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_data.h b/gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_data.h new file mode 100644 index 00000000000..0146138a3c5 --- /dev/null +++ b/gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_data.h @@ -0,0 +1,256 @@ +#ifndef HAVE_DEFINE_VEC_SAT_DATA_H +#define HAVE_DEFINE_VEC_SAT_DATA_H + +#define N 16 +#define TEST_UNARY_DATA(T, NAME) test_##T##_##NAME##_data +#define TEST_UNARY_DATA_WRAP(T, NAME) TEST_UNARY_DATA(T, NAME) + +uint8_t TEST_UNARY_DATA(uint8_t, sat_u_add_imm)[][2][N] = +{ + { /* For add imm 0 */ + { + 0, 1, 5, 255, + 0, 1, 5, 255, + 0, 1, 5, 255, + 0, 1, 5, 255, + }, + { + 0, 1, 5, 255, + 0, 1, 5, 255, + 0, 1, 5, 255, + 0, 1, 5, 255, + }, + }, + { /* For add imm 1 */ + { + 0, 1, 0, 8, + 0, 1, 0, 8, + 0, 1, 0, 8, + 0, 1, 0, 8, + }, + { + 1, 2, 1, 9, + 1, 2, 1, 9, + 1, 2, 1, 9, + 1, 2, 1, 9, + }, + }, + { /* For add imm 254 */ + { + 0, 1, 0, 8, + 0, 1, 0, 8, + 0, 1, 0, 8, + 0, 1, 0, 8, + }, + { + 254, 255, 254, 255, + 254, 255, 254, 255, + 254, 255, 254, 255, + 254, 255, 254, 255, + }, + }, + { /* For add imm 255 */ + { + 0, 1, 0, 8, + 0, 1, 0, 8, + 0, 1, 0, 8, + 0, 1, 0, 8, + }, + { + 255, 255, 255, 255, + 255, 255, 255, 255, + 255, 255, 255, 255, + 255, 255, 255, 255, + }, + }, +}; + +uint16_t TEST_UNARY_DATA(uint16_t, sat_u_add_imm)[][2][N] = +{ + { /* For add imm 0 */ + { + 0, 1, 5, 65535, + 0, 1, 5, 65535, + 0, 1, 5, 65535, + 0, 1, 5, 65535, + }, + { + 0, 1, 5, 65535, + 0, 1, 5, 65535, + 0, 1, 5, 65535, + 0, 1, 5, 65535, + }, + }, + { /* For add imm 1 */ + { + 0, 1, 0, 8, + 0, 1, 0, 8, + 0, 1, 0, 8, + 0, 1, 0, 8, + }, + { + 1, 2, 1, 9, + 1, 2, 1, 9, + 1, 2, 1, 9, + 1, 2, 1, 9, + }, + }, + { /* For add imm 65534 */ + { + 0, 1, 0, 8, + 0, 1, 0, 8, + 0, 1, 0, 8, + 0, 1, 0, 8, + }, + { + 65534, 65535, 65534, 65535, + 65534, 65535, 65534, 65535, + 65534, 65535, 65534, 65535, + 65534, 65535, 65534, 65535, + }, + }, + { /* For add imm 65535 */ + { + 0, 1, 0, 8, + 0, 1, 0, 8, + 0, 1, 0, 8, + 0, 1, 0, 8, + }, + { + 65535, 65535, 65535, 65535, + 65535, 65535, 65535, 65535, + 65535, 65535, 65535, 65535, + 65535, 65535, 65535, 65535, + }, + }, +}; + +uint32_t TEST_UNARY_DATA(uint32_t, sat_u_add_imm)[][2][N] = +{ + { /* For add imm 0 */ + { + 0, 1, 5, 4294967295, + 0, 1, 5, 4294967295, + 0, 1, 5, 4294967295, + 0, 1, 5, 4294967295, + }, + { + 0, 1, 5, 4294967295, + 0, 1, 5, 4294967295, + 0, 1, 5, 4294967295, + 0, 1, 5, 4294967295, + }, + }, + { /* For add imm 1 */ + { + 0, 1, 0, 8, + 0, 1, 0, 8, + 0, 1, 0, 8, + 0, 1, 0, 8, + }, + { + 1, 2, 1, 9, + 1, 2, 1, 9, + 1, 2, 1, 9, + 1, 2, 1, 9, + }, + }, + { /* For add imm 4294967294 */ + { + 0, 1, 0, 8, + 0, 1, 0, 8, + 0, 1, 0, 8, + 0, 1, 0, 8, + }, + { + 4294967294, 4294967295, 4294967294, 4294967295, + 4294967294, 4294967295, 4294967294, 4294967295, + 4294967294, 4294967295, 4294967294, 4294967295, + 4294967294, 4294967295, 4294967294, 4294967295, + }, + }, + { /* For add imm 4294967295 */ + { + 0, 1, 0, 8, + 0, 1, 0, 8, + 0, 1, 0, 8, + 0, 1, 0, 8, + }, + { + 4294967295, 4294967295, 4294967295, 4294967295, + 4294967295, 4294967295, 4294967295, 4294967295, + 4294967295, 4294967295, 4294967295, 4294967295, + 4294967295, 4294967295, 4294967295, 4294967295, + }, + }, +}; + +uint64_t TEST_UNARY_DATA(uint64_t, sat_u_add_imm)[][2][N] = +{ + { /* For add imm 0 */ + { + 0, 1, 5, 18446744073709551615u, + 0, 1, 5, 18446744073709551615u, + 0, 1, 5, 18446744073709551615u, + 0, 1, 5, 18446744073709551615u, + }, + { + 0, 1, 5, 18446744073709551615u, + 0, 1, 5, 18446744073709551615u, + 0, 1, 5, 18446744073709551615u, + 0, 1, 5, 18446744073709551615u, + }, + }, + { /* For add imm 1 */ + { + 0, 1, 0, 8, + 0, 1, 0, 8, + 0, 1, 0, 8, + 0, 1, 0, 8, + }, + { + 1, 2, 1, 9, + 1, 2, 1, 9, + 1, 2, 1, 9, + 1, 2, 1, 9, + }, + }, + { /* For add imm 18446744073709551614 */ + { + 0, 1, 0, 8, + 0, 1, 0, 8, + 0, 1, 0, 8, + 0, 1, 0, 8, + }, + { + 18446744073709551614u, 18446744073709551615u, + 18446744073709551614u, 18446744073709551615u, + 18446744073709551614u, 18446744073709551615u, + 18446744073709551614u, 18446744073709551615u, + 18446744073709551614u, 18446744073709551615u, + 18446744073709551614u, 18446744073709551615u, + 18446744073709551614u, 18446744073709551615u, + 18446744073709551614u, 18446744073709551615u, + }, + }, + { /* For add imm 18446744073709551615 */ + { + 0, 1, 0, 8, + 0, 1, 0, 8, + 0, 1, 0, 8, + 0, 1, 0, 8, + }, + { + 18446744073709551615u, 18446744073709551615u, + 18446744073709551615u, 18446744073709551615u, + 18446744073709551615u, 18446744073709551615u, + 18446744073709551615u, 18446744073709551615u, + 18446744073709551615u, 18446744073709551615u, + 18446744073709551615u, 18446744073709551615u, + 18446744073709551615u, 18446744073709551615u, + 18446744073709551615u, 18446744073709551615u, + }, + }, +}; + +#endif diff --git a/gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-1.c b/gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-1.c new file mode 100644 index 00000000000..e5350734749 --- /dev/null +++ b/gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-1.c @@ -0,0 +1,14 @@ +/* { dg-do compile } */ +/* { dg-options "-march=rv64gcv -mabi=lp64d -O3 -ftree-vectorize -fdump-rtl-expand-details -fno-schedule-insns -fno-schedule-insns2" } */ +/* { dg-skip-if "" { *-*-* } { "-flto" } } */ +/* { dg-final { check-function-bodies "**" "" } } */ + +#include "vec_sat_arith.h" + +/* +** vec_sat_u_add_imm9_uint8_t_fmt_1: +** ... +** vsaddu\.vi\s+v[0-9]+,\s*v[0-9]+,\s*9 +** ... +*/ +DEF_VEC_SAT_U_ADD_IMM_FMT_1(uint8_t, 9) diff --git a/gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-2.c b/gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-2.c new file mode 100644 index 00000000000..2319f0730a4 --- /dev/null +++ b/gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-2.c @@ -0,0 +1,14 @@ +/* { dg-do compile } */ +/* { dg-options "-march=rv64gcv -mabi=lp64d -O3 -ftree-vectorize -fdump-rtl-expand-details -fno-schedule-insns -fno-schedule-insns2" } */ +/* { dg-skip-if "" { *-*-* } { "-flto" } } */ +/* { dg-final { check-function-bodies "**" "" } } */ + +#include "vec_sat_arith.h" + +/* +** vec_sat_u_add_imm15_uint16_t_fmt_1: +** ... +** vsaddu\.vi\s+v[0-9]+,\s*v[0-9]+,\s*15 +** ... +*/ +DEF_VEC_SAT_U_ADD_IMM_FMT_1(uint16_t, 15) diff --git a/gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-3.c b/gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-3.c new file mode 100644 index 00000000000..bc5d0ef026a --- /dev/null +++ b/gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-3.c @@ -0,0 +1,14 @@ +/* { dg-do compile } */ +/* { dg-options "-march=rv64gcv -mabi=lp64d -O3 -ftree-vectorize -fdump-rtl-expand-details -fno-schedule-insns -fno-schedule-insns2" } */ +/* { dg-skip-if "" { *-*-* } { "-flto" } } */ +/* { dg-final { check-function-bodies "**" "" } } */ + +#include "vec_sat_arith.h" + +/* +** vec_sat_u_add_imm33_uint32_t_fmt_1: +** ... +** vsaddu\.vv\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+ +** ... +*/ +DEF_VEC_SAT_U_ADD_IMM_FMT_1(uint32_t, 33) diff --git a/gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-4.c b/gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-4.c new file mode 100644 index 00000000000..3912dc465c1 --- /dev/null +++ b/gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-4.c @@ -0,0 +1,14 @@ +/* { dg-do compile } */ +/* { dg-options "-march=rv64gcv -mabi=lp64d -O3 -ftree-vectorize -fdump-rtl-expand-details -fno-schedule-insns -fno-schedule-insns2" } */ +/* { dg-skip-if "" { *-*-* } { "-flto" } } */ +/* { dg-final { check-function-bodies "**" "" } } */ + +#include "vec_sat_arith.h" + +/* +** vec_sat_u_add_imm129_uint64_t_fmt_1: +** ... +** vsaddu\.vv\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+ +** ... +*/ +DEF_VEC_SAT_U_ADD_IMM_FMT_1(uint64_t, 129) diff --git a/gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-run-1.c b/gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-run-1.c new file mode 100644 index 00000000000..41524753a35 --- /dev/null +++ b/gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-run-1.c @@ -0,0 +1,28 @@ +/* { dg-do run { target { riscv_v } } } */ +/* { dg-additional-options "-std=c99" } */ + +#include "vec_sat_arith.h" +#include "vec_sat_data.h" + +#define T uint8_t +#define RUN(T, out, in, expect, IMM, N) \ + RUN_VEC_SAT_U_ADD_IMM_FMT_1_WRAP (T, out, in, expect, IMM, N) + +DEF_VEC_SAT_U_ADD_IMM_FMT_1_WRAP (T, 0) +DEF_VEC_SAT_U_ADD_IMM_FMT_1_WRAP (T, 1) +DEF_VEC_SAT_U_ADD_IMM_FMT_1_WRAP (T, 254) +DEF_VEC_SAT_U_ADD_IMM_FMT_1_WRAP (T, 255) + +int +main () +{ + T out[N]; + T (*d)[2][N] = TEST_UNARY_DATA_WRAP (T, sat_u_add_imm); + + RUN (T, out, d[0][0], d[0][1], 0, N); + RUN (T, out, d[1][0], d[1][1], 1, N); + RUN (T, out, d[2][0], d[2][1], 254, N); + RUN (T, out, d[3][0], d[3][1], 255, N); + + return 0; +} diff --git a/gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-run-2.c b/gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-run-2.c new file mode 100644 index 00000000000..dba87ac0720 --- /dev/null +++ b/gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-run-2.c @@ -0,0 +1,28 @@ +/* { dg-do run { target { riscv_v } } } */ +/* { dg-additional-options "-std=c99" } */ + +#include "vec_sat_arith.h" +#include "vec_sat_data.h" + +#define T uint16_t +#define RUN(T, out, in, expect, IMM, N) \ + RUN_VEC_SAT_U_ADD_IMM_FMT_1_WRAP (T, out, in, expect, IMM, N) + +DEF_VEC_SAT_U_ADD_IMM_FMT_1_WRAP (T, 0) +DEF_VEC_SAT_U_ADD_IMM_FMT_1_WRAP (T, 1) +DEF_VEC_SAT_U_ADD_IMM_FMT_1_WRAP (T, 65534) +DEF_VEC_SAT_U_ADD_IMM_FMT_1_WRAP (T, 65535) + +int +main () +{ + T out[N]; + T (*d)[2][N] = TEST_UNARY_DATA_WRAP (T, sat_u_add_imm); + + RUN (T, out, d[0][0], d[0][1], 0, N); + RUN (T, out, d[1][0], d[1][1], 1, N); + RUN (T, out, d[2][0], d[2][1], 65534, N); + RUN (T, out, d[3][0], d[3][1], 65535, N); + + return 0; +} diff --git a/gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-run-3.c b/gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-run-3.c new file mode 100644 index 00000000000..cf96f14b341 --- /dev/null +++ b/gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-run-3.c @@ -0,0 +1,28 @@ +/* { dg-do run { target { riscv_v } } } */ +/* { dg-additional-options "-std=c99" } */ + +#include "vec_sat_arith.h" +#include "vec_sat_data.h" + +#define T uint32_t +#define RUN(T, out, in, expect, IMM, N) \ + RUN_VEC_SAT_U_ADD_IMM_FMT_1_WRAP (T, out, in, expect, IMM, N) + +DEF_VEC_SAT_U_ADD_IMM_FMT_1_WRAP (T, 0) +DEF_VEC_SAT_U_ADD_IMM_FMT_1_WRAP (T, 1) +DEF_VEC_SAT_U_ADD_IMM_FMT_1_WRAP (T, 4294967295) +DEF_VEC_SAT_U_ADD_IMM_FMT_1_WRAP (T, 4294967294) + +int +main () +{ + T out[N]; + T (*d)[2][N] = TEST_UNARY_DATA_WRAP (T, sat_u_add_imm); + + RUN (T, out, d[0][0], d[0][1], 0, N); + RUN (T, out, d[1][0], d[1][1], 1, N); + RUN (T, out, d[2][0], d[2][1], 4294967294, N); + RUN (T, out, d[3][0], d[3][1], 4294967295, N); + + return 0; +} diff --git a/gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-run-4.c b/gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-run-4.c new file mode 100644 index 00000000000..8ec1f1a40b1 --- /dev/null +++ b/gcc/testsuite/gcc.target/riscv/rvv/autovec/binop/vec_sat_u_add_imm-run-4.c @@ -0,0 +1,28 @@ +/* { dg-do run { target { riscv_v } } } */ +/* { dg-additional-options "-std=c99" } */ + +#include "vec_sat_arith.h" +#include "vec_sat_data.h" + +#define T uint64_t +#define RUN(T, out, in, expect, IMM, N) \ + RUN_VEC_SAT_U_ADD_IMM_FMT_1_WRAP (T, out, in, expect, IMM, N) + +DEF_VEC_SAT_U_ADD_IMM_FMT_1_WRAP (T, 0) +DEF_VEC_SAT_U_ADD_IMM_FMT_1_WRAP (T, 1) +DEF_VEC_SAT_U_ADD_IMM_FMT_1_WRAP (T, 18446744073709551614u) +DEF_VEC_SAT_U_ADD_IMM_FMT_1_WRAP (T, 18446744073709551615u) + +int +main () +{ + T out[N]; + T (*d)[2][N] = TEST_UNARY_DATA_WRAP (T, sat_u_add_imm); + + RUN (T, out, d[0][0], d[0][1], 0, N); + RUN (T, out, d[1][0], d[1][1], 1, N); + RUN (T, out, d[2][0], d[2][1], 18446744073709551614u, N); + RUN (T, out, d[3][0], d[3][1], 18446744073709551615u, N); + + return 0; +}