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

Go to the source code of this file.

Classes

struct  char1
struct  uchar1
struct  char3
struct  uchar3
struct  short1
struct  ushort1
struct  short3
struct  ushort3
struct  int1
struct  uint1
struct  int3
struct  __uint3
struct  long1
struct  ulong1
struct  long3
struct  ulong3
struct  float1
struct  float3
struct  longlong1
struct  ulonglong1
struct  longlong3
struct  ulonglong3
struct  double1
struct  double3
struct  __dim3

Macros

#define __cuda_builtin_vector_align8(tag, members)

Typedefs

typedef __device_builtin__ struct char1 char1
typedef __device_builtin__ struct uchar1 uchar1
typedef __device_builtin__ struct char2 char2
typedef __device_builtin__ struct uchar2 uchar2
typedef __device_builtin__ struct char3 char3
typedef __device_builtin__ struct uchar3 uchar3
typedef __device_builtin__ struct char4 char4
typedef __device_builtin__ struct uchar4 uchar4
typedef __device_builtin__ struct short1 short1
typedef __device_builtin__ struct ushort1 ushort1
typedef __device_builtin__ struct short2 short2
typedef __device_builtin__ struct ushort2 ushort2
typedef __device_builtin__ struct short3 short3
typedef __device_builtin__ struct ushort3 ushort3
typedef __device_builtin__ struct short4 short4
typedef __device_builtin__ struct ushort4 ushort4
typedef __device_builtin__ struct int1 int1
typedef __device_builtin__ struct uint1 uint1
typedef __device_builtin__ struct int2 int2
typedef __device_builtin__ struct uint2 uint2
typedef __device_builtin__ struct int3 int3
typedef __device_builtin__ struct __uint3 uint3
typedef __device_builtin__ struct int4 int4
typedef __device_builtin__ struct _uint4 uint4
typedef __device_builtin__ struct long1 long1
typedef __device_builtin__ struct ulong1 ulong1
typedef __device_builtin__ struct long2 long2
typedef __device_builtin__ struct ulong2 ulong2
typedef __device_builtin__ struct long3 long3
typedef __device_builtin__ struct ulong3 ulong3
typedef __device_builtin__ struct long4 long4
typedef __device_builtin__ struct ulong4 ulong4
typedef __device_builtin__ struct float1 float1
typedef __device_builtin__ struct float2 float2
typedef __device_builtin__ struct float3 float3
typedef __device_builtin__ struct float4 float4
typedef __device_builtin__ struct longlong1 longlong1
typedef __device_builtin__ struct ulonglong1 ulonglong1
typedef __device_builtin__ struct longlong2 longlong2
typedef __device_builtin__ struct ulonglong2 ulonglong2
typedef __device_builtin__ struct longlong3 longlong3
typedef __device_builtin__ struct ulonglong3 ulonglong3
typedef __device_builtin__ struct longlong4 longlong4
typedef __device_builtin__ struct ulonglong4 ulonglong4
typedef __device_builtin__ struct double1 double1
typedef __device_builtin__ struct double2 double2
typedef __device_builtin__ struct double3 double3
typedef __device_builtin__ struct double4 double4
typedef __device_builtin__ struct __dim3 dim3

Functions

struct __device_builtin__ __align__ (2) char2
struct __device_builtin__ __align__ (4) char4
 __cuda_builtin_vector_align8 (short4, short x;short y;short z;short w;)
 __cuda_builtin_vector_align8 (ushort4, unsigned short x;unsigned short y;unsigned short z;unsigned short w;)
 __cuda_builtin_vector_align8 (int2, int x;int y;)
 __cuda_builtin_vector_align8 (uint2, unsigned int x;unsigned int y;)
struct __device_builtin__ __builtin_align__ (16) int4
struct __device_builtin__ __align__ (2 *sizeof(long int)) long2
struct __device_builtin__ __align__ (2 *sizeof(unsigned long int)) ulong2
 __cuda_builtin_vector_align8 (float2, float x;float y;)

Macro Definition Documentation

◆ __cuda_builtin_vector_align8

#define __cuda_builtin_vector_align8 ( tag,
members )
Value:
struct __device_builtin__ __align__(8) tag \
{ \
members \
}
#define __device_builtin__
Definition host_defines.h:120
struct __device_builtin__ __align__(2) char2
Definition vector_types.h:60

Typedef Documentation

◆ char1

typedef __device_builtin__ struct char1 char1

◆ char2

typedef __device_builtin__ struct char2 char2

◆ char3

typedef __device_builtin__ struct char3 char3

◆ char4

typedef __device_builtin__ struct char4 char4

◆ dim3

typedef __device_builtin__ struct __dim3 dim3

◆ double1

typedef __device_builtin__ struct double1 double1

◆ double2

◆ double3

typedef __device_builtin__ struct double3 double3

◆ double4

◆ float1

typedef __device_builtin__ struct float1 float1

◆ float2

◆ float3

typedef __device_builtin__ struct float3 float3

◆ float4

◆ int1

typedef __device_builtin__ struct int1 int1

◆ int2

typedef __device_builtin__ struct int2 int2

◆ int3

typedef __device_builtin__ struct int3 int3

◆ int4

typedef __device_builtin__ struct int4 int4

◆ long1

typedef __device_builtin__ struct long1 long1

◆ long2

typedef __device_builtin__ struct long2 long2

◆ long3

typedef __device_builtin__ struct long3 long3

◆ long4

typedef __device_builtin__ struct long4 long4

◆ longlong1

typedef __device_builtin__ struct longlong1 longlong1

◆ longlong2

◆ longlong3

typedef __device_builtin__ struct longlong3 longlong3

◆ longlong4

◆ short1

typedef __device_builtin__ struct short1 short1

◆ short2

◆ short3

typedef __device_builtin__ struct short3 short3

◆ short4

◆ uchar1

typedef __device_builtin__ struct uchar1 uchar1

◆ uchar2

◆ uchar3

typedef __device_builtin__ struct uchar3 uchar3

◆ uchar4

◆ uint1

typedef __device_builtin__ struct uint1 uint1

◆ uint2

typedef __device_builtin__ struct uint2 uint2

◆ uint3

◆ uint4

typedef __device_builtin__ struct _uint4 uint4

◆ ulong1

typedef __device_builtin__ struct ulong1 ulong1

◆ ulong2

◆ ulong3

typedef __device_builtin__ struct ulong3 ulong3

◆ ulong4

◆ ulonglong1

typedef __device_builtin__ struct ulonglong1 ulonglong1

◆ ulonglong2

◆ ulonglong3

typedef __device_builtin__ struct ulonglong3 ulonglong3

◆ ulonglong4

◆ ushort1

typedef __device_builtin__ struct ushort1 ushort1

◆ ushort2

◆ ushort3

typedef __device_builtin__ struct ushort3 ushort3

◆ ushort4

Function Documentation

◆ __align__() [1/4]

struct __device_builtin__ __align__ ( 2 * sizeoflong int)

◆ __align__() [2/4]

struct __device_builtin__ __align__ ( 2 * sizeofunsigned long int)

◆ __align__() [3/4]

struct __device_builtin__ __align__ ( 2 )

◆ __align__() [4/4]

struct __device_builtin__ __align__ ( 4 )

◆ __builtin_align__()

struct __device_builtin__ __builtin_align__ ( 16 )

◆ __cuda_builtin_vector_align8() [1/5]

__cuda_builtin_vector_align8 ( float2 ,
float x;float y;  )

◆ __cuda_builtin_vector_align8() [2/5]

__cuda_builtin_vector_align8 ( int2 ,
int x;int y;  )

◆ __cuda_builtin_vector_align8() [3/5]

__cuda_builtin_vector_align8 ( short4 ,
short x;short y;short z;short w;  )

◆ __cuda_builtin_vector_align8() [4/5]

__cuda_builtin_vector_align8 ( uint2 ,
unsigned int x;unsigned int y;  )

◆ __cuda_builtin_vector_align8() [5/5]

__cuda_builtin_vector_align8 ( ushort4 ,
unsigned short x;unsigned short y;unsigned short z;unsigned short w;  )