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