/* { dg-do compile { target { ! ia32 } } } */
/* { dg-options "-O3 -dp -mavx -mavx256-split-unaligned-load -mno-prefer-avx128" } */

void
avx_test (char **cp, char **ep)
{
  int i;
  char **ap = __builtin_assume_aligned (ep, 32);
  for (i = 128; i > 0; i--)
    *ap++ = *cp++;
}

/* { dg-final { scan-assembler-not "(avx_loaddqu256|vmovdqu\[^\n\r]*movv32qi_internal)" } } */
/* { dg-final { scan-assembler "(sse2_loaddqu|(vmovdqu|vmovups)\[^\n\r]*movv16qi_internal)" } } */
/* { dg-final { scan-assembler "vinsert.128" } } */
