1  /* { dg-do compile } */
       2  /* { dg-options "-march=rv32gcv -mabi=ilp32d -O3" } */
       3  #include "riscv_vector.h"
       4  
       5  void f1 (void * in, void *out, int32_t x)
       6  {
       7      vbool32_t mask = *(vbool32_t*)in;
       8      asm volatile ("":::"memory");
       9      vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
      10      vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
      11      vbool32_t m3 = __riscv_vmseq_vx_i32m1_b32 (v, x, 4);
      12      vbool32_t m4 = __riscv_vmseq_vx_i32m1_b32_mu (mask, m3, v, x, 4);
      13      m4 = __riscv_vmseq_vv_i32m1_b32_m (m4, v2, v2, 4);
      14      __riscv_vsm_v_b32 (out, m4, 4);
      15  }
      16  
      17  void f2 (void * in, void *out, int32_t x)
      18  {
      19      vbool32_t mask = *(vbool32_t*)in;
      20      asm volatile ("":::"memory");
      21      vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
      22      vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
      23      vbool32_t m3 = __riscv_vmslt_vx_i32m1_b32 (v, x, 4);
      24      vbool32_t m4 = __riscv_vmslt_vx_i32m1_b32_mu (mask, m3, v, x, 4);
      25      m4 = __riscv_vmslt_vv_i32m1_b32_m (m4, v2, v2, 4);
      26      __riscv_vsm_v_b32 (out, m4, 4);
      27  }
      28  
      29  /* { dg-final { scan-assembler-times {vmv} 2 } } */