__gcc_v4sf __builtin_shufflevector(__gcc_v4sf, __gcc_v4sf, ...);

__gcc_v2di __builtin_ia32_undef128(void);
__gcc_v4di __builtin_ia32_undef256(void);
__gcc_v8di __builtin_ia32_undef512(void);

void __builtin_nontemporal_store();
void __builtin_nontemporal_load();

int __builtin_flt_rounds(void);
