cprover
Loading...
Searching...
No Matches
gcc_builtin_headers_omp.h File Reference

Go to the source code of this file.

Functions

void __builtin_GOACC_data_end ()
 
void __builtin_GOACC_data_start (int, __CPROVER_size_t, void *, void *, void *)
 
void __builtin_GOACC_declare (int, __CPROVER_size_t, void *, void *, void *)
 
void __builtin_GOACC_enter_exit_data (int, __CPROVER_size_t, void *, void *, void *, int, int,...)
 
void __builtin_GOACC_parallel_keyed (int, void(*)(void *), __CPROVER_size_t, void *, void *, void *,...)
 
void __builtin_GOACC_update (int, __CPROVER_size_t, void *, void *, void *, int, int,...)
 
void __builtin_GOACC_wait (int, int,...)
 
void __builtin_GOMP_atomic_end ()
 
void __builtin_GOMP_atomic_start ()
 
void __builtin_GOMP_barrier ()
 
_Bool __builtin_GOMP_barrier_cancel ()
 
_Bool __builtin_GOMP_cancel (int, _Bool)
 
_Bool __builtin_GOMP_cancellation_point (int)
 
void __builtin_GOMP_critical_end ()
 
void __builtin_GOMP_critical_name_end (void **)
 
void __builtin_GOMP_critical_name_start (void **)
 
void __builtin_GOMP_critical_start ()
 
void __builtin_GOMP_doacross_post (void *)
 
void __builtin_GOMP_doacross_ull_post (void *)
 
void __builtin_GOMP_doacross_ull_wait (unsigned long long,...)
 
void __builtin_GOMP_doacross_wait (long,...)
 
_Bool __builtin_GOMP_loop_doacross_dynamic_start (unsigned, long *, long, long *, long *)
 
_Bool __builtin_GOMP_loop_doacross_guided_start (unsigned, long *, long, long *, long *)
 
_Bool __builtin_GOMP_loop_doacross_runtime_start (unsigned, long *, long *, long *)
 
_Bool __builtin_GOMP_loop_doacross_start (unsigned, long *, long, long, long *, long *, void *, void *)
 
_Bool __builtin_GOMP_loop_doacross_static_start (unsigned, long *, long, long *, long *)
 
_Bool __builtin_GOMP_loop_dynamic_next (long *, long *)
 
_Bool __builtin_GOMP_loop_dynamic_start (long, long, long, long, long *, long *)
 
void __builtin_GOMP_loop_end ()
 
_Bool __builtin_GOMP_loop_end_cancel ()
 
void __builtin_GOMP_loop_end_nowait ()
 
_Bool __builtin_GOMP_loop_guided_next (long *, long *)
 
_Bool __builtin_GOMP_loop_guided_start (long, long, long, long, long *, long *)
 
_Bool __builtin_GOMP_loop_maybe_nonmonotonic_runtime_next (long *, long *)
 
_Bool __builtin_GOMP_loop_maybe_nonmonotonic_runtime_start (long, long, long, long *, long *)
 
_Bool __builtin_GOMP_loop_nonmonotonic_dynamic_next (long *, long *)
 
_Bool __builtin_GOMP_loop_nonmonotonic_dynamic_start (long, long, long, long, long *, long *)
 
_Bool __builtin_GOMP_loop_nonmonotonic_guided_next (long *, long *)
 
_Bool __builtin_GOMP_loop_nonmonotonic_guided_start (long, long, long, long, long *, long *)
 
_Bool __builtin_GOMP_loop_nonmonotonic_runtime_next (long *, long *)
 
_Bool __builtin_GOMP_loop_nonmonotonic_runtime_start (long, long, long, long *, long *)
 
_Bool __builtin_GOMP_loop_ordered_dynamic_next (long *, long *)
 
_Bool __builtin_GOMP_loop_ordered_dynamic_start (long, long, long, long, long *, long *)
 
_Bool __builtin_GOMP_loop_ordered_guided_next (long *, long *)
 
_Bool __builtin_GOMP_loop_ordered_guided_start (long, long, long, long, long *, long *)
 
_Bool __builtin_GOMP_loop_ordered_runtime_next (long *, long *)
 
_Bool __builtin_GOMP_loop_ordered_runtime_start (long, long, long, long *, long *)
 
_Bool __builtin_GOMP_loop_ordered_start (long, long, long, long, long, long *, long *, void *, void *)
 
_Bool __builtin_GOMP_loop_ordered_static_next (long *, long *)
 
_Bool __builtin_GOMP_loop_ordered_static_start (long, long, long, long, long *, long *)
 
_Bool __builtin_GOMP_loop_runtime_next (long *, long *)
 
_Bool __builtin_GOMP_loop_runtime_start (long, long, long, long *, long *)
 
_Bool __builtin_GOMP_loop_start (long, long, long, long, long, long *, long *, void *, void *)
 
_Bool __builtin_GOMP_loop_static_next (long *, long *)
 
_Bool __builtin_GOMP_loop_static_start (long, long, long, long, long *, long *)
 
_Bool __builtin_GOMP_loop_ull_doacross_dynamic_start (unsigned, unsigned long long *, unsigned long long, unsigned long long *, unsigned long long *)
 
_Bool __builtin_GOMP_loop_ull_doacross_guided_start (unsigned, unsigned long long *, unsigned long long, unsigned long long *, unsigned long long *)
 
_Bool __builtin_GOMP_loop_ull_doacross_runtime_start (unsigned, unsigned long long *, unsigned long long *, unsigned long long *)
 
_Bool __builtin_GOMP_loop_ull_doacross_start (unsigned, unsigned long long *, long, unsigned long long, unsigned long long *, unsigned long long *, void *, void *)
 
_Bool __builtin_GOMP_loop_ull_doacross_static_start (unsigned, unsigned long long *, unsigned long long, unsigned long long *, unsigned long long *)
 
_Bool __builtin_GOMP_loop_ull_dynamic_next (unsigned long long *, unsigned long long *)
 
_Bool __builtin_GOMP_loop_ull_dynamic_start (_Bool, unsigned long long, unsigned long long, unsigned long long, unsigned long long, unsigned long long *, unsigned long long *)
 
_Bool __builtin_GOMP_loop_ull_guided_next (unsigned long long *, unsigned long long *)
 
_Bool __builtin_GOMP_loop_ull_guided_start (_Bool, unsigned long long, unsigned long long, unsigned long long, unsigned long long, unsigned long long *, unsigned long long *)
 
_Bool __builtin_GOMP_loop_ull_maybe_nonmonotonic_runtime_next (unsigned long long *, unsigned long long *)
 
_Bool __builtin_GOMP_loop_ull_maybe_nonmonotonic_runtime_start (_Bool, unsigned long long, unsigned long long, unsigned long long, unsigned long long *, unsigned long long *)
 
_Bool __builtin_GOMP_loop_ull_nonmonotonic_dynamic_next (unsigned long long *, unsigned long long *)
 
_Bool __builtin_GOMP_loop_ull_nonmonotonic_dynamic_start (_Bool, unsigned long long, unsigned long long, unsigned long long, unsigned long long, unsigned long long *, unsigned long long *)
 
_Bool __builtin_GOMP_loop_ull_nonmonotonic_guided_next (unsigned long long *, unsigned long long *)
 
_Bool __builtin_GOMP_loop_ull_nonmonotonic_guided_start (_Bool, unsigned long long, unsigned long long, unsigned long long, unsigned long long, unsigned long long *, unsigned long long *)
 
_Bool __builtin_GOMP_loop_ull_nonmonotonic_runtime_next (unsigned long long *, unsigned long long *)
 
_Bool __builtin_GOMP_loop_ull_nonmonotonic_runtime_start (_Bool, unsigned long long, unsigned long long, unsigned long long, unsigned long long *, unsigned long long *)
 
_Bool __builtin_GOMP_loop_ull_ordered_dynamic_next (unsigned long long *, unsigned long long *)
 
_Bool __builtin_GOMP_loop_ull_ordered_dynamic_start (_Bool, unsigned long long, unsigned long long, unsigned long long, unsigned long long, unsigned long long *, unsigned long long *)
 
_Bool __builtin_GOMP_loop_ull_ordered_guided_next (unsigned long long *, unsigned long long *)
 
_Bool __builtin_GOMP_loop_ull_ordered_guided_start (_Bool, unsigned long long, unsigned long long, unsigned long long, unsigned long long, unsigned long long *, unsigned long long *)
 
_Bool __builtin_GOMP_loop_ull_ordered_runtime_next (unsigned long long *, unsigned long long *)
 
_Bool __builtin_GOMP_loop_ull_ordered_runtime_start (_Bool, unsigned long long, unsigned long long, unsigned long long, unsigned long long *, unsigned long long *)
 
_Bool __builtin_GOMP_loop_ull_ordered_start (_Bool, unsigned long long, unsigned long long, unsigned long long, long, unsigned long long, unsigned long long *, unsigned long long *, void *, void *)
 
_Bool __builtin_GOMP_loop_ull_ordered_static_next (unsigned long long *, unsigned long long *)
 
_Bool __builtin_GOMP_loop_ull_ordered_static_start (_Bool, unsigned long long, unsigned long long, unsigned long long, unsigned long long, unsigned long long *, unsigned long long *)
 
_Bool __builtin_GOMP_loop_ull_runtime_next (unsigned long long *, unsigned long long *)
 
_Bool __builtin_GOMP_loop_ull_runtime_start (_Bool, unsigned long long, unsigned long long, unsigned long long, unsigned long long *, unsigned long long *)
 
_Bool __builtin_GOMP_loop_ull_start (_Bool, unsigned long long, unsigned long long, unsigned long long, long, unsigned long long, unsigned long long *, unsigned long long *, void *, void *)
 
_Bool __builtin_GOMP_loop_ull_static_next (unsigned long long *, unsigned long long *)
 
_Bool __builtin_GOMP_loop_ull_static_start (_Bool, unsigned long long, unsigned long long, unsigned long long, unsigned long long, unsigned long long *, unsigned long long *)
 
void __builtin_GOMP_offload_register_ver (int, void *, int, void *)
 
void __builtin_GOMP_offload_unregister_ver (int, void *, int, void *)
 
void __builtin_GOMP_ordered_end ()
 
void __builtin_GOMP_ordered_start ()
 
void __builtin_GOMP_parallel (void(*)(void *), void *, unsigned, unsigned)
 
void __builtin_GOMP_parallel_loop_dynamic (void(*)(void *), void *, unsigned, long, long, long, long, unsigned)
 
void __builtin_GOMP_parallel_loop_guided (void(*)(void *), void *, unsigned, long, long, long, long, unsigned)
 
void __builtin_GOMP_parallel_loop_maybe_nonmonotonic_runtime (void(*)(void *), void *, unsigned, long, long, long, unsigned)
 
void __builtin_GOMP_parallel_loop_nonmonotonic_dynamic (void(*)(void *), void *, unsigned, long, long, long, long, unsigned)
 
void __builtin_GOMP_parallel_loop_nonmonotonic_guided (void(*)(void *), void *, unsigned, long, long, long, long, unsigned)
 
void __builtin_GOMP_parallel_loop_nonmonotonic_runtime (void(*)(void *), void *, unsigned, long, long, long, unsigned)
 
void __builtin_GOMP_parallel_loop_runtime (void(*)(void *), void *, unsigned, long, long, long, unsigned)
 
void __builtin_GOMP_parallel_loop_static (void(*)(void *), void *, unsigned, long, long, long, long, unsigned)
 
unsigned __builtin_GOMP_parallel_reductions (void(*)(void *), void *, unsigned, unsigned)
 
void __builtin_GOMP_parallel_sections (void(*)(void *), void *, unsigned, unsigned, unsigned)
 
unsigned __builtin_GOMP_sections2_start (unsigned, void *, void *)
 
void __builtin_GOMP_sections_end ()
 
_Bool __builtin_GOMP_sections_end_cancel ()
 
void __builtin_GOMP_sections_end_nowait ()
 
unsigned __builtin_GOMP_sections_next ()
 
unsigned __builtin_GOMP_sections_start (unsigned)
 
void __builtin_GOMP_single_copy_end (void *)
 
void__builtin_GOMP_single_copy_start ()
 
_Bool __builtin_GOMP_single_start ()
 
void __builtin_GOMP_target_data_ext (int, __CPROVER_size_t, void *, void *, void *)
 
void __builtin_GOMP_target_end_data ()
 
void __builtin_GOMP_target_enter_exit_data (int, __CPROVER_size_t, void *, void *, void *, unsigned, void *)
 
void __builtin_GOMP_target_ext (int, void(*)(void *), __CPROVER_size_t, void *, void *, void *, unsigned, void *, void *)
 
void __builtin_GOMP_target_update_ext (int, __CPROVER_size_t, void *, void *, void *, unsigned, void *)
 
void __builtin_GOMP_task (void(*)(void *), void *, void(*)(void *, void *), long, long, _Bool, unsigned, void *, int, void *)
 
void __builtin_GOMP_task_reduction_remap (__CPROVER_size_t, __CPROVER_size_t, void *)
 
void __builtin_GOMP_taskgroup_end ()
 
void __builtin_GOMP_taskgroup_reduction_register (void *)
 
void __builtin_GOMP_taskgroup_reduction_unregister (void *)
 
void __builtin_GOMP_taskgroup_start ()
 
void __builtin_GOMP_taskloop (void(*)(void *), void *, void(*)(void *, void *), long, long, unsigned, long, int, long, long, long)
 
void __builtin_GOMP_taskloop_ull (void(*)(void *), void *, void(*)(void *, void *), long, long, unsigned, long, int, unsigned long long, unsigned long long, unsigned long long)
 
void __builtin_GOMP_taskwait ()
 
void __builtin_GOMP_taskwait_depend (void *)
 
void __builtin_GOMP_taskyield ()
 
void __builtin_GOMP_teams (unsigned, unsigned)
 
void __builtin_GOMP_teams_reg (void(*)(void *), void *, unsigned, unsigned, unsigned)
 
void __builtin_GOMP_workshare_task_reduction_unregister (_Bool)
 
int __builtin_omp_get_num_teams ()
 
int __builtin_omp_get_num_threads ()
 
int __builtin_omp_get_team_num ()
 
int __builtin_omp_get_thread_num ()
 
int __builtin_acc_get_device_type ()
 
int __builtin_acc_on_device (int)
 
int __builtin_goacc_parlevel_id (int)
 
int __builtin_goacc_parlevel_size (int)
 

Function Documentation

◆ __builtin_acc_get_device_type()

int __builtin_acc_get_device_type ( )

◆ __builtin_acc_on_device()

int __builtin_acc_on_device ( int )

◆ __builtin_GOACC_data_end()

void __builtin_GOACC_data_end ( )

◆ __builtin_GOACC_data_start()

void __builtin_GOACC_data_start ( int ,
__CPROVER_size_t ,
void * ,
void * ,
void *  )

◆ __builtin_GOACC_declare()

void __builtin_GOACC_declare ( int ,
__CPROVER_size_t ,
void * ,
void * ,
void *  )

◆ __builtin_GOACC_enter_exit_data()

void __builtin_GOACC_enter_exit_data ( int ,
__CPROVER_size_t ,
void * ,
void * ,
void * ,
int ,
int ,
... )

◆ __builtin_GOACC_parallel_keyed()

void __builtin_GOACC_parallel_keyed ( int ,
void(*)(void *) ,
__CPROVER_size_t ,
void * ,
void * ,
void * ,
... )

◆ __builtin_goacc_parlevel_id()

int __builtin_goacc_parlevel_id ( int )

◆ __builtin_goacc_parlevel_size()

int __builtin_goacc_parlevel_size ( int )

◆ __builtin_GOACC_update()

void __builtin_GOACC_update ( int ,
__CPROVER_size_t ,
void * ,
void * ,
void * ,
int ,
int ,
... )

◆ __builtin_GOACC_wait()

void __builtin_GOACC_wait ( int ,
int ,
... )

◆ __builtin_GOMP_atomic_end()

void __builtin_GOMP_atomic_end ( )

◆ __builtin_GOMP_atomic_start()

void __builtin_GOMP_atomic_start ( )

◆ __builtin_GOMP_barrier()

void __builtin_GOMP_barrier ( )

◆ __builtin_GOMP_barrier_cancel()

_Bool __builtin_GOMP_barrier_cancel ( )

◆ __builtin_GOMP_cancel()

_Bool __builtin_GOMP_cancel ( int ,
_Bool  )

◆ __builtin_GOMP_cancellation_point()

_Bool __builtin_GOMP_cancellation_point ( int )

◆ __builtin_GOMP_critical_end()

void __builtin_GOMP_critical_end ( )

◆ __builtin_GOMP_critical_name_end()

void __builtin_GOMP_critical_name_end ( void ** )

◆ __builtin_GOMP_critical_name_start()

void __builtin_GOMP_critical_name_start ( void ** )

◆ __builtin_GOMP_critical_start()

void __builtin_GOMP_critical_start ( )

◆ __builtin_GOMP_doacross_post()

void __builtin_GOMP_doacross_post ( void * )

◆ __builtin_GOMP_doacross_ull_post()

void __builtin_GOMP_doacross_ull_post ( void * )

◆ __builtin_GOMP_doacross_ull_wait()

void __builtin_GOMP_doacross_ull_wait ( unsigned long long ,
... )

◆ __builtin_GOMP_doacross_wait()

void __builtin_GOMP_doacross_wait ( long ,
... )

◆ __builtin_GOMP_loop_doacross_dynamic_start()

_Bool __builtin_GOMP_loop_doacross_dynamic_start ( unsigned ,
long * ,
long ,
long * ,
long *  )

◆ __builtin_GOMP_loop_doacross_guided_start()

_Bool __builtin_GOMP_loop_doacross_guided_start ( unsigned ,
long * ,
long ,
long * ,
long *  )

◆ __builtin_GOMP_loop_doacross_runtime_start()

_Bool __builtin_GOMP_loop_doacross_runtime_start ( unsigned ,
long * ,
long * ,
long *  )

◆ __builtin_GOMP_loop_doacross_start()

_Bool __builtin_GOMP_loop_doacross_start ( unsigned ,
long * ,
long ,
long ,
long * ,
long * ,
void * ,
void *  )

◆ __builtin_GOMP_loop_doacross_static_start()

_Bool __builtin_GOMP_loop_doacross_static_start ( unsigned ,
long * ,
long ,
long * ,
long *  )

◆ __builtin_GOMP_loop_dynamic_next()

_Bool __builtin_GOMP_loop_dynamic_next ( long * ,
long *  )

◆ __builtin_GOMP_loop_dynamic_start()

_Bool __builtin_GOMP_loop_dynamic_start ( long ,
long ,
long ,
long ,
long * ,
long *  )

◆ __builtin_GOMP_loop_end()

void __builtin_GOMP_loop_end ( )

◆ __builtin_GOMP_loop_end_cancel()

_Bool __builtin_GOMP_loop_end_cancel ( )

◆ __builtin_GOMP_loop_end_nowait()

void __builtin_GOMP_loop_end_nowait ( )

◆ __builtin_GOMP_loop_guided_next()

_Bool __builtin_GOMP_loop_guided_next ( long * ,
long *  )

◆ __builtin_GOMP_loop_guided_start()

_Bool __builtin_GOMP_loop_guided_start ( long ,
long ,
long ,
long ,
long * ,
long *  )

◆ __builtin_GOMP_loop_maybe_nonmonotonic_runtime_next()

_Bool __builtin_GOMP_loop_maybe_nonmonotonic_runtime_next ( long * ,
long *  )

◆ __builtin_GOMP_loop_maybe_nonmonotonic_runtime_start()

_Bool __builtin_GOMP_loop_maybe_nonmonotonic_runtime_start ( long ,
long ,
long ,
long * ,
long *  )

◆ __builtin_GOMP_loop_nonmonotonic_dynamic_next()

_Bool __builtin_GOMP_loop_nonmonotonic_dynamic_next ( long * ,
long *  )

◆ __builtin_GOMP_loop_nonmonotonic_dynamic_start()

_Bool __builtin_GOMP_loop_nonmonotonic_dynamic_start ( long ,
long ,
long ,
long ,
long * ,
long *  )

◆ __builtin_GOMP_loop_nonmonotonic_guided_next()

_Bool __builtin_GOMP_loop_nonmonotonic_guided_next ( long * ,
long *  )

◆ __builtin_GOMP_loop_nonmonotonic_guided_start()

_Bool __builtin_GOMP_loop_nonmonotonic_guided_start ( long ,
long ,
long ,
long ,
long * ,
long *  )

◆ __builtin_GOMP_loop_nonmonotonic_runtime_next()

_Bool __builtin_GOMP_loop_nonmonotonic_runtime_next ( long * ,
long *  )

◆ __builtin_GOMP_loop_nonmonotonic_runtime_start()

_Bool __builtin_GOMP_loop_nonmonotonic_runtime_start ( long ,
long ,
long ,
long * ,
long *  )

◆ __builtin_GOMP_loop_ordered_dynamic_next()

_Bool __builtin_GOMP_loop_ordered_dynamic_next ( long * ,
long *  )

◆ __builtin_GOMP_loop_ordered_dynamic_start()

_Bool __builtin_GOMP_loop_ordered_dynamic_start ( long ,
long ,
long ,
long ,
long * ,
long *  )

◆ __builtin_GOMP_loop_ordered_guided_next()

_Bool __builtin_GOMP_loop_ordered_guided_next ( long * ,
long *  )

◆ __builtin_GOMP_loop_ordered_guided_start()

_Bool __builtin_GOMP_loop_ordered_guided_start ( long ,
long ,
long ,
long ,
long * ,
long *  )

◆ __builtin_GOMP_loop_ordered_runtime_next()

_Bool __builtin_GOMP_loop_ordered_runtime_next ( long * ,
long *  )

◆ __builtin_GOMP_loop_ordered_runtime_start()

_Bool __builtin_GOMP_loop_ordered_runtime_start ( long ,
long ,
long ,
long * ,
long *  )

◆ __builtin_GOMP_loop_ordered_start()

_Bool __builtin_GOMP_loop_ordered_start ( long ,
long ,
long ,
long ,
long ,
long * ,
long * ,
void * ,
void *  )

◆ __builtin_GOMP_loop_ordered_static_next()

_Bool __builtin_GOMP_loop_ordered_static_next ( long * ,
long *  )

◆ __builtin_GOMP_loop_ordered_static_start()

_Bool __builtin_GOMP_loop_ordered_static_start ( long ,
long ,
long ,
long ,
long * ,
long *  )

◆ __builtin_GOMP_loop_runtime_next()

_Bool __builtin_GOMP_loop_runtime_next ( long * ,
long *  )

◆ __builtin_GOMP_loop_runtime_start()

_Bool __builtin_GOMP_loop_runtime_start ( long ,
long ,
long ,
long * ,
long *  )

◆ __builtin_GOMP_loop_start()

_Bool __builtin_GOMP_loop_start ( long ,
long ,
long ,
long ,
long ,
long * ,
long * ,
void * ,
void *  )

◆ __builtin_GOMP_loop_static_next()

_Bool __builtin_GOMP_loop_static_next ( long * ,
long *  )

◆ __builtin_GOMP_loop_static_start()

_Bool __builtin_GOMP_loop_static_start ( long ,
long ,
long ,
long ,
long * ,
long *  )

◆ __builtin_GOMP_loop_ull_doacross_dynamic_start()

_Bool __builtin_GOMP_loop_ull_doacross_dynamic_start ( unsigned ,
unsigned long long * ,
unsigned long long ,
unsigned long long * ,
unsigned long long *  )

◆ __builtin_GOMP_loop_ull_doacross_guided_start()

_Bool __builtin_GOMP_loop_ull_doacross_guided_start ( unsigned ,
unsigned long long * ,
unsigned long long ,
unsigned long long * ,
unsigned long long *  )

◆ __builtin_GOMP_loop_ull_doacross_runtime_start()

_Bool __builtin_GOMP_loop_ull_doacross_runtime_start ( unsigned ,
unsigned long long * ,
unsigned long long * ,
unsigned long long *  )

◆ __builtin_GOMP_loop_ull_doacross_start()

_Bool __builtin_GOMP_loop_ull_doacross_start ( unsigned ,
unsigned long long * ,
long ,
unsigned long long ,
unsigned long long * ,
unsigned long long * ,
void * ,
void *  )

◆ __builtin_GOMP_loop_ull_doacross_static_start()

_Bool __builtin_GOMP_loop_ull_doacross_static_start ( unsigned ,
unsigned long long * ,
unsigned long long ,
unsigned long long * ,
unsigned long long *  )

◆ __builtin_GOMP_loop_ull_dynamic_next()

_Bool __builtin_GOMP_loop_ull_dynamic_next ( unsigned long long * ,
unsigned long long *  )

◆ __builtin_GOMP_loop_ull_dynamic_start()

_Bool __builtin_GOMP_loop_ull_dynamic_start ( _Bool ,
unsigned long long ,
unsigned long long ,
unsigned long long ,
unsigned long long ,
unsigned long long * ,
unsigned long long *  )

◆ __builtin_GOMP_loop_ull_guided_next()

_Bool __builtin_GOMP_loop_ull_guided_next ( unsigned long long * ,
unsigned long long *  )

◆ __builtin_GOMP_loop_ull_guided_start()

_Bool __builtin_GOMP_loop_ull_guided_start ( _Bool ,
unsigned long long ,
unsigned long long ,
unsigned long long ,
unsigned long long ,
unsigned long long * ,
unsigned long long *  )

◆ __builtin_GOMP_loop_ull_maybe_nonmonotonic_runtime_next()

_Bool __builtin_GOMP_loop_ull_maybe_nonmonotonic_runtime_next ( unsigned long long * ,
unsigned long long *  )

◆ __builtin_GOMP_loop_ull_maybe_nonmonotonic_runtime_start()

_Bool __builtin_GOMP_loop_ull_maybe_nonmonotonic_runtime_start ( _Bool ,
unsigned long long ,
unsigned long long ,
unsigned long long ,
unsigned long long * ,
unsigned long long *  )

◆ __builtin_GOMP_loop_ull_nonmonotonic_dynamic_next()

_Bool __builtin_GOMP_loop_ull_nonmonotonic_dynamic_next ( unsigned long long * ,
unsigned long long *  )

◆ __builtin_GOMP_loop_ull_nonmonotonic_dynamic_start()

_Bool __builtin_GOMP_loop_ull_nonmonotonic_dynamic_start ( _Bool ,
unsigned long long ,
unsigned long long ,
unsigned long long ,
unsigned long long ,
unsigned long long * ,
unsigned long long *  )

◆ __builtin_GOMP_loop_ull_nonmonotonic_guided_next()

_Bool __builtin_GOMP_loop_ull_nonmonotonic_guided_next ( unsigned long long * ,
unsigned long long *  )

◆ __builtin_GOMP_loop_ull_nonmonotonic_guided_start()

_Bool __builtin_GOMP_loop_ull_nonmonotonic_guided_start ( _Bool ,
unsigned long long ,
unsigned long long ,
unsigned long long ,
unsigned long long ,
unsigned long long * ,
unsigned long long *  )

◆ __builtin_GOMP_loop_ull_nonmonotonic_runtime_next()

_Bool __builtin_GOMP_loop_ull_nonmonotonic_runtime_next ( unsigned long long * ,
unsigned long long *  )

◆ __builtin_GOMP_loop_ull_nonmonotonic_runtime_start()

_Bool __builtin_GOMP_loop_ull_nonmonotonic_runtime_start ( _Bool ,
unsigned long long ,
unsigned long long ,
unsigned long long ,
unsigned long long * ,
unsigned long long *  )

◆ __builtin_GOMP_loop_ull_ordered_dynamic_next()

_Bool __builtin_GOMP_loop_ull_ordered_dynamic_next ( unsigned long long * ,
unsigned long long *  )

◆ __builtin_GOMP_loop_ull_ordered_dynamic_start()

_Bool __builtin_GOMP_loop_ull_ordered_dynamic_start ( _Bool ,
unsigned long long ,
unsigned long long ,
unsigned long long ,
unsigned long long ,
unsigned long long * ,
unsigned long long *  )

◆ __builtin_GOMP_loop_ull_ordered_guided_next()

_Bool __builtin_GOMP_loop_ull_ordered_guided_next ( unsigned long long * ,
unsigned long long *  )

◆ __builtin_GOMP_loop_ull_ordered_guided_start()

_Bool __builtin_GOMP_loop_ull_ordered_guided_start ( _Bool ,
unsigned long long ,
unsigned long long ,
unsigned long long ,
unsigned long long ,
unsigned long long * ,
unsigned long long *  )

◆ __builtin_GOMP_loop_ull_ordered_runtime_next()

_Bool __builtin_GOMP_loop_ull_ordered_runtime_next ( unsigned long long * ,
unsigned long long *  )

◆ __builtin_GOMP_loop_ull_ordered_runtime_start()

_Bool __builtin_GOMP_loop_ull_ordered_runtime_start ( _Bool ,
unsigned long long ,
unsigned long long ,
unsigned long long ,
unsigned long long * ,
unsigned long long *  )

◆ __builtin_GOMP_loop_ull_ordered_start()

_Bool __builtin_GOMP_loop_ull_ordered_start ( _Bool ,
unsigned long long ,
unsigned long long ,
unsigned long long ,
long ,
unsigned long long ,
unsigned long long * ,
unsigned long long * ,
void * ,
void *  )

◆ __builtin_GOMP_loop_ull_ordered_static_next()

_Bool __builtin_GOMP_loop_ull_ordered_static_next ( unsigned long long * ,
unsigned long long *  )

◆ __builtin_GOMP_loop_ull_ordered_static_start()

_Bool __builtin_GOMP_loop_ull_ordered_static_start ( _Bool ,
unsigned long long ,
unsigned long long ,
unsigned long long ,
unsigned long long ,
unsigned long long * ,
unsigned long long *  )

◆ __builtin_GOMP_loop_ull_runtime_next()

_Bool __builtin_GOMP_loop_ull_runtime_next ( unsigned long long * ,
unsigned long long *  )

◆ __builtin_GOMP_loop_ull_runtime_start()

_Bool __builtin_GOMP_loop_ull_runtime_start ( _Bool ,
unsigned long long ,
unsigned long long ,
unsigned long long ,
unsigned long long * ,
unsigned long long *  )

◆ __builtin_GOMP_loop_ull_start()

_Bool __builtin_GOMP_loop_ull_start ( _Bool ,
unsigned long long ,
unsigned long long ,
unsigned long long ,
long ,
unsigned long long ,
unsigned long long * ,
unsigned long long * ,
void * ,
void *  )

◆ __builtin_GOMP_loop_ull_static_next()

_Bool __builtin_GOMP_loop_ull_static_next ( unsigned long long * ,
unsigned long long *  )

◆ __builtin_GOMP_loop_ull_static_start()

_Bool __builtin_GOMP_loop_ull_static_start ( _Bool ,
unsigned long long ,
unsigned long long ,
unsigned long long ,
unsigned long long ,
unsigned long long * ,
unsigned long long *  )

◆ __builtin_GOMP_offload_register_ver()

void __builtin_GOMP_offload_register_ver ( int ,
void * ,
int ,
void *  )

◆ __builtin_GOMP_offload_unregister_ver()

void __builtin_GOMP_offload_unregister_ver ( int ,
void * ,
int ,
void *  )

◆ __builtin_GOMP_ordered_end()

void __builtin_GOMP_ordered_end ( )

◆ __builtin_GOMP_ordered_start()

void __builtin_GOMP_ordered_start ( )

◆ __builtin_GOMP_parallel()

void __builtin_GOMP_parallel ( void(*)(void *) ,
void * ,
unsigned ,
unsigned  )

◆ __builtin_GOMP_parallel_loop_dynamic()

void __builtin_GOMP_parallel_loop_dynamic ( void(*)(void *) ,
void * ,
unsigned ,
long ,
long ,
long ,
long ,
unsigned  )

◆ __builtin_GOMP_parallel_loop_guided()

void __builtin_GOMP_parallel_loop_guided ( void(*)(void *) ,
void * ,
unsigned ,
long ,
long ,
long ,
long ,
unsigned  )

◆ __builtin_GOMP_parallel_loop_maybe_nonmonotonic_runtime()

void __builtin_GOMP_parallel_loop_maybe_nonmonotonic_runtime ( void(*)(void *) ,
void * ,
unsigned ,
long ,
long ,
long ,
unsigned  )

◆ __builtin_GOMP_parallel_loop_nonmonotonic_dynamic()

void __builtin_GOMP_parallel_loop_nonmonotonic_dynamic ( void(*)(void *) ,
void * ,
unsigned ,
long ,
long ,
long ,
long ,
unsigned  )

◆ __builtin_GOMP_parallel_loop_nonmonotonic_guided()

void __builtin_GOMP_parallel_loop_nonmonotonic_guided ( void(*)(void *) ,
void * ,
unsigned ,
long ,
long ,
long ,
long ,
unsigned  )

◆ __builtin_GOMP_parallel_loop_nonmonotonic_runtime()

void __builtin_GOMP_parallel_loop_nonmonotonic_runtime ( void(*)(void *) ,
void * ,
unsigned ,
long ,
long ,
long ,
unsigned  )

◆ __builtin_GOMP_parallel_loop_runtime()

void __builtin_GOMP_parallel_loop_runtime ( void(*)(void *) ,
void * ,
unsigned ,
long ,
long ,
long ,
unsigned  )

◆ __builtin_GOMP_parallel_loop_static()

void __builtin_GOMP_parallel_loop_static ( void(*)(void *) ,
void * ,
unsigned ,
long ,
long ,
long ,
long ,
unsigned  )

◆ __builtin_GOMP_parallel_reductions()

unsigned __builtin_GOMP_parallel_reductions ( void(*)(void *) ,
void * ,
unsigned ,
unsigned  )

◆ __builtin_GOMP_parallel_sections()

void __builtin_GOMP_parallel_sections ( void(*)(void *) ,
void * ,
unsigned ,
unsigned ,
unsigned  )

◆ __builtin_GOMP_sections2_start()

unsigned __builtin_GOMP_sections2_start ( unsigned ,
void * ,
void *  )

◆ __builtin_GOMP_sections_end()

void __builtin_GOMP_sections_end ( )

◆ __builtin_GOMP_sections_end_cancel()

_Bool __builtin_GOMP_sections_end_cancel ( )

◆ __builtin_GOMP_sections_end_nowait()

void __builtin_GOMP_sections_end_nowait ( )

◆ __builtin_GOMP_sections_next()

unsigned __builtin_GOMP_sections_next ( )

◆ __builtin_GOMP_sections_start()

unsigned __builtin_GOMP_sections_start ( unsigned )

◆ __builtin_GOMP_single_copy_end()

void __builtin_GOMP_single_copy_end ( void * )

◆ __builtin_GOMP_single_copy_start()

void * __builtin_GOMP_single_copy_start ( )

◆ __builtin_GOMP_single_start()

_Bool __builtin_GOMP_single_start ( )

◆ __builtin_GOMP_target_data_ext()

void __builtin_GOMP_target_data_ext ( int ,
__CPROVER_size_t ,
void * ,
void * ,
void *  )

◆ __builtin_GOMP_target_end_data()

void __builtin_GOMP_target_end_data ( )

◆ __builtin_GOMP_target_enter_exit_data()

void __builtin_GOMP_target_enter_exit_data ( int ,
__CPROVER_size_t ,
void * ,
void * ,
void * ,
unsigned ,
void *  )

◆ __builtin_GOMP_target_ext()

void __builtin_GOMP_target_ext ( int ,
void(*)(void *) ,
__CPROVER_size_t ,
void * ,
void * ,
void * ,
unsigned ,
void * ,
void *  )

◆ __builtin_GOMP_target_update_ext()

void __builtin_GOMP_target_update_ext ( int ,
__CPROVER_size_t ,
void * ,
void * ,
void * ,
unsigned ,
void *  )

◆ __builtin_GOMP_task()

void __builtin_GOMP_task ( void(*)(void *) ,
void * ,
void(*)(void *, void *) ,
long ,
long ,
_Bool ,
unsigned ,
void * ,
int ,
void *  )

◆ __builtin_GOMP_task_reduction_remap()

void __builtin_GOMP_task_reduction_remap ( __CPROVER_size_t ,
__CPROVER_size_t ,
void *  )

◆ __builtin_GOMP_taskgroup_end()

void __builtin_GOMP_taskgroup_end ( )

◆ __builtin_GOMP_taskgroup_reduction_register()

void __builtin_GOMP_taskgroup_reduction_register ( void * )

◆ __builtin_GOMP_taskgroup_reduction_unregister()

void __builtin_GOMP_taskgroup_reduction_unregister ( void * )

◆ __builtin_GOMP_taskgroup_start()

void __builtin_GOMP_taskgroup_start ( )

◆ __builtin_GOMP_taskloop()

void __builtin_GOMP_taskloop ( void(*)(void *) ,
void * ,
void(*)(void *, void *) ,
long ,
long ,
unsigned ,
long ,
int ,
long ,
long ,
long  )

◆ __builtin_GOMP_taskloop_ull()

void __builtin_GOMP_taskloop_ull ( void(*)(void *) ,
void * ,
void(*)(void *, void *) ,
long ,
long ,
unsigned ,
long ,
int ,
unsigned long long ,
unsigned long long ,
unsigned long long  )

◆ __builtin_GOMP_taskwait()

void __builtin_GOMP_taskwait ( )

◆ __builtin_GOMP_taskwait_depend()

void __builtin_GOMP_taskwait_depend ( void * )

◆ __builtin_GOMP_taskyield()

void __builtin_GOMP_taskyield ( )

◆ __builtin_GOMP_teams()

void __builtin_GOMP_teams ( unsigned ,
unsigned  )

◆ __builtin_GOMP_teams_reg()

void __builtin_GOMP_teams_reg ( void(*)(void *) ,
void * ,
unsigned ,
unsigned ,
unsigned  )

◆ __builtin_GOMP_workshare_task_reduction_unregister()

void __builtin_GOMP_workshare_task_reduction_unregister ( _Bool )

◆ __builtin_omp_get_num_teams()

int __builtin_omp_get_num_teams ( )

◆ __builtin_omp_get_num_threads()

int __builtin_omp_get_num_threads ( )

◆ __builtin_omp_get_team_num()

int __builtin_omp_get_team_num ( )

◆ __builtin_omp_get_thread_num()

int __builtin_omp_get_thread_num ( )