/* PR target/53759 */
/* { dg-do compile } */
/* { dg-options "-O2 -mavx" } */
/* { dg-require-effective-target avx } */

#include <xmmintrin.h>

void
foo (__m128 *x, __m64 *y)
{
  __m128 a = _mm_setzero_ps ();
  __m128 b = _mm_loadl_pi (a, y);
  *x = _mm_add_ps (b, b);
}

/* { dg-final { scan-assembler "vmovlps\[ \\t\]" } } */
/* { dg-final { scan-assembler-not "vshufps\[ \\t\]" } } */