1  /* { dg-do compile } */
       2  /* { dg-options "-march=rv32gcv -mabi=ilp32" } */
       3  
       4  #include "riscv_vector.h"
       5  
       6  void f3 (void * restrict in, void * restrict out)
       7  {
       8    vint32mf2_t v1 = *(vint32mf2_t*)(in + 1);
       9    vfloat64m1_t v2;
      10    *(vint32mf2_t*)(out + 1) = v1;
      11    *(vfloat64m1_t*)(out + 2) = v2;
      12  }
      13  
      14  /* { dg-final { scan-assembler-times {vsetvli\s+[a-x0-9]+,\s*zero,\s*e64,\s*m1,\s*t[au],\s*m[au]} 1 { target { no-opts "-O0" } } } } */
      15  
      16  /* { dg-final { scan-assembler-times {vsetvli} 1 { target { no-opts "-O0" } } } } */