format.c File Reference

#include "format.h"
#include <assert.h>
#include <inttypes.h>
#include <limits.h>
#include <math.h>
#include <stdio.h>
#include <string.h>

Include dependency graph for format.c:

Go to the source code of this file.

Functions
ABC_NAMESPACE_IMPL_START char *	kissat_next_format_string (kormat *format)
const char *	kissat_format_count (kormat *format, uint64_t w)
const char *	kissat_format_value (kormat *format, bool boolean, int value)
const char *	kissat_format_bytes (kormat *format, uint64_t bytes)
const char *	kissat_format_time (kormat *format, double seconds)
const char *	kissat_format_signs (kormat *format, unsigned size, word signs)
const char *	kissat_format_ordinal (kormat *format, uint64_t ordinal)

Function Documentation

kissat_format_bytes()

const char * kissat_format_bytes	(	kormat *	format,
		uint64_t	bytes )

Definition at line 59 of file format.c.

                                                                 {
  char *res = kissat_next_format_string (format);
  if (bytes < (1u << 10))
    sprintf (res, "%" PRIu64 " bytes", bytes);
  else if (bytes < (1u << 20))
    sprintf (res, "%" PRIu64 " bytes (%" PRIu64 " KB)", bytes,
             (bytes + (1 << 9)) >> 10);
  else if (bytes < (1u << 30))
    sprintf (res, "%" PRIu64 " bytes (%" PRIu64 " MB)", bytes,
             (bytes + (1u << 19)) >> 20);
  else
    sprintf (res, "%" PRIu64 " bytes (%" PRIu64 " GB)", bytes,
             (bytes + (1u << 29)) >> 30);
  return res;
}

Here is the call graph for this function:

kissat_format_count()

const char * kissat_format_count	(	kormat *	format,
		uint64_t	w )

Definition at line 35 of file format.c.

                                                             {
  char *res = kissat_next_format_string (format);
  format_count (res, w);
  return res;
}

Here is the call graph for this function:

kissat_format_ordinal()

const char * kissat_format_ordinal	(	kormat *	format,
		uint64_t	ordinal )

Definition at line 123 of file format.c.

                                                                     {
  char const *suffix;
  unsigned mod100 = ordinal % 100;
  if (10 <= mod100 && mod100 <= 19)
    suffix = "th";
  else {
    switch (mod100 % 10) {
    case 1:
      suffix = "st";
      break;
    case 2:
      suffix = "nd";
      break;
    case 3:
      suffix = "rd";
      break;
    default:
      suffix = "th";
      break;
    }
  }
  char *res = kissat_next_format_string (format);
  sprintf (res, "%" PRIu64 "%s", ordinal, suffix);
  return res;
}

Here is the call graph for this function:

kissat_format_signs()

const char * kissat_format_signs	(	kormat *	format,
		unsigned	size,
		word	signs )

Definition at line 111 of file format.c.

                                             {
  char *res = kissat_next_format_string (format);
  KISSAT_assert (size + 1 < FORMAT_STRING_SIZE);
  char *p = res;
  word bit = 1;
  for (unsigned i = 0; i < size; i++, bit <<= 1)
    *p++ = (bit & signs) ? '1' : '0';
  *p = 0;
  return res;
}

Here is the call graph for this function:

kissat_format_time()

const char * kissat_format_time	(	kormat *	format,
		double	seconds )

Definition at line 75 of file format.c.

                                                                {
  if (!seconds)
    return "0s";
  char *res = kissat_next_format_string (format);
  uint64_t rounded = round (seconds);
  uint64_t minutes = rounded / 60;
  rounded %= 60;
  uint64_t hours = minutes / 60;
  minutes %= 60;
  uint64_t days = hours / 24;
  hours %= 24;
  char *tmp = res;
  if (days) {
    sprintf (res, "%" PRIu64 "d", days);
    tmp += strlen (res);
  }
  if (hours) {
    if (tmp != res)
      *tmp++ = ' ';
    sprintf (tmp, "%" PRIu64 "h", hours);
    tmp += strlen (tmp);
  }
  if (minutes) {
    if (tmp != res)
      *tmp++ = ' ';
    sprintf (tmp, "%" PRIu64 "m", minutes);
    tmp += strlen (tmp);
  }
  if (rounded) {
    if (tmp != res)
      *tmp++ = ' ';
    sprintf (tmp, "%" PRIu64 "s", rounded);
  }
  return res;
}

Here is the call graph for this function:

kissat_format_value()

const char * kissat_format_value	(	kormat *	format,
		bool	boolean,
		int	value )

Definition at line 41 of file format.c.

                                                                          {
  if (boolean && value)
    return "true";
  if (boolean && !value)
    return "false";
  if (value == INT_MAX)
    return "INT_MAX";
  if (value == INT_MIN)
    return "INT_MIN";
  char *res = kissat_next_format_string (format);
  if (value < 0) {
    *res = '-';
    format_count (res + 1, ABS (value));
  } else
    format_count (res, value);
  return res;
}

Here is the call graph for this function:

kissat_next_format_string()

ABC_NAMESPACE_IMPL_START char * kissat_next_format_string

(

kormat *

format

)

Definition at line 12 of file format.c.

                                                 {
  KISSAT_assert (format->pos < NUM_FORMAT_STRINGS);
  char *res = format->str[format->pos++];
  if (format->pos == NUM_FORMAT_STRINGS)
    format->pos = 0;
  return res;
}

Here is the caller graph for this function: