* [PATCH] RISC-V: Introduce RVV header to enable builtin types
@ 2022-09-30 6:58 juzhe.zhong
2022-10-05 13:59 ` Kito Cheng
0 siblings, 1 reply; 2+ messages in thread
From: juzhe.zhong @ 2022-09-30 6:58 UTC (permalink / raw)
To: gcc-patches; +Cc: kito.cheng, palmer, Ju-Zhe Zhong
From: Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
gcc/ChangeLog:
* config.gcc: Add riscv_vector.h.
* config/riscv/riscv-builtins.cc: Add RVV builtin types support.
* config/riscv/riscv-c.cc (riscv_pragma_intrinsic): New function.
(riscv_register_pragmas): Ditto.
* config/riscv/riscv-protos.h (riscv_register_pragmas): Ditto.
(init_builtins): Move declaration from riscv-vector-builtins.h to riscv-protos.h.
(mangle_builtin_type): Ditto.
(verify_type_context): Ditto.
(handle_pragma_vector): New function.
* config/riscv/riscv-vector-builtins.cc (GTY): New variable.
(register_vector_type): New function.
(init_builtins): Add RVV builtin types support.
(handle_pragma_vector): New function.
* config/riscv/riscv-vector-builtins.h (GCC_RISCV_V_BUILTINS_H): Change name according to file name.
(GCC_RISCV_VECTOR_BUILTINS_H): Ditto.
(init_builtins): Remove declaration in riscv-vector-builtins.h.
(mangle_builtin_type): Ditto.
(verify_type_context): Ditto.
* config/riscv/riscv.cc: Adjust for RVV builtin types support.
* config/riscv/riscv.h (REGISTER_TARGET_PRAGMAS): New macro.
* config/riscv/t-riscv: Remove redundant file including.
* config/riscv/riscv_vector.h: New file.
gcc/testsuite/ChangeLog:
* gcc.target/riscv/rvv/base/pragma-1.c: New test.
* gcc.target/riscv/rvv/base/pragma-2.c: New test.
* gcc.target/riscv/rvv/base/pragma-3.c: New test.
* gcc.target/riscv/rvv/base/user-1.c: New test.
* gcc.target/riscv/rvv/base/user-2.c: New test.
* gcc.target/riscv/rvv/base/user-3.c: New test.
* gcc.target/riscv/rvv/base/user-4.c: New test.
* gcc.target/riscv/rvv/base/user-5.c: New test.
* gcc.target/riscv/rvv/base/user-6.c: New test.
* gcc.target/riscv/rvv/base/vread_csr.c: New test.
* gcc.target/riscv/rvv/base/vwrite_csr.c: New test.
---
gcc/config.gcc | 1 +
gcc/config/riscv/riscv-builtins.cc | 2 +-
gcc/config/riscv/riscv-c.cc | 41 +++++++
gcc/config/riscv/riscv-protos.h | 11 ++
gcc/config/riscv/riscv-vector-builtins.cc | 45 ++++++++
gcc/config/riscv/riscv-vector-builtins.h | 13 +--
gcc/config/riscv/riscv.cc | 7 +-
gcc/config/riscv/riscv.h | 2 +
gcc/config/riscv/riscv_vector.h | 100 ++++++++++++++++++
gcc/config/riscv/t-riscv | 2 +-
.../gcc.target/riscv/rvv/base/pragma-1.c | 4 +
.../gcc.target/riscv/rvv/base/pragma-2.c | 4 +
.../gcc.target/riscv/rvv/base/pragma-3.c | 4 +
.../gcc.target/riscv/rvv/base/user-1.c | 65 ++++++++++++
.../gcc.target/riscv/rvv/base/user-2.c | 65 ++++++++++++
.../gcc.target/riscv/rvv/base/user-3.c | 65 ++++++++++++
.../gcc.target/riscv/rvv/base/user-4.c | 65 ++++++++++++
.../gcc.target/riscv/rvv/base/user-5.c | 65 ++++++++++++
.../gcc.target/riscv/rvv/base/user-6.c | 65 ++++++++++++
.../gcc.target/riscv/rvv/base/vread_csr.c | 26 +++++
.../gcc.target/riscv/rvv/base/vwrite_csr.c | 26 +++++
21 files changed, 665 insertions(+), 13 deletions(-)
create mode 100644 gcc/config/riscv/riscv_vector.h
create mode 100644 gcc/testsuite/gcc.target/riscv/rvv/base/pragma-1.c
create mode 100644 gcc/testsuite/gcc.target/riscv/rvv/base/pragma-2.c
create mode 100644 gcc/testsuite/gcc.target/riscv/rvv/base/pragma-3.c
create mode 100644 gcc/testsuite/gcc.target/riscv/rvv/base/user-1.c
create mode 100644 gcc/testsuite/gcc.target/riscv/rvv/base/user-2.c
create mode 100644 gcc/testsuite/gcc.target/riscv/rvv/base/user-3.c
create mode 100644 gcc/testsuite/gcc.target/riscv/rvv/base/user-4.c
create mode 100644 gcc/testsuite/gcc.target/riscv/rvv/base/user-5.c
create mode 100644 gcc/testsuite/gcc.target/riscv/rvv/base/user-6.c
create mode 100644 gcc/testsuite/gcc.target/riscv/rvv/base/vread_csr.c
create mode 100644 gcc/testsuite/gcc.target/riscv/rvv/base/vwrite_csr.c
diff --git a/gcc/config.gcc b/gcc/config.gcc
index 7eb07870425..1dd408d1ade 100644
--- a/gcc/config.gcc
+++ b/gcc/config.gcc
@@ -518,6 +518,7 @@ riscv*)
extra_objs="riscv-builtins.o riscv-c.o riscv-sr.o riscv-shorten-memrefs.o riscv-selftests.o"
extra_objs="${extra_objs} riscv-vector-builtins.o"
d_target_objs="riscv-d.o"
+ extra_headers="riscv_vector.h"
;;
rs6000*-*-*)
extra_options="${extra_options} g.opt fused-madd.opt rs6000/rs6000-tables.opt"
diff --git a/gcc/config/riscv/riscv-builtins.cc b/gcc/config/riscv/riscv-builtins.cc
index a51037a8f7a..14865d70955 100644
--- a/gcc/config/riscv/riscv-builtins.cc
+++ b/gcc/config/riscv/riscv-builtins.cc
@@ -37,7 +37,7 @@ along with GCC; see the file COPYING3. If not see
#include "stringpool.h"
#include "expr.h"
#include "langhooks.h"
-#include "riscv-vector-builtins.h"
+#include "tm_p.h"
/* Macros to create an enumeration identifier for a function prototype. */
#define RISCV_FTYPE_NAME0(A) RISCV_##A##_FTYPE
diff --git a/gcc/config/riscv/riscv-c.cc b/gcc/config/riscv/riscv-c.cc
index eb7ef09297e..6fe4a8aeacf 100644
--- a/gcc/config/riscv/riscv-c.cc
+++ b/gcc/config/riscv/riscv-c.cc
@@ -27,6 +27,9 @@ along with GCC; see the file COPYING3. If not see
#include "tm.h"
#include "c-family/c-common.h"
#include "cpplib.h"
+#include "c-family/c-pragma.h"
+#include "target.h"
+#include "tm_p.h"
#include "riscv-subset.h"
#define builtin_define(TXT) cpp_define (pfile, TXT)
@@ -155,3 +158,41 @@ riscv_cpu_cpp_builtins (cpp_reader *pfile)
builtin_define_with_int_value (buf, version_value);
}
}
+
+/* Implement "#pragma riscv intrinsic". */
+
+static void
+riscv_pragma_intrinsic (cpp_reader *)
+{
+ tree x;
+
+ if (pragma_lex (&x) != CPP_STRING)
+ {
+ error ("%<#pragma riscv intrinsic%> requires a string parameter");
+ return;
+ }
+
+ const char *name = TREE_STRING_POINTER (x);
+
+ if (strcmp (name, "vector") == 0)
+ {
+ if (!TARGET_VECTOR)
+ {
+ error ("%<#pragma riscv intrinsic%> option %qs needs 'V' extension "
+ "enabled",
+ name);
+ return;
+ }
+ riscv_vector::handle_pragma_vector ();
+ }
+ else
+ error ("unknown %<#pragma riscv intrinsic%> option %qs", name);
+}
+
+/* Implement REGISTER_TARGET_PRAGMAS. */
+
+void
+riscv_register_pragmas (void)
+{
+ c_register_pragma ("riscv", "intrinsic", riscv_pragma_intrinsic);
+}
\ No newline at end of file
diff --git a/gcc/config/riscv/riscv-protos.h b/gcc/config/riscv/riscv-protos.h
index 101361a4b44..a44b34d1278 100644
--- a/gcc/config/riscv/riscv-protos.h
+++ b/gcc/config/riscv/riscv-protos.h
@@ -79,6 +79,7 @@ extern bool riscv_v_ext_enabled_vector_mode_p (machine_mode);
/* Routines implemented in riscv-c.cc. */
void riscv_cpu_cpp_builtins (cpp_reader *);
+void riscv_register_pragmas (void);
/* Routines implemented in riscv-builtins.cc. */
extern void riscv_atomic_assign_expand_fenv (tree *, tree *, tree *);
@@ -115,4 +116,14 @@ extern void riscv_run_selftests (void);
} // namespace selftest
#endif
+namespace riscv_vector {
+/* Routines implemented in riscv-vector-builtins.cc. */
+extern void init_builtins (void);
+extern const char *mangle_builtin_type (const_tree);
+#ifdef GCC_TARGET_H
+extern bool verify_type_context (location_t, type_context_kind, const_tree, bool);
+#endif
+extern void handle_pragma_vector (void);
+}
+
#endif /* ! GCC_RISCV_PROTOS_H */
diff --git a/gcc/config/riscv/riscv-vector-builtins.cc b/gcc/config/riscv/riscv-vector-builtins.cc
index 019a40d1e16..0096e32f5e4 100644
--- a/gcc/config/riscv/riscv-vector-builtins.cc
+++ b/gcc/config/riscv/riscv-vector-builtins.cc
@@ -46,6 +46,8 @@
#include "regs.h"
#include "riscv-vector-builtins.h"
+using namespace riscv_vector;
+
namespace riscv_vector {
/* Information about each RVV type. */
@@ -64,6 +66,10 @@ static GTY (()) machine_mode vector_modes[NUM_VECTOR_TYPES];
yields a null tree. */
static GTY(()) tree abi_vector_types[NUM_VECTOR_TYPES + 1];
+/* Same, but with the riscv_vector.h "v..._t" name. */
+extern GTY(()) tree builtin_vector_types[MAX_TUPLE_SIZE][NUM_VECTOR_TYPES + 1];
+tree builtin_vector_types[MAX_TUPLE_SIZE][NUM_VECTOR_TYPES + 1];
+
rvv_switcher::rvv_switcher ()
{
/* Set have_regs_of_mode before targetm.init_builtins (). */
@@ -183,6 +189,32 @@ register_builtin_types ()
}
}
+/* Register vector type TYPE under its risv_vector.h name. */
+static void
+register_vector_type (vector_type_index type)
+{
+ tree vectype = abi_vector_types[type];
+ /* When vectype is NULL, the corresponding builtin type
+ is disabled according to '-march'. */
+ if (!vectype)
+ return;
+ tree id = get_identifier (vector_types[type].user_name);
+ tree decl = build_decl (input_location, TYPE_DECL, id, vectype);
+ decl = lang_hooks.decls.pushdecl (decl);
+
+ /* Record the new RVV type if pushdecl succeeded without error. Use
+ the ABI type otherwise, so that the type we record at least has the
+ right form, even if it doesn't have the right name. This should give
+ better error recovery behavior than installing error_mark_node or
+ installing an incorrect type. */
+ if (decl && TREE_CODE (decl) == TYPE_DECL
+ && TREE_TYPE (decl) != error_mark_node
+ && TYPE_MAIN_VARIANT (TREE_TYPE (decl)) == vectype)
+ vectype = TREE_TYPE (decl);
+
+ builtin_vector_types[0][type] = vectype;
+}
+
/* Initialize all compiler built-ins related to RVV that should be
defined at start-up. */
void
@@ -192,6 +224,8 @@ init_builtins ()
if (!TARGET_VECTOR)
return;
register_builtin_types ();
+ if (in_lto_p)
+ handle_pragma_vector ();
}
/* Implement TARGET_VERIFY_TYPE_CONTEXT for RVV types. */
@@ -276,4 +310,15 @@ verify_type_context (location_t loc, type_context_kind context, const_tree type,
gcc_unreachable ();
}
+/* Implement #pragma riscv intrinsic vector. */
+void
+handle_pragma_vector ()
+{
+ rvv_switcher rvv;
+
+ /* Define the vector and tuple types. */
+ for (unsigned int type_i = 0; type_i < NUM_VECTOR_TYPES; ++type_i)
+ register_vector_type ((enum vector_type_index) type_i);
+}
+
} // end namespace riscv_vector
diff --git a/gcc/config/riscv/riscv-vector-builtins.h b/gcc/config/riscv/riscv-vector-builtins.h
index a4a8c1156a5..6ca0b073964 100644
--- a/gcc/config/riscv/riscv-vector-builtins.h
+++ b/gcc/config/riscv/riscv-vector-builtins.h
@@ -18,11 +18,14 @@
along with GCC; see the file COPYING3. If not see
<http://www.gnu.org/licenses/>. */
-#ifndef GCC_RISCV_V_BUILTINS_H
-#define GCC_RISCV_V_BUILTINS_H
+#ifndef GCC_RISCV_VECTOR_BUILTINS_H
+#define GCC_RISCV_VECTOR_BUILTINS_H
namespace riscv_vector {
+/* This is for segment instructions. */
+const unsigned int MAX_TUPLE_SIZE = 8;
+
/* Static information about each vector type. */
struct vector_type_info
{
@@ -68,12 +71,6 @@ private:
bool m_old_have_regs_of_mode[MAX_MACHINE_MODE];
};
-void init_builtins ();
-const char *mangle_builtin_type (const_tree);
-#ifdef GCC_TARGET_H
-bool verify_type_context (location_t, type_context_kind, const_tree, bool);
-#endif
-
} // end namespace riscv_vector
#endif
diff --git a/gcc/config/riscv/riscv.cc b/gcc/config/riscv/riscv.cc
index 0d618315828..289af36ae5f 100644
--- a/gcc/config/riscv/riscv.cc
+++ b/gcc/config/riscv/riscv.cc
@@ -25,6 +25,7 @@ along with GCC; see the file COPYING3. If not see
#include "config.h"
#include "system.h"
#include "coretypes.h"
+#include "target.h"
#include "tm.h"
#include "rtl.h"
#include "regs.h"
@@ -45,8 +46,6 @@ along with GCC; see the file COPYING3. If not see
#include "emit-rtl.h"
#include "reload.h"
#include "tm_p.h"
-#include "target.h"
-#include "target-def.h"
#include "basic-block.h"
#include "expr.h"
#include "optabs.h"
@@ -59,7 +58,9 @@ along with GCC; see the file COPYING3. If not see
#include "opts.h"
#include "tm-constrs.h"
#include "rtl-iter.h"
-#include "riscv-vector-builtins.h"
+
+/* This file should be included last. */
+#include "target-def.h"
/* True if X is an UNSPEC wrapper around a SYMBOL_REF or LABEL_REF. */
#define UNSPEC_ADDRESS_P(X) \
diff --git a/gcc/config/riscv/riscv.h b/gcc/config/riscv/riscv.h
index 363113c6511..acae68ebb2d 100644
--- a/gcc/config/riscv/riscv.h
+++ b/gcc/config/riscv/riscv.h
@@ -1078,4 +1078,6 @@ extern void riscv_remove_unneeded_save_restore_calls (void);
#define TARGET_SUPPORTS_WIDE_INT 1
+#define REGISTER_TARGET_PRAGMAS() riscv_register_pragmas ()
+
#endif /* ! GCC_RISCV_H */
diff --git a/gcc/config/riscv/riscv_vector.h b/gcc/config/riscv/riscv_vector.h
new file mode 100644
index 00000000000..85cc656bc41
--- /dev/null
+++ b/gcc/config/riscv/riscv_vector.h
@@ -0,0 +1,100 @@
+/* RISC-V 'V' Extension intrinsics include file.
+ Copyright (C) 2022-2022 Free Software Foundation, Inc.
+
+ This file is part of GCC.
+
+ GCC is free software; you can redistribute it and/or modify it
+ under the terms of the GNU General Public License as published
+ by the Free Software Foundation; either version 3, or (at your
+ option) any later version.
+
+ GCC is distributed in the hope that it will be useful, but WITHOUT
+ ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
+ or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
+ License for more details.
+
+ Under Section 7 of GPL version 3, you are granted additional
+ permissions described in the GCC Runtime Library Exception, version
+ 3.1, as published by the Free Software Foundation.
+
+ You should have received a copy of the GNU General Public License and
+ a copy of the GCC Runtime Library Exception along with this program;
+ see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
+ <http://www.gnu.org/licenses/>. */
+
+#ifndef __RISCV_VECTOR_H
+#define __RISCV_VECTOR_H
+
+#include <stdint.h>
+#include <stddef.h>
+
+#ifndef __riscv_vector
+#error "Vector intrinsics require the vector extension."
+#else
+#ifdef __cplusplus
+extern "C" {
+#endif
+
+enum RVV_CSR {
+ RVV_VSTART = 0,
+ RVV_VXSAT,
+ RVV_VXRM,
+ RVV_VCSR,
+};
+
+__extension__ extern __inline unsigned long
+__attribute__ ((__always_inline__, __gnu_inline__, __artificial__))
+vread_csr(enum RVV_CSR csr)
+{
+ unsigned long rv = 0;
+ switch (csr)
+ {
+ case RVV_VSTART:
+ __asm__ __volatile__ ("csrr\t%0,vstart" : "=r"(rv) : : "memory");
+ break;
+ case RVV_VXSAT:
+ __asm__ __volatile__ ("csrr\t%0,vxsat" : "=r"(rv) : : "memory");
+ break;
+ case RVV_VXRM:
+ __asm__ __volatile__ ("csrr\t%0,vxrm" : "=r"(rv) : : "memory");
+ break;
+ case RVV_VCSR:
+ __asm__ __volatile__ ("csrr\t%0,vcsr" : "=r"(rv) : : "memory");
+ break;
+ }
+ return rv;
+}
+
+__extension__ extern __inline void
+__attribute__ ((__always_inline__, __gnu_inline__, __artificial__))
+vwrite_csr(enum RVV_CSR csr, unsigned long value)
+{
+ switch (csr)
+ {
+ case RVV_VSTART:
+ __asm__ __volatile__ ("csrw\tvstart,%z0" : : "rJ"(value) : "memory");
+ break;
+ case RVV_VXSAT:
+ __asm__ __volatile__ ("csrw\tvxsat,%z0" : : "rJ"(value) : "memory");
+ break;
+ case RVV_VXRM:
+ __asm__ __volatile__ ("csrw\tvxrm,%z0" : : "rJ"(value) : "memory");
+ break;
+ case RVV_VCSR:
+ __asm__ __volatile__ ("csrw\tvcsr,%z0" : : "rJ"(value) : "memory");
+ break;
+ }
+}
+
+/* NOTE: This implementation of riscv_vector.h is intentionally short. It does
+ not define the RVV types and intrinsic functions directly in C and C++
+ code, but instead uses the following pragma to tell GCC to insert the
+ necessary type and function definitions itself. The net effect is the
+ same, and the file is a complete implementation of riscv_vector.h. */
+#pragma riscv intrinsic "vector"
+
+#ifdef __cplusplus
+}
+#endif // __cplusplus
+#endif // __riscv_vector
+#endif // __RISCV_VECTOR_H
\ No newline at end of file
diff --git a/gcc/config/riscv/t-riscv b/gcc/config/riscv/t-riscv
index ad9be094ebe..2f060437c23 100644
--- a/gcc/config/riscv/t-riscv
+++ b/gcc/config/riscv/t-riscv
@@ -9,7 +9,7 @@ riscv-vector-builtins.o: $(srcdir)/config/riscv/riscv-vector-builtins.cc \
$(CONFIG_H) $(SYSTEM_H) coretypes.h $(TM_H) $(TREE_H) $(RTL_H) $(TM_P_H) \
memmodel.h insn-codes.h $(OPTABS_H) $(RECOG_H) $(DIAGNOSTIC_H) $(EXPR_H) \
$(FUNCTION_H) fold-const.h gimplify.h explow.h stor-layout.h $(REGS_H) \
- alias.h langhooks.h attribs.h stringpool.h $(REGS_H) \
+ alias.h langhooks.h attribs.h stringpool.h \
$(srcdir)/config/riscv/riscv-vector-builtins.h \
$(srcdir)/config/riscv/riscv-vector-builtins.def
$(COMPILER) -c $(ALL_COMPILERFLAGS) $(ALL_CPPFLAGS) $(INCLUDES) \
diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/pragma-1.c b/gcc/testsuite/gcc.target/riscv/rvv/base/pragma-1.c
new file mode 100644
index 00000000000..79b1159d9e7
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/pragma-1.c
@@ -0,0 +1,4 @@
+/* { dg-do compile } */
+/* { dg-options "-O3 -march=rv32gc -mabi=ilp32d" } */
+
+#pragma riscv intrinsic "vector" /* { dg-error {#pragma riscv intrinsic' option 'vector' needs 'V' extension enabled} } */
\ No newline at end of file
diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/pragma-2.c b/gcc/testsuite/gcc.target/riscv/rvv/base/pragma-2.c
new file mode 100644
index 00000000000..fa790b1f4e6
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/pragma-2.c
@@ -0,0 +1,4 @@
+/* { dg-do compile } */
+/* { dg-skip-if "test rvv intrinsic" { *-*-* } { "*" } { "-march=rv*v*" } } */
+
+#pragma riscv intrinsic "vector"
\ No newline at end of file
diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/pragma-3.c b/gcc/testsuite/gcc.target/riscv/rvv/base/pragma-3.c
new file mode 100644
index 00000000000..86da678adfa
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/pragma-3.c
@@ -0,0 +1,4 @@
+/* { dg-do compile } */
+/* { dg-skip-if "test rvv intrinsic" { *-*-* } { "*" } { "-march=rv*v*" } } */
+
+#pragma riscv intrinsic "report-error" /* { dg-error {unknown '#pragma riscv intrinsic' option 'report-error'} } */
\ No newline at end of file
diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/user-1.c b/gcc/testsuite/gcc.target/riscv/rvv/base/user-1.c
new file mode 100644
index 00000000000..299e3934a57
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/user-1.c
@@ -0,0 +1,65 @@
+/* { dg-do compile } */
+/* { dg-skip-if "test rvv intrinsic" { *-*-* } { "*" } { "-march=rv*v*" } } */
+
+#include "riscv_vector.h"
+
+void foo0 () {vbool64_t t;}
+void foo1 () {vbool32_t t;}
+void foo2 () {vbool16_t t;}
+void foo3 () {vbool8_t t;}
+void foo4 () {vbool4_t t;}
+void foo5 () {vbool2_t t;}
+void foo6 () {vbool1_t t;}
+void foo7 () {vint8mf8_t t;}
+void foo8 () {vuint8mf8_t t;}
+void foo9 () {vint8mf4_t t;}
+void foo10 () {vuint8mf4_t t;}
+void foo11 () {vint8mf2_t t;}
+void foo12 () {vuint8mf2_t t;}
+void foo13 () {vint8m1_t t;}
+void foo14 () {vuint8m1_t t;}
+void foo15 () {vint8m2_t t;}
+void foo16 () {vuint8m2_t t;}
+void foo17 () {vint8m4_t t;}
+void foo18 () {vuint8m4_t t;}
+void foo19 () {vint8m8_t t;}
+void foo20 () {vuint8m8_t t;}
+void foo21 () {vint16mf4_t t;}
+void foo22 () {vuint16mf4_t t;}
+void foo23 () {vint16mf2_t t;}
+void foo24 () {vuint16mf2_t t;}
+void foo25 () {vint16m1_t t;}
+void foo26 () {vuint16m1_t t;}
+void foo27 () {vint16m2_t t;}
+void foo28 () {vuint16m2_t t;}
+void foo29 () {vint16m4_t t;}
+void foo30 () {vuint16m4_t t;}
+void foo31 () {vint16m8_t t;}
+void foo32 () {vuint16m8_t t;}
+void foo33 () {vint32mf2_t t;}
+void foo34 () {vuint32mf2_t t;}
+void foo35 () {vint32m1_t t;}
+void foo36 () {vuint32m1_t t;}
+void foo37 () {vint32m2_t t;}
+void foo38 () {vuint32m2_t t;}
+void foo39 () {vint32m4_t t;}
+void foo40 () {vuint32m4_t t;}
+void foo41 () {vint32m8_t t;}
+void foo42 () {vuint32m8_t t;}
+void foo43 () {vint64m1_t t;}
+void foo44 () {vuint64m1_t t;}
+void foo45 () {vint64m2_t t;}
+void foo46 () {vuint64m2_t t;}
+void foo47 () {vint64m4_t t;}
+void foo48 () {vuint64m4_t t;}
+void foo49 () {vint64m8_t t;}
+void foo50 () {vuint64m8_t t;}
+void foo57 () {vfloat32mf2_t t;}
+void foo58 () {vfloat32m1_t t;}
+void foo59 () {vfloat32m2_t t;}
+void foo60 () {vfloat32m4_t t;}
+void foo61 () {vfloat32m8_t t;}
+void foo62 () {vfloat64m1_t t;}
+void foo63 () {vfloat64m2_t t;}
+void foo64 () {vfloat64m4_t t;}
+void foo65 () {vfloat64m8_t t;}
\ No newline at end of file
diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/user-2.c b/gcc/testsuite/gcc.target/riscv/rvv/base/user-2.c
new file mode 100644
index 00000000000..2a88467d218
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/user-2.c
@@ -0,0 +1,65 @@
+/* { dg-do compile } */
+/* { dg-options "-O3 -march=rv32gc_zve64x -mabi=ilp32d" } */
+
+#include "riscv_vector.h"
+
+void foo0 () {vbool64_t t;}
+void foo1 () {vbool32_t t;}
+void foo2 () {vbool16_t t;}
+void foo3 () {vbool8_t t;}
+void foo4 () {vbool4_t t;}
+void foo5 () {vbool2_t t;}
+void foo6 () {vbool1_t t;}
+void foo7 () {vint8mf8_t t;}
+void foo8 () {vuint8mf8_t t;}
+void foo9 () {vint8mf4_t t;}
+void foo10 () {vuint8mf4_t t;}
+void foo11 () {vint8mf2_t t;}
+void foo12 () {vuint8mf2_t t;}
+void foo13 () {vint8m1_t t;}
+void foo14 () {vuint8m1_t t;}
+void foo15 () {vint8m2_t t;}
+void foo16 () {vuint8m2_t t;}
+void foo17 () {vint8m4_t t;}
+void foo18 () {vuint8m4_t t;}
+void foo19 () {vint8m8_t t;}
+void foo20 () {vuint8m8_t t;}
+void foo21 () {vint16mf4_t t;}
+void foo22 () {vuint16mf4_t t;}
+void foo23 () {vint16mf2_t t;}
+void foo24 () {vuint16mf2_t t;}
+void foo25 () {vint16m1_t t;}
+void foo26 () {vuint16m1_t t;}
+void foo27 () {vint16m2_t t;}
+void foo28 () {vuint16m2_t t;}
+void foo29 () {vint16m4_t t;}
+void foo30 () {vuint16m4_t t;}
+void foo31 () {vint16m8_t t;}
+void foo32 () {vuint16m8_t t;}
+void foo33 () {vint32mf2_t t;}
+void foo34 () {vuint32mf2_t t;}
+void foo35 () {vint32m1_t t;}
+void foo36 () {vuint32m1_t t;}
+void foo37 () {vint32m2_t t;}
+void foo38 () {vuint32m2_t t;}
+void foo39 () {vint32m4_t t;}
+void foo40 () {vuint32m4_t t;}
+void foo41 () {vint32m8_t t;}
+void foo42 () {vuint32m8_t t;}
+void foo43 () {vint64m1_t t;}
+void foo44 () {vuint64m1_t t;}
+void foo45 () {vint64m2_t t;}
+void foo46 () {vuint64m2_t t;}
+void foo47 () {vint64m4_t t;}
+void foo48 () {vuint64m4_t t;}
+void foo49 () {vint64m8_t t;}
+void foo50 () {vuint64m8_t t;}
+void foo57 () {vfloat32mf2_t t;} /* { dg-error {unknown type name 'vfloat32mf2_t'} } */
+void foo58 () {vfloat32m1_t t;} /* { dg-error {unknown type name 'vfloat32m1_t'} } */
+void foo59 () {vfloat32m2_t t;} /* { dg-error {unknown type name 'vfloat32m2_t'} } */
+void foo60 () {vfloat32m4_t t;} /* { dg-error {unknown type name 'vfloat32m4_t'} } */
+void foo61 () {vfloat32m8_t t;} /* { dg-error {unknown type name 'vfloat32m8_t'} } */
+void foo62 () {vfloat64m1_t t;} /* { dg-error {unknown type name 'vfloat64m1_t'} } */
+void foo63 () {vfloat64m2_t t;} /* { dg-error {unknown type name 'vfloat64m2_t'} } */
+void foo64 () {vfloat64m4_t t;} /* { dg-error {unknown type name 'vfloat64m4_t'} } */
+void foo65 () {vfloat64m8_t t;} /* { dg-error {unknown type name 'vfloat64m8_t'} } */
\ No newline at end of file
diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/user-3.c b/gcc/testsuite/gcc.target/riscv/rvv/base/user-3.c
new file mode 100644
index 00000000000..85a6d044f19
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/user-3.c
@@ -0,0 +1,65 @@
+/* { dg-do compile } */
+/* { dg-options "-O3 -march=rv32gc_zve64f -mabi=ilp32d" } */
+
+#include "riscv_vector.h"
+
+void foo0 () {vbool64_t t;}
+void foo1 () {vbool32_t t;}
+void foo2 () {vbool16_t t;}
+void foo3 () {vbool8_t t;}
+void foo4 () {vbool4_t t;}
+void foo5 () {vbool2_t t;}
+void foo6 () {vbool1_t t;}
+void foo7 () {vint8mf8_t t;}
+void foo8 () {vuint8mf8_t t;}
+void foo9 () {vint8mf4_t t;}
+void foo10 () {vuint8mf4_t t;}
+void foo11 () {vint8mf2_t t;}
+void foo12 () {vuint8mf2_t t;}
+void foo13 () {vint8m1_t t;}
+void foo14 () {vuint8m1_t t;}
+void foo15 () {vint8m2_t t;}
+void foo16 () {vuint8m2_t t;}
+void foo17 () {vint8m4_t t;}
+void foo18 () {vuint8m4_t t;}
+void foo19 () {vint8m8_t t;}
+void foo20 () {vuint8m8_t t;}
+void foo21 () {vint16mf4_t t;}
+void foo22 () {vuint16mf4_t t;}
+void foo23 () {vint16mf2_t t;}
+void foo24 () {vuint16mf2_t t;}
+void foo25 () {vint16m1_t t;}
+void foo26 () {vuint16m1_t t;}
+void foo27 () {vint16m2_t t;}
+void foo28 () {vuint16m2_t t;}
+void foo29 () {vint16m4_t t;}
+void foo30 () {vuint16m4_t t;}
+void foo31 () {vint16m8_t t;}
+void foo32 () {vuint16m8_t t;}
+void foo33 () {vint32mf2_t t;}
+void foo34 () {vuint32mf2_t t;}
+void foo35 () {vint32m1_t t;}
+void foo36 () {vuint32m1_t t;}
+void foo37 () {vint32m2_t t;}
+void foo38 () {vuint32m2_t t;}
+void foo39 () {vint32m4_t t;}
+void foo40 () {vuint32m4_t t;}
+void foo41 () {vint32m8_t t;}
+void foo42 () {vuint32m8_t t;}
+void foo43 () {vint64m1_t t;}
+void foo44 () {vuint64m1_t t;}
+void foo45 () {vint64m2_t t;}
+void foo46 () {vuint64m2_t t;}
+void foo47 () {vint64m4_t t;}
+void foo48 () {vuint64m4_t t;}
+void foo49 () {vint64m8_t t;}
+void foo50 () {vuint64m8_t t;}
+void foo57 () {vfloat32mf2_t t;}
+void foo58 () {vfloat32m1_t t;}
+void foo59 () {vfloat32m2_t t;}
+void foo60 () {vfloat32m4_t t;}
+void foo61 () {vfloat32m8_t t;}
+void foo62 () {vfloat64m1_t t;} /* { dg-error {unknown type name 'vfloat64m1_t'} } */
+void foo63 () {vfloat64m2_t t;} /* { dg-error {unknown type name 'vfloat64m2_t'} } */
+void foo64 () {vfloat64m4_t t;} /* { dg-error {unknown type name 'vfloat64m4_t'} } */
+void foo65 () {vfloat64m8_t t;} /* { dg-error {unknown type name 'vfloat64m8_t'} } */
\ No newline at end of file
diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/user-4.c b/gcc/testsuite/gcc.target/riscv/rvv/base/user-4.c
new file mode 100644
index 00000000000..c51c03e45eb
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/user-4.c
@@ -0,0 +1,65 @@
+/* { dg-do compile } */
+/* { dg-options "-O3 -march=rv32gc_zve64d -mabi=ilp32d" } */
+
+#include "riscv_vector.h"
+
+void foo0 () {vbool64_t t;}
+void foo1 () {vbool32_t t;}
+void foo2 () {vbool16_t t;}
+void foo3 () {vbool8_t t;}
+void foo4 () {vbool4_t t;}
+void foo5 () {vbool2_t t;}
+void foo6 () {vbool1_t t;}
+void foo7 () {vint8mf8_t t;}
+void foo8 () {vuint8mf8_t t;}
+void foo9 () {vint8mf4_t t;}
+void foo10 () {vuint8mf4_t t;}
+void foo11 () {vint8mf2_t t;}
+void foo12 () {vuint8mf2_t t;}
+void foo13 () {vint8m1_t t;}
+void foo14 () {vuint8m1_t t;}
+void foo15 () {vint8m2_t t;}
+void foo16 () {vuint8m2_t t;}
+void foo17 () {vint8m4_t t;}
+void foo18 () {vuint8m4_t t;}
+void foo19 () {vint8m8_t t;}
+void foo20 () {vuint8m8_t t;}
+void foo21 () {vint16mf4_t t;}
+void foo22 () {vuint16mf4_t t;}
+void foo23 () {vint16mf2_t t;}
+void foo24 () {vuint16mf2_t t;}
+void foo25 () {vint16m1_t t;}
+void foo26 () {vuint16m1_t t;}
+void foo27 () {vint16m2_t t;}
+void foo28 () {vuint16m2_t t;}
+void foo29 () {vint16m4_t t;}
+void foo30 () {vuint16m4_t t;}
+void foo31 () {vint16m8_t t;}
+void foo32 () {vuint16m8_t t;}
+void foo33 () {vint32mf2_t t;}
+void foo34 () {vuint32mf2_t t;}
+void foo35 () {vint32m1_t t;}
+void foo36 () {vuint32m1_t t;}
+void foo37 () {vint32m2_t t;}
+void foo38 () {vuint32m2_t t;}
+void foo39 () {vint32m4_t t;}
+void foo40 () {vuint32m4_t t;}
+void foo41 () {vint32m8_t t;}
+void foo42 () {vuint32m8_t t;}
+void foo43 () {vint64m1_t t;}
+void foo44 () {vuint64m1_t t;}
+void foo45 () {vint64m2_t t;}
+void foo46 () {vuint64m2_t t;}
+void foo47 () {vint64m4_t t;}
+void foo48 () {vuint64m4_t t;}
+void foo49 () {vint64m8_t t;}
+void foo50 () {vuint64m8_t t;}
+void foo57 () {vfloat32mf2_t t;}
+void foo58 () {vfloat32m1_t t;}
+void foo59 () {vfloat32m2_t t;}
+void foo60 () {vfloat32m4_t t;}
+void foo61 () {vfloat32m8_t t;}
+void foo62 () {vfloat64m1_t t;}
+void foo63 () {vfloat64m2_t t;}
+void foo64 () {vfloat64m4_t t;}
+void foo65 () {vfloat64m8_t t;}
\ No newline at end of file
diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/user-5.c b/gcc/testsuite/gcc.target/riscv/rvv/base/user-5.c
new file mode 100644
index 00000000000..fb1c684cd1a
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/user-5.c
@@ -0,0 +1,65 @@
+/* { dg-do compile } */
+/* { dg-options "-O3 -march=rv32gc_zve32x -mabi=ilp32d" } */
+
+#include "riscv_vector.h"
+
+void foo0 () {vbool64_t t;} /* { dg-error {unknown type name 'vbool64_t'} } */
+void foo1 () {vbool32_t t;}
+void foo2 () {vbool16_t t;}
+void foo3 () {vbool8_t t;}
+void foo4 () {vbool4_t t;}
+void foo5 () {vbool2_t t;}
+void foo6 () {vbool1_t t;}
+void foo7 () {vint8mf8_t t;} /* { dg-error {unknown type name 'vint8mf8_t'} } */
+void foo8 () {vuint8mf8_t t;} /* { dg-error {unknown type name 'vuint8mf8_t'} } */
+void foo9 () {vint8mf4_t t;}
+void foo10 () {vuint8mf4_t t;}
+void foo11 () {vint8mf2_t t;}
+void foo12 () {vuint8mf2_t t;}
+void foo13 () {vint8m1_t t;}
+void foo14 () {vuint8m1_t t;}
+void foo15 () {vint8m2_t t;}
+void foo16 () {vuint8m2_t t;}
+void foo17 () {vint8m4_t t;}
+void foo18 () {vuint8m4_t t;}
+void foo19 () {vint8m8_t t;}
+void foo20 () {vuint8m8_t t;}
+void foo21 () {vint16mf4_t t;} /* { dg-error {unknown type name 'vint16mf4_t'} } */
+void foo22 () {vuint16mf4_t t;} /* { dg-error {unknown type name 'vuint16mf4_t'} } */
+void foo23 () {vint16mf2_t t;}
+void foo24 () {vuint16mf2_t t;}
+void foo25 () {vint16m1_t t;}
+void foo26 () {vuint16m1_t t;}
+void foo27 () {vint16m2_t t;}
+void foo28 () {vuint16m2_t t;}
+void foo29 () {vint16m4_t t;}
+void foo30 () {vuint16m4_t t;}
+void foo31 () {vint16m8_t t;}
+void foo32 () {vuint16m8_t t;}
+void foo33 () {vint32mf2_t t;} /* { dg-error {unknown type name 'vint32mf2_t'} } */
+void foo34 () {vuint32mf2_t t;} /* { dg-error {unknown type name 'vuint32mf2_t'} } */
+void foo35 () {vint32m1_t t;}
+void foo36 () {vuint32m1_t t;}
+void foo37 () {vint32m2_t t;}
+void foo38 () {vuint32m2_t t;}
+void foo39 () {vint32m4_t t;}
+void foo40 () {vuint32m4_t t;}
+void foo41 () {vint32m8_t t;}
+void foo42 () {vuint32m8_t t;}
+void foo43 () {vint64m1_t t;} /* { dg-error {unknown type name 'vint64m1_t'} } */
+void foo44 () {vuint64m1_t t;} /* { dg-error {unknown type name 'vuint64m1_t'} } */
+void foo45 () {vint64m2_t t;} /* { dg-error {unknown type name 'vint64m2_t'} } */
+void foo46 () {vuint64m2_t t;} /* { dg-error {unknown type name 'vuint64m2_t'} } */
+void foo47 () {vint64m4_t t;} /* { dg-error {unknown type name 'vint64m4_t'} } */
+void foo48 () {vuint64m4_t t;} /* { dg-error {unknown type name 'vuint64m4_t'} } */
+void foo49 () {vint64m8_t t;} /* { dg-error {unknown type name 'vint64m8_t'} } */
+void foo50 () {vuint64m8_t t;} /* { dg-error {unknown type name 'vuint64m8_t'} } */
+void foo57 () {vfloat32mf2_t t;} /* { dg-error {unknown type name 'vfloat32mf2_t'} } */
+void foo58 () {vfloat32m1_t t;} /* { dg-error {unknown type name 'vfloat32m1_t'} } */
+void foo59 () {vfloat32m2_t t;} /* { dg-error {unknown type name 'vfloat32m2_t'} } */
+void foo60 () {vfloat32m4_t t;} /* { dg-error {unknown type name 'vfloat32m4_t'} } */
+void foo61 () {vfloat32m8_t t;} /* { dg-error {unknown type name 'vfloat32m8_t'} } */
+void foo62 () {vfloat64m1_t t;} /* { dg-error {unknown type name 'vfloat64m1_t'} } */
+void foo63 () {vfloat64m2_t t;} /* { dg-error {unknown type name 'vfloat64m2_t'} } */
+void foo64 () {vfloat64m4_t t;} /* { dg-error {unknown type name 'vfloat64m4_t'} } */
+void foo65 () {vfloat64m8_t t;} /* { dg-error {unknown type name 'vfloat64m8_t'} } */
\ No newline at end of file
diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/user-6.c b/gcc/testsuite/gcc.target/riscv/rvv/base/user-6.c
new file mode 100644
index 00000000000..5361fbd379f
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/user-6.c
@@ -0,0 +1,65 @@
+/* { dg-do compile } */
+/* { dg-options "-O3 -march=rv32gc_zve32f -mabi=ilp32d" } */
+
+#include "riscv_vector.h"
+
+void foo0 () {vbool64_t t;} /* { dg-error {unknown type name 'vbool64_t'} } */
+void foo1 () {vbool32_t t;}
+void foo2 () {vbool16_t t;}
+void foo3 () {vbool8_t t;}
+void foo4 () {vbool4_t t;}
+void foo5 () {vbool2_t t;}
+void foo6 () {vbool1_t t;}
+void foo7 () {vint8mf8_t t;} /* { dg-error {unknown type name 'vint8mf8_t'} } */
+void foo8 () {vuint8mf8_t t;} /* { dg-error {unknown type name 'vuint8mf8_t'} } */
+void foo9 () {vint8mf4_t t;}
+void foo10 () {vuint8mf4_t t;}
+void foo11 () {vint8mf2_t t;}
+void foo12 () {vuint8mf2_t t;}
+void foo13 () {vint8m1_t t;}
+void foo14 () {vuint8m1_t t;}
+void foo15 () {vint8m2_t t;}
+void foo16 () {vuint8m2_t t;}
+void foo17 () {vint8m4_t t;}
+void foo18 () {vuint8m4_t t;}
+void foo19 () {vint8m8_t t;}
+void foo20 () {vuint8m8_t t;}
+void foo21 () {vint16mf4_t t;} /* { dg-error {unknown type name 'vint16mf4_t'} } */
+void foo22 () {vuint16mf4_t t;} /* { dg-error {unknown type name 'vuint16mf4_t'} } */
+void foo23 () {vint16mf2_t t;}
+void foo24 () {vuint16mf2_t t;}
+void foo25 () {vint16m1_t t;}
+void foo26 () {vuint16m1_t t;}
+void foo27 () {vint16m2_t t;}
+void foo28 () {vuint16m2_t t;}
+void foo29 () {vint16m4_t t;}
+void foo30 () {vuint16m4_t t;}
+void foo31 () {vint16m8_t t;}
+void foo32 () {vuint16m8_t t;}
+void foo33 () {vint32mf2_t t;} /* { dg-error {unknown type name 'vint32mf2_t'} } */
+void foo34 () {vuint32mf2_t t;} /* { dg-error {unknown type name 'vuint32mf2_t'} } */
+void foo35 () {vint32m1_t t;}
+void foo36 () {vuint32m1_t t;}
+void foo37 () {vint32m2_t t;}
+void foo38 () {vuint32m2_t t;}
+void foo39 () {vint32m4_t t;}
+void foo40 () {vuint32m4_t t;}
+void foo41 () {vint32m8_t t;}
+void foo42 () {vuint32m8_t t;}
+void foo43 () {vint64m1_t t;} /* { dg-error {unknown type name 'vint64m1_t'} } */
+void foo44 () {vuint64m1_t t;} /* { dg-error {unknown type name 'vuint64m1_t'} } */
+void foo45 () {vint64m2_t t;} /* { dg-error {unknown type name 'vint64m2_t'} } */
+void foo46 () {vuint64m2_t t;} /* { dg-error {unknown type name 'vuint64m2_t'} } */
+void foo47 () {vint64m4_t t;} /* { dg-error {unknown type name 'vint64m4_t'} } */
+void foo48 () {vuint64m4_t t;} /* { dg-error {unknown type name 'vuint64m4_t'} } */
+void foo49 () {vint64m8_t t;} /* { dg-error {unknown type name 'vint64m8_t'} } */
+void foo50 () {vuint64m8_t t;} /* { dg-error {unknown type name 'vuint64m8_t'} } */
+void foo57 () {vfloat32mf2_t t;} /* { dg-error {unknown type name 'vfloat32mf2_t'} } */
+void foo58 () {vfloat32m1_t t;}
+void foo59 () {vfloat32m2_t t;}
+void foo60 () {vfloat32m4_t t;}
+void foo61 () {vfloat32m8_t t;}
+void foo62 () {vfloat64m1_t t;} /* { dg-error {unknown type name 'vfloat64m1_t'} } */
+void foo63 () {vfloat64m2_t t;} /* { dg-error {unknown type name 'vfloat64m2_t'} } */
+void foo64 () {vfloat64m4_t t;} /* { dg-error {unknown type name 'vfloat64m4_t'} } */
+void foo65 () {vfloat64m8_t t;} /* { dg-error {unknown type name 'vfloat64m8_t'} } */
\ No newline at end of file
diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/vread_csr.c b/gcc/testsuite/gcc.target/riscv/rvv/base/vread_csr.c
new file mode 100644
index 00000000000..9151349f809
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/vread_csr.c
@@ -0,0 +1,26 @@
+/* { dg-do compile } */
+/* { dg-additional-options "-O3" } */
+/* { dg-skip-if "test intrinsic using rvv" { *-*-* } { "*" } { "-march=rv*v*zfh*" } } */
+
+#include <riscv_vector.h>
+
+unsigned long vread_csr_vstart(void) {
+ return vread_csr(RVV_VSTART);
+}
+
+unsigned long vread_csr_vxsat(void) {
+ return vread_csr(RVV_VXSAT);
+}
+
+unsigned long vread_csr_vxrm(void) {
+ return vread_csr(RVV_VXRM);
+}
+
+unsigned long vread_csr_vcsr(void) {
+ return vread_csr(RVV_VCSR);
+}
+
+/* { dg-final { scan-assembler-times {csrr\s+(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*vstart} 1 } } */
+/* { dg-final { scan-assembler-times {csrr\s+(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*vxsat} 1 } } */
+/* { dg-final { scan-assembler-times {csrr\s+(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*vxrm} 1 } } */
+/* { dg-final { scan-assembler-times {csrr\s+(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*vcsr} 1 } } */
\ No newline at end of file
diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/vwrite_csr.c b/gcc/testsuite/gcc.target/riscv/rvv/base/vwrite_csr.c
new file mode 100644
index 00000000000..a50eba713fb
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/vwrite_csr.c
@@ -0,0 +1,26 @@
+/* { dg-do compile } */
+/* { dg-additional-options "-O3" } */
+/* { dg-skip-if "test intrinsic using rvv" { *-*-* } { "*" } { "-march=rv*v*zfh*" } } */
+
+#include <riscv_vector.h>
+
+void vwrite_csr_vstart(unsigned long value) {
+ vwrite_csr(RVV_VSTART, value);
+}
+
+void vwrite_csr_vxsat(unsigned long value) {
+ vwrite_csr(RVV_VXSAT, value);
+}
+
+void vwrite_csr_vxrm(unsigned long value) {
+ vwrite_csr(RVV_VXRM, value);
+}
+
+void vwrite_csr_vcsr(unsigned long value) {
+ vwrite_csr(RVV_VCSR, value);
+}
+
+/* { dg-final { scan-assembler-times {csrw\s+vstart,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])} 1 } } */
+/* { dg-final { scan-assembler-times {csrw\s+vxsat,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])} 1 } } */
+/* { dg-final { scan-assembler-times {csrw\s+vxrm,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])} 1 } } */
+/* { dg-final { scan-assembler-times {csrw\s+vcsr,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])} 1 } } */
\ No newline at end of file
--
2.36.1
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [PATCH] RISC-V: Introduce RVV header to enable builtin types
2022-09-30 6:58 [PATCH] RISC-V: Introduce RVV header to enable builtin types juzhe.zhong
@ 2022-10-05 13:59 ` Kito Cheng
0 siblings, 0 replies; 2+ messages in thread
From: Kito Cheng @ 2022-10-05 13:59 UTC (permalink / raw)
To: juzhe.zhong; +Cc: gcc-patches
Committed, thanks :)
On Fri, Sep 30, 2022 at 2:59 PM <juzhe.zhong@rivai.ai> wrote:
>
> From: Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
>
> gcc/ChangeLog:
>
> * config.gcc: Add riscv_vector.h.
> * config/riscv/riscv-builtins.cc: Add RVV builtin types support.
> * config/riscv/riscv-c.cc (riscv_pragma_intrinsic): New function.
> (riscv_register_pragmas): Ditto.
> * config/riscv/riscv-protos.h (riscv_register_pragmas): Ditto.
> (init_builtins): Move declaration from riscv-vector-builtins.h to riscv-protos.h.
> (mangle_builtin_type): Ditto.
> (verify_type_context): Ditto.
> (handle_pragma_vector): New function.
> * config/riscv/riscv-vector-builtins.cc (GTY): New variable.
> (register_vector_type): New function.
> (init_builtins): Add RVV builtin types support.
> (handle_pragma_vector): New function.
> * config/riscv/riscv-vector-builtins.h (GCC_RISCV_V_BUILTINS_H): Change name according to file name.
> (GCC_RISCV_VECTOR_BUILTINS_H): Ditto.
> (init_builtins): Remove declaration in riscv-vector-builtins.h.
> (mangle_builtin_type): Ditto.
> (verify_type_context): Ditto.
> * config/riscv/riscv.cc: Adjust for RVV builtin types support.
> * config/riscv/riscv.h (REGISTER_TARGET_PRAGMAS): New macro.
> * config/riscv/t-riscv: Remove redundant file including.
> * config/riscv/riscv_vector.h: New file.
>
> gcc/testsuite/ChangeLog:
>
> * gcc.target/riscv/rvv/base/pragma-1.c: New test.
> * gcc.target/riscv/rvv/base/pragma-2.c: New test.
> * gcc.target/riscv/rvv/base/pragma-3.c: New test.
> * gcc.target/riscv/rvv/base/user-1.c: New test.
> * gcc.target/riscv/rvv/base/user-2.c: New test.
> * gcc.target/riscv/rvv/base/user-3.c: New test.
> * gcc.target/riscv/rvv/base/user-4.c: New test.
> * gcc.target/riscv/rvv/base/user-5.c: New test.
> * gcc.target/riscv/rvv/base/user-6.c: New test.
> * gcc.target/riscv/rvv/base/vread_csr.c: New test.
> * gcc.target/riscv/rvv/base/vwrite_csr.c: New test.
>
> ---
> gcc/config.gcc | 1 +
> gcc/config/riscv/riscv-builtins.cc | 2 +-
> gcc/config/riscv/riscv-c.cc | 41 +++++++
> gcc/config/riscv/riscv-protos.h | 11 ++
> gcc/config/riscv/riscv-vector-builtins.cc | 45 ++++++++
> gcc/config/riscv/riscv-vector-builtins.h | 13 +--
> gcc/config/riscv/riscv.cc | 7 +-
> gcc/config/riscv/riscv.h | 2 +
> gcc/config/riscv/riscv_vector.h | 100 ++++++++++++++++++
> gcc/config/riscv/t-riscv | 2 +-
> .../gcc.target/riscv/rvv/base/pragma-1.c | 4 +
> .../gcc.target/riscv/rvv/base/pragma-2.c | 4 +
> .../gcc.target/riscv/rvv/base/pragma-3.c | 4 +
> .../gcc.target/riscv/rvv/base/user-1.c | 65 ++++++++++++
> .../gcc.target/riscv/rvv/base/user-2.c | 65 ++++++++++++
> .../gcc.target/riscv/rvv/base/user-3.c | 65 ++++++++++++
> .../gcc.target/riscv/rvv/base/user-4.c | 65 ++++++++++++
> .../gcc.target/riscv/rvv/base/user-5.c | 65 ++++++++++++
> .../gcc.target/riscv/rvv/base/user-6.c | 65 ++++++++++++
> .../gcc.target/riscv/rvv/base/vread_csr.c | 26 +++++
> .../gcc.target/riscv/rvv/base/vwrite_csr.c | 26 +++++
> 21 files changed, 665 insertions(+), 13 deletions(-)
> create mode 100644 gcc/config/riscv/riscv_vector.h
> create mode 100644 gcc/testsuite/gcc.target/riscv/rvv/base/pragma-1.c
> create mode 100644 gcc/testsuite/gcc.target/riscv/rvv/base/pragma-2.c
> create mode 100644 gcc/testsuite/gcc.target/riscv/rvv/base/pragma-3.c
> create mode 100644 gcc/testsuite/gcc.target/riscv/rvv/base/user-1.c
> create mode 100644 gcc/testsuite/gcc.target/riscv/rvv/base/user-2.c
> create mode 100644 gcc/testsuite/gcc.target/riscv/rvv/base/user-3.c
> create mode 100644 gcc/testsuite/gcc.target/riscv/rvv/base/user-4.c
> create mode 100644 gcc/testsuite/gcc.target/riscv/rvv/base/user-5.c
> create mode 100644 gcc/testsuite/gcc.target/riscv/rvv/base/user-6.c
> create mode 100644 gcc/testsuite/gcc.target/riscv/rvv/base/vread_csr.c
> create mode 100644 gcc/testsuite/gcc.target/riscv/rvv/base/vwrite_csr.c
>
> diff --git a/gcc/config.gcc b/gcc/config.gcc
> index 7eb07870425..1dd408d1ade 100644
> --- a/gcc/config.gcc
> +++ b/gcc/config.gcc
> @@ -518,6 +518,7 @@ riscv*)
> extra_objs="riscv-builtins.o riscv-c.o riscv-sr.o riscv-shorten-memrefs.o riscv-selftests.o"
> extra_objs="${extra_objs} riscv-vector-builtins.o"
> d_target_objs="riscv-d.o"
> + extra_headers="riscv_vector.h"
> ;;
> rs6000*-*-*)
> extra_options="${extra_options} g.opt fused-madd.opt rs6000/rs6000-tables.opt"
> diff --git a/gcc/config/riscv/riscv-builtins.cc b/gcc/config/riscv/riscv-builtins.cc
> index a51037a8f7a..14865d70955 100644
> --- a/gcc/config/riscv/riscv-builtins.cc
> +++ b/gcc/config/riscv/riscv-builtins.cc
> @@ -37,7 +37,7 @@ along with GCC; see the file COPYING3. If not see
> #include "stringpool.h"
> #include "expr.h"
> #include "langhooks.h"
> -#include "riscv-vector-builtins.h"
> +#include "tm_p.h"
>
> /* Macros to create an enumeration identifier for a function prototype. */
> #define RISCV_FTYPE_NAME0(A) RISCV_##A##_FTYPE
> diff --git a/gcc/config/riscv/riscv-c.cc b/gcc/config/riscv/riscv-c.cc
> index eb7ef09297e..6fe4a8aeacf 100644
> --- a/gcc/config/riscv/riscv-c.cc
> +++ b/gcc/config/riscv/riscv-c.cc
> @@ -27,6 +27,9 @@ along with GCC; see the file COPYING3. If not see
> #include "tm.h"
> #include "c-family/c-common.h"
> #include "cpplib.h"
> +#include "c-family/c-pragma.h"
> +#include "target.h"
> +#include "tm_p.h"
> #include "riscv-subset.h"
>
> #define builtin_define(TXT) cpp_define (pfile, TXT)
> @@ -155,3 +158,41 @@ riscv_cpu_cpp_builtins (cpp_reader *pfile)
> builtin_define_with_int_value (buf, version_value);
> }
> }
> +
> +/* Implement "#pragma riscv intrinsic". */
> +
> +static void
> +riscv_pragma_intrinsic (cpp_reader *)
> +{
> + tree x;
> +
> + if (pragma_lex (&x) != CPP_STRING)
> + {
> + error ("%<#pragma riscv intrinsic%> requires a string parameter");
> + return;
> + }
> +
> + const char *name = TREE_STRING_POINTER (x);
> +
> + if (strcmp (name, "vector") == 0)
> + {
> + if (!TARGET_VECTOR)
> + {
> + error ("%<#pragma riscv intrinsic%> option %qs needs 'V' extension "
> + "enabled",
> + name);
> + return;
> + }
> + riscv_vector::handle_pragma_vector ();
> + }
> + else
> + error ("unknown %<#pragma riscv intrinsic%> option %qs", name);
> +}
> +
> +/* Implement REGISTER_TARGET_PRAGMAS. */
> +
> +void
> +riscv_register_pragmas (void)
> +{
> + c_register_pragma ("riscv", "intrinsic", riscv_pragma_intrinsic);
> +}
> \ No newline at end of file
> diff --git a/gcc/config/riscv/riscv-protos.h b/gcc/config/riscv/riscv-protos.h
> index 101361a4b44..a44b34d1278 100644
> --- a/gcc/config/riscv/riscv-protos.h
> +++ b/gcc/config/riscv/riscv-protos.h
> @@ -79,6 +79,7 @@ extern bool riscv_v_ext_enabled_vector_mode_p (machine_mode);
>
> /* Routines implemented in riscv-c.cc. */
> void riscv_cpu_cpp_builtins (cpp_reader *);
> +void riscv_register_pragmas (void);
>
> /* Routines implemented in riscv-builtins.cc. */
> extern void riscv_atomic_assign_expand_fenv (tree *, tree *, tree *);
> @@ -115,4 +116,14 @@ extern void riscv_run_selftests (void);
> } // namespace selftest
> #endif
>
> +namespace riscv_vector {
> +/* Routines implemented in riscv-vector-builtins.cc. */
> +extern void init_builtins (void);
> +extern const char *mangle_builtin_type (const_tree);
> +#ifdef GCC_TARGET_H
> +extern bool verify_type_context (location_t, type_context_kind, const_tree, bool);
> +#endif
> +extern void handle_pragma_vector (void);
> +}
> +
> #endif /* ! GCC_RISCV_PROTOS_H */
> diff --git a/gcc/config/riscv/riscv-vector-builtins.cc b/gcc/config/riscv/riscv-vector-builtins.cc
> index 019a40d1e16..0096e32f5e4 100644
> --- a/gcc/config/riscv/riscv-vector-builtins.cc
> +++ b/gcc/config/riscv/riscv-vector-builtins.cc
> @@ -46,6 +46,8 @@
> #include "regs.h"
> #include "riscv-vector-builtins.h"
>
> +using namespace riscv_vector;
> +
> namespace riscv_vector {
>
> /* Information about each RVV type. */
> @@ -64,6 +66,10 @@ static GTY (()) machine_mode vector_modes[NUM_VECTOR_TYPES];
> yields a null tree. */
> static GTY(()) tree abi_vector_types[NUM_VECTOR_TYPES + 1];
>
> +/* Same, but with the riscv_vector.h "v..._t" name. */
> +extern GTY(()) tree builtin_vector_types[MAX_TUPLE_SIZE][NUM_VECTOR_TYPES + 1];
> +tree builtin_vector_types[MAX_TUPLE_SIZE][NUM_VECTOR_TYPES + 1];
> +
> rvv_switcher::rvv_switcher ()
> {
> /* Set have_regs_of_mode before targetm.init_builtins (). */
> @@ -183,6 +189,32 @@ register_builtin_types ()
> }
> }
>
> +/* Register vector type TYPE under its risv_vector.h name. */
> +static void
> +register_vector_type (vector_type_index type)
> +{
> + tree vectype = abi_vector_types[type];
> + /* When vectype is NULL, the corresponding builtin type
> + is disabled according to '-march'. */
> + if (!vectype)
> + return;
> + tree id = get_identifier (vector_types[type].user_name);
> + tree decl = build_decl (input_location, TYPE_DECL, id, vectype);
> + decl = lang_hooks.decls.pushdecl (decl);
> +
> + /* Record the new RVV type if pushdecl succeeded without error. Use
> + the ABI type otherwise, so that the type we record at least has the
> + right form, even if it doesn't have the right name. This should give
> + better error recovery behavior than installing error_mark_node or
> + installing an incorrect type. */
> + if (decl && TREE_CODE (decl) == TYPE_DECL
> + && TREE_TYPE (decl) != error_mark_node
> + && TYPE_MAIN_VARIANT (TREE_TYPE (decl)) == vectype)
> + vectype = TREE_TYPE (decl);
> +
> + builtin_vector_types[0][type] = vectype;
> +}
> +
> /* Initialize all compiler built-ins related to RVV that should be
> defined at start-up. */
> void
> @@ -192,6 +224,8 @@ init_builtins ()
> if (!TARGET_VECTOR)
> return;
> register_builtin_types ();
> + if (in_lto_p)
> + handle_pragma_vector ();
> }
>
> /* Implement TARGET_VERIFY_TYPE_CONTEXT for RVV types. */
> @@ -276,4 +310,15 @@ verify_type_context (location_t loc, type_context_kind context, const_tree type,
> gcc_unreachable ();
> }
>
> +/* Implement #pragma riscv intrinsic vector. */
> +void
> +handle_pragma_vector ()
> +{
> + rvv_switcher rvv;
> +
> + /* Define the vector and tuple types. */
> + for (unsigned int type_i = 0; type_i < NUM_VECTOR_TYPES; ++type_i)
> + register_vector_type ((enum vector_type_index) type_i);
> +}
> +
> } // end namespace riscv_vector
> diff --git a/gcc/config/riscv/riscv-vector-builtins.h b/gcc/config/riscv/riscv-vector-builtins.h
> index a4a8c1156a5..6ca0b073964 100644
> --- a/gcc/config/riscv/riscv-vector-builtins.h
> +++ b/gcc/config/riscv/riscv-vector-builtins.h
> @@ -18,11 +18,14 @@
> along with GCC; see the file COPYING3. If not see
> <http://www.gnu.org/licenses/>. */
>
> -#ifndef GCC_RISCV_V_BUILTINS_H
> -#define GCC_RISCV_V_BUILTINS_H
> +#ifndef GCC_RISCV_VECTOR_BUILTINS_H
> +#define GCC_RISCV_VECTOR_BUILTINS_H
>
> namespace riscv_vector {
>
> +/* This is for segment instructions. */
> +const unsigned int MAX_TUPLE_SIZE = 8;
> +
> /* Static information about each vector type. */
> struct vector_type_info
> {
> @@ -68,12 +71,6 @@ private:
> bool m_old_have_regs_of_mode[MAX_MACHINE_MODE];
> };
>
> -void init_builtins ();
> -const char *mangle_builtin_type (const_tree);
> -#ifdef GCC_TARGET_H
> -bool verify_type_context (location_t, type_context_kind, const_tree, bool);
> -#endif
> -
> } // end namespace riscv_vector
>
> #endif
> diff --git a/gcc/config/riscv/riscv.cc b/gcc/config/riscv/riscv.cc
> index 0d618315828..289af36ae5f 100644
> --- a/gcc/config/riscv/riscv.cc
> +++ b/gcc/config/riscv/riscv.cc
> @@ -25,6 +25,7 @@ along with GCC; see the file COPYING3. If not see
> #include "config.h"
> #include "system.h"
> #include "coretypes.h"
> +#include "target.h"
> #include "tm.h"
> #include "rtl.h"
> #include "regs.h"
> @@ -45,8 +46,6 @@ along with GCC; see the file COPYING3. If not see
> #include "emit-rtl.h"
> #include "reload.h"
> #include "tm_p.h"
> -#include "target.h"
> -#include "target-def.h"
> #include "basic-block.h"
> #include "expr.h"
> #include "optabs.h"
> @@ -59,7 +58,9 @@ along with GCC; see the file COPYING3. If not see
> #include "opts.h"
> #include "tm-constrs.h"
> #include "rtl-iter.h"
> -#include "riscv-vector-builtins.h"
> +
> +/* This file should be included last. */
> +#include "target-def.h"
>
> /* True if X is an UNSPEC wrapper around a SYMBOL_REF or LABEL_REF. */
> #define UNSPEC_ADDRESS_P(X) \
> diff --git a/gcc/config/riscv/riscv.h b/gcc/config/riscv/riscv.h
> index 363113c6511..acae68ebb2d 100644
> --- a/gcc/config/riscv/riscv.h
> +++ b/gcc/config/riscv/riscv.h
> @@ -1078,4 +1078,6 @@ extern void riscv_remove_unneeded_save_restore_calls (void);
>
> #define TARGET_SUPPORTS_WIDE_INT 1
>
> +#define REGISTER_TARGET_PRAGMAS() riscv_register_pragmas ()
> +
> #endif /* ! GCC_RISCV_H */
> diff --git a/gcc/config/riscv/riscv_vector.h b/gcc/config/riscv/riscv_vector.h
> new file mode 100644
> index 00000000000..85cc656bc41
> --- /dev/null
> +++ b/gcc/config/riscv/riscv_vector.h
> @@ -0,0 +1,100 @@
> +/* RISC-V 'V' Extension intrinsics include file.
> + Copyright (C) 2022-2022 Free Software Foundation, Inc.
> +
> + This file is part of GCC.
> +
> + GCC is free software; you can redistribute it and/or modify it
> + under the terms of the GNU General Public License as published
> + by the Free Software Foundation; either version 3, or (at your
> + option) any later version.
> +
> + GCC is distributed in the hope that it will be useful, but WITHOUT
> + ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
> + or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
> + License for more details.
> +
> + Under Section 7 of GPL version 3, you are granted additional
> + permissions described in the GCC Runtime Library Exception, version
> + 3.1, as published by the Free Software Foundation.
> +
> + You should have received a copy of the GNU General Public License and
> + a copy of the GCC Runtime Library Exception along with this program;
> + see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
> + <http://www.gnu.org/licenses/>. */
> +
> +#ifndef __RISCV_VECTOR_H
> +#define __RISCV_VECTOR_H
> +
> +#include <stdint.h>
> +#include <stddef.h>
> +
> +#ifndef __riscv_vector
> +#error "Vector intrinsics require the vector extension."
> +#else
> +#ifdef __cplusplus
> +extern "C" {
> +#endif
> +
> +enum RVV_CSR {
> + RVV_VSTART = 0,
> + RVV_VXSAT,
> + RVV_VXRM,
> + RVV_VCSR,
> +};
> +
> +__extension__ extern __inline unsigned long
> +__attribute__ ((__always_inline__, __gnu_inline__, __artificial__))
> +vread_csr(enum RVV_CSR csr)
> +{
> + unsigned long rv = 0;
> + switch (csr)
> + {
> + case RVV_VSTART:
> + __asm__ __volatile__ ("csrr\t%0,vstart" : "=r"(rv) : : "memory");
> + break;
> + case RVV_VXSAT:
> + __asm__ __volatile__ ("csrr\t%0,vxsat" : "=r"(rv) : : "memory");
> + break;
> + case RVV_VXRM:
> + __asm__ __volatile__ ("csrr\t%0,vxrm" : "=r"(rv) : : "memory");
> + break;
> + case RVV_VCSR:
> + __asm__ __volatile__ ("csrr\t%0,vcsr" : "=r"(rv) : : "memory");
> + break;
> + }
> + return rv;
> +}
> +
> +__extension__ extern __inline void
> +__attribute__ ((__always_inline__, __gnu_inline__, __artificial__))
> +vwrite_csr(enum RVV_CSR csr, unsigned long value)
> +{
> + switch (csr)
> + {
> + case RVV_VSTART:
> + __asm__ __volatile__ ("csrw\tvstart,%z0" : : "rJ"(value) : "memory");
> + break;
> + case RVV_VXSAT:
> + __asm__ __volatile__ ("csrw\tvxsat,%z0" : : "rJ"(value) : "memory");
> + break;
> + case RVV_VXRM:
> + __asm__ __volatile__ ("csrw\tvxrm,%z0" : : "rJ"(value) : "memory");
> + break;
> + case RVV_VCSR:
> + __asm__ __volatile__ ("csrw\tvcsr,%z0" : : "rJ"(value) : "memory");
> + break;
> + }
> +}
> +
> +/* NOTE: This implementation of riscv_vector.h is intentionally short. It does
> + not define the RVV types and intrinsic functions directly in C and C++
> + code, but instead uses the following pragma to tell GCC to insert the
> + necessary type and function definitions itself. The net effect is the
> + same, and the file is a complete implementation of riscv_vector.h. */
> +#pragma riscv intrinsic "vector"
> +
> +#ifdef __cplusplus
> +}
> +#endif // __cplusplus
> +#endif // __riscv_vector
> +#endif // __RISCV_VECTOR_H
> \ No newline at end of file
> diff --git a/gcc/config/riscv/t-riscv b/gcc/config/riscv/t-riscv
> index ad9be094ebe..2f060437c23 100644
> --- a/gcc/config/riscv/t-riscv
> +++ b/gcc/config/riscv/t-riscv
> @@ -9,7 +9,7 @@ riscv-vector-builtins.o: $(srcdir)/config/riscv/riscv-vector-builtins.cc \
> $(CONFIG_H) $(SYSTEM_H) coretypes.h $(TM_H) $(TREE_H) $(RTL_H) $(TM_P_H) \
> memmodel.h insn-codes.h $(OPTABS_H) $(RECOG_H) $(DIAGNOSTIC_H) $(EXPR_H) \
> $(FUNCTION_H) fold-const.h gimplify.h explow.h stor-layout.h $(REGS_H) \
> - alias.h langhooks.h attribs.h stringpool.h $(REGS_H) \
> + alias.h langhooks.h attribs.h stringpool.h \
> $(srcdir)/config/riscv/riscv-vector-builtins.h \
> $(srcdir)/config/riscv/riscv-vector-builtins.def
> $(COMPILER) -c $(ALL_COMPILERFLAGS) $(ALL_CPPFLAGS) $(INCLUDES) \
> diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/pragma-1.c b/gcc/testsuite/gcc.target/riscv/rvv/base/pragma-1.c
> new file mode 100644
> index 00000000000..79b1159d9e7
> --- /dev/null
> +++ b/gcc/testsuite/gcc.target/riscv/rvv/base/pragma-1.c
> @@ -0,0 +1,4 @@
> +/* { dg-do compile } */
> +/* { dg-options "-O3 -march=rv32gc -mabi=ilp32d" } */
> +
> +#pragma riscv intrinsic "vector" /* { dg-error {#pragma riscv intrinsic' option 'vector' needs 'V' extension enabled} } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/pragma-2.c b/gcc/testsuite/gcc.target/riscv/rvv/base/pragma-2.c
> new file mode 100644
> index 00000000000..fa790b1f4e6
> --- /dev/null
> +++ b/gcc/testsuite/gcc.target/riscv/rvv/base/pragma-2.c
> @@ -0,0 +1,4 @@
> +/* { dg-do compile } */
> +/* { dg-skip-if "test rvv intrinsic" { *-*-* } { "*" } { "-march=rv*v*" } } */
> +
> +#pragma riscv intrinsic "vector"
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/pragma-3.c b/gcc/testsuite/gcc.target/riscv/rvv/base/pragma-3.c
> new file mode 100644
> index 00000000000..86da678adfa
> --- /dev/null
> +++ b/gcc/testsuite/gcc.target/riscv/rvv/base/pragma-3.c
> @@ -0,0 +1,4 @@
> +/* { dg-do compile } */
> +/* { dg-skip-if "test rvv intrinsic" { *-*-* } { "*" } { "-march=rv*v*" } } */
> +
> +#pragma riscv intrinsic "report-error" /* { dg-error {unknown '#pragma riscv intrinsic' option 'report-error'} } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/user-1.c b/gcc/testsuite/gcc.target/riscv/rvv/base/user-1.c
> new file mode 100644
> index 00000000000..299e3934a57
> --- /dev/null
> +++ b/gcc/testsuite/gcc.target/riscv/rvv/base/user-1.c
> @@ -0,0 +1,65 @@
> +/* { dg-do compile } */
> +/* { dg-skip-if "test rvv intrinsic" { *-*-* } { "*" } { "-march=rv*v*" } } */
> +
> +#include "riscv_vector.h"
> +
> +void foo0 () {vbool64_t t;}
> +void foo1 () {vbool32_t t;}
> +void foo2 () {vbool16_t t;}
> +void foo3 () {vbool8_t t;}
> +void foo4 () {vbool4_t t;}
> +void foo5 () {vbool2_t t;}
> +void foo6 () {vbool1_t t;}
> +void foo7 () {vint8mf8_t t;}
> +void foo8 () {vuint8mf8_t t;}
> +void foo9 () {vint8mf4_t t;}
> +void foo10 () {vuint8mf4_t t;}
> +void foo11 () {vint8mf2_t t;}
> +void foo12 () {vuint8mf2_t t;}
> +void foo13 () {vint8m1_t t;}
> +void foo14 () {vuint8m1_t t;}
> +void foo15 () {vint8m2_t t;}
> +void foo16 () {vuint8m2_t t;}
> +void foo17 () {vint8m4_t t;}
> +void foo18 () {vuint8m4_t t;}
> +void foo19 () {vint8m8_t t;}
> +void foo20 () {vuint8m8_t t;}
> +void foo21 () {vint16mf4_t t;}
> +void foo22 () {vuint16mf4_t t;}
> +void foo23 () {vint16mf2_t t;}
> +void foo24 () {vuint16mf2_t t;}
> +void foo25 () {vint16m1_t t;}
> +void foo26 () {vuint16m1_t t;}
> +void foo27 () {vint16m2_t t;}
> +void foo28 () {vuint16m2_t t;}
> +void foo29 () {vint16m4_t t;}
> +void foo30 () {vuint16m4_t t;}
> +void foo31 () {vint16m8_t t;}
> +void foo32 () {vuint16m8_t t;}
> +void foo33 () {vint32mf2_t t;}
> +void foo34 () {vuint32mf2_t t;}
> +void foo35 () {vint32m1_t t;}
> +void foo36 () {vuint32m1_t t;}
> +void foo37 () {vint32m2_t t;}
> +void foo38 () {vuint32m2_t t;}
> +void foo39 () {vint32m4_t t;}
> +void foo40 () {vuint32m4_t t;}
> +void foo41 () {vint32m8_t t;}
> +void foo42 () {vuint32m8_t t;}
> +void foo43 () {vint64m1_t t;}
> +void foo44 () {vuint64m1_t t;}
> +void foo45 () {vint64m2_t t;}
> +void foo46 () {vuint64m2_t t;}
> +void foo47 () {vint64m4_t t;}
> +void foo48 () {vuint64m4_t t;}
> +void foo49 () {vint64m8_t t;}
> +void foo50 () {vuint64m8_t t;}
> +void foo57 () {vfloat32mf2_t t;}
> +void foo58 () {vfloat32m1_t t;}
> +void foo59 () {vfloat32m2_t t;}
> +void foo60 () {vfloat32m4_t t;}
> +void foo61 () {vfloat32m8_t t;}
> +void foo62 () {vfloat64m1_t t;}
> +void foo63 () {vfloat64m2_t t;}
> +void foo64 () {vfloat64m4_t t;}
> +void foo65 () {vfloat64m8_t t;}
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/user-2.c b/gcc/testsuite/gcc.target/riscv/rvv/base/user-2.c
> new file mode 100644
> index 00000000000..2a88467d218
> --- /dev/null
> +++ b/gcc/testsuite/gcc.target/riscv/rvv/base/user-2.c
> @@ -0,0 +1,65 @@
> +/* { dg-do compile } */
> +/* { dg-options "-O3 -march=rv32gc_zve64x -mabi=ilp32d" } */
> +
> +#include "riscv_vector.h"
> +
> +void foo0 () {vbool64_t t;}
> +void foo1 () {vbool32_t t;}
> +void foo2 () {vbool16_t t;}
> +void foo3 () {vbool8_t t;}
> +void foo4 () {vbool4_t t;}
> +void foo5 () {vbool2_t t;}
> +void foo6 () {vbool1_t t;}
> +void foo7 () {vint8mf8_t t;}
> +void foo8 () {vuint8mf8_t t;}
> +void foo9 () {vint8mf4_t t;}
> +void foo10 () {vuint8mf4_t t;}
> +void foo11 () {vint8mf2_t t;}
> +void foo12 () {vuint8mf2_t t;}
> +void foo13 () {vint8m1_t t;}
> +void foo14 () {vuint8m1_t t;}
> +void foo15 () {vint8m2_t t;}
> +void foo16 () {vuint8m2_t t;}
> +void foo17 () {vint8m4_t t;}
> +void foo18 () {vuint8m4_t t;}
> +void foo19 () {vint8m8_t t;}
> +void foo20 () {vuint8m8_t t;}
> +void foo21 () {vint16mf4_t t;}
> +void foo22 () {vuint16mf4_t t;}
> +void foo23 () {vint16mf2_t t;}
> +void foo24 () {vuint16mf2_t t;}
> +void foo25 () {vint16m1_t t;}
> +void foo26 () {vuint16m1_t t;}
> +void foo27 () {vint16m2_t t;}
> +void foo28 () {vuint16m2_t t;}
> +void foo29 () {vint16m4_t t;}
> +void foo30 () {vuint16m4_t t;}
> +void foo31 () {vint16m8_t t;}
> +void foo32 () {vuint16m8_t t;}
> +void foo33 () {vint32mf2_t t;}
> +void foo34 () {vuint32mf2_t t;}
> +void foo35 () {vint32m1_t t;}
> +void foo36 () {vuint32m1_t t;}
> +void foo37 () {vint32m2_t t;}
> +void foo38 () {vuint32m2_t t;}
> +void foo39 () {vint32m4_t t;}
> +void foo40 () {vuint32m4_t t;}
> +void foo41 () {vint32m8_t t;}
> +void foo42 () {vuint32m8_t t;}
> +void foo43 () {vint64m1_t t;}
> +void foo44 () {vuint64m1_t t;}
> +void foo45 () {vint64m2_t t;}
> +void foo46 () {vuint64m2_t t;}
> +void foo47 () {vint64m4_t t;}
> +void foo48 () {vuint64m4_t t;}
> +void foo49 () {vint64m8_t t;}
> +void foo50 () {vuint64m8_t t;}
> +void foo57 () {vfloat32mf2_t t;} /* { dg-error {unknown type name 'vfloat32mf2_t'} } */
> +void foo58 () {vfloat32m1_t t;} /* { dg-error {unknown type name 'vfloat32m1_t'} } */
> +void foo59 () {vfloat32m2_t t;} /* { dg-error {unknown type name 'vfloat32m2_t'} } */
> +void foo60 () {vfloat32m4_t t;} /* { dg-error {unknown type name 'vfloat32m4_t'} } */
> +void foo61 () {vfloat32m8_t t;} /* { dg-error {unknown type name 'vfloat32m8_t'} } */
> +void foo62 () {vfloat64m1_t t;} /* { dg-error {unknown type name 'vfloat64m1_t'} } */
> +void foo63 () {vfloat64m2_t t;} /* { dg-error {unknown type name 'vfloat64m2_t'} } */
> +void foo64 () {vfloat64m4_t t;} /* { dg-error {unknown type name 'vfloat64m4_t'} } */
> +void foo65 () {vfloat64m8_t t;} /* { dg-error {unknown type name 'vfloat64m8_t'} } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/user-3.c b/gcc/testsuite/gcc.target/riscv/rvv/base/user-3.c
> new file mode 100644
> index 00000000000..85a6d044f19
> --- /dev/null
> +++ b/gcc/testsuite/gcc.target/riscv/rvv/base/user-3.c
> @@ -0,0 +1,65 @@
> +/* { dg-do compile } */
> +/* { dg-options "-O3 -march=rv32gc_zve64f -mabi=ilp32d" } */
> +
> +#include "riscv_vector.h"
> +
> +void foo0 () {vbool64_t t;}
> +void foo1 () {vbool32_t t;}
> +void foo2 () {vbool16_t t;}
> +void foo3 () {vbool8_t t;}
> +void foo4 () {vbool4_t t;}
> +void foo5 () {vbool2_t t;}
> +void foo6 () {vbool1_t t;}
> +void foo7 () {vint8mf8_t t;}
> +void foo8 () {vuint8mf8_t t;}
> +void foo9 () {vint8mf4_t t;}
> +void foo10 () {vuint8mf4_t t;}
> +void foo11 () {vint8mf2_t t;}
> +void foo12 () {vuint8mf2_t t;}
> +void foo13 () {vint8m1_t t;}
> +void foo14 () {vuint8m1_t t;}
> +void foo15 () {vint8m2_t t;}
> +void foo16 () {vuint8m2_t t;}
> +void foo17 () {vint8m4_t t;}
> +void foo18 () {vuint8m4_t t;}
> +void foo19 () {vint8m8_t t;}
> +void foo20 () {vuint8m8_t t;}
> +void foo21 () {vint16mf4_t t;}
> +void foo22 () {vuint16mf4_t t;}
> +void foo23 () {vint16mf2_t t;}
> +void foo24 () {vuint16mf2_t t;}
> +void foo25 () {vint16m1_t t;}
> +void foo26 () {vuint16m1_t t;}
> +void foo27 () {vint16m2_t t;}
> +void foo28 () {vuint16m2_t t;}
> +void foo29 () {vint16m4_t t;}
> +void foo30 () {vuint16m4_t t;}
> +void foo31 () {vint16m8_t t;}
> +void foo32 () {vuint16m8_t t;}
> +void foo33 () {vint32mf2_t t;}
> +void foo34 () {vuint32mf2_t t;}
> +void foo35 () {vint32m1_t t;}
> +void foo36 () {vuint32m1_t t;}
> +void foo37 () {vint32m2_t t;}
> +void foo38 () {vuint32m2_t t;}
> +void foo39 () {vint32m4_t t;}
> +void foo40 () {vuint32m4_t t;}
> +void foo41 () {vint32m8_t t;}
> +void foo42 () {vuint32m8_t t;}
> +void foo43 () {vint64m1_t t;}
> +void foo44 () {vuint64m1_t t;}
> +void foo45 () {vint64m2_t t;}
> +void foo46 () {vuint64m2_t t;}
> +void foo47 () {vint64m4_t t;}
> +void foo48 () {vuint64m4_t t;}
> +void foo49 () {vint64m8_t t;}
> +void foo50 () {vuint64m8_t t;}
> +void foo57 () {vfloat32mf2_t t;}
> +void foo58 () {vfloat32m1_t t;}
> +void foo59 () {vfloat32m2_t t;}
> +void foo60 () {vfloat32m4_t t;}
> +void foo61 () {vfloat32m8_t t;}
> +void foo62 () {vfloat64m1_t t;} /* { dg-error {unknown type name 'vfloat64m1_t'} } */
> +void foo63 () {vfloat64m2_t t;} /* { dg-error {unknown type name 'vfloat64m2_t'} } */
> +void foo64 () {vfloat64m4_t t;} /* { dg-error {unknown type name 'vfloat64m4_t'} } */
> +void foo65 () {vfloat64m8_t t;} /* { dg-error {unknown type name 'vfloat64m8_t'} } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/user-4.c b/gcc/testsuite/gcc.target/riscv/rvv/base/user-4.c
> new file mode 100644
> index 00000000000..c51c03e45eb
> --- /dev/null
> +++ b/gcc/testsuite/gcc.target/riscv/rvv/base/user-4.c
> @@ -0,0 +1,65 @@
> +/* { dg-do compile } */
> +/* { dg-options "-O3 -march=rv32gc_zve64d -mabi=ilp32d" } */
> +
> +#include "riscv_vector.h"
> +
> +void foo0 () {vbool64_t t;}
> +void foo1 () {vbool32_t t;}
> +void foo2 () {vbool16_t t;}
> +void foo3 () {vbool8_t t;}
> +void foo4 () {vbool4_t t;}
> +void foo5 () {vbool2_t t;}
> +void foo6 () {vbool1_t t;}
> +void foo7 () {vint8mf8_t t;}
> +void foo8 () {vuint8mf8_t t;}
> +void foo9 () {vint8mf4_t t;}
> +void foo10 () {vuint8mf4_t t;}
> +void foo11 () {vint8mf2_t t;}
> +void foo12 () {vuint8mf2_t t;}
> +void foo13 () {vint8m1_t t;}
> +void foo14 () {vuint8m1_t t;}
> +void foo15 () {vint8m2_t t;}
> +void foo16 () {vuint8m2_t t;}
> +void foo17 () {vint8m4_t t;}
> +void foo18 () {vuint8m4_t t;}
> +void foo19 () {vint8m8_t t;}
> +void foo20 () {vuint8m8_t t;}
> +void foo21 () {vint16mf4_t t;}
> +void foo22 () {vuint16mf4_t t;}
> +void foo23 () {vint16mf2_t t;}
> +void foo24 () {vuint16mf2_t t;}
> +void foo25 () {vint16m1_t t;}
> +void foo26 () {vuint16m1_t t;}
> +void foo27 () {vint16m2_t t;}
> +void foo28 () {vuint16m2_t t;}
> +void foo29 () {vint16m4_t t;}
> +void foo30 () {vuint16m4_t t;}
> +void foo31 () {vint16m8_t t;}
> +void foo32 () {vuint16m8_t t;}
> +void foo33 () {vint32mf2_t t;}
> +void foo34 () {vuint32mf2_t t;}
> +void foo35 () {vint32m1_t t;}
> +void foo36 () {vuint32m1_t t;}
> +void foo37 () {vint32m2_t t;}
> +void foo38 () {vuint32m2_t t;}
> +void foo39 () {vint32m4_t t;}
> +void foo40 () {vuint32m4_t t;}
> +void foo41 () {vint32m8_t t;}
> +void foo42 () {vuint32m8_t t;}
> +void foo43 () {vint64m1_t t;}
> +void foo44 () {vuint64m1_t t;}
> +void foo45 () {vint64m2_t t;}
> +void foo46 () {vuint64m2_t t;}
> +void foo47 () {vint64m4_t t;}
> +void foo48 () {vuint64m4_t t;}
> +void foo49 () {vint64m8_t t;}
> +void foo50 () {vuint64m8_t t;}
> +void foo57 () {vfloat32mf2_t t;}
> +void foo58 () {vfloat32m1_t t;}
> +void foo59 () {vfloat32m2_t t;}
> +void foo60 () {vfloat32m4_t t;}
> +void foo61 () {vfloat32m8_t t;}
> +void foo62 () {vfloat64m1_t t;}
> +void foo63 () {vfloat64m2_t t;}
> +void foo64 () {vfloat64m4_t t;}
> +void foo65 () {vfloat64m8_t t;}
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/user-5.c b/gcc/testsuite/gcc.target/riscv/rvv/base/user-5.c
> new file mode 100644
> index 00000000000..fb1c684cd1a
> --- /dev/null
> +++ b/gcc/testsuite/gcc.target/riscv/rvv/base/user-5.c
> @@ -0,0 +1,65 @@
> +/* { dg-do compile } */
> +/* { dg-options "-O3 -march=rv32gc_zve32x -mabi=ilp32d" } */
> +
> +#include "riscv_vector.h"
> +
> +void foo0 () {vbool64_t t;} /* { dg-error {unknown type name 'vbool64_t'} } */
> +void foo1 () {vbool32_t t;}
> +void foo2 () {vbool16_t t;}
> +void foo3 () {vbool8_t t;}
> +void foo4 () {vbool4_t t;}
> +void foo5 () {vbool2_t t;}
> +void foo6 () {vbool1_t t;}
> +void foo7 () {vint8mf8_t t;} /* { dg-error {unknown type name 'vint8mf8_t'} } */
> +void foo8 () {vuint8mf8_t t;} /* { dg-error {unknown type name 'vuint8mf8_t'} } */
> +void foo9 () {vint8mf4_t t;}
> +void foo10 () {vuint8mf4_t t;}
> +void foo11 () {vint8mf2_t t;}
> +void foo12 () {vuint8mf2_t t;}
> +void foo13 () {vint8m1_t t;}
> +void foo14 () {vuint8m1_t t;}
> +void foo15 () {vint8m2_t t;}
> +void foo16 () {vuint8m2_t t;}
> +void foo17 () {vint8m4_t t;}
> +void foo18 () {vuint8m4_t t;}
> +void foo19 () {vint8m8_t t;}
> +void foo20 () {vuint8m8_t t;}
> +void foo21 () {vint16mf4_t t;} /* { dg-error {unknown type name 'vint16mf4_t'} } */
> +void foo22 () {vuint16mf4_t t;} /* { dg-error {unknown type name 'vuint16mf4_t'} } */
> +void foo23 () {vint16mf2_t t;}
> +void foo24 () {vuint16mf2_t t;}
> +void foo25 () {vint16m1_t t;}
> +void foo26 () {vuint16m1_t t;}
> +void foo27 () {vint16m2_t t;}
> +void foo28 () {vuint16m2_t t;}
> +void foo29 () {vint16m4_t t;}
> +void foo30 () {vuint16m4_t t;}
> +void foo31 () {vint16m8_t t;}
> +void foo32 () {vuint16m8_t t;}
> +void foo33 () {vint32mf2_t t;} /* { dg-error {unknown type name 'vint32mf2_t'} } */
> +void foo34 () {vuint32mf2_t t;} /* { dg-error {unknown type name 'vuint32mf2_t'} } */
> +void foo35 () {vint32m1_t t;}
> +void foo36 () {vuint32m1_t t;}
> +void foo37 () {vint32m2_t t;}
> +void foo38 () {vuint32m2_t t;}
> +void foo39 () {vint32m4_t t;}
> +void foo40 () {vuint32m4_t t;}
> +void foo41 () {vint32m8_t t;}
> +void foo42 () {vuint32m8_t t;}
> +void foo43 () {vint64m1_t t;} /* { dg-error {unknown type name 'vint64m1_t'} } */
> +void foo44 () {vuint64m1_t t;} /* { dg-error {unknown type name 'vuint64m1_t'} } */
> +void foo45 () {vint64m2_t t;} /* { dg-error {unknown type name 'vint64m2_t'} } */
> +void foo46 () {vuint64m2_t t;} /* { dg-error {unknown type name 'vuint64m2_t'} } */
> +void foo47 () {vint64m4_t t;} /* { dg-error {unknown type name 'vint64m4_t'} } */
> +void foo48 () {vuint64m4_t t;} /* { dg-error {unknown type name 'vuint64m4_t'} } */
> +void foo49 () {vint64m8_t t;} /* { dg-error {unknown type name 'vint64m8_t'} } */
> +void foo50 () {vuint64m8_t t;} /* { dg-error {unknown type name 'vuint64m8_t'} } */
> +void foo57 () {vfloat32mf2_t t;} /* { dg-error {unknown type name 'vfloat32mf2_t'} } */
> +void foo58 () {vfloat32m1_t t;} /* { dg-error {unknown type name 'vfloat32m1_t'} } */
> +void foo59 () {vfloat32m2_t t;} /* { dg-error {unknown type name 'vfloat32m2_t'} } */
> +void foo60 () {vfloat32m4_t t;} /* { dg-error {unknown type name 'vfloat32m4_t'} } */
> +void foo61 () {vfloat32m8_t t;} /* { dg-error {unknown type name 'vfloat32m8_t'} } */
> +void foo62 () {vfloat64m1_t t;} /* { dg-error {unknown type name 'vfloat64m1_t'} } */
> +void foo63 () {vfloat64m2_t t;} /* { dg-error {unknown type name 'vfloat64m2_t'} } */
> +void foo64 () {vfloat64m4_t t;} /* { dg-error {unknown type name 'vfloat64m4_t'} } */
> +void foo65 () {vfloat64m8_t t;} /* { dg-error {unknown type name 'vfloat64m8_t'} } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/user-6.c b/gcc/testsuite/gcc.target/riscv/rvv/base/user-6.c
> new file mode 100644
> index 00000000000..5361fbd379f
> --- /dev/null
> +++ b/gcc/testsuite/gcc.target/riscv/rvv/base/user-6.c
> @@ -0,0 +1,65 @@
> +/* { dg-do compile } */
> +/* { dg-options "-O3 -march=rv32gc_zve32f -mabi=ilp32d" } */
> +
> +#include "riscv_vector.h"
> +
> +void foo0 () {vbool64_t t;} /* { dg-error {unknown type name 'vbool64_t'} } */
> +void foo1 () {vbool32_t t;}
> +void foo2 () {vbool16_t t;}
> +void foo3 () {vbool8_t t;}
> +void foo4 () {vbool4_t t;}
> +void foo5 () {vbool2_t t;}
> +void foo6 () {vbool1_t t;}
> +void foo7 () {vint8mf8_t t;} /* { dg-error {unknown type name 'vint8mf8_t'} } */
> +void foo8 () {vuint8mf8_t t;} /* { dg-error {unknown type name 'vuint8mf8_t'} } */
> +void foo9 () {vint8mf4_t t;}
> +void foo10 () {vuint8mf4_t t;}
> +void foo11 () {vint8mf2_t t;}
> +void foo12 () {vuint8mf2_t t;}
> +void foo13 () {vint8m1_t t;}
> +void foo14 () {vuint8m1_t t;}
> +void foo15 () {vint8m2_t t;}
> +void foo16 () {vuint8m2_t t;}
> +void foo17 () {vint8m4_t t;}
> +void foo18 () {vuint8m4_t t;}
> +void foo19 () {vint8m8_t t;}
> +void foo20 () {vuint8m8_t t;}
> +void foo21 () {vint16mf4_t t;} /* { dg-error {unknown type name 'vint16mf4_t'} } */
> +void foo22 () {vuint16mf4_t t;} /* { dg-error {unknown type name 'vuint16mf4_t'} } */
> +void foo23 () {vint16mf2_t t;}
> +void foo24 () {vuint16mf2_t t;}
> +void foo25 () {vint16m1_t t;}
> +void foo26 () {vuint16m1_t t;}
> +void foo27 () {vint16m2_t t;}
> +void foo28 () {vuint16m2_t t;}
> +void foo29 () {vint16m4_t t;}
> +void foo30 () {vuint16m4_t t;}
> +void foo31 () {vint16m8_t t;}
> +void foo32 () {vuint16m8_t t;}
> +void foo33 () {vint32mf2_t t;} /* { dg-error {unknown type name 'vint32mf2_t'} } */
> +void foo34 () {vuint32mf2_t t;} /* { dg-error {unknown type name 'vuint32mf2_t'} } */
> +void foo35 () {vint32m1_t t;}
> +void foo36 () {vuint32m1_t t;}
> +void foo37 () {vint32m2_t t;}
> +void foo38 () {vuint32m2_t t;}
> +void foo39 () {vint32m4_t t;}
> +void foo40 () {vuint32m4_t t;}
> +void foo41 () {vint32m8_t t;}
> +void foo42 () {vuint32m8_t t;}
> +void foo43 () {vint64m1_t t;} /* { dg-error {unknown type name 'vint64m1_t'} } */
> +void foo44 () {vuint64m1_t t;} /* { dg-error {unknown type name 'vuint64m1_t'} } */
> +void foo45 () {vint64m2_t t;} /* { dg-error {unknown type name 'vint64m2_t'} } */
> +void foo46 () {vuint64m2_t t;} /* { dg-error {unknown type name 'vuint64m2_t'} } */
> +void foo47 () {vint64m4_t t;} /* { dg-error {unknown type name 'vint64m4_t'} } */
> +void foo48 () {vuint64m4_t t;} /* { dg-error {unknown type name 'vuint64m4_t'} } */
> +void foo49 () {vint64m8_t t;} /* { dg-error {unknown type name 'vint64m8_t'} } */
> +void foo50 () {vuint64m8_t t;} /* { dg-error {unknown type name 'vuint64m8_t'} } */
> +void foo57 () {vfloat32mf2_t t;} /* { dg-error {unknown type name 'vfloat32mf2_t'} } */
> +void foo58 () {vfloat32m1_t t;}
> +void foo59 () {vfloat32m2_t t;}
> +void foo60 () {vfloat32m4_t t;}
> +void foo61 () {vfloat32m8_t t;}
> +void foo62 () {vfloat64m1_t t;} /* { dg-error {unknown type name 'vfloat64m1_t'} } */
> +void foo63 () {vfloat64m2_t t;} /* { dg-error {unknown type name 'vfloat64m2_t'} } */
> +void foo64 () {vfloat64m4_t t;} /* { dg-error {unknown type name 'vfloat64m4_t'} } */
> +void foo65 () {vfloat64m8_t t;} /* { dg-error {unknown type name 'vfloat64m8_t'} } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/vread_csr.c b/gcc/testsuite/gcc.target/riscv/rvv/base/vread_csr.c
> new file mode 100644
> index 00000000000..9151349f809
> --- /dev/null
> +++ b/gcc/testsuite/gcc.target/riscv/rvv/base/vread_csr.c
> @@ -0,0 +1,26 @@
> +/* { dg-do compile } */
> +/* { dg-additional-options "-O3" } */
> +/* { dg-skip-if "test intrinsic using rvv" { *-*-* } { "*" } { "-march=rv*v*zfh*" } } */
> +
> +#include <riscv_vector.h>
> +
> +unsigned long vread_csr_vstart(void) {
> + return vread_csr(RVV_VSTART);
> +}
> +
> +unsigned long vread_csr_vxsat(void) {
> + return vread_csr(RVV_VXSAT);
> +}
> +
> +unsigned long vread_csr_vxrm(void) {
> + return vread_csr(RVV_VXRM);
> +}
> +
> +unsigned long vread_csr_vcsr(void) {
> + return vread_csr(RVV_VCSR);
> +}
> +
> +/* { dg-final { scan-assembler-times {csrr\s+(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*vstart} 1 } } */
> +/* { dg-final { scan-assembler-times {csrr\s+(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*vxsat} 1 } } */
> +/* { dg-final { scan-assembler-times {csrr\s+(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*vxrm} 1 } } */
> +/* { dg-final { scan-assembler-times {csrr\s+(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*vcsr} 1 } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/vwrite_csr.c b/gcc/testsuite/gcc.target/riscv/rvv/base/vwrite_csr.c
> new file mode 100644
> index 00000000000..a50eba713fb
> --- /dev/null
> +++ b/gcc/testsuite/gcc.target/riscv/rvv/base/vwrite_csr.c
> @@ -0,0 +1,26 @@
> +/* { dg-do compile } */
> +/* { dg-additional-options "-O3" } */
> +/* { dg-skip-if "test intrinsic using rvv" { *-*-* } { "*" } { "-march=rv*v*zfh*" } } */
> +
> +#include <riscv_vector.h>
> +
> +void vwrite_csr_vstart(unsigned long value) {
> + vwrite_csr(RVV_VSTART, value);
> +}
> +
> +void vwrite_csr_vxsat(unsigned long value) {
> + vwrite_csr(RVV_VXSAT, value);
> +}
> +
> +void vwrite_csr_vxrm(unsigned long value) {
> + vwrite_csr(RVV_VXRM, value);
> +}
> +
> +void vwrite_csr_vcsr(unsigned long value) {
> + vwrite_csr(RVV_VCSR, value);
> +}
> +
> +/* { dg-final { scan-assembler-times {csrw\s+vstart,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])} 1 } } */
> +/* { dg-final { scan-assembler-times {csrw\s+vxsat,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])} 1 } } */
> +/* { dg-final { scan-assembler-times {csrw\s+vxrm,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])} 1 } } */
> +/* { dg-final { scan-assembler-times {csrw\s+vcsr,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])} 1 } } */
> \ No newline at end of file
> --
> 2.36.1
>
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2022-10-05 13:59 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-09-30 6:58 [PATCH] RISC-V: Introduce RVV header to enable builtin types juzhe.zhong
2022-10-05 13:59 ` Kito Cheng
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).