1  /* { dg-do compile } */
       2  /* { dg-options "-O3 -march=rv32gc_zve32x_zvl64b -mabi=ilp32d" } */
       3  
       4  #include "riscv_vector.h"
       5  
       6  void foo0 () {vint64m1_t t;} /* { dg-error {unknown type name 'vint64m1_t'} } */
       7  void foo1 () {vuint64m1_t t;} /* { dg-error {unknown type name 'vuint64m1_t'} } */
       8  void foo2 () {vint64m2_t t;} /* { dg-error {unknown type name 'vint64m2_t'} } */
       9  void foo3 () {vuint64m2_t t;} /* { dg-error {unknown type name 'vuint64m2_t'} } */
      10  void foo4 () {vint64m4_t t;} /* { dg-error {unknown type name 'vint64m4_t'} } */
      11  void foo5 () {vuint64m4_t t;} /* { dg-error {unknown type name 'vuint64m4_t'} } */
      12  void foo6 () {vint64m8_t t;} /* { dg-error {unknown type name 'vint64m8_t'} } */
      13  void foo7 () {vuint64m8_t t;} /* { dg-error {unknown type name 'vuint64m8_t'} } */