1  /* { dg-do compile } */
       2  /* { dg-options "-march=rv32gcv -mabi=ilp32d -O3" } */
       3  #include "riscv_vector.h"
       4  
       5  void f1 (void * in, void * in2, void *out, int32_t x)
       6  {
       7      vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
       8      vint32m1_t v2 = __riscv_vle32_v_i32m1 (in2, 4);
       9      vint32m1_t v3 = __riscv_vmacc_vx_i32m1 (v, x, v2, 4);
      10      vint32m1_t v4 = __riscv_vmacc_vx_i32m1_tu (v3, x, v2, 4);
      11      __riscv_vse32_v_i32m1 (out, v4, 4);
      12  }
      13  
      14  void f2 (void * in, void * in2, void *out, int32_t x)
      15  {
      16      vbool32_t mask = *(vbool32_t*)in;
      17      asm volatile ("":::"memory");
      18      vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
      19      vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in2, 4);
      20      vint32m1_t v3 = __riscv_vmacc_vx_i32m1 (v, x, v2, 4);
      21      vint32m1_t v4 = __riscv_vmacc_vx_i32m1_tu (v3, x, v2, 4);
      22      __riscv_vse32_v_i32m1 (out, v4, 4);
      23  }
      24  
      25  void f3 (void * in, void * in2, void *out, int32_t x)
      26  {
      27      vbool32_t mask = *(vbool32_t*)in;
      28      asm volatile ("":::"memory");
      29      vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
      30      vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in2, 4);
      31      vint32m1_t v3 = __riscv_vmacc_vx_i32m1 (v, x, v2, 4);
      32      vint32m1_t v4 = __riscv_vmacc_vx_i32m1_tumu (mask, v3, x, v2, 4);
      33      __riscv_vse32_v_i32m1 (out, v4, 4);
      34  }
      35  
      36  /* { dg-final { scan-assembler-times {vma[c-d][c-d]\.vx\s+v[0-9]+,\s*[a-x0-9]+,\s*v[0-9]+\s+} 5 } } */
      37  /* { dg-final { scan-assembler-times {vma[c-d][c-d]\.vx\s+v[0-9]+,\s*[a-x0-9]+,\s*v[0-9]+,\s*v0.t} 1 } } */
      38  /* { dg-final { scan-assembler-not {vmv} } } */