1  /* { dg-do compile } */
       2  /* { dg-require-effective-target arm_v8_1m_mve_ok } */
       3  /* { dg-add-options arm_v8_1m_mve } */
       4  /* { dg-additional-options "-O3" } */
       5  /* Derived from gcc.c-torture/compile/20160205-1.c.  */
       6  
       7  unsigned int a[32];
       8  int fn1(int d) {
       9    int c = 2;
      10    for (int b = 0; b < 32; b++)
      11      if (a[b])
      12        c = 3;
      13    return c;
      14  }
      15  
      16  
      17  /* { dg-final { scan-assembler-times {\tvmov\.i32\tq[0-7], #0  @ v4si} 1 } } */
      18  /* { dg-final { scan-assembler-not {\t.word\t0\n} } } */ /* 'false' mask.  */
      19  /* { dg-final { scan-assembler-not {\t.word\t1\n} } } */ /* 'true' mask.  */
      20  /* { dg-final { scan-assembler-times {vmov\.i32\tq[0-7], #0x2  @ v4si} 1 } } */
      21  /* { dg-final { scan-assembler-not {\t.word\t2\n} } } */ /* Initial value for c.  */
      22  /* { dg-final { scan-assembler-times {vmov\.i32\tq[0-7], #0x3  @ v4si} 1 } } */
      23  /* { dg-final { scan-assembler-not {\t.word\t3\n} } } */ /* Possible value for c.  */