cprover
clang_builtin_headers.h
Go to the documentation of this file.
1 __gcc_v4sf __builtin_shufflevector(__gcc_v4sf, __gcc_v4sf, ...);
2 
3 __gcc_v2di __builtin_ia32_undef128(void);
4 __gcc_v4di __builtin_ia32_undef256(void);
5 __gcc_v8di __builtin_ia32_undef512(void);
6 
9 
__builtin_shufflevector
__gcc_v4sf __builtin_shufflevector(__gcc_v4sf, __gcc_v4sf,...)
__builtin_flt_rounds
int __builtin_flt_rounds(void)
__builtin_nontemporal_load
void __builtin_nontemporal_load()
__builtin_ia32_undef128
__gcc_v2di __builtin_ia32_undef128(void)
__builtin_ia32_undef512
__gcc_v8di __builtin_ia32_undef512(void)
__builtin_nontemporal_store
void __builtin_nontemporal_store()
__builtin_ia32_undef256
__gcc_v4di __builtin_ia32_undef256(void)