ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
sm_atomic_functions.h File Reference
#include "vector_types.h"
Include dependency graph for sm_atomic_functions.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

__device__ int __iAtomicAdd (int *address, int val)
__device__ unsigned int __uAtomicAdd (unsigned int *address, unsigned int val)
__device__ int __iAtomicExch (int *address, int val)
__device__ unsigned int __uAtomicExch (unsigned int *address, unsigned int val)
__device__ float __fAtomicExch (float *address, float val)
__device__ int __iAtomicMin (int *address, int val)
__device__ unsigned int __uAtomicMin (unsigned int *address, unsigned int val)
__device__ int __iAtomicMax (int *address, int val)
__device__ unsigned int __uAtomicMax (unsigned int *address, unsigned int val)
__device__ unsigned int __uAtomicInc (unsigned int *address, unsigned int val)
__device__ unsigned int __uAtomicDec (unsigned int *address, unsigned int val)
__device__ int __iAtomicAnd (int *address, int val)
__device__ unsigned int __uAtomicAnd (unsigned int *address, unsigned int val)
__device__ int __iAtomicOr (int *address, int val)
__device__ unsigned int __uAtomicOr (unsigned int *address, unsigned int val)
__device__ int __iAtomicXor (int *address, int val)
__device__ unsigned int __uAtomicXor (unsigned int *address, unsigned int val)
__device__ int __iAtomicCAS (int *address, int compare, int val)
__device__ unsigned int __uAtomicCAS (unsigned int *address, unsigned int compare, unsigned int val)
static __inline__ __device__ int atomicAdd (int *address, int val)
static __inline__ __device__ unsigned int atomicAdd (unsigned int *address, unsigned int val)
static __inline__ __device__ int atomicSub (int *address, int val)
static __inline__ __device__ unsigned int atomicSub (unsigned int *address, unsigned int val)
static __inline__ __device__ int atomicExch (int *address, int val)
static __inline__ __device__ unsigned int atomicExch (unsigned int *address, unsigned int val)
static __inline__ __device__ float atomicExch (float *address, float val)
static __inline__ __device__ int atomicMin (int *address, int val)
static __inline__ __device__ unsigned int atomicMin (unsigned int *address, unsigned int val)
static __inline__ __device__ int atomicMax (int *address, int val)
static __inline__ __device__ unsigned int atomicMax (unsigned int *address, unsigned int val)
static __inline__ __device__ unsigned int atomicInc (unsigned int *address, unsigned int val)
static __inline__ __device__ unsigned int atomicDec (unsigned int *address, unsigned int val)
static __inline__ __device__ int atomicAnd (int *address, int val)
static __inline__ __device__ unsigned int atomicAnd (unsigned int *address, unsigned int val)
static __inline__ __device__ int atomicOr (int *address, int val)
static __inline__ __device__ unsigned int atomicOr (unsigned int *address, unsigned int val)
static __inline__ __device__ int atomicXor (int *address, int val)
static __inline__ __device__ unsigned int atomicXor (unsigned int *address, unsigned int val)
static __inline__ __device__ int atomicCAS (int *address, int compare, int val)
static __inline__ __device__ unsigned int atomicCAS (unsigned int *address, unsigned int compare, unsigned int val)
__device__ unsigned long long int __ullAtomicAdd (unsigned long long int *address, unsigned long long int val)
__device__ unsigned long long int __ullAtomicExch (unsigned long long int *address, unsigned long long int val)
__device__ unsigned long long int __ullAtomicCAS (unsigned long long int *address, unsigned long long int compare, unsigned long long int val)
__device__ int __any (int cond)
__device__ int __all (int cond)
static __inline__ __device__ unsigned long long int atomicAdd (unsigned long long int *address, unsigned long long int val)
static __inline__ __device__ unsigned long long int atomicExch (unsigned long long int *address, unsigned long long int val)
static __inline__ __device__ unsigned long long int atomicCAS (unsigned long long int *address, unsigned long long int compare, unsigned long long int val)
static __inline__ __device__ bool any (bool cond)
static __inline__ __device__ bool all (bool cond)
__device__ float __fAtomicAdd (float *address, float val)
static __inline__ __device__ float atomicAdd (float *address, float val)
__device__ __device_builtin__ long long __illAtomicMin (long long *address, long long val)
__device__ __device_builtin__ long long __illAtomicMax (long long *address, long long val)
__device__ __device_builtin__ unsigned long long __ullAtomicMin (unsigned long long *address, unsigned long long val)
__device__ __device_builtin__ unsigned long long __ullAtomicMax (unsigned long long *address, unsigned long long val)
__device__ __device_builtin__ unsigned long long int __ullAtomicAnd (unsigned long long int *address, unsigned long long int val)
__device__ __device_builtin__ unsigned long long __ullAtomicOr (unsigned long long *address, unsigned long long val)
__device__ __device_builtin__ unsigned long long __ullAtomicXor (unsigned long long *address, unsigned long long val)
static __inline__ __device__ long long atomicMin (long long *address, long long val)
static __inline__ __device__ long long atomicMax (long long *address, long long val)
static __inline__ __device__ unsigned long long atomicMin (unsigned long long *address, unsigned long long val)
static __inline__ __device__ unsigned long long atomicMax (unsigned long long *address, unsigned long long val)
static __inline__ __device__ unsigned long long int atomicAnd (unsigned long long int *address, unsigned long long int val)
static __inline__ __device__ unsigned long long atomicOr (unsigned long long *address, unsigned long long val)
static __inline__ __device__ unsigned long long atomicXor (unsigned long long *address, unsigned long long val)

Function Documentation

◆ __all()

__device__ int __all ( int cond)
extern

◆ __any()

__device__ int __any ( int cond)
extern

◆ __fAtomicAdd()

__device__ float __fAtomicAdd ( float * address,
float val )
extern

◆ __fAtomicExch()

__device__ float __fAtomicExch ( float * address,
float val )
extern

◆ __iAtomicAdd()

__device__ int __iAtomicAdd ( int * address,
int val )
extern

◆ __iAtomicAnd()

__device__ int __iAtomicAnd ( int * address,
int val )
extern

◆ __iAtomicCAS()

__device__ int __iAtomicCAS ( int * address,
int compare,
int val )
extern

◆ __iAtomicExch()

__device__ int __iAtomicExch ( int * address,
int val )
extern

◆ __iAtomicMax()

__device__ int __iAtomicMax ( int * address,
int val )
extern

◆ __iAtomicMin()

__device__ int __iAtomicMin ( int * address,
int val )
extern

◆ __iAtomicOr()

__device__ int __iAtomicOr ( int * address,
int val )
extern

◆ __iAtomicXor()

__device__ int __iAtomicXor ( int * address,
int val )
extern

◆ __illAtomicMax()

__device__ __device_builtin__ long long __illAtomicMax ( long long * address,
long long val )
extern

◆ __illAtomicMin()

__device__ __device_builtin__ long long __illAtomicMin ( long long * address,
long long val )
extern

◆ __uAtomicAdd()

__device__ unsigned int __uAtomicAdd ( unsigned int * address,
unsigned int val )
extern

◆ __uAtomicAnd()

__device__ unsigned int __uAtomicAnd ( unsigned int * address,
unsigned int val )
extern

◆ __uAtomicCAS()

__device__ unsigned int __uAtomicCAS ( unsigned int * address,
unsigned int compare,
unsigned int val )
extern

◆ __uAtomicDec()

__device__ unsigned int __uAtomicDec ( unsigned int * address,
unsigned int val )
extern

◆ __uAtomicExch()

__device__ unsigned int __uAtomicExch ( unsigned int * address,
unsigned int val )
extern

◆ __uAtomicInc()

__device__ unsigned int __uAtomicInc ( unsigned int * address,
unsigned int val )
extern

◆ __uAtomicMax()

__device__ unsigned int __uAtomicMax ( unsigned int * address,
unsigned int val )
extern

◆ __uAtomicMin()

__device__ unsigned int __uAtomicMin ( unsigned int * address,
unsigned int val )
extern

◆ __uAtomicOr()

__device__ unsigned int __uAtomicOr ( unsigned int * address,
unsigned int val )
extern

◆ __uAtomicXor()

__device__ unsigned int __uAtomicXor ( unsigned int * address,
unsigned int val )
extern

◆ __ullAtomicAdd()

__device__ unsigned long long int __ullAtomicAdd ( unsigned long long int * address,
unsigned long long int val )
extern

◆ __ullAtomicAnd()

__device__ __device_builtin__ unsigned long long int __ullAtomicAnd ( unsigned long long int * address,
unsigned long long int val )
extern

◆ __ullAtomicCAS()

__device__ unsigned long long int __ullAtomicCAS ( unsigned long long int * address,
unsigned long long int compare,
unsigned long long int val )
extern

◆ __ullAtomicExch()

__device__ unsigned long long int __ullAtomicExch ( unsigned long long int * address,
unsigned long long int val )
extern

◆ __ullAtomicMax()

__device__ __device_builtin__ unsigned long long __ullAtomicMax ( unsigned long long * address,
unsigned long long val )
extern

◆ __ullAtomicMin()

__device__ __device_builtin__ unsigned long long __ullAtomicMin ( unsigned long long * address,
unsigned long long val )
extern

◆ __ullAtomicOr()

__device__ __device_builtin__ unsigned long long __ullAtomicOr ( unsigned long long * address,
unsigned long long val )
extern

◆ __ullAtomicXor()

__device__ __device_builtin__ unsigned long long __ullAtomicXor ( unsigned long long * address,
unsigned long long val )
extern

◆ all()

__inline__ __device__ bool all ( bool cond)
static

◆ any()

__inline__ __device__ bool any ( bool cond)
static

◆ atomicAdd() [1/4]

__inline__ __device__ float atomicAdd ( float * address,
float val )
static

◆ atomicAdd() [2/4]

__inline__ __device__ int atomicAdd ( int * address,
int val )
static

◆ atomicAdd() [3/4]

__inline__ __device__ unsigned int atomicAdd ( unsigned int * address,
unsigned int val )
static

◆ atomicAdd() [4/4]

__inline__ __device__ unsigned long long int atomicAdd ( unsigned long long int * address,
unsigned long long int val )
static

◆ atomicAnd() [1/3]

__inline__ __device__ int atomicAnd ( int * address,
int val )
static

◆ atomicAnd() [2/3]

__inline__ __device__ unsigned int atomicAnd ( unsigned int * address,
unsigned int val )
static

◆ atomicAnd() [3/3]

__inline__ __device__ unsigned long long int atomicAnd ( unsigned long long int * address,
unsigned long long int val )
static

◆ atomicCAS() [1/3]

__inline__ __device__ int atomicCAS ( int * address,
int compare,
int val )
static

◆ atomicCAS() [2/3]

__inline__ __device__ unsigned int atomicCAS ( unsigned int * address,
unsigned int compare,
unsigned int val )
static

◆ atomicCAS() [3/3]

__inline__ __device__ unsigned long long int atomicCAS ( unsigned long long int * address,
unsigned long long int compare,
unsigned long long int val )
static

◆ atomicDec()

__inline__ __device__ unsigned int atomicDec ( unsigned int * address,
unsigned int val )
static

◆ atomicExch() [1/4]

__inline__ __device__ float atomicExch ( float * address,
float val )
static

◆ atomicExch() [2/4]

__inline__ __device__ int atomicExch ( int * address,
int val )
static

◆ atomicExch() [3/4]

__inline__ __device__ unsigned int atomicExch ( unsigned int * address,
unsigned int val )
static

◆ atomicExch() [4/4]

__inline__ __device__ unsigned long long int atomicExch ( unsigned long long int * address,
unsigned long long int val )
static

◆ atomicInc()

__inline__ __device__ unsigned int atomicInc ( unsigned int * address,
unsigned int val )
static

◆ atomicMax() [1/4]

__inline__ __device__ int atomicMax ( int * address,
int val )
static

◆ atomicMax() [2/4]

__inline__ __device__ long long atomicMax ( long long * address,
long long val )
static

◆ atomicMax() [3/4]

__inline__ __device__ unsigned int atomicMax ( unsigned int * address,
unsigned int val )
static

◆ atomicMax() [4/4]

__inline__ __device__ unsigned long long atomicMax ( unsigned long long * address,
unsigned long long val )
static

◆ atomicMin() [1/4]

__inline__ __device__ int atomicMin ( int * address,
int val )
static

◆ atomicMin() [2/4]

__inline__ __device__ long long atomicMin ( long long * address,
long long val )
static

◆ atomicMin() [3/4]

__inline__ __device__ unsigned int atomicMin ( unsigned int * address,
unsigned int val )
static

◆ atomicMin() [4/4]

__inline__ __device__ unsigned long long atomicMin ( unsigned long long * address,
unsigned long long val )
static

◆ atomicOr() [1/3]

__inline__ __device__ int atomicOr ( int * address,
int val )
static

◆ atomicOr() [2/3]

__inline__ __device__ unsigned int atomicOr ( unsigned int * address,
unsigned int val )
static

◆ atomicOr() [3/3]

__inline__ __device__ unsigned long long atomicOr ( unsigned long long * address,
unsigned long long val )
static

◆ atomicSub() [1/2]

__inline__ __device__ int atomicSub ( int * address,
int val )
static

◆ atomicSub() [2/2]

__inline__ __device__ unsigned int atomicSub ( unsigned int * address,
unsigned int val )
static

◆ atomicXor() [1/3]

__inline__ __device__ int atomicXor ( int * address,
int val )
static

◆ atomicXor() [2/3]

__inline__ __device__ unsigned int atomicXor ( unsigned int * address,
unsigned int val )
static

◆ atomicXor() [3/3]

__inline__ __device__ unsigned long long atomicXor ( unsigned long long * address,
unsigned long long val )
static