// https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101127
// { dg-do compile { target i?86*-*-* x86_64-*-* } }
// { dg-additional-options "-mavx" }

import gcc.builtins;

static assert(__traits(compiles, __builtin_ia32_andps256));
static assert(__traits(compiles, __builtin_ia32_pmulhrsw128));