cprover
clang_builtin_headers.h File Reference

Go to the source code of this file.

Functions

__gcc_v4sf __builtin_shufflevector (__gcc_v4sf, __gcc_v4sf,...)
 
__gcc_v2di __builtin_ia32_undef128 (void)
 
__gcc_v4di __builtin_ia32_undef256 (void)
 
__gcc_v8di __builtin_ia32_undef512 (void)
 
void __builtin_nontemporal_store ()
 
void __builtin_nontemporal_load ()
 
int __builtin_flt_rounds (void)
 

Function Documentation

◆ __builtin_flt_rounds()

int __builtin_flt_rounds ( void  )

◆ __builtin_ia32_undef128()

__gcc_v2di __builtin_ia32_undef128 ( void  )

◆ __builtin_ia32_undef256()

__gcc_v4di __builtin_ia32_undef256 ( void  )

◆ __builtin_ia32_undef512()

__gcc_v8di __builtin_ia32_undef512 ( void  )

◆ __builtin_nontemporal_load()

void __builtin_nontemporal_load ( )

◆ __builtin_nontemporal_store()

void __builtin_nontemporal_store ( )

◆ __builtin_shufflevector()

__gcc_v4sf __builtin_shufflevector ( __gcc_v4sf  ,
__gcc_v4sf  ,
  ... 
)