1  /* { dg-do compile } */
       2  /* { dg-options "-O3 -march=rv32gc_zve32x -mabi=ilp32d" } */
       3  
       4  #include "riscv_vector.h"
       5  
       6  void foo0 () {vbool64_t t;} /* { dg-error {unknown type name 'vbool64_t'} } */
       7  void foo1 () {vint8mf8_t t;} /* { dg-error {unknown type name 'vint8mf8_t'} } */
       8  void foo2 () {vuint8mf8_t t;} /* { dg-error {unknown type name 'vuint8mf8_t'} } */
       9  void foo3 () {vint16mf4_t t;} /* { dg-error {unknown type name 'vint16mf4_t'} } */
      10  void foo4 () {vuint16mf4_t t;} /* { dg-error {unknown type name 'vuint16mf4_t'} } */
      11  void foo5 () {vint32mf2_t t;} /* { dg-error {unknown type name 'vint32mf2_t'} } */
      12  void foo6 () {vuint32mf2_t t;} /* { dg-error {unknown type name 'vuint32mf2_t'} } */
      13  void foo7 () {vint64m1_t t;} /* { dg-error {unknown type name 'vint64m1_t'} } */
      14  void foo8 () {vuint64m1_t t;} /* { dg-error {unknown type name 'vuint64m1_t'} } */
      15  void foo9 () {vint64m2_t t;} /* { dg-error {unknown type name 'vint64m2_t'} } */
      16  void foo10 () {vuint64m2_t t;} /* { dg-error {unknown type name 'vuint64m2_t'} } */
      17  void foo11 () {vint64m4_t t;} /* { dg-error {unknown type name 'vint64m4_t'} } */
      18  void foo12 () {vuint64m4_t t;} /* { dg-error {unknown type name 'vuint64m4_t'} } */
      19  void foo13 () {vint64m8_t t;} /* { dg-error {unknown type name 'vint64m8_t'} } */
      20  void foo14 () {vuint64m8_t t;} /* { dg-error {unknown type name 'vuint64m8_t'} } */