1  /* { dg-do compile } */
       2  /* { dg-options "-O3 -mavx512f" } */
       3  
       4  int sumint(const int arr[]) {
       5      arr = __builtin_assume_aligned(arr, 64);
       6      int sum=0;
       7      for (int i=0 ; i<1024 ; i++)
       8        sum+=arr[i];
       9      return sum;
      10  }
      11  
      12  /* { dg-final { scan-assembler-times "vextracti" 2 } } */