cprover
clang_builtin_headers.h
Go to the documentation of this file.
1 __gcc_v4sf __builtin_shufflevector(__gcc_v4sf, __gcc_v4sf, ...);
2 
3 int __builtin_flt_rounds(void);
__gcc_v4sf __builtin_shufflevector(__gcc_v4sf, __gcc_v4sf,...)
int __builtin_flt_rounds(void)