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);
__gcc_v4sf __builtin_shufflevector(__gcc_v4sf, __gcc_v4sf,...)
float __gcc_v4sf __attribute__((__vector_size__(16)))
int __builtin_flt_rounds(void)