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_v8hi __attribute__((__vector_size__(16)))

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.

Macros

Typedefs

Functions