gcc_builtin_headers_omp.h

Go to the documentation of this file.

// clang-format off
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);
// clang-format on