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

(

)