cprover
clang_builtin_headers.h
Go to the documentation of this file.
1
typedef
float
__gcc_v4sf
__attribute__
((__vector_size__ (16)));
2
3
__gcc_v4sf
__builtin_shufflevector
(__gcc_v4sf, __gcc_v4sf, ...);
4
5
int
__builtin_flt_rounds
(
void
);
__builtin_shufflevector
__gcc_v4sf __builtin_shufflevector(__gcc_v4sf, __gcc_v4sf,...)
__attribute__
float __gcc_v4sf __attribute__((__vector_size__(16)))
Definition:
clang_builtin_headers.h:1
__builtin_flt_rounds
int __builtin_flt_rounds(void)
ansi-c
clang_builtin_headers.h
Generated by
1.8.12