gcc.c File Reference

Go to the source code of this file.

Macros
#define	__ATOMIC_RELAXED   0
#define	__ATOMIC_CONSUME   1
#define	__ATOMIC_ACQUIRE   2
#define	__ATOMIC_RELEASE   3
#define	__ATOMIC_ACQ_REL   4
#define	__ATOMIC_SEQ_CST   5

Typedefs
typedef short __gcc_v4hi	__attribute__((__vector_size__(8)))

Functions
void	__sync_synchronize (void)
void	__atomic_thread_fence (int memorder)
_Bool	__atomic_test_and_set (void *ptr, int memorder)
void	__atomic_clear (_Bool *ptr, int memorder)
void	__atomic_signal_fence (int memorder)
_Bool	__atomic_always_lock_free (__CPROVER_size_t size, void *ptr)
_Bool	__atomic_is_lock_free (__CPROVER_size_t size, void *ptr)
short	__builtin_ia32_vec_ext_v4hi (__gcc_v4hi vec, int offset)
short	__builtin_ia32_vec_ext_v8hi (__gcc_v8hi vec, int offset)
int	__builtin_ia32_vec_ext_v4si (__gcc_v4si vec, int offset)
long long	__builtin_ia32_vec_ext_v2di (__gcc_v2di vec, int offset)
int	__builtin_ia32_vec_ext_v16qi (__gcc_v16qi vec, int offset)
float	__builtin_ia32_vec_ext_v4sf (__gcc_v4sf vec, int offset)
__gcc_v8hi	__builtin_ia32_psubsw128 (__gcc_v8hi a, __gcc_v8hi b)
__gcc_v8hi	__builtin_ia32_psubusw128 (__gcc_v8hi a, __gcc_v8hi b)
__gcc_v4hi	__builtin_ia32_paddsw (__gcc_v4hi a, __gcc_v4hi b)
__gcc_v4hi	__builtin_ia32_psubsw (__gcc_v4hi a, __gcc_v4hi b)
__gcc_v4hi	__builtin_ia32_vec_init_v4hi (short e0, short e1, short e2, short e3)

Macro Definition Documentation

__ATOMIC_ACQ_REL

#define __ATOMIC_ACQ_REL   4

Definition at line 102 of file gcc.c.

__ATOMIC_ACQUIRE

#define __ATOMIC_ACQUIRE   2

Definition at line 94 of file gcc.c.

__ATOMIC_CONSUME

#define __ATOMIC_CONSUME   1

Definition at line 90 of file gcc.c.

__ATOMIC_RELAXED

#define __ATOMIC_RELAXED   0

Definition at line 86 of file gcc.c.

__ATOMIC_RELEASE

#define __ATOMIC_RELEASE   3

Definition at line 98 of file gcc.c.

__ATOMIC_SEQ_CST

#define __ATOMIC_SEQ_CST   5

Definition at line 106 of file gcc.c.

Typedef Documentation

__attribute__

typedef short __gcc_v4hi __attribute__((__vector_size__(8)))

Definition at line 158 of file gcc.c.

Function Documentation

__atomic_always_lock_free()

_Bool __atomic_always_lock_free	(	__CPROVER_size_t	size,
		void *	ptr
	)

Definition at line 140 of file gcc.c.

__atomic_clear()

void __atomic_clear	(	_Bool *	ptr,
		int	memorder
	)

Definition at line 67 of file gcc.c.

__atomic_is_lock_free()

_Bool __atomic_is_lock_free	(	__CPROVER_size_t	size,
		void *	ptr
	)

Definition at line 149 of file gcc.c.

__atomic_signal_fence()

void __atomic_signal_fence

(

int

memorder

)

Definition at line 132 of file gcc.c.

__atomic_test_and_set()

_Bool __atomic_test_and_set	(	void *	ptr,
		int	memorder
	)

Definition at line 52 of file gcc.c.

__atomic_thread_fence()

void __atomic_thread_fence

(

int

memorder

)

Definition at line 109 of file gcc.c.

__builtin_ia32_paddsw()

__gcc_v4hi __builtin_ia32_paddsw	(	__gcc_v4hi	a,
		__gcc_v4hi	b
	)

Definition at line 247 of file gcc.c.

__builtin_ia32_psubsw()

__gcc_v4hi __builtin_ia32_psubsw	(	__gcc_v4hi	a,
		__gcc_v4hi	b
	)

Definition at line 262 of file gcc.c.

__builtin_ia32_psubsw128()

__gcc_v8hi __builtin_ia32_psubsw128	(	__gcc_v8hi	a,
		__gcc_v8hi	b
	)

Definition at line 218 of file gcc.c.

__builtin_ia32_psubusw128()

__gcc_v8hi __builtin_ia32_psubusw128	(	__gcc_v8hi	a,
		__gcc_v8hi	b
	)

Definition at line 233 of file gcc.c.

__builtin_ia32_vec_ext_v16qi()

int __builtin_ia32_vec_ext_v16qi	(	__gcc_v16qi	vec,
		int	offset
	)

Definition at line 196 of file gcc.c.

__builtin_ia32_vec_ext_v2di()

long long __builtin_ia32_vec_ext_v2di	(	__gcc_v2di	vec,
		int	offset
	)

Definition at line 187 of file gcc.c.

__builtin_ia32_vec_ext_v4hi()

short __builtin_ia32_vec_ext_v4hi	(	__gcc_v4hi	vec,
		int	offset
	)

Definition at line 160 of file gcc.c.

__builtin_ia32_vec_ext_v4sf()

float __builtin_ia32_vec_ext_v4sf	(	__gcc_v4sf	vec,
		int	offset
	)

Definition at line 205 of file gcc.c.

__builtin_ia32_vec_ext_v4si()

int __builtin_ia32_vec_ext_v4si	(	__gcc_v4si	vec,
		int	offset
	)

Definition at line 178 of file gcc.c.

__builtin_ia32_vec_ext_v8hi()

short __builtin_ia32_vec_ext_v8hi	(	__gcc_v8hi	vec,
		int	offset
	)

Definition at line 169 of file gcc.c.

__builtin_ia32_vec_init_v4hi()

__gcc_v4hi __builtin_ia32_vec_init_v4hi	(	short	e0,
		short	e1,
		short	e2,
		short	e3
	)

Definition at line 277 of file gcc.c.

__sync_synchronize()

void __sync_synchronize

(

void

)

Definition at line 36 of file gcc.c.