device_launch_parameters.h File Reference

#include <stddef.h>
#include <stdlib.h>
#include "vector_types.h"
#include <pthread.h>

Include dependency graph for device_launch_parameters.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros
#define	__STORAGE__   extern const
#define	threadIdx   indexOfThread[__ESBMC_get_thread_id() - 1]
#define	blockIdx   indexOfBlock[__ESBMC_get_thread_id() - 1]

Functions
pthread_t	__ESBMC_get_thread_id (void)
uint3	getThreadIdx (unsigned int id)
uint3	getBlockIdx (unsigned int id)
uint3	getThreadIdx_table (unsigned int id)
	Apply a lookup table to drastically reduce validation time while retaining the same behavior.
uint3	getBlockIdx_table (unsigned int id)
void	assignIndexes ()

Variables
dim3	blockDim
dim3	gridDim
__device_builtin__ __STORAGE__ int	warpSize = 32
uint3	indexOfThread [1024]
uint3	indexOfBlock [1024]

Macro Definition Documentation

__STORAGE__

#define __STORAGE__   extern const

blockIdx

#define blockIdx   indexOfBlock[__ESBMC_get_thread_id() - 1]

threadIdx

#define threadIdx   indexOfThread[__ESBMC_get_thread_id() - 1]

Function Documentation

__ESBMC_get_thread_id()

pthread_t __ESBMC_get_thread_id

(

void

)

assignIndexes()

void assignIndexes

(

)

getBlockIdx()

uint3 getBlockIdx

(

unsigned int

id

)

getBlockIdx_table()

uint3 getBlockIdx_table

(

unsigned int

id

)

getThreadIdx()

uint3 getThreadIdx

(

unsigned int

id

)

getThreadIdx_table()

uint3 getThreadIdx_table

(

unsigned int

id

)

Apply a lookup table to drastically reduce validation time while retaining the same behavior.

Variable Documentation

blockDim

dim3 blockDim

gridDim

dim3 gridDim

indexOfBlock

uint3 indexOfBlock[1024]

indexOfThread

uint3 indexOfThread[1024]

warpSize

__device_builtin__ __STORAGE__ int warpSize = 32