CBMC
Loading...
Searching...
No Matches
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.