1  /* { dg-do compile } */
       2  /* { dg-options "-march=rv32gcv -mabi=ilp32 -O3" } */
       3  #include "riscv_vector.h"
       4  
       5  void f (void * in, void *out, int64_t x, int n)
       6  {
       7    vuint64m1_t v = __riscv_vle64_v_u64m1 (in + 1, 4);
       8    vuint64m1_t v2 = __riscv_vle64_v_u64m1_tu (v, in + 2, 4);
       9    vbool64_t v3 = __riscv_vmsgeu_vx_u64m1_b64 (v2, 0, 4);
      10    __riscv_vsm_v_b64 (out + 2, v3, 4);
      11  }
      12  
      13  /* { dg-final { scan-assembler-times {vmset\.m\s+v[0-9]+} 1 } } */