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
7
void
__builtin_nontemporal_store
();
8
void
__builtin_nontemporal_load
();
9
10
int
__builtin_flt_rounds
(
void
);
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
__builtin_shufflevector
__gcc_v4sf __builtin_shufflevector(__gcc_v4sf, __gcc_v4sf,...)
__builtin_rotateleft32
unsigned int __builtin_rotateleft32(unsigned int, unsigned int)
__builtin_flt_rounds
int __builtin_flt_rounds(void)
__builtin_rotateright8
unsigned char __builtin_rotateright8(unsigned char, unsigned char)
__builtin_nontemporal_load
void __builtin_nontemporal_load()
__builtin_rotateright64
unsigned long long __builtin_rotateright64(unsigned long long, unsigned long long)
__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_rotateright16
unsigned short __builtin_rotateright16(unsigned short, unsigned short)
__builtin_rotateright32
unsigned int __builtin_rotateright32(unsigned int, unsigned int)
__builtin_ia32_undef256
__gcc_v4di __builtin_ia32_undef256(void)
__builtin_rotateleft64
unsigned long long __builtin_rotateleft64(unsigned long long, unsigned long long)
__builtin_rotateleft16
unsigned short __builtin_rotateleft16(unsigned short, unsigned short)
__builtin_rotateleft8
unsigned char __builtin_rotateleft8(unsigned char, unsigned char)
ansi-c
clang_builtin_headers.h
Generated by
1.8.20