/* { dg-do compile { target { ! ia32 } } } */
/* { dg-options "-O2 -msse4" } */

#include "sse2-mmx-pmaddwd.c"