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 
11 
12 // clang-format off
13 unsigned char __builtin_rotateleft8(unsigned char, unsigned char);
14 unsigned short __builtin_rotateleft16(unsigned short, unsigned short);
15 unsigned int __builtin_rotateleft32(unsigned int, unsigned int);
16 unsigned long long __builtin_rotateleft64(unsigned long long, unsigned long long);
17 
18 unsigned char __builtin_rotateright8(unsigned char, unsigned char);
19 unsigned short __builtin_rotateright16(unsigned short, unsigned short);
20 unsigned int __builtin_rotateright32(unsigned int, unsigned int);
21 unsigned long long __builtin_rotateright64(unsigned long long, unsigned long long);
22 // clang-format on
__gcc_v8di __builtin_ia32_undef512(void)
unsigned long long __builtin_rotateleft64(unsigned long long, unsigned long long)
unsigned char __builtin_rotateleft8(unsigned char, unsigned char)
unsigned short __builtin_rotateleft16(unsigned short, unsigned short)
unsigned char __builtin_rotateright8(unsigned char, unsigned char)
unsigned int __builtin_rotateleft32(unsigned int, unsigned int)
unsigned long long __builtin_rotateright64(unsigned long long, unsigned long long)
int __builtin_flt_rounds(void)
void __builtin_nontemporal_store()
void __builtin_nontemporal_load()
__gcc_v2di __builtin_ia32_undef128(void)
__gcc_v4sf __builtin_shufflevector(__gcc_v4sf, __gcc_v4sf,...)
unsigned short __builtin_rotateright16(unsigned short, unsigned short)
__gcc_v4di __builtin_ia32_undef256(void)
unsigned int __builtin_rotateright32(unsigned int, unsigned int)