CBMC
intrin.c File Reference

Go to the source code of this file.

Functions

long _InterlockedDecrement (long volatile *p)
 
long _InterlockedExchange (long volatile *p, long v)
 
short _InterlockedExchange16 (short volatile *p, short v)
 
char _InterlockedExchange8 (char volatile *p, char v)
 
long _InterlockedExchangeAdd (long volatile *p, long v)
 
short _InterlockedExchangeAdd16 (short volatile *p, short v)
 
char _InterlockedExchangeAdd8 (char volatile *p, char v)
 
long _InterlockedCompareExchange (long volatile *p, long v1, long v2)
 
long long _InterlockedCompareExchange64 (long long volatile *p, long long v1, long long v2)
 
long _InterlockedIncrement (long volatile *p)
 
long _InterlockedOr (long volatile *p, long v)
 
char _InterlockedOr8 (char volatile *p, char v)
 
short _InterlockedOr16 (short volatile *p, short v)
 
long _InterlockedXor (long volatile *p, long v)
 
char _InterlockedXor8 (char volatile *p, char v)
 
short _InterlockedXor16 (short volatile *p, short v)
 
long _InterlockedAnd (long volatile *p, long v)
 
char _InterlockedAnd8 (char volatile *p, char v)
 
short _InterlockedAnd16 (short volatile *p, short v)
 
long _InterlockedAdd (long volatile *p, long v)
 
long _InterlockedAddLargeStatistic (long long volatile *p, long v)
 
void _mm_lfence (void)
 
void _mm_mfence (void)
 
void _WriteBarrier (void)
 
void _ReadWriteBarrier (void)
 
void _ReadBarrier (void)
 
short _InterlockedIncrement16 (short volatile *p)
 
short _InterlockedDecrement16 (short volatile *p)
 
short _InterlockedCompareExchange16 (short volatile *p, short v1, short v2)
 
char _InterlockedCompareExchange8 (char volatile *p, char v1, char v2)
 

Function Documentation

◆ _InterlockedAdd()

long _InterlockedAdd ( long volatile *  p,
long  v 
)

Definition at line 238 of file intrin.c.

◆ _InterlockedAddLargeStatistic()

long _InterlockedAddLargeStatistic ( long long volatile *  p,
long  v 
)

Definition at line 250 of file intrin.c.

◆ _InterlockedAnd()

long _InterlockedAnd ( long volatile *  p,
long  v 
)

Definition at line 202 of file intrin.c.

◆ _InterlockedAnd16()

short _InterlockedAnd16 ( short volatile *  p,
short  v 
)

Definition at line 226 of file intrin.c.

◆ _InterlockedAnd8()

char _InterlockedAnd8 ( char volatile *  p,
char  v 
)

Definition at line 214 of file intrin.c.

◆ _InterlockedCompareExchange()

long _InterlockedCompareExchange ( long volatile *  p,
long  v1,
long  v2 
)

Definition at line 91 of file intrin.c.

◆ _InterlockedCompareExchange16()

short _InterlockedCompareExchange16 ( short volatile *  p,
short  v1,
short  v2 
)

Definition at line 323 of file intrin.c.

◆ _InterlockedCompareExchange64()

long long _InterlockedCompareExchange64 ( long long volatile *  p,
long long  v1,
long long  v2 
)

Definition at line 105 of file intrin.c.

◆ _InterlockedCompareExchange8()

char _InterlockedCompareExchange8 ( char volatile *  p,
char  v1,
char  v2 
)

Definition at line 336 of file intrin.c.

◆ _InterlockedDecrement()

long _InterlockedDecrement ( long volatile *  p)

Definition at line 5 of file intrin.c.

◆ _InterlockedDecrement16()

short _InterlockedDecrement16 ( short volatile *  p)

Definition at line 311 of file intrin.c.

◆ _InterlockedExchange()

long _InterlockedExchange ( long volatile *  p,
long  v 
)

Definition at line 19 of file intrin.c.

◆ _InterlockedExchange16()

short _InterlockedExchange16 ( short volatile *  p,
short  v 
)

Definition at line 31 of file intrin.c.

◆ _InterlockedExchange8()

char _InterlockedExchange8 ( char volatile *  p,
char  v 
)

Definition at line 43 of file intrin.c.

◆ _InterlockedExchangeAdd()

long _InterlockedExchangeAdd ( long volatile *  p,
long  v 
)

Definition at line 55 of file intrin.c.

◆ _InterlockedExchangeAdd16()

short _InterlockedExchangeAdd16 ( short volatile *  p,
short  v 
)

Definition at line 67 of file intrin.c.

◆ _InterlockedExchangeAdd8()

char _InterlockedExchangeAdd8 ( char volatile *  p,
char  v 
)

Definition at line 79 of file intrin.c.

◆ _InterlockedIncrement()

long _InterlockedIncrement ( long volatile *  p)

Definition at line 118 of file intrin.c.

◆ _InterlockedIncrement16()

short _InterlockedIncrement16 ( short volatile *  p)

Definition at line 299 of file intrin.c.

◆ _InterlockedOr()

long _InterlockedOr ( long volatile *  p,
long  v 
)

Definition at line 130 of file intrin.c.

◆ _InterlockedOr16()

short _InterlockedOr16 ( short volatile *  p,
short  v 
)

Definition at line 154 of file intrin.c.

◆ _InterlockedOr8()

char _InterlockedOr8 ( char volatile *  p,
char  v 
)

Definition at line 142 of file intrin.c.

◆ _InterlockedXor()

long _InterlockedXor ( long volatile *  p,
long  v 
)

Definition at line 166 of file intrin.c.

◆ _InterlockedXor16()

short _InterlockedXor16 ( short volatile *  p,
short  v 
)

Definition at line 190 of file intrin.c.

◆ _InterlockedXor8()

char _InterlockedXor8 ( char volatile *  p,
char  v 
)

Definition at line 178 of file intrin.c.

◆ _mm_lfence()

void _mm_lfence ( void  )

Definition at line 262 of file intrin.c.

◆ _mm_mfence()

void _mm_mfence ( void  )

Definition at line 269 of file intrin.c.

◆ _ReadBarrier()

void _ReadBarrier ( void  )

Definition at line 292 of file intrin.c.

◆ _ReadWriteBarrier()

void _ReadWriteBarrier ( void  )

Definition at line 284 of file intrin.c.

◆ _WriteBarrier()

void _WriteBarrier ( void  )

Definition at line 277 of file intrin.c.