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

Go to the source code of this file.

Classes

struct  cudaDeviceProp

Typedefs

typedef struct CUstream_st * cudaStream_t
typedef __device_builtin__ struct CUevent_st * cudaEvent_t

Variables

enum __device_builtin__ cudaMemcpyKind
 cudaMemcpyHostToHost = 0
 Host -> Host.
 cudaMemcpyHostToDevice = 1
 Host -> Device.
 cudaMemcpyDeviceToHost = 2
 Device -> Host.
 cudaMemcpyDeviceToDevice = 3
 Device -> Device.
enum __device_builtin__ cudaDeviceAttr
 cudaDevAttrMaxThreadsPerBlock
 Maximum number of threads per block.
 cudaDevAttrMaxBlockDimX = 2
 Maximum block dimension X.
 cudaDevAttrMaxBlockDimY = 3
 Maximum block dimension Y.
 cudaDevAttrMaxBlockDimZ = 4
 Maximum block dimension Z.
 cudaDevAttrMaxGridDimX = 5
 Maximum grid dimension X.
 cudaDevAttrMaxGridDimY = 6
 Maximum grid dimension Y.
 cudaDevAttrMaxGridDimZ = 7
 Maximum grid dimension Z.
 cudaDevAttrMaxSharedMemoryPerBlock
 Maximum shared memory available per block in bytes.
 cudaDevAttrTotalConstantMemory
 Memory available on device for constant variables in a CUDA C kernel in bytes.
 cudaDevAttrWarpSize = 10
 Warp size in threads.
 cudaDevAttrMaxPitch
 Maximum pitch in bytes allowed by memory copies.
 cudaDevAttrMaxRegistersPerBlock
 Maximum number of 32-bit registers available per block.
 cudaDevAttrClockRate = 13
 Peak clock frequency in kilohertz.
 cudaDevAttrTextureAlignment = 14
 Alignment requirement for textures.
 cudaDevAttrGpuOverlap = 15
 Device can possibly copy memory and execute a kernel concurrently.
 cudaDevAttrMultiProcessorCount
 Number of multiprocessors on device.
 cudaDevAttrKernelExecTimeout
 Specifies whether there is a run time limit on kernels.
 cudaDevAttrIntegrated = 18
 Device is integrated with host memory.
 cudaDevAttrCanMapHostMemory
 Device can map host memory into CUDA address space.
 cudaDevAttrComputeMode
 Compute mode (See ::cudaComputeMode for details).
 cudaDevAttrMaxTexture1DWidth = 21
 Maximum 1D texture width.
 cudaDevAttrMaxTexture2DWidth = 22
 Maximum 2D texture width.
 cudaDevAttrMaxTexture2DHeight = 23
 Maximum 2D texture height.
 cudaDevAttrMaxTexture3DWidth = 24
 Maximum 3D texture width.
 cudaDevAttrMaxTexture3DHeight = 25
 Maximum 3D texture height.
 cudaDevAttrMaxTexture3DDepth = 26
 Maximum 3D texture depth.
 cudaDevAttrMaxTexture2DLayeredWidth
 Maximum 2D layered texture width.
 cudaDevAttrMaxTexture2DLayeredHeight
 Maximum 2D layered texture height.
 cudaDevAttrMaxTexture2DLayeredLayers
 Maximum layers in a 2D layered texture.
 cudaDevAttrSurfaceAlignment = 30
 Alignment requirement for surfaces.
 cudaDevAttrConcurrentKernels
 Device can possibly execute multiple kernels concurrently.
 cudaDevAttrEccEnabled = 32
 Device has ECC support enabled.
 cudaDevAttrPciBusId = 33
 PCI bus ID of the device.
 cudaDevAttrPciDeviceId = 34
 PCI device ID of the device.
 cudaDevAttrTccDriver = 35
 Device is using TCC driver model.
 cudaDevAttrMemoryClockRate
 Peak memory clock frequency in kilohertz.
 cudaDevAttrGlobalMemoryBusWidth
 Global memory bus width in bits.
 cudaDevAttrL2CacheSize = 38
 Size of L2 cache in bytes.
 cudaDevAttrMaxThreadsPerMultiProcessor
 Maximum resident threads per multiprocessor.
 cudaDevAttrAsyncEngineCount = 40
 Number of asynchronous engines.
 cudaDevAttrUnifiedAddressing
 Device shares a unified address space with the host.
 cudaDevAttrMaxTexture1DLayeredWidth
 Maximum 1D layered texture width.
 cudaDevAttrMaxTexture1DLayeredLayers
 Maximum layers in a 1D layered texture.
 cudaDevAttrMaxTexture2DGatherWidth
 Maximum 2D texture width if cudaArrayTextureGather is set.
 cudaDevAttrMaxTexture2DGatherHeight
 Maximum 2D texture height if cudaArrayTextureGather is set.
 cudaDevAttrMaxTexture3DWidthAlt
 Alternate maximum 3D texture width.
 cudaDevAttrMaxTexture3DHeightAlt
 Alternate maximum 3D texture height.
 cudaDevAttrMaxTexture3DDepthAlt
 Alternate maximum 3D texture depth.
 cudaDevAttrPciDomainId = 50
 PCI domain ID of the device.
 cudaDevAttrTexturePitchAlignment
 Pitch alignment requirement for textures.
 cudaDevAttrMaxTextureCubemapWidth
 Maximum cubemap texture width/height.
 cudaDevAttrMaxTextureCubemapLayeredWidth
 Maximum cubemap layered texture width/height.
 cudaDevAttrMaxTextureCubemapLayeredLayers
 Maximum layers in a cubemap layered texture.
 cudaDevAttrMaxSurface1DWidth = 55
 Maximum 1D surface width.
 cudaDevAttrMaxSurface2DWidth = 56
 Maximum 2D surface width.
 cudaDevAttrMaxSurface2DHeight = 57
 Maximum 2D surface height.
 cudaDevAttrMaxSurface3DWidth = 58
 Maximum 3D surface width.
 cudaDevAttrMaxSurface3DHeight = 59
 Maximum 3D surface height.
 cudaDevAttrMaxSurface3DDepth = 60
 Maximum 3D surface depth.
 cudaDevAttrMaxSurface1DLayeredWidth
 Maximum 1D layered surface width.
 cudaDevAttrMaxSurface1DLayeredLayers
 Maximum layers in a 1D layered surface.
 cudaDevAttrMaxSurface2DLayeredWidth
 Maximum 2D layered surface width.
 cudaDevAttrMaxSurface2DLayeredHeight
 Maximum 2D layered surface height.
 cudaDevAttrMaxSurface2DLayeredLayers
 Maximum layers in a 2D layered surface.
 cudaDevAttrMaxSurfaceCubemapWidth
 Maximum cubemap surface width.
 cudaDevAttrMaxSurfaceCubemapLayeredWidth
 Maximum cubemap layered surface width.
 cudaDevAttrMaxSurfaceCubemapLayeredLayers
 Maximum layers in a cubemap layered surface.
 cudaDevAttrMaxTexture1DLinearWidth
 Maximum 1D linear texture width.
 cudaDevAttrMaxTexture2DLinearWidth
 Maximum 2D linear texture width.
 cudaDevAttrMaxTexture2DLinearHeight
 Maximum 2D linear texture height.
 cudaDevAttrMaxTexture2DLinearPitch
 Maximum 2D linear texture pitch in bytes.
 cudaDevAttrMaxTexture2DMipmappedWidth
 Maximum mipmapped 2D texture width.
 cudaDevAttrMaxTexture2DMipmappedHeight
 Maximum mipmapped 2D texture height.
 cudaDevAttrComputeCapabilityMajor
 Major compute capability version number.
 cudaDevAttrComputeCapabilityMinor
 Minor compute capability version number.
 cudaDevAttrMaxTexture1DMipmappedWidth
 Maximum mipmapped 1D texture width.
 cudaDevAttrStreamPrioritiesSupported
 Device supports stream priorities.
 cudaDevAttrGlobalL1CacheSupported
 Device supports caching globals in L1.
 cudaDevAttrLocalL1CacheSupported
 Device supports caching locals in L1.
 cudaDevAttrMaxSharedMemoryPerMultiprocessor
 Maximum shared memory available per multiprocessor in bytes.
 cudaDevAttrMaxRegistersPerMultiprocessor
 Maximum number of 32-bit registers available per multiprocessor.
 cudaDevAttrManagedMemory
 Device can allocate managed memory on this system.
 cudaDevAttrIsMultiGpuBoard = 84
 Device is on a multi-GPU board.

Typedef Documentation

◆ cudaEvent_t

typedef __device_builtin__ struct CUevent_st* cudaEvent_t

◆ cudaStream_t

typedef struct CUstream_st* cudaStream_t

Variable Documentation

◆ cudaDevAttrAsyncEngineCount

cudaDevAttrAsyncEngineCount = 40

Number of asynchronous engines.

◆ cudaDevAttrCanMapHostMemory

cudaDevAttrCanMapHostMemory
Initial value:
=
19

Device can map host memory into CUDA address space.

◆ cudaDevAttrClockRate

cudaDevAttrClockRate = 13

Peak clock frequency in kilohertz.

◆ cudaDevAttrComputeCapabilityMajor

cudaDevAttrComputeCapabilityMajor
Initial value:
=
75

Major compute capability version number.

◆ cudaDevAttrComputeCapabilityMinor

cudaDevAttrComputeCapabilityMinor
Initial value:
=
76

Minor compute capability version number.

◆ cudaDevAttrComputeMode

cudaDevAttrComputeMode
Initial value:
=
20

Compute mode (See ::cudaComputeMode for details).

◆ cudaDevAttrConcurrentKernels

cudaDevAttrConcurrentKernels
Initial value:
=
31

Device can possibly execute multiple kernels concurrently.

◆ cudaDevAttrEccEnabled

cudaDevAttrEccEnabled = 32

Device has ECC support enabled.

◆ cudaDevAttrGlobalL1CacheSupported

cudaDevAttrGlobalL1CacheSupported
Initial value:
=
79

Device supports caching globals in L1.

◆ cudaDevAttrGlobalMemoryBusWidth

cudaDevAttrGlobalMemoryBusWidth
Initial value:
=
37

Global memory bus width in bits.

◆ cudaDevAttrGpuOverlap

cudaDevAttrGpuOverlap = 15

Device can possibly copy memory and execute a kernel concurrently.

◆ cudaDevAttrIntegrated

cudaDevAttrIntegrated = 18

Device is integrated with host memory.

◆ cudaDevAttrIsMultiGpuBoard

cudaDevAttrIsMultiGpuBoard = 84

Device is on a multi-GPU board.

◆ cudaDevAttrKernelExecTimeout

cudaDevAttrKernelExecTimeout
Initial value:
=
17

Specifies whether there is a run time limit on kernels.

◆ cudaDevAttrL2CacheSize

cudaDevAttrL2CacheSize = 38

Size of L2 cache in bytes.

◆ cudaDevAttrLocalL1CacheSupported

cudaDevAttrLocalL1CacheSupported
Initial value:
=
80

Device supports caching locals in L1.

◆ cudaDevAttrManagedMemory

cudaDevAttrManagedMemory
Initial value:
=
83

Device can allocate managed memory on this system.

◆ cudaDevAttrMaxBlockDimX

cudaDevAttrMaxBlockDimX = 2

Maximum block dimension X.

◆ cudaDevAttrMaxBlockDimY

cudaDevAttrMaxBlockDimY = 3

Maximum block dimension Y.

◆ cudaDevAttrMaxBlockDimZ

cudaDevAttrMaxBlockDimZ = 4

Maximum block dimension Z.

◆ cudaDevAttrMaxGridDimX

cudaDevAttrMaxGridDimX = 5

Maximum grid dimension X.

◆ cudaDevAttrMaxGridDimY

cudaDevAttrMaxGridDimY = 6

Maximum grid dimension Y.

◆ cudaDevAttrMaxGridDimZ

cudaDevAttrMaxGridDimZ = 7

Maximum grid dimension Z.

◆ cudaDevAttrMaxPitch

cudaDevAttrMaxPitch
Initial value:
=
11

Maximum pitch in bytes allowed by memory copies.

◆ cudaDevAttrMaxRegistersPerBlock

cudaDevAttrMaxRegistersPerBlock
Initial value:
=
12

Maximum number of 32-bit registers available per block.

◆ cudaDevAttrMaxRegistersPerMultiprocessor

cudaDevAttrMaxRegistersPerMultiprocessor
Initial value:
=
82

Maximum number of 32-bit registers available per multiprocessor.

◆ cudaDevAttrMaxSharedMemoryPerBlock

cudaDevAttrMaxSharedMemoryPerBlock
Initial value:
=
8

Maximum shared memory available per block in bytes.

◆ cudaDevAttrMaxSharedMemoryPerMultiprocessor

cudaDevAttrMaxSharedMemoryPerMultiprocessor
Initial value:
=
81

Maximum shared memory available per multiprocessor in bytes.

◆ cudaDevAttrMaxSurface1DLayeredLayers

cudaDevAttrMaxSurface1DLayeredLayers
Initial value:
=
62

Maximum layers in a 1D layered surface.

◆ cudaDevAttrMaxSurface1DLayeredWidth

cudaDevAttrMaxSurface1DLayeredWidth
Initial value:
=
61

Maximum 1D layered surface width.

◆ cudaDevAttrMaxSurface1DWidth

cudaDevAttrMaxSurface1DWidth = 55

Maximum 1D surface width.

◆ cudaDevAttrMaxSurface2DHeight

cudaDevAttrMaxSurface2DHeight = 57

Maximum 2D surface height.

◆ cudaDevAttrMaxSurface2DLayeredHeight

cudaDevAttrMaxSurface2DLayeredHeight
Initial value:
=
64

Maximum 2D layered surface height.

◆ cudaDevAttrMaxSurface2DLayeredLayers

cudaDevAttrMaxSurface2DLayeredLayers
Initial value:
=
65

Maximum layers in a 2D layered surface.

◆ cudaDevAttrMaxSurface2DLayeredWidth

cudaDevAttrMaxSurface2DLayeredWidth
Initial value:
=
63

Maximum 2D layered surface width.

◆ cudaDevAttrMaxSurface2DWidth

cudaDevAttrMaxSurface2DWidth = 56

Maximum 2D surface width.

◆ cudaDevAttrMaxSurface3DDepth

cudaDevAttrMaxSurface3DDepth = 60

Maximum 3D surface depth.

◆ cudaDevAttrMaxSurface3DHeight

cudaDevAttrMaxSurface3DHeight = 59

Maximum 3D surface height.

◆ cudaDevAttrMaxSurface3DWidth

cudaDevAttrMaxSurface3DWidth = 58

Maximum 3D surface width.

◆ cudaDevAttrMaxSurfaceCubemapLayeredLayers

cudaDevAttrMaxSurfaceCubemapLayeredLayers
Initial value:
=
68

Maximum layers in a cubemap layered surface.

◆ cudaDevAttrMaxSurfaceCubemapLayeredWidth

cudaDevAttrMaxSurfaceCubemapLayeredWidth
Initial value:
=
67

Maximum cubemap layered surface width.

◆ cudaDevAttrMaxSurfaceCubemapWidth

cudaDevAttrMaxSurfaceCubemapWidth
Initial value:
=
66

Maximum cubemap surface width.

◆ cudaDevAttrMaxTexture1DLayeredLayers

cudaDevAttrMaxTexture1DLayeredLayers
Initial value:
=
43

Maximum layers in a 1D layered texture.

◆ cudaDevAttrMaxTexture1DLayeredWidth

cudaDevAttrMaxTexture1DLayeredWidth
Initial value:
=
42

Maximum 1D layered texture width.

◆ cudaDevAttrMaxTexture1DLinearWidth

cudaDevAttrMaxTexture1DLinearWidth
Initial value:
=
69

Maximum 1D linear texture width.

◆ cudaDevAttrMaxTexture1DMipmappedWidth

cudaDevAttrMaxTexture1DMipmappedWidth
Initial value:
=
77

Maximum mipmapped 1D texture width.

◆ cudaDevAttrMaxTexture1DWidth

cudaDevAttrMaxTexture1DWidth = 21

Maximum 1D texture width.

◆ cudaDevAttrMaxTexture2DGatherHeight

cudaDevAttrMaxTexture2DGatherHeight
Initial value:
=
46

Maximum 2D texture height if cudaArrayTextureGather is set.

◆ cudaDevAttrMaxTexture2DGatherWidth

cudaDevAttrMaxTexture2DGatherWidth
Initial value:
=
45

Maximum 2D texture width if cudaArrayTextureGather is set.

◆ cudaDevAttrMaxTexture2DHeight

cudaDevAttrMaxTexture2DHeight = 23

Maximum 2D texture height.

◆ cudaDevAttrMaxTexture2DLayeredHeight

cudaDevAttrMaxTexture2DLayeredHeight
Initial value:
=
28

Maximum 2D layered texture height.

◆ cudaDevAttrMaxTexture2DLayeredLayers

cudaDevAttrMaxTexture2DLayeredLayers
Initial value:
=
29

Maximum layers in a 2D layered texture.

◆ cudaDevAttrMaxTexture2DLayeredWidth

cudaDevAttrMaxTexture2DLayeredWidth
Initial value:
=
27

Maximum 2D layered texture width.

◆ cudaDevAttrMaxTexture2DLinearHeight

cudaDevAttrMaxTexture2DLinearHeight
Initial value:
=
71

Maximum 2D linear texture height.

◆ cudaDevAttrMaxTexture2DLinearPitch

cudaDevAttrMaxTexture2DLinearPitch
Initial value:
=
72

Maximum 2D linear texture pitch in bytes.

◆ cudaDevAttrMaxTexture2DLinearWidth

cudaDevAttrMaxTexture2DLinearWidth
Initial value:
=
70

Maximum 2D linear texture width.

◆ cudaDevAttrMaxTexture2DMipmappedHeight

cudaDevAttrMaxTexture2DMipmappedHeight
Initial value:
=
74

Maximum mipmapped 2D texture height.

◆ cudaDevAttrMaxTexture2DMipmappedWidth

cudaDevAttrMaxTexture2DMipmappedWidth
Initial value:
=
73

Maximum mipmapped 2D texture width.

◆ cudaDevAttrMaxTexture2DWidth

cudaDevAttrMaxTexture2DWidth = 22

Maximum 2D texture width.

◆ cudaDevAttrMaxTexture3DDepth

cudaDevAttrMaxTexture3DDepth = 26

Maximum 3D texture depth.

◆ cudaDevAttrMaxTexture3DDepthAlt

cudaDevAttrMaxTexture3DDepthAlt
Initial value:
=
49

Alternate maximum 3D texture depth.

◆ cudaDevAttrMaxTexture3DHeight

cudaDevAttrMaxTexture3DHeight = 25

Maximum 3D texture height.

◆ cudaDevAttrMaxTexture3DHeightAlt

cudaDevAttrMaxTexture3DHeightAlt
Initial value:
=
48

Alternate maximum 3D texture height.

◆ cudaDevAttrMaxTexture3DWidth

cudaDevAttrMaxTexture3DWidth = 24

Maximum 3D texture width.

◆ cudaDevAttrMaxTexture3DWidthAlt

cudaDevAttrMaxTexture3DWidthAlt
Initial value:
=
47

Alternate maximum 3D texture width.

◆ cudaDevAttrMaxTextureCubemapLayeredLayers

cudaDevAttrMaxTextureCubemapLayeredLayers
Initial value:
=
54

Maximum layers in a cubemap layered texture.

◆ cudaDevAttrMaxTextureCubemapLayeredWidth

cudaDevAttrMaxTextureCubemapLayeredWidth
Initial value:
=
53

Maximum cubemap layered texture width/height.

◆ cudaDevAttrMaxTextureCubemapWidth

cudaDevAttrMaxTextureCubemapWidth
Initial value:
=
52

Maximum cubemap texture width/height.

◆ cudaDevAttrMaxThreadsPerBlock

cudaDevAttrMaxThreadsPerBlock
Initial value:
=
1

Maximum number of threads per block.

◆ cudaDevAttrMaxThreadsPerMultiProcessor

cudaDevAttrMaxThreadsPerMultiProcessor
Initial value:
=
39

Maximum resident threads per multiprocessor.

◆ cudaDevAttrMemoryClockRate

cudaDevAttrMemoryClockRate
Initial value:
=
36

Peak memory clock frequency in kilohertz.

◆ cudaDevAttrMultiProcessorCount

cudaDevAttrMultiProcessorCount
Initial value:
=
16

Number of multiprocessors on device.

◆ cudaDevAttrPciBusId

cudaDevAttrPciBusId = 33

PCI bus ID of the device.

◆ cudaDevAttrPciDeviceId

cudaDevAttrPciDeviceId = 34

PCI device ID of the device.

◆ cudaDevAttrPciDomainId

cudaDevAttrPciDomainId = 50

PCI domain ID of the device.

◆ cudaDevAttrStreamPrioritiesSupported

cudaDevAttrStreamPrioritiesSupported
Initial value:
=
78

Device supports stream priorities.

◆ cudaDevAttrSurfaceAlignment

cudaDevAttrSurfaceAlignment = 30

Alignment requirement for surfaces.

◆ cudaDevAttrTccDriver

cudaDevAttrTccDriver = 35

Device is using TCC driver model.

◆ cudaDevAttrTextureAlignment

cudaDevAttrTextureAlignment = 14

Alignment requirement for textures.

◆ cudaDevAttrTexturePitchAlignment

cudaDevAttrTexturePitchAlignment
Initial value:
=
51

Pitch alignment requirement for textures.

◆ cudaDevAttrTotalConstantMemory

cudaDevAttrTotalConstantMemory
Initial value:
=
9

Memory available on device for constant variables in a CUDA C kernel in bytes.

◆ cudaDevAttrUnifiedAddressing

cudaDevAttrUnifiedAddressing
Initial value:
=
41

Device shares a unified address space with the host.

◆ cudaDevAttrWarpSize

cudaDevAttrWarpSize = 10

Warp size in threads.

◆ cudaDeviceAttr

enum __device_builtin__ cudaDeviceAttr

◆ cudaMemcpyDeviceToDevice

cudaMemcpyDeviceToDevice = 3

Device -> Device.

◆ cudaMemcpyDeviceToHost

cudaMemcpyDeviceToHost = 2

Device -> Host.

◆ cudaMemcpyHostToDevice

cudaMemcpyHostToDevice = 1

Host -> Device.

◆ cudaMemcpyHostToHost

cudaMemcpyHostToHost = 0

Host -> Host.

◆ cudaMemcpyKind

enum __device_builtin__ cudaMemcpyKind