1  /* { dg-require-effective-target vect_int } */
       2  
       3  #include <stdint.h>
       4  #include "tree-vect.h"
       5  
       6  typedef unsigned __attribute__((__vector_size__ (16))) V;
       7  
       8  static __attribute__((__noinline__)) __attribute__((__noclone__)) V
       9  foo (V v, unsigned short i)
      10  {
      11    v /= i;
      12    return v;
      13  }
      14  
      15  int
      16  main (void)
      17  {
      18    V v = foo ((V) { 0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff }, 0xffff);
      19    for (unsigned i = 0; i < sizeof (v) / sizeof (v[0]); i++)
      20      if (v[i] != 0x00010001)
      21        __builtin_abort ();
      22    return 0;
      23  }
      24  
      25  /* { dg-final { scan-tree-dump-not "vect_recog_divmod_pattern: detected" "vect" { target aarch64*-*-* } } } */