utilities.h File Reference

#include <assert.h>
#include <stdbool.h>
#include <stdint.h>
#include <stdlib.h>
#include "global.h"

Include dependency graph for utilities.h:

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

Go to the source code of this file.

Macros
#define	WORD_ALIGNMENT_MASK   (sizeof (word) - 1)
#define	W2RD_ALIGNMENT_MASK   (sizeof (w2rd) - 1)
#define	WORD_FORMAT   PRIuPTR
#define	MAX_SIZE_T   (~(size_t) 0)
#define	ASSUMED_LD_CACHE_LINE_BYTES   7u
#define	SWAP(TYPE, A, B)
#define	MIN(A, B)
#define	MAX(A, B)
#define	ABS(A)

Functions
bool	kissat_has_suffix (const char *str, const char *suffix)

Variables
ABC_NAMESPACE_HEADER_START typedef uintptr_t	w2rd [2]

Macro Definition Documentation

ABS

#define ABS

(

A

)

Value:

(KISSAT_assert ((int) (A) != INT_MIN), (A) < 0 ? -(A) : (A))

Definition at line 162 of file utilities.h.

ASSUMED_LD_CACHE_LINE_BYTES

#define ASSUMED_LD_CACHE_LINE_BYTES   7u

Definition at line 47 of file utilities.h.

MAX

#define MAX	(		A,
			B )

Value:

((A) < (B) ? (B) : (A))

Definition at line 160 of file utilities.h.

MAX_SIZE_T

#define MAX_SIZE_T   (~(size_t) 0)

Definition at line 45 of file utilities.h.

MIN

#define MIN	(		A,
			B )

Value:

((A) > (B) ? (B) : (A))

Definition at line 158 of file utilities.h.

SWAP

#define SWAP	(		TYPE,
			A,
			B )

Value:

  do { \
    TYPE TMP_SWAP = (A); \
    (A) = (B); \
    (B) = (TMP_SWAP); \
  } while (0)

Definition at line 151 of file utilities.h.

#define SWAP(TYPE, A, B) \
  do { \
    TYPE TMP_SWAP = (A); \
    (A) = (B); \
    (B) = (TMP_SWAP); \
  } while (0)

W2RD_ALIGNMENT_MASK

#define W2RD_ALIGNMENT_MASK   (sizeof (w2rd) - 1)

Definition at line 41 of file utilities.h.

WORD_ALIGNMENT_MASK

#define WORD_ALIGNMENT_MASK   (sizeof (word) - 1)

Definition at line 40 of file utilities.h.

WORD_FORMAT

#define WORD_FORMAT   PRIuPTR

Definition at line 43 of file utilities.h.

Function Documentation

kissat_has_suffix()

bool kissat_has_suffix	(	const char *	str,
		const char *	suffix )

Definition at line 7 of file utilities.c.

                                                             {
  const char *p = str;
  while (*p)
    p++;
  const char *q = suffix;
  while (*q)
    q++;
  while (p > str && q > suffix)
    if (*--p != *--q)
      return false;
  return q == suffix;
}

Variable Documentation

w2rd

ABC_NAMESPACE_HEADER_START typedef uintptr_t w2rd[2]

Definition at line 38 of file utilities.h.