1  /* { dg-require-effective-target vect_int } */
       2  
       3  #include <stdint.h>
       4  #include "tree-vect.h"
       5  
       6  #define N 50
       7  #define TYPE uint16_t 
       8  
       9  __attribute__((noipa, noinline, optimize("O1")))
      10  void fun1(TYPE* restrict pixel, TYPE level, int n)
      11  {
      12    for (int i = 0; i < n; i+=1)
      13      pixel[i] = (pixel[i] * level) / 0xffffU;
      14  }
      15  
      16  __attribute__((noipa, noinline, optimize("O3")))
      17  void fun2(TYPE* restrict pixel, TYPE level, int n)
      18  {
      19    for (int i = 0; i < n; i+=1)
      20      pixel[i] = (pixel[i] * level) / 0xffffU;
      21  }
      22  
      23  #include "vect-div-bitmask.h"
      24  
      25  /* { dg-final { scan-tree-dump-not "vect_recog_divmod_pattern: detected" "vect" { target aarch64*-*-* } } } */