ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
pstdint.h File Reference
#include <stddef.h>
#include <limits.h>
#include <signal.h>
Include dependency graph for pstdint.h:

Go to the source code of this file.

Macros

#define _PSTDINT_H_INCLUDED
 
#define SIZE_MAX   ((size_t)-1)
 
#define UINT8_MAX   0xff
 
#define INT8_MAX   0x7f
 
#define INT8_MIN   INT8_C(0x80)
 
#define UINT16_MAX   0xffff
 
#define INT16_MAX   0x7fff
 
#define INT16_MIN   INT16_C(0x8000)
 
#define UINT32_MAX   (0xffffffffUL)
 
#define INT32_MAX   (0x7fffffffL)
 
#define INT32_MIN   INT32_C(0x80000000)
 
#define ULONG_LONG_MAX   UINT64_C (18446744073709551615)
 
#define PRINTF_INT64_HEX_WIDTH   "16"
 
#define PRINTF_INT32_HEX_WIDTH   "8"
 
#define PRINTF_INT16_HEX_WIDTH   "4"
 
#define PRINTF_INT8_HEX_WIDTH   "2"
 
#define PRINTF_INT64_DEC_WIDTH   "19"
 
#define PRINTF_INT32_DEC_WIDTH   "10"
 
#define PRINTF_INT16_DEC_WIDTH   "5"
 
#define PRINTF_INT8_DEC_WIDTH   "3"
 
#define PRINTF_UINT64_DEC_WIDTH   "20"
 
#define PRINTF_UINT32_DEC_WIDTH   "10"
 
#define PRINTF_UINT16_DEC_WIDTH   "5"
 
#define PRINTF_UINT8_DEC_WIDTH   "3"
 
#define INTMAX_MAX   INT32_MAX
 
#define UINTMAX_MAX   UINT32_MAX
 
#define UINTMAX_C(v)
 
#define INTMAX_C(v)
 
#define PRINTF_INTMAX_MODIFIER   PRINTF_INT32_MODIFIER
 
#define PRINTF_INTMAX_HEX_WIDTH   PRINTF_INT32_HEX_WIDTH
 
#define PRINTF_INTMAX_DEC_WIDTH   PRINTF_INT32_DEC_WIDTH
 
#define PRINTF_LEAST32_MODIFIER   PRINTF_INT32_MODIFIER
 
#define PRINTF_LEAST16_MODIFIER   PRINTF_INT16_MODIFIER
 
#define UINT_LEAST8_MAX   UINT8_MAX
 
#define INT_LEAST8_MAX   INT8_MAX
 
#define UINT_LEAST16_MAX   UINT16_MAX
 
#define INT_LEAST16_MAX   INT16_MAX
 
#define UINT_LEAST32_MAX   UINT32_MAX
 
#define INT_LEAST32_MAX   INT32_MAX
 
#define INT_LEAST8_MIN   INT8_MIN
 
#define INT_LEAST16_MIN   INT16_MIN
 
#define INT_LEAST32_MIN   INT32_MIN
 
#define UINT_FAST8_MAX   UINT_LEAST8_MAX
 
#define INT_FAST8_MAX   INT_LEAST8_MAX
 
#define UINT_FAST16_MAX   UINT_LEAST16_MAX
 
#define INT_FAST16_MAX   INT_LEAST16_MAX
 
#define UINT_FAST32_MAX   UINT_LEAST32_MAX
 
#define INT_FAST32_MAX   INT_LEAST32_MAX
 
#define INT_FAST8_MIN   INT_LEAST8_MIN
 
#define INT_FAST16_MIN   INT_LEAST16_MIN
 
#define INT_FAST32_MIN   INT_LEAST32_MIN
 
#define STDINT_H_UINTPTR_T_DEFINED
 
#define SIG_ATOMIC_MAX   ((((sig_atomic_t) 1) << (sizeof (sig_atomic_t)*CHAR_BIT-1)) - 1)
 

Macro Definition Documentation

◆ _PSTDINT_H_INCLUDED

#define _PSTDINT_H_INCLUDED

Definition at line 355 of file pstdint.h.

◆ INT16_MAX

#define INT16_MAX   0x7fff

Definition at line 416 of file pstdint.h.

◆ INT16_MIN

#define INT16_MIN   INT16_C(0x8000)

Definition at line 419 of file pstdint.h.

◆ INT32_MAX

#define INT32_MAX   (0x7fffffffL)

Definition at line 467 of file pstdint.h.

◆ INT32_MIN

#define INT32_MIN   INT32_C(0x80000000)

Definition at line 470 of file pstdint.h.

◆ INT8_MAX

#define INT8_MAX   0x7f

Definition at line 380 of file pstdint.h.

◆ INT8_MIN

#define INT8_MIN   INT8_C(0x80)

Definition at line 383 of file pstdint.h.

◆ INT_FAST16_MAX

#define INT_FAST16_MAX   INT_LEAST16_MAX

Definition at line 701 of file pstdint.h.

◆ INT_FAST16_MIN

#define INT_FAST16_MIN   INT_LEAST16_MIN

Definition at line 705 of file pstdint.h.

◆ INT_FAST32_MAX

#define INT_FAST32_MAX   INT_LEAST32_MAX

Definition at line 703 of file pstdint.h.

◆ INT_FAST32_MIN

#define INT_FAST32_MIN   INT_LEAST32_MIN

Definition at line 706 of file pstdint.h.

◆ INT_FAST8_MAX

#define INT_FAST8_MAX   INT_LEAST8_MAX

Definition at line 699 of file pstdint.h.

◆ INT_FAST8_MIN

#define INT_FAST8_MIN   INT_LEAST8_MIN

Definition at line 704 of file pstdint.h.

◆ INT_LEAST16_MAX

#define INT_LEAST16_MAX   INT16_MAX

Definition at line 666 of file pstdint.h.

◆ INT_LEAST16_MIN

#define INT_LEAST16_MIN   INT16_MIN

Definition at line 670 of file pstdint.h.

◆ INT_LEAST32_MAX

#define INT_LEAST32_MAX   INT32_MAX

Definition at line 668 of file pstdint.h.

◆ INT_LEAST32_MIN

#define INT_LEAST32_MIN   INT32_MIN

Definition at line 671 of file pstdint.h.

◆ INT_LEAST8_MAX

#define INT_LEAST8_MAX   INT8_MAX

Definition at line 664 of file pstdint.h.

◆ INT_LEAST8_MIN

#define INT_LEAST8_MIN   INT8_MIN

Definition at line 669 of file pstdint.h.

◆ INTMAX_C

#define INTMAX_C ( v)
Value:
INT32_C(v)

Definition at line 635 of file pstdint.h.

◆ INTMAX_MAX

#define INTMAX_MAX   INT32_MAX

Definition at line 632 of file pstdint.h.

◆ PRINTF_INT16_DEC_WIDTH

#define PRINTF_INT16_DEC_WIDTH   "5"

Definition at line 588 of file pstdint.h.

◆ PRINTF_INT16_HEX_WIDTH

#define PRINTF_INT16_HEX_WIDTH   "4"

Definition at line 576 of file pstdint.h.

◆ PRINTF_INT32_DEC_WIDTH

#define PRINTF_INT32_DEC_WIDTH   "10"

Definition at line 585 of file pstdint.h.

◆ PRINTF_INT32_HEX_WIDTH

#define PRINTF_INT32_HEX_WIDTH   "8"

Definition at line 573 of file pstdint.h.

◆ PRINTF_INT64_DEC_WIDTH

#define PRINTF_INT64_DEC_WIDTH   "19"

Definition at line 582 of file pstdint.h.

◆ PRINTF_INT64_HEX_WIDTH

#define PRINTF_INT64_HEX_WIDTH   "16"

Definition at line 570 of file pstdint.h.

◆ PRINTF_INT8_DEC_WIDTH

#define PRINTF_INT8_DEC_WIDTH   "3"

Definition at line 591 of file pstdint.h.

◆ PRINTF_INT8_HEX_WIDTH

#define PRINTF_INT8_HEX_WIDTH   "2"

Definition at line 579 of file pstdint.h.

◆ PRINTF_INTMAX_DEC_WIDTH

#define PRINTF_INTMAX_DEC_WIDTH   PRINTF_INT32_DEC_WIDTH

Definition at line 643 of file pstdint.h.

◆ PRINTF_INTMAX_HEX_WIDTH

#define PRINTF_INTMAX_HEX_WIDTH   PRINTF_INT32_HEX_WIDTH

Definition at line 640 of file pstdint.h.

◆ PRINTF_INTMAX_MODIFIER

#define PRINTF_INTMAX_MODIFIER   PRINTF_INT32_MODIFIER

Definition at line 637 of file pstdint.h.

◆ PRINTF_LEAST16_MODIFIER

#define PRINTF_LEAST16_MODIFIER   PRINTF_INT16_MODIFIER

Definition at line 662 of file pstdint.h.

◆ PRINTF_LEAST32_MODIFIER

#define PRINTF_LEAST32_MODIFIER   PRINTF_INT32_MODIFIER

Definition at line 661 of file pstdint.h.

◆ PRINTF_UINT16_DEC_WIDTH

#define PRINTF_UINT16_DEC_WIDTH   "5"

Definition at line 600 of file pstdint.h.

◆ PRINTF_UINT32_DEC_WIDTH

#define PRINTF_UINT32_DEC_WIDTH   "10"

Definition at line 597 of file pstdint.h.

◆ PRINTF_UINT64_DEC_WIDTH

#define PRINTF_UINT64_DEC_WIDTH   "20"

Definition at line 594 of file pstdint.h.

◆ PRINTF_UINT8_DEC_WIDTH

#define PRINTF_UINT8_DEC_WIDTH   "3"

Definition at line 603 of file pstdint.h.

◆ SIG_ATOMIC_MAX

#define SIG_ATOMIC_MAX   ((((sig_atomic_t) 1) << (sizeof (sig_atomic_t)*CHAR_BIT-1)) - 1)

Definition at line 800 of file pstdint.h.

◆ SIZE_MAX

#define SIZE_MAX   ((size_t)-1)

Definition at line 358 of file pstdint.h.

◆ STDINT_H_UINTPTR_T_DEFINED

#define STDINT_H_UINTPTR_T_DEFINED

Definition at line 792 of file pstdint.h.

◆ UINT16_MAX

#define UINT16_MAX   0xffff

Definition at line 395 of file pstdint.h.

◆ UINT32_MAX

#define UINT32_MAX   (0xffffffffUL)

Definition at line 440 of file pstdint.h.

◆ UINT8_MAX

#define UINT8_MAX   0xff

Definition at line 368 of file pstdint.h.

◆ UINT_FAST16_MAX

#define UINT_FAST16_MAX   UINT_LEAST16_MAX

Definition at line 700 of file pstdint.h.

◆ UINT_FAST32_MAX

#define UINT_FAST32_MAX   UINT_LEAST32_MAX

Definition at line 702 of file pstdint.h.

◆ UINT_FAST8_MAX

#define UINT_FAST8_MAX   UINT_LEAST8_MAX

Definition at line 698 of file pstdint.h.

◆ UINT_LEAST16_MAX

#define UINT_LEAST16_MAX   UINT16_MAX

Definition at line 665 of file pstdint.h.

◆ UINT_LEAST32_MAX

#define UINT_LEAST32_MAX   UINT32_MAX

Definition at line 667 of file pstdint.h.

◆ UINT_LEAST8_MAX

#define UINT_LEAST8_MAX   UINT8_MAX

Definition at line 663 of file pstdint.h.

◆ UINTMAX_C

#define UINTMAX_C ( v)
Value:
UINT32_C(v)

Definition at line 634 of file pstdint.h.

◆ UINTMAX_MAX

#define UINTMAX_MAX   UINT32_MAX

Definition at line 633 of file pstdint.h.

◆ ULONG_LONG_MAX

#define ULONG_LONG_MAX   UINT64_C (18446744073709551615)

Definition at line 552 of file pstdint.h.