1  /* { dg-do compile } */
       2  /* { dg-options "-march=rv64imafdcv -mabi=lp64d" } */
       3  
       4  int main () {
       5  
       6  #if __riscv_v_intrinsic != 11000
       7  #error "__riscv_v_intrinsic"
       8  #endif
       9  
      10    return 0;
      11  }