1  /* { dg-do compile } */
       2  /* { dg-options "-march=rv32gcv -mabi=ilp32" } */
       3  
       4  /* Test insert-vsetvl PASS whether it's able to eliminate vsetvl for same vtype in VLMAX.  */
       5  
       6  #include "riscv_vector.h"
       7  
       8  void foo1 (void * restrict in, void * restrict out)
       9  {
      10    vint8mf8_t v1 = *(vint8mf8_t*)(in + 1);
      11    vint8mf8_t v2 = *(vint8mf8_t*)(in + 2);
      12    vint8mf8_t v3 = *(vint8mf8_t*)(in + 3);
      13    vint8mf8_t v4 = *(vint8mf8_t*)(in + 4);
      14    vint8mf8_t v5 = *(vint8mf8_t*)(in + 5);
      15    vint8mf8_t v6 = *(vint8mf8_t*)(in + 6);
      16    vint8mf8_t v7 = *(vint8mf8_t*)(in + 7);
      17    vint8mf8_t v8 = *(vint8mf8_t*)(in + 8);
      18    *(vint8mf8_t*)(out + 1) = v1;
      19    *(vint8mf8_t*)(out + 2) = v2;
      20    *(vint8mf8_t*)(out + 3) = v3;
      21    *(vint8mf8_t*)(out + 4) = v4;
      22    *(vint8mf8_t*)(out + 5) = v5;
      23    *(vint8mf8_t*)(out + 6) = v6;
      24    *(vint8mf8_t*)(out + 7) = v7;
      25    *(vint8mf8_t*)(out + 8) = v8;
      26  }
      27  
      28  void foo2 (void * restrict in, void * restrict out)
      29  {
      30    vint8mf4_t v1 = *(vint8mf4_t*)(in + 1);
      31    vint8mf4_t v2 = *(vint8mf4_t*)(in + 2);
      32    vint8mf4_t v3 = *(vint8mf4_t*)(in + 3);
      33    vint8mf4_t v4 = *(vint8mf4_t*)(in + 4);
      34    vint8mf4_t v5 = *(vint8mf4_t*)(in + 5);
      35    vint8mf4_t v6 = *(vint8mf4_t*)(in + 6);
      36    vint8mf4_t v7 = *(vint8mf4_t*)(in + 7);
      37    vint8mf4_t v8 = *(vint8mf4_t*)(in + 8);
      38    *(vint8mf4_t*)(out + 1) = v1;
      39    *(vint8mf4_t*)(out + 2) = v2;
      40    *(vint8mf4_t*)(out + 3) = v3;
      41    *(vint8mf4_t*)(out + 4) = v4;
      42    *(vint8mf4_t*)(out + 5) = v5;
      43    *(vint8mf4_t*)(out + 6) = v6;
      44    *(vint8mf4_t*)(out + 7) = v7;
      45    *(vint8mf4_t*)(out + 8) = v8;
      46  }
      47  
      48  void foo3 (void * restrict in, void * restrict out)
      49  {
      50    vint8mf2_t v1 = *(vint8mf2_t*)(in + 1);
      51    vint8mf2_t v2 = *(vint8mf2_t*)(in + 2);
      52    vint8mf2_t v3 = *(vint8mf2_t*)(in + 3);
      53    vint8mf2_t v4 = *(vint8mf2_t*)(in + 4);
      54    vint8mf2_t v5 = *(vint8mf2_t*)(in + 5);
      55    vint8mf2_t v6 = *(vint8mf2_t*)(in + 6);
      56    vint8mf2_t v7 = *(vint8mf2_t*)(in + 7);
      57    vint8mf2_t v8 = *(vint8mf2_t*)(in + 8);
      58    *(vint8mf2_t*)(out + 1) = v1;
      59    *(vint8mf2_t*)(out + 2) = v2;
      60    *(vint8mf2_t*)(out + 3) = v3;
      61    *(vint8mf2_t*)(out + 4) = v4;
      62    *(vint8mf2_t*)(out + 5) = v5;
      63    *(vint8mf2_t*)(out + 6) = v6;
      64    *(vint8mf2_t*)(out + 7) = v7;
      65    *(vint8mf2_t*)(out + 8) = v8;
      66  }
      67  
      68  /* { dg-final { scan-assembler-times {vsetvli\s+[a-x0-9]+,\s*zero,\s*e8,\s*mf8,\s*t[au],\s*m[au]} 1 { target { no-opts "-O0" } } } } */
      69  /* { dg-final { scan-assembler-times {vsetvli\s+[a-x0-9]+,\s*zero,\s*e8,\s*mf4,\s*t[au],\s*m[au]} 1 { target { no-opts "-O0" } } } } */
      70  /* { dg-final { scan-assembler-times {vsetvli\s+[a-x0-9]+,\s*zero,\s*e8,\s*mf2,\s*t[au],\s*m[au]} 1 { target { no-opts "-O0" } } } } */