cprover
clang_builtin_headers.h File Reference

Go to the source code of this file.

Typedefs

typedef float __gcc_v4sf __attribute__((__vector_size__(16)))
 

Functions

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

Typedef Documentation

§ __attribute__

static __attribute__
inline

Definition at line 1 of file clang_builtin_headers.h.

Function Documentation

§ __builtin_flt_rounds()

int __builtin_flt_rounds ( void  )

§ __builtin_shufflevector()

__gcc_v4sf __builtin_shufflevector ( __gcc_v4sf  ,
__gcc_v4sf  ,
  ... 
)