public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
From: Kito Cheng <kito@gcc.gnu.org>
To: gcc-cvs@gcc.gnu.org
Subject: [gcc r13-2918] RISC-V: Add ABI-defined RVV types.
Date: Wed, 28 Sep 2022 17:32:26 +0000 (GMT)	[thread overview]
Message-ID: <20220928173226.25419385740F@sourceware.org> (raw)

https://gcc.gnu.org/g:03f3365742a9341992f0c8fc751e2d143e49f95d

commit r13-2918-g03f3365742a9341992f0c8fc751e2d143e49f95d
Author: Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
Date:   Tue Sep 27 17:26:08 2022 +0800

    RISC-V: Add ABI-defined RVV types.
    
    gcc/ChangeLog:
    
            * config.gcc: Add riscv-vector-builtins.o.
            * config/riscv/riscv-builtins.cc (riscv_init_builtins): Add RVV builtin function.
            * config/riscv/riscv-protos.h (riscv_v_ext_enabled_vector_mode_p): New function.
            * config/riscv/riscv.cc (ENTRY): New macro.
            (riscv_v_ext_enabled_vector_mode_p): New function.
            (riscv_mangle_type): Add RVV mangle.
            (riscv_vector_mode_supported_p): Adjust RVV machine mode.
            (riscv_verify_type_context): Add context check for RVV.
            (riscv_vector_alignment): Add RVV alignment target hook support.
            (TARGET_VECTOR_MODE_SUPPORTED_P): New target hook support.
            (TARGET_VERIFY_TYPE_CONTEXT): Ditto.
            (TARGET_VECTOR_ALIGNMENT): Ditto.
            * config/riscv/t-riscv: Add riscv-vector-builtins.o
            * config/riscv/riscv-vector-builtins.cc: New file.
            * config/riscv/riscv-vector-builtins.def: New file.
            * config/riscv/riscv-vector-builtins.h: New file.
            * config/riscv/riscv-vector-switch.def: New file.
    
    gcc/testsuite/ChangeLog:
    
            * gcc.target/riscv/rvv/base/abi-1.c: New test.
            * gcc.target/riscv/rvv/base/abi-2.c: New test.
            * gcc.target/riscv/rvv/base/abi-3.c: New test.
            * gcc.target/riscv/rvv/base/abi-4.c: New test.
            * gcc.target/riscv/rvv/base/abi-5.c: New test.
            * gcc.target/riscv/rvv/base/abi-6.c: New test.
            * gcc.target/riscv/rvv/base/abi-7.c: New test.
            * gcc.target/riscv/rvv/rvv.exp: New test.

Diff:
---
 gcc/config.gcc                                  |   1 +
 gcc/config/riscv/riscv-builtins.cc              |   2 +
 gcc/config/riscv/riscv-protos.h                 |   1 +
 gcc/config/riscv/riscv-vector-builtins.cc       | 279 ++++++++++++++++++++++++
 gcc/config/riscv/riscv-vector-builtins.def      | 199 +++++++++++++++++
 gcc/config/riscv/riscv-vector-builtins.h        |  79 +++++++
 gcc/config/riscv/riscv-vector-switch.def        | 164 ++++++++++++++
 gcc/config/riscv/riscv.cc                       |  95 +++++++-
 gcc/config/riscv/t-riscv                        |  10 +
 gcc/testsuite/gcc.target/riscv/rvv/base/abi-1.c |  63 ++++++
 gcc/testsuite/gcc.target/riscv/rvv/base/abi-2.c |  63 ++++++
 gcc/testsuite/gcc.target/riscv/rvv/base/abi-3.c |  63 ++++++
 gcc/testsuite/gcc.target/riscv/rvv/base/abi-4.c |  63 ++++++
 gcc/testsuite/gcc.target/riscv/rvv/base/abi-5.c |  63 ++++++
 gcc/testsuite/gcc.target/riscv/rvv/base/abi-6.c |  63 ++++++
 gcc/testsuite/gcc.target/riscv/rvv/base/abi-7.c |  63 ++++++
 gcc/testsuite/gcc.target/riscv/rvv/rvv.exp      |  47 ++++
 17 files changed, 1317 insertions(+), 1 deletion(-)

diff --git a/gcc/config.gcc b/gcc/config.gcc
index c1b1215e98b..7eb07870425 100644
--- a/gcc/config.gcc
+++ b/gcc/config.gcc
@@ -516,6 +516,7 @@ pru-*-*)
 riscv*)
 	cpu_type=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"
 	;;
 rs6000*-*-*)
diff --git a/gcc/config/riscv/riscv-builtins.cc b/gcc/config/riscv/riscv-builtins.cc
index 3009311604d..a51037a8f7a 100644
--- a/gcc/config/riscv/riscv-builtins.cc
+++ b/gcc/config/riscv/riscv-builtins.cc
@@ -37,6 +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"
 
 /* Macros to create an enumeration identifier for a function prototype.  */
 #define RISCV_FTYPE_NAME0(A) RISCV_##A##_FTYPE
@@ -213,6 +214,7 @@ void
 riscv_init_builtins (void)
 {
   riscv_init_builtin_types ();
+  riscv_vector::init_builtins ();
 
   for (size_t i = 0; i < ARRAY_SIZE (riscv_builtins); i++)
     {
diff --git a/gcc/config/riscv/riscv-protos.h b/gcc/config/riscv/riscv-protos.h
index f9a2baa46c7..101361a4b44 100644
--- a/gcc/config/riscv/riscv-protos.h
+++ b/gcc/config/riscv/riscv-protos.h
@@ -75,6 +75,7 @@ extern bool riscv_store_data_bypass_p (rtx_insn *, rtx_insn *);
 extern rtx riscv_gen_gpr_save_insn (struct riscv_frame_info *);
 extern bool riscv_gpr_save_operation_p (rtx);
 extern void riscv_reinit (void);
+extern bool riscv_v_ext_enabled_vector_mode_p (machine_mode);
 
 /* Routines implemented in riscv-c.cc.  */
 void riscv_cpu_cpp_builtins (cpp_reader *);
diff --git a/gcc/config/riscv/riscv-vector-builtins.cc b/gcc/config/riscv/riscv-vector-builtins.cc
new file mode 100644
index 00000000000..019a40d1e16
--- /dev/null
+++ b/gcc/config/riscv/riscv-vector-builtins.cc
@@ -0,0 +1,279 @@
+/* Builtins implementation for RISC-V 'V' Extension for GNU compiler.
+   Copyright (C) 2022-2022 Free Software Foundation, Inc.
+   Contributed by Ju-Zhe Zhong (juzhe.zhong@rivai.ai), RiVAI Technologies Ltd.
+
+   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.
+
+   You should have received a copy of the GNU General Public License
+   along with GCC; see the file COPYING3.  If not see
+   <http://www.gnu.org/licenses/>.  */
+
+#define IN_TARGET_CODE 1
+
+#include "config.h"
+#include "system.h"
+#include "coretypes.h"
+#include "tm.h"
+#include "tree.h"
+#include "rtl.h"
+#include "tm_p.h"
+#include "memmodel.h"
+#include "insn-codes.h"
+#include "optabs.h"
+#include "recog.h"
+#include "diagnostic.h"
+#include "expr.h"
+#include "function.h"
+#include "fold-const.h"
+#include "gimplify.h"
+#include "explow.h"
+#include "stor-layout.h"
+#include "alias.h"
+#include "langhooks.h"
+#include "stringpool.h"
+#include "attribs.h"
+#include "targhooks.h"
+#include "regs.h"
+#include "riscv-vector-builtins.h"
+
+namespace riscv_vector {
+
+/* Information about each RVV type.  */
+static CONSTEXPR const vector_type_info vector_types[] = {
+#define DEF_RVV_TYPE(USER_NAME, NCHARS, ABI_NAME, ARGS...)    \
+  {#USER_NAME, #ABI_NAME, "u" #NCHARS #ABI_NAME},
+#include "riscv-vector-builtins.def"
+};
+
+/* The scalar type associated with each vector type.  */
+static GTY (()) tree scalar_types[NUM_VECTOR_TYPES];
+/* The machine mode associated with each vector type.  */
+static GTY (()) machine_mode vector_modes[NUM_VECTOR_TYPES];
+/* The RVV types, with their built-in
+   "__rvv..._t" name.  Allow an index of NUM_VECTOR_TYPES, which always
+   yields a null tree.  */
+static GTY(()) tree abi_vector_types[NUM_VECTOR_TYPES + 1];
+
+rvv_switcher::rvv_switcher ()
+{
+  /* Set have_regs_of_mode before targetm.init_builtins ().  */
+  memcpy (m_old_have_regs_of_mode, have_regs_of_mode,
+	  sizeof (have_regs_of_mode));
+  for (int i = 0; i < NUM_MACHINE_MODES; ++i)
+    if (riscv_v_ext_enabled_vector_mode_p ((machine_mode) i))
+      have_regs_of_mode[i] = true;
+}
+
+rvv_switcher::~rvv_switcher ()
+{
+  /* Recover back have_regs_of_mode.  */
+  memcpy (have_regs_of_mode, m_old_have_regs_of_mode,
+	  sizeof (have_regs_of_mode));
+}
+
+/* Add type attributes to builtin type tree, currently only the mangled name. */
+static void
+add_vector_type_attribute (tree type, const char *mangled_name)
+{
+  tree mangled_name_tree = get_identifier (mangled_name);
+  tree value = tree_cons (NULL_TREE, mangled_name_tree, NULL_TREE);
+  TYPE_ATTRIBUTES (type) = tree_cons (get_identifier ("RVV type"), value,
+				      TYPE_ATTRIBUTES (type));
+}
+
+/* Force TYPE to be a sizeless type.  */
+static void
+make_type_sizeless (tree type)
+{
+  TYPE_ATTRIBUTES (type) = tree_cons (get_identifier ("RVV sizeless type"),
+				      NULL_TREE, TYPE_ATTRIBUTES (type));
+}
+
+/* Return true if TYPE is a sizeless type.  */
+static bool
+sizeless_type_p (const_tree type)
+{
+  if (type == error_mark_node)
+    return NULL_TREE;
+  return lookup_attribute ("RVV sizeless type", TYPE_ATTRIBUTES (type));
+}
+
+/* If TYPE is an ABI-defined RVV type, return its attribute descriptor,
+   otherwise return null.  */
+static tree
+lookup_vector_type_attribute (const_tree type)
+{
+  if (type == error_mark_node)
+    return NULL_TREE;
+  return lookup_attribute ("RVV type", TYPE_ATTRIBUTES (type));
+}
+
+/* If TYPE is a built-in type defined by the RVV ABI, return the mangled name,
+   otherwise return NULL.  */
+const char *
+mangle_builtin_type (const_tree type)
+{
+  if (TYPE_NAME (type) && TREE_CODE (TYPE_NAME (type)) == TYPE_DECL)
+    type = TREE_TYPE (TYPE_NAME (type));
+  if (tree attr = lookup_vector_type_attribute (type))
+    if (tree id = TREE_VALUE (chain_index (0, TREE_VALUE (attr))))
+      return IDENTIFIER_POINTER (id);
+  return NULL;
+}
+
+/* Register the built-in RVV ABI types, such as __rvv_int32m1_t.  */
+static void
+register_builtin_types ()
+{
+  /* int32_t/uint32_t defined as `long`/`unsigned long` in RV32,
+     but intSI_type_node/unsigned_intSI_type_node is
+     `int` and `unsigned int`, so use long_integer_type_node and
+     long_unsigned_type_node here for type consistent.  */
+  tree int32_type_node
+    = TARGET_64BIT ? intSI_type_node : long_integer_type_node;
+  tree unsigned_int32_type_node
+    = TARGET_64BIT ? unsigned_intSI_type_node : long_unsigned_type_node;
+
+  machine_mode mode;
+#define DEF_RVV_TYPE(USER_NAME, NCHARS, ABI_NAME, SCALAR_TYPE, VECTOR_MODE,    \
+		     VECTOR_MODE_MIN_VLEN_32)                                  \
+  mode = TARGET_MIN_VLEN > 32 ? VECTOR_MODE##mode                              \
+			      : VECTOR_MODE_MIN_VLEN_32##mode;                 \
+  scalar_types[VECTOR_TYPE_##USER_NAME]                                        \
+    = riscv_v_ext_enabled_vector_mode_p (mode) ? SCALAR_TYPE##_type_node       \
+					       : NULL_TREE;                    \
+  vector_modes[VECTOR_TYPE_##USER_NAME]                                        \
+    = riscv_v_ext_enabled_vector_mode_p (mode) ? mode : VOIDmode;
+#include "riscv-vector-builtins.def"
+
+  for (unsigned int i = 0; i < NUM_VECTOR_TYPES; ++i)
+    {
+      tree eltype = scalar_types[i];
+      mode = vector_modes[i];
+      /* We disabled the datatypes according '-march'.  */
+      if (!eltype)
+	continue;
+
+      tree vectype = build_vector_type_for_mode (eltype, mode);
+      gcc_assert (
+	VECTOR_MODE_P (TYPE_MODE (vectype)) && TYPE_MODE (vectype) == mode
+	&& TYPE_MODE_RAW (vectype) == mode && TYPE_ALIGN (vectype) <= 128
+	&& known_eq (tree_to_poly_uint64 (TYPE_SIZE (vectype)),
+		     GET_MODE_BITSIZE (mode)));
+      vectype = build_distinct_type_copy (vectype);
+      gcc_assert (vectype == TYPE_MAIN_VARIANT (vectype));
+      SET_TYPE_STRUCTURAL_EQUALITY (vectype);
+      TYPE_ARTIFICIAL (vectype) = 1;
+      TYPE_INDIVISIBLE_P (vectype) = 1;
+      add_vector_type_attribute (vectype, vector_types[i].mangled_name);
+      make_type_sizeless (vectype);
+      abi_vector_types[i] = vectype;
+      lang_hooks.types.register_builtin_type (vectype,
+					      vector_types[i].abi_name);
+    }
+}
+
+/* Initialize all compiler built-ins related to RVV that should be
+   defined at start-up.  */
+void
+init_builtins ()
+{
+  rvv_switcher rvv;
+  if (!TARGET_VECTOR)
+    return;
+  register_builtin_types ();
+}
+
+/* Implement TARGET_VERIFY_TYPE_CONTEXT for RVV types.  */
+bool
+verify_type_context (location_t loc, type_context_kind context, const_tree type,
+		     bool silent_p)
+{
+  if (!sizeless_type_p (type))
+    return true;
+
+  switch (context)
+    {
+    case TCTX_SIZEOF:
+    case TCTX_STATIC_STORAGE:
+      if (!silent_p)
+	error_at (loc, "RVV type %qT does not have a fixed size", type);
+
+      return false;
+
+    case TCTX_ALIGNOF:
+      if (!silent_p)
+	error_at (loc, "RVV type %qT does not have a defined alignment", type);
+
+      return false;
+
+    case TCTX_THREAD_STORAGE:
+      if (!silent_p)
+	error_at (loc,
+		  "variables of type %qT cannot have thread-local"
+		  " storage duration",
+		  type);
+
+      return false;
+
+    case TCTX_POINTER_ARITH:
+      if (!silent_p)
+	error_at (loc, "arithmetic on pointer to RVV type %qT", type);
+
+      return false;
+
+    case TCTX_FIELD:
+      if (silent_p)
+	;
+      else if (lang_GNU_CXX ())
+	error_at (loc, "member variables cannot have RVV type %qT", type);
+      else
+	error_at (loc, "fields cannot have RVV type %qT", type);
+
+      return false;
+
+    case TCTX_ARRAY_ELEMENT:
+      if (!silent_p)
+	error_at (loc, "array elements cannot have RVV type %qT", type);
+
+      return false;
+
+    case TCTX_ALLOCATION:
+      if (!silent_p)
+	error_at (loc, "cannot allocate objects with RVV type %qT", type);
+
+      return false;
+
+    case TCTX_DEALLOCATION:
+      if (!silent_p)
+	error_at (loc, "cannot delete objects with RVV type %qT", type);
+
+      return false;
+
+    case TCTX_EXCEPTIONS:
+      if (!silent_p)
+	error_at (loc, "cannot throw or catch RVV type %qT", type);
+
+      return false;
+
+    case TCTX_CAPTURE_BY_COPY:
+      if (!silent_p)
+	error_at (loc, "capture by copy of RVV type %qT", type);
+
+      return false;
+    }
+
+  gcc_unreachable ();
+}
+
+} // end namespace riscv_vector
diff --git a/gcc/config/riscv/riscv-vector-builtins.def b/gcc/config/riscv/riscv-vector-builtins.def
new file mode 100644
index 00000000000..a9001b3b496
--- /dev/null
+++ b/gcc/config/riscv/riscv-vector-builtins.def
@@ -0,0 +1,199 @@
+/* Builtins macros for RISC-V 'V' Extension for GNU compiler.
+   Copyright (C) 2022-2022 Free Software Foundation, Inc.
+   Contributed by Ju-Zhe Zhong (juzhe.zhong@rivai.ai), RiVAI Technologies Ltd.
+
+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.
+
+You should have received a copy of the GNU General Public License
+along with GCC; see the file COPYING3.  If not see
+<http://www.gnu.org/licenses/>.  */
+
+/* Use "DEF_RVV_TYPE" macro to define RVV datatype builtins.
+   1.The 1 argument is the name exposed to users.
+     For example, "vint32m1_t".
+   2.The 2 argument is the length of ABI-name.
+     For example, length of "__rvv_int32m1_t" is 15.
+   3.The 3 argument is the ABI-name. For example, "__rvv_int32m1_t".
+   4.The 4 argument is associated scalar type which is used in
+     "build_vector_type_for_mode". For "vint32m1_t", we use "intSI_type_node" in
+     RV64. Otherwise, we use "long_integer_type_node".
+   5.The 5 and 6 argument are the machine modes of corresponding RVV type used
+     in "build_vector_type_for_mode". For "vint32m1_t", we use VNx2SImode when
+     TARGET_MIN_VLEN > 32. Otherwise the machine mode is VNx1SImode.  */
+
+#ifndef DEF_RVV_TYPE
+#define DEF_RVV_TYPE(USER_NAME, NCHARS, ABI_NAME, SCALAR_TYPE, VECTOR_MODE,    \
+		     VECTOR_MODE_MIN_VLEN_32)
+#endif
+
+/* SEW/LMUL = 64:
+   Only enable when TARGET_MIN_VLEN > 32 and machine mode = VNx1BImode.  */
+DEF_RVV_TYPE (vbool64_t, 14, __rvv_bool64_t, boolean, VNx1BI, VOID)
+/* SEW/LMUL = 32:
+   Machine mode = VNx2BImode when TARGET_MIN_VLEN > 32.
+   Machine mode = VNx1BImode when TARGET_MIN_VLEN = 32.  */
+DEF_RVV_TYPE (vbool32_t, 14, __rvv_bool32_t, boolean, VNx2BI, VNx1BI)
+/* SEW/LMUL = 16:
+   Machine mode = VNx2BImode when TARGET_MIN_VLEN = 32.
+   Machine mode = VNx4BImode when TARGET_MIN_VLEN > 32.  */
+DEF_RVV_TYPE (vbool16_t, 14, __rvv_bool16_t, boolean, VNx4BI, VNx2BI)
+/* SEW/LMUL = 8:
+   Machine mode = VNx8BImode when TARGET_MIN_VLEN > 32.
+   Machine mode = VNx4BImode when TARGET_MIN_VLEN = 32.  */
+DEF_RVV_TYPE (vbool8_t, 13, __rvv_bool8_t, boolean, VNx8BI, VNx4BI)
+/* SEW/LMUL = 4:
+   Machine mode = VNx16BImode when TARGET_MIN_VLEN > 32.
+   Machine mode = VNx8BImode when TARGET_MIN_VLEN = 32.  */
+DEF_RVV_TYPE (vbool4_t, 13, __rvv_bool4_t, boolean, VNx16BI, VNx8BI)
+/* SEW/LMUL = 2:
+   Machine mode = VNx32BImode when TARGET_MIN_VLEN > 32.
+   Machine mode = VNx16BImode when TARGET_MIN_VLEN = 32.  */
+DEF_RVV_TYPE (vbool2_t, 13, __rvv_bool2_t, boolean, VNx32BI, VNx16BI)
+/* SEW/LMUL = 1:
+   Machine mode = VNx64BImode when TARGET_MIN_VLEN > 32.
+   Machine mode = VNx32BImode when TARGET_MIN_VLEN = 32.  */
+DEF_RVV_TYPE (vbool1_t, 13, __rvv_bool1_t, boolean, VNx64BI, VNx32BI)
+
+/* LMUL = 1/8:
+   Only enble when TARGET_MIN_VLEN > 32 and machine mode = VNx1QImode.  */
+DEF_RVV_TYPE (vint8mf8_t, 15, __rvv_int8mf8_t, intQI, VNx1QI, VOID)
+DEF_RVV_TYPE (vuint8mf8_t, 16, __rvv_uint8mf8_t, unsigned_intQI, VNx1QI, VOID)
+/* LMUL = 1/4:
+   Machine mode = VNx2QImode when TARGET_MIN_VLEN > 32.
+   Machine mode = VNx1QImode when TARGET_MIN_VLEN = 32.  */
+DEF_RVV_TYPE (vint8mf4_t, 15, __rvv_int8mf4_t, intQI, VNx2QI, VNx1QI)
+DEF_RVV_TYPE (vuint8mf4_t, 16, __rvv_uint8mf4_t, unsigned_intQI, VNx2QI, VNx1QI)
+/* LMUL = 1/2:
+   Machine mode = VNx4QImode when TARGET_MIN_VLEN > 32.
+   Machine mode = VNx2QImode when TARGET_MIN_VLEN = 32.  */
+DEF_RVV_TYPE (vint8mf2_t, 15, __rvv_int8mf2_t, intQI, VNx4QI, VNx2QI)
+DEF_RVV_TYPE (vuint8mf2_t, 16, __rvv_uint8mf2_t, unsigned_intQI, VNx4QI, VNx2QI)
+/* LMUL = 1:
+   Machine mode = VNx8QImode when TARGET_MIN_VLEN > 32.
+   Machine mode = VNx4QImode when TARGET_MIN_VLEN = 32.  */
+DEF_RVV_TYPE (vint8m1_t, 14, __rvv_int8m1_t, intQI, VNx8QI, VNx4QI)
+DEF_RVV_TYPE (vuint8m1_t, 15, __rvv_uint8m1_t, unsigned_intQI, VNx8QI, VNx4QI)
+/* LMUL = 2:
+   Machine mode = VNx16QImode when TARGET_MIN_VLEN > 32.
+   Machine mode = VNx8QImode when TARGET_MIN_VLEN = 32.  */
+DEF_RVV_TYPE (vint8m2_t, 14, __rvv_int8m2_t, intQI, VNx16QI, VNx8QI)
+DEF_RVV_TYPE (vuint8m2_t, 15, __rvv_uint8m2_t, unsigned_intQI, VNx16QI, VNx8QI)
+/* LMUL = 4:
+   Machine mode = VNx32QImode when TARGET_MIN_VLEN > 32.
+   Machine mode = VNx16QImode when TARGET_MIN_VLEN = 32.  */
+DEF_RVV_TYPE (vint8m4_t, 14, __rvv_int8m4_t, intQI, VNx32QI, VNx16QI)
+DEF_RVV_TYPE (vuint8m4_t, 15, __rvv_uint8m4_t, unsigned_intQI, VNx32QI, VNx16QI)
+/* LMUL = 8:
+   Machine mode = VNx64QImode when TARGET_MIN_VLEN > 32.
+   Machine mode = VNx32QImode when TARGET_MIN_VLEN = 32.  */
+DEF_RVV_TYPE (vint8m8_t, 14, __rvv_int8m8_t, intQI, VNx64QI, VNx32QI)
+DEF_RVV_TYPE (vuint8m8_t, 15, __rvv_uint8m8_t, unsigned_intQI, VNx64QI, VNx32QI)
+
+/* LMUL = 1/4:
+   Only enble when TARGET_MIN_VLEN > 32 and machine mode = VNx1HImode.  */
+DEF_RVV_TYPE (vint16mf4_t, 16, __rvv_int16mf4_t, intHI, VNx1HI, VOID)
+DEF_RVV_TYPE (vuint16mf4_t, 17, __rvv_uint16mf4_t, unsigned_intHI, VNx1HI, VOID)
+/* LMUL = 1/2:
+   Machine mode = VNx2HImode when TARGET_MIN_VLEN > 32.
+   Machine mode = VNx1HImode when TARGET_MIN_VLEN = 32.  */
+DEF_RVV_TYPE (vint16mf2_t, 16, __rvv_int16mf2_t, intHI, VNx2HI, VNx1HI)
+DEF_RVV_TYPE (vuint16mf2_t, 17, __rvv_uint16mf2_t, unsigned_intHI, VNx2HI,
+	      VNx1HI)
+/* LMUL = 1:
+   Machine mode = VNx4HImode when TARGET_MIN_VLEN > 32.
+   Machine mode = VNx2HImode when TARGET_MIN_VLEN = 32.  */
+DEF_RVV_TYPE (vint16m1_t, 15, __rvv_int16m1_t, intHI, VNx4HI, VNx2HI)
+DEF_RVV_TYPE (vuint16m1_t, 16, __rvv_uint16m1_t, unsigned_intHI, VNx4HI, VNx2HI)
+/* LMUL = 2:
+   Machine mode = VNx8HImode when TARGET_MIN_VLEN > 32.
+   Machine mode = VNx4HImode when TARGET_MIN_VLEN = 32.  */
+DEF_RVV_TYPE (vint16m2_t, 15, __rvv_int16m2_t, intHI, VNx8HI, VNx4HI)
+DEF_RVV_TYPE (vuint16m2_t, 16, __rvv_uint16m2_t, unsigned_intHI, VNx8HI, VNx4HI)
+/* LMUL = 4:
+   Machine mode = VNx16HImode when TARGET_MIN_VLEN > 32.
+   Machine mode = VNx8HImode when TARGET_MIN_VLEN = 32.  */
+DEF_RVV_TYPE (vint16m4_t, 15, __rvv_int16m4_t, intHI, VNx16HI, VNx8HI)
+DEF_RVV_TYPE (vuint16m4_t, 16, __rvv_uint16m4_t, unsigned_intHI, VNx16HI,
+	      VNx8HI)
+/* LMUL = 8:
+   Machine mode = VNx32HImode when TARGET_MIN_VLEN > 32.
+   Machine mode = VNx16HImode when TARGET_MIN_VLEN = 32.  */
+DEF_RVV_TYPE (vint16m8_t, 15, __rvv_int16m8_t, intHI, VNx32HI, VNx16HI)
+DEF_RVV_TYPE (vuint16m8_t, 16, __rvv_uint16m8_t, unsigned_intHI, VNx32HI,
+	      VNx16HI)
+
+/* LMUL = 1/2:
+   Only enble when TARGET_MIN_VLEN > 32 and machine mode = VNx1SImode.  */
+DEF_RVV_TYPE (vint32mf2_t, 16, __rvv_int32mf2_t, int32, VNx1SI, VOID)
+DEF_RVV_TYPE (vuint32mf2_t, 17, __rvv_uint32mf2_t, unsigned_int32, VNx1SI, VOID)
+/* LMUL = 1:
+   Machine mode = VNx2SImode when TARGET_MIN_VLEN > 32.
+   Machine mode = VNx1SImode when TARGET_MIN_VLEN = 32.  */
+DEF_RVV_TYPE (vint32m1_t, 15, __rvv_int32m1_t, int32, VNx2SI, VNx1SI)
+DEF_RVV_TYPE (vuint32m1_t, 16, __rvv_uint32m1_t, unsigned_int32, VNx2SI, VNx1SI)
+/* LMUL = 2:
+   Machine mode = VNx4SImode when TARGET_MIN_VLEN > 32.
+   Machine mode = VNx2SImode when TARGET_MIN_VLEN = 32.  */
+DEF_RVV_TYPE (vint32m2_t, 15, __rvv_int32m2_t, int32, VNx4SI, VNx2SI)
+DEF_RVV_TYPE (vuint32m2_t, 16, __rvv_uint32m2_t, unsigned_int32, VNx4SI, VNx2SI)
+/* LMUL = 4:
+   Machine mode = VNx8SImode when TARGET_MIN_VLEN > 32.
+   Machine mode = VNx4SImode when TARGET_MIN_VLEN = 32.  */
+DEF_RVV_TYPE (vint32m4_t, 15, __rvv_int32m4_t, int32, VNx8SI, VNx4SI)
+DEF_RVV_TYPE (vuint32m4_t, 16, __rvv_uint32m4_t, unsigned_int32, VNx8SI, VNx4SI)
+/* LMUL = 8:
+   Machine mode = VNx16SImode when TARGET_MIN_VLEN > 32.
+   Machine mode = VNx8SImode when TARGET_MIN_VLEN = 32.  */
+DEF_RVV_TYPE (vint32m8_t, 15, __rvv_int32m8_t, int32, VNx16SI, VNx8SI)
+DEF_RVV_TYPE (vuint32m8_t, 16, __rvv_uint32m8_t, unsigned_int32, VNx16SI,
+	      VNx8SI)
+
+/* SEW = 64:
+   Disable when TARGET_MIN_VLEN > 32.  */
+DEF_RVV_TYPE (vint64m1_t, 15, __rvv_int64m1_t, intDI, VNx1DI, VOID)
+DEF_RVV_TYPE (vuint64m1_t, 16, __rvv_uint64m1_t, unsigned_intDI, VNx1DI, VOID)
+DEF_RVV_TYPE (vint64m2_t, 15, __rvv_int64m2_t, intDI, VNx2DI, VOID)
+DEF_RVV_TYPE (vuint64m2_t, 16, __rvv_uint64m2_t, unsigned_intDI, VNx2DI, VOID)
+DEF_RVV_TYPE (vint64m4_t, 15, __rvv_int64m4_t, intDI, VNx4DI, VOID)
+DEF_RVV_TYPE (vuint64m4_t, 16, __rvv_uint64m4_t, unsigned_intDI, VNx4DI, VOID)
+DEF_RVV_TYPE (vint64m8_t, 15, __rvv_int64m8_t, intDI, VNx8DI, VOID)
+DEF_RVV_TYPE (vuint64m8_t, 16, __rvv_uint64m8_t, unsigned_intDI, VNx8DI, VOID)
+
+/* LMUL = 1/2:
+   Only enble when TARGET_MIN_VLEN > 32 and machine mode = VNx1SFmode.  */
+DEF_RVV_TYPE (vfloat32mf2_t, 18, __rvv_float32mf2_t, float, VNx1SF, VOID)
+/* LMUL = 1:
+   Machine mode = VNx2SFmode when TARGET_MIN_VLEN > 32.
+   Machine mode = VNx1SFmode when TARGET_MIN_VLEN = 32.  */
+DEF_RVV_TYPE (vfloat32m1_t, 17, __rvv_float32m1_t, float, VNx2SF, VNx1SF)
+/* LMUL = 2:
+   Machine mode = VNx4SFmode when TARGET_MIN_VLEN > 32.
+   Machine mode = VNx2SFmode when TARGET_MIN_VLEN = 32.  */
+DEF_RVV_TYPE (vfloat32m2_t, 17, __rvv_float32m2_t, float, VNx4SF, VNx2SF)
+/* LMUL = 4:
+   Machine mode = VNx8SFmode when TARGET_MIN_VLEN > 32.
+   Machine mode = VNx4SFmode when TARGET_MIN_VLEN = 32.  */
+DEF_RVV_TYPE (vfloat32m4_t, 17, __rvv_float32m4_t, float, VNx8SF, VNx4SF)
+/* LMUL = 8:
+   Machine mode = VNx16SFmode when TARGET_MIN_VLEN > 32.
+   Machine mode = VNx8SFmode when TARGET_MIN_VLEN = 32.  */
+DEF_RVV_TYPE (vfloat32m8_t, 17, __rvv_float32m8_t, float, VNx16SF, VNx8SF)
+
+/* SEW = 64:
+   Disable when TARGET_VECTOR_FP64.  */
+DEF_RVV_TYPE (vfloat64m1_t, 17, __rvv_float64m1_t, double, VNx1DF, VOID)
+DEF_RVV_TYPE (vfloat64m2_t, 17, __rvv_float64m2_t, double, VNx2DF, VOID)
+DEF_RVV_TYPE (vfloat64m4_t, 17, __rvv_float64m4_t, double, VNx4DF, VOID)
+DEF_RVV_TYPE (vfloat64m8_t, 17, __rvv_float64m8_t, double, VNx8DF, VOID)
+
+#undef DEF_RVV_TYPE
diff --git a/gcc/config/riscv/riscv-vector-builtins.h b/gcc/config/riscv/riscv-vector-builtins.h
new file mode 100644
index 00000000000..a4a8c1156a5
--- /dev/null
+++ b/gcc/config/riscv/riscv-vector-builtins.h
@@ -0,0 +1,79 @@
+/* Builtins definitions for RISC-V 'V' Extension for GNU compiler.
+   Copyright (C) 2022-2022 Free Software Foundation, Inc.
+   Contributed by Ju-Zhe Zhong (juzhe.zhong@rivai.ai), RiVAI Technologies Ltd.
+
+   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.
+
+   You should have received a copy of the GNU General Public License
+   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
+
+namespace riscv_vector {
+
+/* Static information about each vector type.  */
+struct vector_type_info
+{
+  /* The name of the type as declared by riscv_vector.h
+     which is recommend to use. For example: 'vint32m1_t'.  */
+  const char *user_name;
+
+  /* ABI name of vector type. The type is always available
+     under this name, even when riscv_vector.h isn't included.
+     For example:  '__rvv_int32m1_t'.  */
+  const char *abi_name;
+
+  /* The C++ mangling of ABI_NAME.  */
+  const char *mangled_name;
+};
+
+/* Enumerates the RVV types, together called
+   "vector types" for brevity.  */
+enum vector_type_index
+{
+#define DEF_RVV_TYPE(USER_NAME, ABI_NAME, NCHARS, ARGS...)    \
+  VECTOR_TYPE_##USER_NAME,
+#include "riscv-vector-builtins.def"
+  NUM_VECTOR_TYPES
+};
+
+/* RAII class for enabling enough RVV features to define the built-in
+   types and implement the riscv_vector.h pragma.
+
+   Note: According to 'TYPE_MODE' macro implementation, we need set
+   have_regs_of_mode[mode] to be true if we want to get the exact mode
+   from 'TYPE_MODE'. However, have_regs_of_mode has not been set yet in
+   targetm.init_builtins (). We need rvv_switcher to set have_regs_of_mode
+   before targetm.init_builtins () and recover back have_regs_of_mode
+   after targetm.init_builtins ().  */
+class rvv_switcher
+{
+public:
+  rvv_switcher ();
+  ~rvv_switcher ();
+
+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-vector-switch.def b/gcc/config/riscv/riscv-vector-switch.def
new file mode 100644
index 00000000000..cacfccb6d29
--- /dev/null
+++ b/gcc/config/riscv/riscv-vector-switch.def
@@ -0,0 +1,164 @@
+/* Machine mode switch for RISC-V 'V' Extension for GNU compiler.
+   Copyright (C) 2022-2022 Free Software Foundation, Inc.
+   Contributed by Ju-Zhe Zhong (juzhe.zhong@rivai.ai), RiVAI Technologies Ltd.
+
+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.
+
+You should have received a copy of the GNU General Public License
+along with GCC; see the file COPYING3.  If not see
+<http://www.gnu.org/licenses/>.  */
+
+/* This file is enable or disable the RVV modes according '-march'.  */
+
+/* According to rvv-intrinsic and RISC-V 'V' Extension ISA document:
+   https://github.com/riscv-non-isa/rvv-intrinsic-doc/blob/master/rvv-intrinsic-rfc.md.
+   https://github.com/riscv/riscv-v-spec/blob/master/v-spec.adoc.
+
+   Data Types
+   Encode SEW and LMUL into data types.
+   We enforce the constraint LMUL ≥ SEW/ELEN in the implementation.
+   There are the following data types for MIN_VLEN > 32.
+
+Note: N/A means the corresponding vector type is disabled.
+
+|Types   |LMUL=1|LMUL=2 |LMUL=4 |LMUL=8 |LMUL=1/2|LMUL=1/4|LMUL=1/8|
+|int64_t |VNx1DI|VNx2DI |VNx4DI |VNx8DI |N/A     |N/A     |N/A     |
+|uint64_t|VNx1DI|VNx2DI |VNx4DI |VNx8DI |N/A     |N/A     |N/A     |
+|int32_t |VNx2SI|VNx4SI |VNx8SI |VNx16SI|VNx1SI  |N/A     |N/A     |
+|uint32_t|VNx2SI|VNx4SI |VNx8SI |VNx16SI|VNx1SI  |N/A     |N/A     |
+|int16_t |VNx4HI|VNx8HI |VNx16HI|VNx32HI|VNx2HI  |VNx1HI  |N/A     |
+|uint16_t|VNx4HI|VNx8HI |VNx16HI|VNx32HI|VNx2HI  |VNx1HI  |N/A     |
+|int8_t  |VNx8QI|VNx16QI|VNx32QI|VNx64QI|VNx4QI  |VNx2QI  |VNx1QI  |
+|uint8_t |VNx8QI|VNx16QI|VNx32QI|VNx64QI|VNx4QI  |VNx2QI  |VNx1QI  |
+|float64 |VNx1DF|VNx2DF |VNx4DF |VNx8DF |N/A     |N/A     |N/A     |
+|float32 |VNx2SF|VNx4SF |VNx8SF |VNx16SF|VNx1SF  |N/A     |N/A     |
+|float16 |VNx4HF|VNx8HF |VNx16HF|VNx32HF|VNx2HF  |VNx1HF  |N/A     |
+
+Mask Types Encode the ratio of SEW/LMUL into the
+mask types. There are the following mask types.
+
+n = SEW/LMUL
+
+|Types|n=1    |n=2    |n=4    |n=8   |n=16  |n=32  |n=64  |
+|bool |VNx64BI|VNx32BI|VNx16BI|VNx8BI|VNx4BI|VNx2BI|VNx1BI|
+
+There are the following data types for MIN_VLEN = 32.
+
+|Types   |LMUL=1|LMUL=2|LMUL=4 |LMUL=8 |LMUL=1/2|LMUL=1/4|LMUL=1/8|
+|int64_t |N/A   |N/A   |N/A    |N/A    |N/A     |N/A     |N/A     |
+|uint64_t|N/A   |N/A   |N/A    |N/A    |N/A     |N/A     |N/A     |
+|int32_t |VNx1SI|VNx2SI|VNx4SI |VNx8SI |N/A     |N/A     |N/A     |
+|uint32_t|VNx1SI|VNx2SI|VNx4SI |VNx8SI |N/A     |N/A     |N/A     |
+|int16_t |VNx2HI|VNx4HI|VNx8HI |VNx16HI|VNx1HI  |N/A     |N/A     |
+|uint16_t|VNx2HI|VNx4HI|VNx8HI |VNx16HI|VNx1HI  |N/A     |N/A     |
+|int8_t  |VNx4QI|VNx8QI|VNx16QI|VNx32QI|VNx2QI  |VNx1QI  |N/A     |
+|uint8_t |VNx4QI|VNx8QI|VNx16QI|VNx32QI|VNx2QI  |VNx1QI  |N/A     |
+|float64 |N/A   |N/A   |N/A    |N/A    |N/A     |N/A     |N/A     |
+|float32 |VNx1SF|VNx2SF|VNx4SF |VNx8SF |N/A     |N/A     |N/A     |
+|float16 |VNx2HF|VNx4HF|VNx8HF |VNx16HF|VNx1HF  |N/A     |N/A     |
+
+Mask Types Encode the ratio of SEW/LMUL into the
+mask types. There are the following mask types.
+
+n = SEW/LMUL
+
+|Types|n=1    |n=2    |n=4   |n=8   |n=16  |n=32  |n=64|
+|bool |VNx32BI|VNx16BI|VNx8BI|VNx4BI|VNx2BI|VNx1BI|N/A |
+
+TODO: FP16 vector needs support of 'zvfh', we don't support it yet.  */
+
+/* Return 'REQUIREMENT' for machine_mode 'MODE'.
+   For example: 'MODE' = VNx64BImode needs TARGET_MIN_VLEN > 32.  */
+#ifndef ENTRY
+#define ENTRY(MODE, REQUIREMENT)
+#endif
+/* Flag of FP32 vector.  */
+#ifndef TARGET_VECTOR_FP32
+#define TARGET_VECTOR_FP32                                                     \
+  (TARGET_HARD_FLOAT && (TARGET_VECTOR_ELEN_FP_32 || TARGET_VECTOR_ELEN_FP_64))
+#endif
+/* Flag of FP64 vector.  */
+#ifndef TARGET_VECTOR_FP64
+#define TARGET_VECTOR_FP64                                                     \
+  (TARGET_DOUBLE_FLOAT && TARGET_VECTOR_ELEN_FP_64 && (TARGET_MIN_VLEN > 32))
+#endif
+
+/* Mask modes. Disable VNx64BImode when TARGET_MIN_VLEN == 32.  */
+ENTRY (VNx64BI, TARGET_MIN_VLEN > 32)
+ENTRY (VNx32BI, true)
+ENTRY (VNx16BI, true)
+ENTRY (VNx8BI, true)
+ENTRY (VNx4BI, true)
+ENTRY (VNx2BI, true)
+ENTRY (VNx1BI, true)
+
+/* SEW = 8. Disable VNx64QImode when TARGET_MIN_VLEN == 32.  */
+ENTRY (VNx64QI, TARGET_MIN_VLEN > 32)
+ENTRY (VNx32QI, true)
+ENTRY (VNx16QI, true)
+ENTRY (VNx8QI, true)
+ENTRY (VNx4QI, true)
+ENTRY (VNx2QI, true)
+ENTRY (VNx1QI, true)
+
+/* SEW = 16. Disable VNx32HImode when TARGET_MIN_VLEN == 32.  */
+ENTRY (VNx32HI, TARGET_MIN_VLEN > 32)
+ENTRY (VNx16HI, true)
+ENTRY (VNx8HI, true)
+ENTRY (VNx4HI, true)
+ENTRY (VNx2HI, true)
+ENTRY (VNx1HI, true)
+
+/* TODO:Disable all FP16 vector, enable them when 'zvfh' is supported.  */
+ENTRY (VNx32HF, false)
+ENTRY (VNx16HF, false)
+ENTRY (VNx8HF, false)
+ENTRY (VNx4HF, false)
+ENTRY (VNx2HF, false)
+ENTRY (VNx1HF, false)
+
+/* SEW = 32. Disable VNx16SImode when TARGET_MIN_VLEN == 32.
+   For single-precision floating-point, we need TARGET_VECTOR_FP32 ==
+   RVV_ENABLE.  */
+ENTRY (VNx16SI, TARGET_MIN_VLEN > 32)
+ENTRY (VNx8SI, true)
+ENTRY (VNx4SI, true)
+ENTRY (VNx2SI, true)
+ENTRY (VNx1SI, true)
+
+ENTRY (VNx16SF, TARGET_VECTOR_FP32 && (TARGET_MIN_VLEN > 32))
+ENTRY (VNx8SF, TARGET_VECTOR_FP32)
+ENTRY (VNx4SF, TARGET_VECTOR_FP32)
+ENTRY (VNx2SF, TARGET_VECTOR_FP32)
+ENTRY (VNx1SF, TARGET_VECTOR_FP32)
+
+/* SEW = 64. Enable when TARGET_MIN_VLEN > 32.
+   For double-precision floating-point, we need TARGET_VECTOR_FP64 ==
+   RVV_ENABLE.  */
+ENTRY (VNx8DI, TARGET_MIN_VLEN > 32)
+ENTRY (VNx4DI, TARGET_MIN_VLEN > 32)
+ENTRY (VNx2DI, TARGET_MIN_VLEN > 32)
+ENTRY (VNx1DI, TARGET_MIN_VLEN > 32)
+
+ENTRY (VNx8DF, TARGET_VECTOR_FP64 && (TARGET_MIN_VLEN > 32))
+ENTRY (VNx4DF, TARGET_VECTOR_FP64)
+ENTRY (VNx2DF, TARGET_VECTOR_FP64)
+ENTRY (VNx1DF, TARGET_VECTOR_FP64)
+
+/* SEW = 128. Disable all of them.  */
+ENTRY (VNx2TI, false)
+ENTRY (VNx2TF, false)
+
+#undef TARGET_VECTOR_FP32
+#undef TARGET_VECTOR_FP64
+#undef ENTRY
diff --git a/gcc/config/riscv/riscv.cc b/gcc/config/riscv/riscv.cc
index 4d5d88798ea..0d618315828 100644
--- a/gcc/config/riscv/riscv.cc
+++ b/gcc/config/riscv/riscv.cc
@@ -59,6 +59,7 @@ 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"
 
 /* True if X is an UNSPEC wrapper around a SYMBOL_REF or LABEL_REF.  */
 #define UNSPEC_ADDRESS_P(X)					\
@@ -375,6 +376,11 @@ static const struct attribute_spec riscv_attribute_table[] =
   { "interrupt", 0, 1, false, true, true, false,
     riscv_handle_type_attribute, NULL },
 
+  /* The following two are used for the built-in properties of the Vector type
+     and are not used externally */
+  {"RVV sizeless type", 4, 4, false, true, false, true, NULL, NULL},
+  {"RVV type", 0, 0, false, true, false, true, NULL, NULL},
+
   /* The last attribute spec is set to be NULL.  */
   { NULL,	0,  0, false, false, false, false, NULL, NULL }
 };
@@ -942,7 +948,37 @@ riscv_valid_lo_sum_p (enum riscv_symbol_type sym_type, machine_mode mode,
 static bool
 riscv_v_ext_vector_mode_p (machine_mode mode)
 {
-  return VECTOR_MODE_P (mode);
+#define ENTRY(MODE, REQUIREMENT)                                               \
+  case MODE##mode:                                                             \
+    return true;
+  switch (mode)
+    {
+#include "riscv-vector-switch.def"
+    default:
+      return false;
+    }
+
+  return false;
+}
+
+/* Return true if mode is the RVV enabled mode.
+   For example: 'VNx1DI' mode is disabled if MIN_VLEN == 32.
+   'VNx1SI' mode is enabled if MIN_VLEN == 32.  */
+
+bool
+riscv_v_ext_enabled_vector_mode_p (machine_mode mode)
+{
+#define ENTRY(MODE, REQUIREMENT)                                               \
+  case MODE##mode:                                                             \
+    return REQUIREMENT;
+  switch (mode)
+    {
+#include "riscv-vector-switch.def"
+    default:
+      return false;
+    }
+
+  return false;
 }
 
 /* Return true if X is a valid address for machine mode MODE.  If it is,
@@ -6180,6 +6216,16 @@ riscv_mangle_type (const_tree type)
   if (TREE_CODE (type) == REAL_TYPE && TYPE_PRECISION (type) == 16)
     return "DF16_";
 
+  /* Mangle all vector type for vector extension.  */
+  /* The mangle name follows the rule of RVV LLVM
+     that is "u" + length of (abi_name) + abi_name. */
+  if (TYPE_NAME (type) != NULL)
+    {
+      const char *res = riscv_vector::mangle_builtin_type (type);
+      if (res)
+	return res;
+    }
+
   /* Use the default mangling.  */
   return NULL;
 }
@@ -6290,6 +6336,44 @@ riscv_reinit (void)
 #define TARGET_RUN_TARGET_SELFTESTS selftest::riscv_run_selftests
 #endif /* #if CHECKING_P */
 
+/* Implement TARGET_VECTOR_MODE_SUPPORTED_P.  */
+
+static bool
+riscv_vector_mode_supported_p (machine_mode mode)
+{
+  if (TARGET_VECTOR)
+    return riscv_v_ext_enabled_vector_mode_p (mode);
+
+  return false;
+}
+
+/* Implement TARGET_VERIFY_TYPE_CONTEXT.  */
+
+static bool
+riscv_verify_type_context (location_t loc, type_context_kind context,
+			   const_tree type, bool silent_p)
+{
+  return riscv_vector::verify_type_context (loc, context, type, silent_p);
+}
+
+/* Implement TARGET_VECTOR_ALIGNMENT.  */
+
+static HOST_WIDE_INT
+riscv_vector_alignment (const_tree type)
+{
+  /* ??? Checking the mode isn't ideal, but VECTOR_BOOLEAN_TYPE_P can
+     be set for non-predicate vectors of booleans.  Modes are the most
+     direct way we have of identifying real RVV predicate types.  */
+  /* FIXME: RVV didn't mention the alignment of bool, we uses
+     one byte align.  */
+  if (GET_MODE_CLASS (TYPE_MODE (type)) == MODE_VECTOR_BOOL)
+    return 8;
+
+  widest_int min_size
+    = constant_lower_bound (wi::to_poly_widest (TYPE_SIZE (type)));
+  return wi::umin (min_size, 128).to_uhwi ();
+}
+
 /* Initialize the GCC target structure.  */
 #undef TARGET_ASM_ALIGNED_HI_OP
 #define TARGET_ASM_ALIGNED_HI_OP "\t.half\t"
@@ -6502,6 +6586,15 @@ riscv_reinit (void)
 #define TARGET_DEFAULT_TARGET_FLAGS (MASK_BIG_ENDIAN)
 #endif
 
+#undef TARGET_VECTOR_MODE_SUPPORTED_P
+#define TARGET_VECTOR_MODE_SUPPORTED_P riscv_vector_mode_supported_p
+
+#undef TARGET_VERIFY_TYPE_CONTEXT
+#define TARGET_VERIFY_TYPE_CONTEXT riscv_verify_type_context
+
+#undef TARGET_VECTOR_ALIGNMENT
+#define TARGET_VECTOR_ALIGNMENT riscv_vector_alignment
+
 struct gcc_target targetm = TARGET_INITIALIZER;
 
 #include "gt-riscv.h"
diff --git a/gcc/config/riscv/t-riscv b/gcc/config/riscv/t-riscv
index 2b82e5f2399..ad9be094ebe 100644
--- a/gcc/config/riscv/t-riscv
+++ b/gcc/config/riscv/t-riscv
@@ -5,6 +5,16 @@ riscv-builtins.o: $(srcdir)/config/riscv/riscv-builtins.cc $(CONFIG_H) \
 	$(COMPILER) -c $(ALL_COMPILERFLAGS) $(ALL_CPPFLAGS) $(INCLUDES) \
 		$(srcdir)/config/riscv/riscv-builtins.cc
 
+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) \
+  $(srcdir)/config/riscv/riscv-vector-builtins.h \
+	$(srcdir)/config/riscv/riscv-vector-builtins.def
+	$(COMPILER) -c $(ALL_COMPILERFLAGS) $(ALL_CPPFLAGS) $(INCLUDES) \
+		$(srcdir)/config/riscv/riscv-vector-builtins.cc
+
 riscv-sr.o: $(srcdir)/config/riscv/riscv-sr.cc $(CONFIG_H) \
   $(SYSTEM_H) $(TM_H)
 	$(COMPILER) -c $(ALL_COMPILERFLAGS) $(ALL_CPPFLAGS) $(INCLUDES) \
diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/abi-1.c b/gcc/testsuite/gcc.target/riscv/rvv/base/abi-1.c
new file mode 100644
index 00000000000..2e0e12aa045
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/abi-1.c
@@ -0,0 +1,63 @@
+/* { dg-do compile } */
+/* { dg-skip-if "test rvv intrinsic" { *-*-* } { "*" } { "-march=rv*v*" } } */
+
+void foo0 () {__rvv_bool64_t t;}
+void foo1 () {__rvv_bool32_t t;}
+void foo2 () {__rvv_bool16_t t;}
+void foo3 () {__rvv_bool8_t t;}
+void foo4 () {__rvv_bool4_t t;}
+void foo5 () {__rvv_bool2_t t;}
+void foo6 () {__rvv_bool1_t t;}
+void foo7 () {__rvv_int8mf8_t t;}
+void foo8 () {__rvv_uint8mf8_t t;}
+void foo9 () {__rvv_int8mf4_t t;}
+void foo10 () {__rvv_uint8mf4_t t;}
+void foo11 () {__rvv_int8mf2_t t;}
+void foo12 () {__rvv_uint8mf2_t t;}
+void foo13 () {__rvv_int8m1_t t;}
+void foo14 () {__rvv_uint8m1_t t;}
+void foo15 () {__rvv_int8m2_t t;}
+void foo16 () {__rvv_uint8m2_t t;}
+void foo17 () {__rvv_int8m4_t t;}
+void foo18 () {__rvv_uint8m4_t t;}
+void foo19 () {__rvv_int8m8_t t;}
+void foo20 () {__rvv_uint8m8_t t;}
+void foo21 () {__rvv_int16mf4_t t;}
+void foo22 () {__rvv_uint16mf4_t t;}
+void foo23 () {__rvv_int16mf2_t t;}
+void foo24 () {__rvv_uint16mf2_t t;}
+void foo25 () {__rvv_int16m1_t t;}
+void foo26 () {__rvv_uint16m1_t t;}
+void foo27 () {__rvv_int16m2_t t;}
+void foo28 () {__rvv_uint16m2_t t;}
+void foo29 () {__rvv_int16m4_t t;}
+void foo30 () {__rvv_uint16m4_t t;}
+void foo31 () {__rvv_int16m8_t t;}
+void foo32 () {__rvv_uint16m8_t t;}
+void foo33 () {__rvv_int32mf2_t t;}
+void foo34 () {__rvv_uint32mf2_t t;}
+void foo35 () {__rvv_int32m1_t t;}
+void foo36 () {__rvv_uint32m1_t t;}
+void foo37 () {__rvv_int32m2_t t;}
+void foo38 () {__rvv_uint32m2_t t;}
+void foo39 () {__rvv_int32m4_t t;}
+void foo40 () {__rvv_uint32m4_t t;}
+void foo41 () {__rvv_int32m8_t t;}
+void foo42 () {__rvv_uint32m8_t t;}
+void foo43 () {__rvv_int64m1_t t;}
+void foo44 () {__rvv_uint64m1_t t;}
+void foo45 () {__rvv_int64m2_t t;}
+void foo46 () {__rvv_uint64m2_t t;}
+void foo47 () {__rvv_int64m4_t t;}
+void foo48 () {__rvv_uint64m4_t t;}
+void foo49 () {__rvv_int64m8_t t;}
+void foo50 () {__rvv_uint64m8_t t;}
+void foo57 () {__rvv_float32mf2_t t;}
+void foo58 () {__rvv_float32m1_t t;}
+void foo59 () {__rvv_float32m2_t t;}
+void foo60 () {__rvv_float32m4_t t;}
+void foo61 () {__rvv_float32m8_t t;}
+void foo62 () {__rvv_float64m1_t t;}
+void foo63 () {__rvv_float64m2_t t;}
+void foo64 () {__rvv_float64m4_t t;}
+void foo65 () {__rvv_float64m8_t t;}
diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/abi-2.c b/gcc/testsuite/gcc.target/riscv/rvv/base/abi-2.c
new file mode 100644
index 00000000000..92e61c255ac
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/abi-2.c
@@ -0,0 +1,63 @@
+/* { dg-do compile } */
+/* { dg-options "-O3 -march=rv32gc -mabi=ilp32d" } */
+
+void foo0 () {__rvv_bool64_t t;} /* { dg-error {unknown type name '__rvv_bool64_t'} } */
+void foo1 () {__rvv_bool32_t t;} /* { dg-error {unknown type name '__rvv_bool32_t'} } */
+void foo2 () {__rvv_bool16_t t;} /* { dg-error {unknown type name '__rvv_bool16_t'} } */
+void foo3 () {__rvv_bool8_t t;} /* { dg-error {unknown type name '__rvv_bool8_t'} } */
+void foo4 () {__rvv_bool4_t t;} /* { dg-error {unknown type name '__rvv_bool4_t'} } */
+void foo5 () {__rvv_bool2_t t;} /* { dg-error {unknown type name '__rvv_bool2_t'} } */
+void foo6 () {__rvv_bool1_t t;} /* { dg-error {unknown type name '__rvv_bool1_t'} } */
+void foo7 () {__rvv_int8mf8_t t;} /* { dg-error {unknown type name '__rvv_int8mf8_t'} } */
+void foo8 () {__rvv_uint8mf8_t t;} /* { dg-error {unknown type name '__rvv_uint8mf8_t'} } */
+void foo9 () {__rvv_int8mf4_t t;} /* { dg-error {unknown type name '__rvv_int8mf4_t'} } */
+void foo10 () {__rvv_uint8mf4_t t;} /* { dg-error {unknown type name '__rvv_uint8mf4_t'} } */
+void foo11 () {__rvv_int8mf2_t t;} /* { dg-error {unknown type name '__rvv_int8mf2_t'} } */
+void foo12 () {__rvv_uint8mf2_t t;} /* { dg-error {unknown type name '__rvv_uint8mf2_t'} } */
+void foo13 () {__rvv_int8m1_t t;} /* { dg-error {unknown type name '__rvv_int8m1_t'} } */
+void foo14 () {__rvv_uint8m1_t t;} /* { dg-error {unknown type name '__rvv_uint8m1_t'} } */
+void foo15 () {__rvv_int8m2_t t;} /* { dg-error {unknown type name '__rvv_int8m2_t'} } */
+void foo16 () {__rvv_uint8m2_t t;} /* { dg-error {unknown type name '__rvv_uint8m2_t'} } */
+void foo17 () {__rvv_int8m4_t t;} /* { dg-error {unknown type name '__rvv_int8m4_t'} } */
+void foo18 () {__rvv_uint8m4_t t;} /* { dg-error {unknown type name '__rvv_uint8m4_t'} } */
+void foo19 () {__rvv_int8m8_t t;} /* { dg-error {unknown type name '__rvv_int8m8_t'} } */
+void foo20 () {__rvv_uint8m8_t t;} /* { dg-error {unknown type name '__rvv_uint8m8_t'} } */
+void foo21 () {__rvv_int16mf4_t t;} /* { dg-error {unknown type name '__rvv_int16mf4_t'} } */
+void foo22 () {__rvv_uint16mf4_t t;} /* { dg-error {unknown type name '__rvv_uint16mf4_t'} } */
+void foo23 () {__rvv_int16mf2_t t;} /* { dg-error {unknown type name '__rvv_int16mf2_t'} } */
+void foo24 () {__rvv_uint16mf2_t t;} /* { dg-error {unknown type name '__rvv_uint16mf2_t'} } */
+void foo25 () {__rvv_int16m1_t t;} /* { dg-error {unknown type name '__rvv_int16m1_t'} } */
+void foo26 () {__rvv_uint16m1_t t;} /* { dg-error {unknown type name '__rvv_uint16m1_t'} } */
+void foo27 () {__rvv_int16m2_t t;} /* { dg-error {unknown type name '__rvv_int16m2_t'} } */
+void foo28 () {__rvv_uint16m2_t t;} /* { dg-error {unknown type name '__rvv_uint16m2_t'} } */
+void foo29 () {__rvv_int16m4_t t;} /* { dg-error {unknown type name '__rvv_int16m4_t'} } */
+void foo30 () {__rvv_uint16m4_t t;} /* { dg-error {unknown type name '__rvv_uint16m4_t'} } */
+void foo31 () {__rvv_int16m8_t t;} /* { dg-error {unknown type name '__rvv_int16m8_t'} } */
+void foo32 () {__rvv_uint16m8_t t;} /* { dg-error {unknown type name '__rvv_uint16m8_t'} } */
+void foo33 () {__rvv_int32mf2_t t;} /* { dg-error {unknown type name '__rvv_int32mf2_t'} } */
+void foo34 () {__rvv_uint32mf2_t t;} /* { dg-error {unknown type name '__rvv_uint32mf2_t'} } */
+void foo35 () {__rvv_int32m1_t t;} /* { dg-error {unknown type name '__rvv_int32m1_t'} } */
+void foo36 () {__rvv_uint32m1_t t;} /* { dg-error {unknown type name '__rvv_uint32m1_t'} } */
+void foo37 () {__rvv_int32m2_t t;} /* { dg-error {unknown type name '__rvv_int32m2_t'} } */
+void foo38 () {__rvv_uint32m2_t t;} /* { dg-error {unknown type name '__rvv_uint32m2_t'} } */
+void foo39 () {__rvv_int32m4_t t;} /* { dg-error {unknown type name '__rvv_int32m4_t'} } */
+void foo40 () {__rvv_uint32m4_t t;} /* { dg-error {unknown type name '__rvv_uint32m4_t'} } */
+void foo41 () {__rvv_int32m8_t t;} /* { dg-error {unknown type name '__rvv_int32m8_t'} } */
+void foo42 () {__rvv_uint32m8_t t;} /* { dg-error {unknown type name '__rvv_uint32m8_t'} } */
+void foo43 () {__rvv_int64m1_t t;} /* { dg-error {unknown type name '__rvv_int64m1_t'} } */
+void foo44 () {__rvv_uint64m1_t t;} /* { dg-error {unknown type name '__rvv_uint64m1_t'} } */
+void foo45 () {__rvv_int64m2_t t;} /* { dg-error {unknown type name '__rvv_int64m2_t'} } */
+void foo46 () {__rvv_uint64m2_t t;} /* { dg-error {unknown type name '__rvv_uint64m2_t'} } */
+void foo47 () {__rvv_int64m4_t t;} /* { dg-error {unknown type name '__rvv_int64m4_t'} } */
+void foo48 () {__rvv_uint64m4_t t;} /* { dg-error {unknown type name '__rvv_uint64m4_t'} } */
+void foo49 () {__rvv_int64m8_t t;} /* { dg-error {unknown type name '__rvv_int64m8_t'} } */
+void foo50 () {__rvv_uint64m8_t t;} /* { dg-error {unknown type name '__rvv_uint64m8_t'} } */
+void foo57 () {__rvv_float32mf2_t t;} /* { dg-error {unknown type name '__rvv_float32mf2_t'} } */
+void foo58 () {__rvv_float32m1_t t;} /* { dg-error {unknown type name '__rvv_float32m1_t'} } */
+void foo59 () {__rvv_float32m2_t t;} /* { dg-error {unknown type name '__rvv_float32m2_t'} } */
+void foo60 () {__rvv_float32m4_t t;} /* { dg-error {unknown type name '__rvv_float32m4_t'} } */
+void foo61 () {__rvv_float32m8_t t;} /* { dg-error {unknown type name '__rvv_float32m8_t'} } */
+void foo62 () {__rvv_float64m1_t t;} /* { dg-error {unknown type name '__rvv_float64m1_t'} } */
+void foo63 () {__rvv_float64m2_t t;} /* { dg-error {unknown type name '__rvv_float64m2_t'} } */
+void foo64 () {__rvv_float64m4_t t;} /* { dg-error {unknown type name '__rvv_float64m4_t'} } */
+void foo65 () {__rvv_float64m8_t t;} /* { dg-error {unknown type name '__rvv_float64m8_t'} } */
diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/abi-3.c b/gcc/testsuite/gcc.target/riscv/rvv/base/abi-3.c
new file mode 100644
index 00000000000..b9adb3072f6
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/abi-3.c
@@ -0,0 +1,63 @@
+/* { dg-do compile } */
+/* { dg-options "-O3 -march=rv32gc_zve64x -mabi=ilp32d" } */
+
+void foo0 () {__rvv_bool64_t t;}
+void foo1 () {__rvv_bool32_t t;}
+void foo2 () {__rvv_bool16_t t;}
+void foo3 () {__rvv_bool8_t t;}
+void foo4 () {__rvv_bool4_t t;}
+void foo5 () {__rvv_bool2_t t;}
+void foo6 () {__rvv_bool1_t t;}
+void foo7 () {__rvv_int8mf8_t t;}
+void foo8 () {__rvv_uint8mf8_t t;}
+void foo9 () {__rvv_int8mf4_t t;}
+void foo10 () {__rvv_uint8mf4_t t;}
+void foo11 () {__rvv_int8mf2_t t;}
+void foo12 () {__rvv_uint8mf2_t t;}
+void foo13 () {__rvv_int8m1_t t;}
+void foo14 () {__rvv_uint8m1_t t;}
+void foo15 () {__rvv_int8m2_t t;}
+void foo16 () {__rvv_uint8m2_t t;}
+void foo17 () {__rvv_int8m4_t t;}
+void foo18 () {__rvv_uint8m4_t t;}
+void foo19 () {__rvv_int8m8_t t;}
+void foo20 () {__rvv_uint8m8_t t;}
+void foo21 () {__rvv_int16mf4_t t;}
+void foo22 () {__rvv_uint16mf4_t t;}
+void foo23 () {__rvv_int16mf2_t t;}
+void foo24 () {__rvv_uint16mf2_t t;}
+void foo25 () {__rvv_int16m1_t t;}
+void foo26 () {__rvv_uint16m1_t t;}
+void foo27 () {__rvv_int16m2_t t;}
+void foo28 () {__rvv_uint16m2_t t;}
+void foo29 () {__rvv_int16m4_t t;}
+void foo30 () {__rvv_uint16m4_t t;}
+void foo31 () {__rvv_int16m8_t t;}
+void foo32 () {__rvv_uint16m8_t t;}
+void foo33 () {__rvv_int32mf2_t t;}
+void foo34 () {__rvv_uint32mf2_t t;}
+void foo35 () {__rvv_int32m1_t t;}
+void foo36 () {__rvv_uint32m1_t t;}
+void foo37 () {__rvv_int32m2_t t;}
+void foo38 () {__rvv_uint32m2_t t;}
+void foo39 () {__rvv_int32m4_t t;}
+void foo40 () {__rvv_uint32m4_t t;}
+void foo41 () {__rvv_int32m8_t t;}
+void foo42 () {__rvv_uint32m8_t t;}
+void foo43 () {__rvv_int64m1_t t;}
+void foo44 () {__rvv_uint64m1_t t;}
+void foo45 () {__rvv_int64m2_t t;}
+void foo46 () {__rvv_uint64m2_t t;}
+void foo47 () {__rvv_int64m4_t t;}
+void foo48 () {__rvv_uint64m4_t t;}
+void foo49 () {__rvv_int64m8_t t;}
+void foo50 () {__rvv_uint64m8_t t;}
+void foo57 () {__rvv_float32mf2_t t;} /* { dg-error {unknown type name '__rvv_float32mf2_t'} } */
+void foo58 () {__rvv_float32m1_t t;} /* { dg-error {unknown type name '__rvv_float32m1_t'} } */
+void foo59 () {__rvv_float32m2_t t;} /* { dg-error {unknown type name '__rvv_float32m2_t'} } */
+void foo60 () {__rvv_float32m4_t t;} /* { dg-error {unknown type name '__rvv_float32m4_t'} } */
+void foo61 () {__rvv_float32m8_t t;} /* { dg-error {unknown type name '__rvv_float32m8_t'} } */
+void foo62 () {__rvv_float64m1_t t;} /* { dg-error {unknown type name '__rvv_float64m1_t'} } */
+void foo63 () {__rvv_float64m2_t t;} /* { dg-error {unknown type name '__rvv_float64m2_t'} } */
+void foo64 () {__rvv_float64m4_t t;} /* { dg-error {unknown type name '__rvv_float64m4_t'} } */
+void foo65 () {__rvv_float64m8_t t;} /* { dg-error {unknown type name '__rvv_float64m8_t'} } */
diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/abi-4.c b/gcc/testsuite/gcc.target/riscv/rvv/base/abi-4.c
new file mode 100644
index 00000000000..56a0ebed477
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/abi-4.c
@@ -0,0 +1,63 @@
+/* { dg-do compile } */
+/* { dg-options "-O3 -march=rv32gc_zve64f -mabi=ilp32d" } */
+
+void foo0 () {__rvv_bool64_t t;}
+void foo1 () {__rvv_bool32_t t;}
+void foo2 () {__rvv_bool16_t t;}
+void foo3 () {__rvv_bool8_t t;}
+void foo4 () {__rvv_bool4_t t;}
+void foo5 () {__rvv_bool2_t t;}
+void foo6 () {__rvv_bool1_t t;}
+void foo7 () {__rvv_int8mf8_t t;}
+void foo8 () {__rvv_uint8mf8_t t;}
+void foo9 () {__rvv_int8mf4_t t;}
+void foo10 () {__rvv_uint8mf4_t t;}
+void foo11 () {__rvv_int8mf2_t t;}
+void foo12 () {__rvv_uint8mf2_t t;}
+void foo13 () {__rvv_int8m1_t t;}
+void foo14 () {__rvv_uint8m1_t t;}
+void foo15 () {__rvv_int8m2_t t;}
+void foo16 () {__rvv_uint8m2_t t;}
+void foo17 () {__rvv_int8m4_t t;}
+void foo18 () {__rvv_uint8m4_t t;}
+void foo19 () {__rvv_int8m8_t t;}
+void foo20 () {__rvv_uint8m8_t t;}
+void foo21 () {__rvv_int16mf4_t t;}
+void foo22 () {__rvv_uint16mf4_t t;}
+void foo23 () {__rvv_int16mf2_t t;}
+void foo24 () {__rvv_uint16mf2_t t;}
+void foo25 () {__rvv_int16m1_t t;}
+void foo26 () {__rvv_uint16m1_t t;}
+void foo27 () {__rvv_int16m2_t t;}
+void foo28 () {__rvv_uint16m2_t t;}
+void foo29 () {__rvv_int16m4_t t;}
+void foo30 () {__rvv_uint16m4_t t;}
+void foo31 () {__rvv_int16m8_t t;}
+void foo32 () {__rvv_uint16m8_t t;}
+void foo33 () {__rvv_int32mf2_t t;}
+void foo34 () {__rvv_uint32mf2_t t;}
+void foo35 () {__rvv_int32m1_t t;}
+void foo36 () {__rvv_uint32m1_t t;}
+void foo37 () {__rvv_int32m2_t t;}
+void foo38 () {__rvv_uint32m2_t t;}
+void foo39 () {__rvv_int32m4_t t;}
+void foo40 () {__rvv_uint32m4_t t;}
+void foo41 () {__rvv_int32m8_t t;}
+void foo42 () {__rvv_uint32m8_t t;}
+void foo43 () {__rvv_int64m1_t t;}
+void foo44 () {__rvv_uint64m1_t t;}
+void foo45 () {__rvv_int64m2_t t;}
+void foo46 () {__rvv_uint64m2_t t;}
+void foo47 () {__rvv_int64m4_t t;}
+void foo48 () {__rvv_uint64m4_t t;}
+void foo49 () {__rvv_int64m8_t t;}
+void foo50 () {__rvv_uint64m8_t t;}
+void foo57 () {__rvv_float32mf2_t t;}
+void foo58 () {__rvv_float32m1_t t;}
+void foo59 () {__rvv_float32m2_t t;}
+void foo60 () {__rvv_float32m4_t t;}
+void foo61 () {__rvv_float32m8_t t;}
+void foo62 () {__rvv_float64m1_t t;} /* { dg-error {unknown type name '__rvv_float64m1_t'} } */
+void foo63 () {__rvv_float64m2_t t;} /* { dg-error {unknown type name '__rvv_float64m2_t'} } */
+void foo64 () {__rvv_float64m4_t t;} /* { dg-error {unknown type name '__rvv_float64m4_t'} } */
+void foo65 () {__rvv_float64m8_t t;} /* { dg-error {unknown type name '__rvv_float64m8_t'} } */
diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/abi-5.c b/gcc/testsuite/gcc.target/riscv/rvv/base/abi-5.c
new file mode 100644
index 00000000000..af716094491
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/abi-5.c
@@ -0,0 +1,63 @@
+/* { dg-do compile } */
+/* { dg-options "-O3 -march=rv32gc_zve64d -mabi=ilp32d" } */
+
+void foo0 () {__rvv_bool64_t t;}
+void foo1 () {__rvv_bool32_t t;}
+void foo2 () {__rvv_bool16_t t;}
+void foo3 () {__rvv_bool8_t t;}
+void foo4 () {__rvv_bool4_t t;}
+void foo5 () {__rvv_bool2_t t;}
+void foo6 () {__rvv_bool1_t t;}
+void foo7 () {__rvv_int8mf8_t t;}
+void foo8 () {__rvv_uint8mf8_t t;}
+void foo9 () {__rvv_int8mf4_t t;}
+void foo10 () {__rvv_uint8mf4_t t;}
+void foo11 () {__rvv_int8mf2_t t;}
+void foo12 () {__rvv_uint8mf2_t t;}
+void foo13 () {__rvv_int8m1_t t;}
+void foo14 () {__rvv_uint8m1_t t;}
+void foo15 () {__rvv_int8m2_t t;}
+void foo16 () {__rvv_uint8m2_t t;}
+void foo17 () {__rvv_int8m4_t t;}
+void foo18 () {__rvv_uint8m4_t t;}
+void foo19 () {__rvv_int8m8_t t;}
+void foo20 () {__rvv_uint8m8_t t;}
+void foo21 () {__rvv_int16mf4_t t;}
+void foo22 () {__rvv_uint16mf4_t t;}
+void foo23 () {__rvv_int16mf2_t t;}
+void foo24 () {__rvv_uint16mf2_t t;}
+void foo25 () {__rvv_int16m1_t t;}
+void foo26 () {__rvv_uint16m1_t t;}
+void foo27 () {__rvv_int16m2_t t;}
+void foo28 () {__rvv_uint16m2_t t;}
+void foo29 () {__rvv_int16m4_t t;}
+void foo30 () {__rvv_uint16m4_t t;}
+void foo31 () {__rvv_int16m8_t t;}
+void foo32 () {__rvv_uint16m8_t t;}
+void foo33 () {__rvv_int32mf2_t t;}
+void foo34 () {__rvv_uint32mf2_t t;}
+void foo35 () {__rvv_int32m1_t t;}
+void foo36 () {__rvv_uint32m1_t t;}
+void foo37 () {__rvv_int32m2_t t;}
+void foo38 () {__rvv_uint32m2_t t;}
+void foo39 () {__rvv_int32m4_t t;}
+void foo40 () {__rvv_uint32m4_t t;}
+void foo41 () {__rvv_int32m8_t t;}
+void foo42 () {__rvv_uint32m8_t t;}
+void foo43 () {__rvv_int64m1_t t;}
+void foo44 () {__rvv_uint64m1_t t;}
+void foo45 () {__rvv_int64m2_t t;}
+void foo46 () {__rvv_uint64m2_t t;}
+void foo47 () {__rvv_int64m4_t t;}
+void foo48 () {__rvv_uint64m4_t t;}
+void foo49 () {__rvv_int64m8_t t;}
+void foo50 () {__rvv_uint64m8_t t;}
+void foo57 () {__rvv_float32mf2_t t;}
+void foo58 () {__rvv_float32m1_t t;}
+void foo59 () {__rvv_float32m2_t t;}
+void foo60 () {__rvv_float32m4_t t;}
+void foo61 () {__rvv_float32m8_t t;}
+void foo62 () {__rvv_float64m1_t t;}
+void foo63 () {__rvv_float64m2_t t;}
+void foo64 () {__rvv_float64m4_t t;}
+void foo65 () {__rvv_float64m8_t t;}
diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/abi-6.c b/gcc/testsuite/gcc.target/riscv/rvv/base/abi-6.c
new file mode 100644
index 00000000000..e866c067e05
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/abi-6.c
@@ -0,0 +1,63 @@
+/* { dg-do compile } */
+/* { dg-options "-O3 -march=rv32gc_zve32x -mabi=ilp32d" } */
+
+void foo0 () {__rvv_bool64_t t;} /* { dg-error {unknown type name '__rvv_bool64_t'} } */
+void foo1 () {__rvv_bool32_t t;}
+void foo2 () {__rvv_bool16_t t;}
+void foo3 () {__rvv_bool8_t t;}
+void foo4 () {__rvv_bool4_t t;}
+void foo5 () {__rvv_bool2_t t;}
+void foo6 () {__rvv_bool1_t t;}
+void foo7 () {__rvv_int8mf8_t t;} /* { dg-error {unknown type name '__rvv_int8mf8_t'} } */
+void foo8 () {__rvv_uint8mf8_t t;} /* { dg-error {unknown type name '__rvv_uint8mf8_t'} } */
+void foo9 () {__rvv_int8mf4_t t;}
+void foo10 () {__rvv_uint8mf4_t t;}
+void foo11 () {__rvv_int8mf2_t t;}
+void foo12 () {__rvv_uint8mf2_t t;}
+void foo13 () {__rvv_int8m1_t t;}
+void foo14 () {__rvv_uint8m1_t t;}
+void foo15 () {__rvv_int8m2_t t;}
+void foo16 () {__rvv_uint8m2_t t;}
+void foo17 () {__rvv_int8m4_t t;}
+void foo18 () {__rvv_uint8m4_t t;}
+void foo19 () {__rvv_int8m8_t t;}
+void foo20 () {__rvv_uint8m8_t t;}
+void foo21 () {__rvv_int16mf4_t t;} /* { dg-error {unknown type name '__rvv_int16mf4_t'} } */
+void foo22 () {__rvv_uint16mf4_t t;} /* { dg-error {unknown type name '__rvv_uint16mf4_t'} } */
+void foo23 () {__rvv_int16mf2_t t;}
+void foo24 () {__rvv_uint16mf2_t t;}
+void foo25 () {__rvv_int16m1_t t;}
+void foo26 () {__rvv_uint16m1_t t;}
+void foo27 () {__rvv_int16m2_t t;}
+void foo28 () {__rvv_uint16m2_t t;}
+void foo29 () {__rvv_int16m4_t t;}
+void foo30 () {__rvv_uint16m4_t t;}
+void foo31 () {__rvv_int16m8_t t;}
+void foo32 () {__rvv_uint16m8_t t;}
+void foo33 () {__rvv_int32mf2_t t;} /* { dg-error {unknown type name '__rvv_int32mf2_t'} } */
+void foo34 () {__rvv_uint32mf2_t t;} /* { dg-error {unknown type name '__rvv_uint32mf2_t'} } */
+void foo35 () {__rvv_int32m1_t t;}
+void foo36 () {__rvv_uint32m1_t t;}
+void foo37 () {__rvv_int32m2_t t;}
+void foo38 () {__rvv_uint32m2_t t;}
+void foo39 () {__rvv_int32m4_t t;}
+void foo40 () {__rvv_uint32m4_t t;}
+void foo41 () {__rvv_int32m8_t t;}
+void foo42 () {__rvv_uint32m8_t t;}
+void foo43 () {__rvv_int64m1_t t;} /* { dg-error {unknown type name '__rvv_int64m1_t'} } */
+void foo44 () {__rvv_uint64m1_t t;} /* { dg-error {unknown type name '__rvv_uint64m1_t'} } */
+void foo45 () {__rvv_int64m2_t t;} /* { dg-error {unknown type name '__rvv_int64m2_t'} } */
+void foo46 () {__rvv_uint64m2_t t;} /* { dg-error {unknown type name '__rvv_uint64m2_t'} } */
+void foo47 () {__rvv_int64m4_t t;} /* { dg-error {unknown type name '__rvv_int64m4_t'} } */
+void foo48 () {__rvv_uint64m4_t t;} /* { dg-error {unknown type name '__rvv_uint64m4_t'} } */
+void foo49 () {__rvv_int64m8_t t;} /* { dg-error {unknown type name '__rvv_int64m8_t'} } */
+void foo50 () {__rvv_uint64m8_t t;} /* { dg-error {unknown type name '__rvv_uint64m8_t'} } */
+void foo57 () {__rvv_float32mf2_t t;} /* { dg-error {unknown type name '__rvv_float32mf2_t'} } */
+void foo58 () {__rvv_float32m1_t t;} /* { dg-error {unknown type name '__rvv_float32m1_t'} } */
+void foo59 () {__rvv_float32m2_t t;} /* { dg-error {unknown type name '__rvv_float32m2_t'} } */
+void foo60 () {__rvv_float32m4_t t;} /* { dg-error {unknown type name '__rvv_float32m4_t'} } */
+void foo61 () {__rvv_float32m8_t t;} /* { dg-error {unknown type name '__rvv_float32m8_t'} } */
+void foo62 () {__rvv_float64m1_t t;} /* { dg-error {unknown type name '__rvv_float64m1_t'} } */
+void foo63 () {__rvv_float64m2_t t;} /* { dg-error {unknown type name '__rvv_float64m2_t'} } */
+void foo64 () {__rvv_float64m4_t t;} /* { dg-error {unknown type name '__rvv_float64m4_t'} } */
+void foo65 () {__rvv_float64m8_t t;} /* { dg-error {unknown type name '__rvv_float64m8_t'} } */
diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/abi-7.c b/gcc/testsuite/gcc.target/riscv/rvv/base/abi-7.c
new file mode 100644
index 00000000000..407756de183
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/abi-7.c
@@ -0,0 +1,63 @@
+/* { dg-do compile } */
+/* { dg-options "-O3 -march=rv32gc_zve32f -mabi=ilp32d" } */
+
+void foo0 () {__rvv_bool64_t t;} /* { dg-error {unknown type name '__rvv_bool64_t'} } */
+void foo1 () {__rvv_bool32_t t;}
+void foo2 () {__rvv_bool16_t t;}
+void foo3 () {__rvv_bool8_t t;}
+void foo4 () {__rvv_bool4_t t;}
+void foo5 () {__rvv_bool2_t t;}
+void foo6 () {__rvv_bool1_t t;}
+void foo7 () {__rvv_int8mf8_t t;} /* { dg-error {unknown type name '__rvv_int8mf8_t'} } */
+void foo8 () {__rvv_uint8mf8_t t;} /* { dg-error {unknown type name '__rvv_uint8mf8_t'} } */
+void foo9 () {__rvv_int8mf4_t t;}
+void foo10 () {__rvv_uint8mf4_t t;}
+void foo11 () {__rvv_int8mf2_t t;}
+void foo12 () {__rvv_uint8mf2_t t;}
+void foo13 () {__rvv_int8m1_t t;}
+void foo14 () {__rvv_uint8m1_t t;}
+void foo15 () {__rvv_int8m2_t t;}
+void foo16 () {__rvv_uint8m2_t t;}
+void foo17 () {__rvv_int8m4_t t;}
+void foo18 () {__rvv_uint8m4_t t;}
+void foo19 () {__rvv_int8m8_t t;}
+void foo20 () {__rvv_uint8m8_t t;}
+void foo21 () {__rvv_int16mf4_t t;} /* { dg-error {unknown type name '__rvv_int16mf4_t'} } */
+void foo22 () {__rvv_uint16mf4_t t;} /* { dg-error {unknown type name '__rvv_uint16mf4_t'} } */
+void foo23 () {__rvv_int16mf2_t t;}
+void foo24 () {__rvv_uint16mf2_t t;}
+void foo25 () {__rvv_int16m1_t t;}
+void foo26 () {__rvv_uint16m1_t t;}
+void foo27 () {__rvv_int16m2_t t;}
+void foo28 () {__rvv_uint16m2_t t;}
+void foo29 () {__rvv_int16m4_t t;}
+void foo30 () {__rvv_uint16m4_t t;}
+void foo31 () {__rvv_int16m8_t t;}
+void foo32 () {__rvv_uint16m8_t t;}
+void foo33 () {__rvv_int32mf2_t t;} /* { dg-error {unknown type name '__rvv_int32mf2_t'} } */
+void foo34 () {__rvv_uint32mf2_t t;} /* { dg-error {unknown type name '__rvv_uint32mf2_t'} } */
+void foo35 () {__rvv_int32m1_t t;}
+void foo36 () {__rvv_uint32m1_t t;}
+void foo37 () {__rvv_int32m2_t t;}
+void foo38 () {__rvv_uint32m2_t t;}
+void foo39 () {__rvv_int32m4_t t;}
+void foo40 () {__rvv_uint32m4_t t;}
+void foo41 () {__rvv_int32m8_t t;}
+void foo42 () {__rvv_uint32m8_t t;}
+void foo43 () {__rvv_int64m1_t t;} /* { dg-error {unknown type name '__rvv_int64m1_t'} } */
+void foo44 () {__rvv_uint64m1_t t;} /* { dg-error {unknown type name '__rvv_uint64m1_t'} } */
+void foo45 () {__rvv_int64m2_t t;} /* { dg-error {unknown type name '__rvv_int64m2_t'} } */
+void foo46 () {__rvv_uint64m2_t t;} /* { dg-error {unknown type name '__rvv_uint64m2_t'} } */
+void foo47 () {__rvv_int64m4_t t;} /* { dg-error {unknown type name '__rvv_int64m4_t'} } */
+void foo48 () {__rvv_uint64m4_t t;} /* { dg-error {unknown type name '__rvv_uint64m4_t'} } */
+void foo49 () {__rvv_int64m8_t t;} /* { dg-error {unknown type name '__rvv_int64m8_t'} } */
+void foo50 () {__rvv_uint64m8_t t;} /* { dg-error {unknown type name '__rvv_uint64m8_t'} } */
+void foo57 () {__rvv_float32mf2_t t;} /* { dg-error {unknown type name '__rvv_float32mf2_t'} } */
+void foo58 () {__rvv_float32m1_t t;}
+void foo59 () {__rvv_float32m2_t t;}
+void foo60 () {__rvv_float32m4_t t;}
+void foo61 () {__rvv_float32m8_t t;}
+void foo62 () {__rvv_float64m1_t t;} /* { dg-error {unknown type name '__rvv_float64m1_t'} } */
+void foo63 () {__rvv_float64m2_t t;} /* { dg-error {unknown type name '__rvv_float64m2_t'} } */
+void foo64 () {__rvv_float64m4_t t;} /* { dg-error {unknown type name '__rvv_float64m4_t'} } */
+void foo65 () {__rvv_float64m8_t t;} /* { dg-error {unknown type name '__rvv_float64m8_t'} } */
diff --git a/gcc/testsuite/gcc.target/riscv/rvv/rvv.exp b/gcc/testsuite/gcc.target/riscv/rvv/rvv.exp
new file mode 100644
index 00000000000..25e09f41d73
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/rvv.exp
@@ -0,0 +1,47 @@
+# Copyright (C) 2022-2022 Free Software Foundation, Inc.
+
+# This program 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 of the License, or
+# (at your option) any later version.
+#
+# This program 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.
+#
+# You should have received a copy of the GNU General Public License
+# along with GCC; see the file COPYING3.  If not see
+# <http://www.gnu.org/licenses/>.
+
+# GCC testsuite that uses the `dg.exp' driver.
+
+# Exit immediately if this isn't a RISC-V target.
+if ![istarget riscv*-*-*] then {
+  return
+}
+
+# Load support procs.
+load_lib gcc-dg.exp
+
+# If a testcase doesn't have special options, use these.
+global DEFAULT_CFLAGS
+if ![info exists DEFAULT_CFLAGS] then {
+    set DEFAULT_CFLAGS " -ansi -pedantic-errors"
+}
+
+set gcc_march "rv64gcv_zfh"
+if [istarget riscv32-*-*] then {
+  set gcc_march "rv32gcv_zfh"
+}
+
+# Initialize `dg'.
+dg-init
+
+# Main loop.
+set CFLAGS "$DEFAULT_CFLAGS -march=$gcc_march -O3"
+dg-runtest [lsort [glob -nocomplain $srcdir/$subdir/base/*.\[cS\]]] \
+	"" $CFLAGS
+
+# All done.
+dg-finish

                 reply	other threads:[~2022-09-28 17:32 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20220928173226.25419385740F@sourceware.org \
    --to=kito@gcc.gnu.org \
    --cc=gcc-cvs@gcc.gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
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).