gcc/testsuite/gcc.target/i386/pr80846-1.c

   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 } } */