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

Go to the source code of this file.

Macros

#define __NEED_uint16_t
#define __NEED_uint32_t
#define __NEED_uint64_t
#define __PDP_ENDIAN   3412
#define BIG_ENDIAN   __BIG_ENDIAN
#define LITTLE_ENDIAN   __LITTLE_ENDIAN
#define PDP_ENDIAN   __PDP_ENDIAN
#define BYTE_ORDER   __BYTE_ORDER
#define htobe16(x)
#define be16toh(x)
#define htobe32(x)
#define be32toh(x)
#define htobe64(x)
#define be64toh(x)
#define htole16(x)
#define le16toh(x)
#define htole32(x)
#define le32toh(x)
#define htole64(x)
#define le64toh(x)

Functions

static __inline uint16_t __bswap16 (uint16_t __x)
static __inline uint32_t __bswap32 (uint32_t __x)
static __inline uint64_t __bswap64 (uint64_t __x)

Macro Definition Documentation

◆ __NEED_uint16_t

#define __NEED_uint16_t

◆ __NEED_uint32_t

#define __NEED_uint32_t

◆ __NEED_uint64_t

#define __NEED_uint64_t

◆ __PDP_ENDIAN

#define __PDP_ENDIAN   3412

◆ be16toh

#define be16toh ( x)
Value:
static __inline uint16_t __bswap16(uint16_t __x)
Definition endian.h:19

◆ be32toh

#define be32toh ( x)
Value:
static __inline uint32_t __bswap32(uint32_t __x)
Definition endian.h:24

◆ be64toh

#define be64toh ( x)
Value:
static __inline uint64_t __bswap64(uint64_t __x)
Definition endian.h:29

◆ BIG_ENDIAN

#define BIG_ENDIAN   __BIG_ENDIAN

◆ BYTE_ORDER

#define BYTE_ORDER   __BYTE_ORDER

◆ htobe16

#define htobe16 ( x)
Value:

◆ htobe32

#define htobe32 ( x)
Value:

◆ htobe64

#define htobe64 ( x)
Value:

◆ htole16

#define htole16 ( x)
Value:
(uint16_t)(x)

◆ htole32

#define htole32 ( x)
Value:
(uint32_t)(x)

◆ htole64

#define htole64 ( x)
Value:
(uint64_t)(x)

◆ le16toh

#define le16toh ( x)
Value:
(uint16_t)(x)

◆ le32toh

#define le32toh ( x)
Value:
(uint32_t)(x)

◆ le64toh

#define le64toh ( x)
Value:
(uint64_t)(x)

◆ LITTLE_ENDIAN

#define LITTLE_ENDIAN   __LITTLE_ENDIAN

◆ PDP_ENDIAN

#define PDP_ENDIAN   __PDP_ENDIAN

Function Documentation

◆ __bswap16()

__inline uint16_t __bswap16 ( uint16_t __x)
static

◆ __bswap32()

__inline uint32_t __bswap32 ( uint32_t __x)
static

◆ __bswap64()

__inline uint64_t __bswap64 ( uint64_t __x)
static