cprover
gcc_builtin_headers_omp.h
Go to the documentation of this file.
13 _Bool __builtin_GOMP_cancel(int, _Bool);
19 _Bool __builtin_GOMP_loop_static_start(long, long, long, long, long*, long*);
20 _Bool __builtin_GOMP_loop_dynamic_start(long, long, long, long, long*, long*);
21 _Bool __builtin_GOMP_loop_guided_start(long, long, long, long, long*, long*);
22 _Bool __builtin_GOMP_loop_runtime_start(long, long, long, long*, long*);
23 _Bool __builtin_GOMP_loop_nonmonotonic_dynamic_start(long, long, long, long, long*, long*);
24 _Bool __builtin_GOMP_loop_nonmonotonic_guided_start(long, long, long, long, long*, long*);
25 _Bool __builtin_GOMP_loop_ordered_static_start(long, long, long, long, long*, long*);
26 _Bool __builtin_GOMP_loop_ordered_dynamic_start(long, long, long, long, long*, long*);
27 _Bool __builtin_GOMP_loop_ordered_guided_start(long, long, long, long, long*, long*);
28 _Bool __builtin_GOMP_loop_ordered_runtime_start(long, long, long, long*, long*);
29 _Bool __builtin_GOMP_loop_doacross_static_start(unsigned, long*, long, long*, long*);
30 _Bool __builtin_GOMP_loop_doacross_dynamic_start(unsigned, long*, long, long*, long*);
31 _Bool __builtin_GOMP_loop_doacross_guided_start(unsigned, long*, long, long*, long*);
32 _Bool __builtin_GOMP_loop_doacross_runtime_start(unsigned, long*, long*, long*);
33 _Bool __builtin_GOMP_loop_static_next(long*, long*);
35 _Bool __builtin_GOMP_loop_guided_next(long*, long*);
43 _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*);
44 _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*);
45 _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*);
46 _Bool __builtin_GOMP_loop_ull_runtime_start(_Bool, unsigned long long, unsigned long long, unsigned long long, unsigned long long*, unsigned long long*);
47 _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*);
48 _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*);
49 _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*);
50 _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*);
51 _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*);
52 _Bool __builtin_GOMP_loop_ull_ordered_runtime_start(_Bool, unsigned long long, unsigned long long, unsigned long long, unsigned long long*, unsigned long long*);
53 _Bool __builtin_GOMP_loop_ull_doacross_static_start(unsigned, unsigned long long*, unsigned long long, unsigned long long*, unsigned long long*);
54 _Bool __builtin_GOMP_loop_ull_doacross_dynamic_start(unsigned, unsigned long long*, unsigned long long, unsigned long long*, unsigned long long*);
55 _Bool __builtin_GOMP_loop_ull_doacross_guided_start(unsigned, unsigned long long*, unsigned long long, unsigned long long*, unsigned long long*);
56 _Bool __builtin_GOMP_loop_ull_doacross_runtime_start(unsigned, unsigned long long*, unsigned long long*, unsigned long long*);
57 _Bool __builtin_GOMP_loop_ull_static_next(unsigned long long*, unsigned long long*);
58 _Bool __builtin_GOMP_loop_ull_dynamic_next(unsigned long long*, unsigned long long*);
59 _Bool __builtin_GOMP_loop_ull_guided_next(unsigned long long*, unsigned long long*);
60 _Bool __builtin_GOMP_loop_ull_runtime_next(unsigned long long*, unsigned long long*);
61 _Bool __builtin_GOMP_loop_ull_nonmonotonic_dynamic_next(unsigned long long*, unsigned long long*);
62 _Bool __builtin_GOMP_loop_ull_nonmonotonic_guided_next(unsigned long long*, unsigned long long*);
63 _Bool __builtin_GOMP_loop_ull_ordered_static_next(unsigned long long*, unsigned long long*);
64 _Bool __builtin_GOMP_loop_ull_ordered_dynamic_next(unsigned long long*, unsigned long long*);
65 _Bool __builtin_GOMP_loop_ull_ordered_guided_next(unsigned long long*, unsigned long long*);
66 _Bool __builtin_GOMP_loop_ull_ordered_runtime_next(unsigned long long*, unsigned long long*);
75 void __builtin_GOMP_doacross_ull_wait(unsigned long long, ...);
76 unsigned __builtin_GOMP_sections_start(unsigned);
84 void __builtin_GOMP_offload_register_ver(int, void*, int, void*);
85 void __builtin_GOMP_offload_unregister_ver(int, void*, int, void*);
86 void __builtin_GOMP_target_data_ext(int, __CPROVER_size_t, void*, void*, void*);
88 void __builtin_GOMP_target_update_ext(int, __CPROVER_size_t, void*, void*, void*, unsigned, void*);
89 void __builtin_GOMP_target_enter_exit_data(int, __CPROVER_size_t, void*, void*, void*, unsigned, void*);
90 void __builtin_GOMP_teams(unsigned, unsigned);
__builtin_GOMP_taskgroup_end
void __builtin_GOMP_taskgroup_end()
__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_cancel
_Bool __builtin_GOMP_cancel(int, _Bool)
__builtin_GOMP_teams
void __builtin_GOMP_teams(unsigned, unsigned)
__builtin_GOMP_critical_name_end
void __builtin_GOMP_critical_name_end(void **)
__builtin_GOMP_loop_ull_runtime_next
_Bool __builtin_GOMP_loop_ull_runtime_next(unsigned long long *, unsigned long long *)
__builtin_GOMP_loop_dynamic_next
_Bool __builtin_GOMP_loop_dynamic_next(long *, long *)
__builtin_GOMP_loop_ordered_static_start
_Bool __builtin_GOMP_loop_ordered_static_start(long, long, long, long, long *, long *)
__builtin_GOMP_sections_end
void __builtin_GOMP_sections_end()
__builtin_GOMP_loop_nonmonotonic_dynamic_next
_Bool __builtin_GOMP_loop_nonmonotonic_dynamic_next(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_ordered_guided_start
_Bool __builtin_GOMP_loop_ordered_guided_start(long, long, long, long, long *, long *)
__builtin_GOMP_single_copy_end
void __builtin_GOMP_single_copy_end(void *)
__builtin_GOMP_atomic_end
void __builtin_GOMP_atomic_end()
__builtin_GOMP_doacross_wait
void __builtin_GOMP_doacross_wait(long,...)
__builtin_omp_get_num_threads
int __builtin_omp_get_num_threads()
__builtin_GOMP_atomic_start
void __builtin_GOMP_atomic_start()
__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_end
void __builtin_GOMP_loop_end()
__builtin_GOMP_loop_ordered_dynamic_next
_Bool __builtin_GOMP_loop_ordered_dynamic_next(long *, long *)
__builtin_GOMP_loop_ordered_runtime_next
_Bool __builtin_GOMP_loop_ordered_runtime_next(long *, long *)
__builtin_GOMP_loop_guided_next
_Bool __builtin_GOMP_loop_guided_next(long *, long *)
__builtin_GOMP_doacross_ull_post
void __builtin_GOMP_doacross_ull_post(void *)
__builtin_GOMP_taskyield
void __builtin_GOMP_taskyield()
__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_ordered_guided_next
_Bool __builtin_GOMP_loop_ordered_guided_next(long *, long *)
__builtin_GOMP_loop_doacross_guided_start
_Bool __builtin_GOMP_loop_doacross_guided_start(unsigned, long *, long, long *, long *)
__builtin_GOMP_critical_name_start
void __builtin_GOMP_critical_name_start(void **)
__builtin_GOMP_ordered_end
void __builtin_GOMP_ordered_end()
__builtin_GOMP_loop_nonmonotonic_guided_next
_Bool __builtin_GOMP_loop_nonmonotonic_guided_next(long *, long *)
__builtin_GOMP_target_data_ext
void __builtin_GOMP_target_data_ext(int, __CPROVER_size_t, void *, void *, void *)
__builtin_GOMP_loop_doacross_static_start
_Bool __builtin_GOMP_loop_doacross_static_start(unsigned, long *, long, long *, long *)
__builtin_GOMP_loop_runtime_start
_Bool __builtin_GOMP_loop_runtime_start(long, long, long, 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_taskwait
void __builtin_GOMP_taskwait()
__builtin_GOMP_loop_static_next
_Bool __builtin_GOMP_loop_static_next(long *, long *)
__builtin_GOMP_loop_nonmonotonic_guided_start
_Bool __builtin_GOMP_loop_nonmonotonic_guided_start(long, long, long, long, long *, long *)
__builtin_GOMP_target_enter_exit_data
void __builtin_GOMP_target_enter_exit_data(int, __CPROVER_size_t, void *, void *, void *, unsigned, void *)
__builtin_GOMP_loop_doacross_runtime_start
_Bool __builtin_GOMP_loop_doacross_runtime_start(unsigned, long *, long *, long *)
__builtin_GOMP_critical_start
void __builtin_GOMP_critical_start()
__builtin_GOMP_single_copy_start
void * __builtin_GOMP_single_copy_start()
__builtin_GOMP_loop_guided_start
_Bool __builtin_GOMP_loop_guided_start(long, long, long, long, long *, long *)
__builtin_GOMP_ordered_start
void __builtin_GOMP_ordered_start()
__builtin_GOMP_taskgroup_start
void __builtin_GOMP_taskgroup_start()
__builtin_GOMP_cancellation_point
_Bool __builtin_GOMP_cancellation_point(int)
__builtin_GOMP_loop_ordered_static_next
_Bool __builtin_GOMP_loop_ordered_static_next(long *, long *)
__builtin_GOMP_target_end_data
void __builtin_GOMP_target_end_data()
__builtin_GOMP_doacross_post
void __builtin_GOMP_doacross_post(void *)
__builtin_omp_get_thread_num
int __builtin_omp_get_thread_num()
__builtin_GOMP_sections_start
unsigned __builtin_GOMP_sections_start(unsigned)
__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_ordered_static_next
_Bool __builtin_GOMP_loop_ull_ordered_static_next(unsigned long long *, unsigned long long *)
__builtin_GOMP_loop_doacross_dynamic_start
_Bool __builtin_GOMP_loop_doacross_dynamic_start(unsigned, long *, long, 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_sections_end_nowait
void __builtin_GOMP_sections_end_nowait()
__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_dynamic_next
_Bool __builtin_GOMP_loop_ull_nonmonotonic_dynamic_next(unsigned long long *, unsigned long long *)
__builtin_GOMP_offload_register_ver
void __builtin_GOMP_offload_register_ver(int, void *, int, void *)
__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_omp_get_num_teams
int __builtin_omp_get_num_teams()
__builtin_GOMP_loop_ull_dynamic_next
_Bool __builtin_GOMP_loop_ull_dynamic_next(unsigned long long *, unsigned long long *)
__builtin_GOMP_loop_end_nowait
void __builtin_GOMP_loop_end_nowait()
__builtin_GOMP_loop_ordered_dynamic_start
_Bool __builtin_GOMP_loop_ordered_dynamic_start(long, long, long, long, 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_guided_next
_Bool __builtin_GOMP_loop_ull_guided_next(unsigned long long *, unsigned long long *)
__builtin_GOMP_barrier
void __builtin_GOMP_barrier()
__builtin_GOMP_loop_static_start
_Bool __builtin_GOMP_loop_static_start(long, long, long, long, 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_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_nonmonotonic_dynamic_start
_Bool __builtin_GOMP_loop_nonmonotonic_dynamic_start(long, long, long, long, long *, long *)
__builtin_GOMP_loop_runtime_next
_Bool __builtin_GOMP_loop_runtime_next(long *, long *)
__builtin_GOMP_loop_end_cancel
_Bool __builtin_GOMP_loop_end_cancel()
__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_barrier_cancel
_Bool __builtin_GOMP_barrier_cancel()
__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_omp_get_team_num
int __builtin_omp_get_team_num()
__builtin_GOMP_critical_end
void __builtin_GOMP_critical_end()
__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_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_static_next
_Bool __builtin_GOMP_loop_ull_static_next(unsigned long long *, unsigned long long *)
__builtin_GOMP_loop_dynamic_start
_Bool __builtin_GOMP_loop_dynamic_start(long, long, long, long, long *, long *)
__builtin_GOMP_target_update_ext
void __builtin_GOMP_target_update_ext(int, __CPROVER_size_t, void *, void *, void *, unsigned, void *)
__builtin_GOMP_sections_end_cancel
_Bool __builtin_GOMP_sections_end_cancel()
__builtin_GOMP_offload_unregister_ver
void __builtin_GOMP_offload_unregister_ver(int, void *, int, void *)
__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_ordered_runtime_start
_Bool __builtin_GOMP_loop_ordered_runtime_start(long, long, long, long *, long *)
__builtin_GOMP_doacross_ull_wait
void __builtin_GOMP_doacross_ull_wait(unsigned long long,...)
__builtin_GOMP_single_start
_Bool __builtin_GOMP_single_start()
__builtin_GOMP_loop_ull_ordered_runtime_next
_Bool __builtin_GOMP_loop_ull_ordered_runtime_next(unsigned long long *, unsigned long long *)
__builtin_GOMP_sections_next
unsigned __builtin_GOMP_sections_next()