cprover
clang_builtin_headers.h File Reference

Go to the source code of this file.

Functions

__gcc_v4sf __builtin_shufflevector (__gcc_v4sf, __gcc_v4sf,...)
 
int __builtin_flt_rounds (void)
 

Function Documentation

◆ __builtin_flt_rounds()

int __builtin_flt_rounds ( void  )

◆ __builtin_shufflevector()

__gcc_v4sf __builtin_shufflevector ( __gcc_v4sf  ,
__gcc_v4sf  ,
  ... 
)