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

import gcc.builtins;

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