(2d4cd59dc3)

Libc-like printing facilities. More...

#include <stdarg.h>
#include <stddef.h>
#include "sw/device/lib/dif/dif_spi_device.h"
#include "sw/device/lib/dif/dif_uart.h"

Go to the source code of this file.

Data Structures
struct	buffer_sink
	A buffer_sink_t represents a place to write bytes to, implemented as a C-style "closure". More...

struct	base_hexdump_fmt
	Configuration options for `base_hexdump` and friends. More...

Typedefs
typedef size_t(*	sink_func_ptr) (void data, const char buf, size_t len)
	Function pointer type for data sink. More...

typedef struct buffer_sink	buffer_sink_t
	A buffer_sink_t represents a place to write bytes to, implemented as a C-style "closure". More...

typedef struct base_hexdump_fmt	base_hexdump_fmt_t
	Configuration options for `base_hexdump` and friends.

Functions
sink_func_ptr	get_spi_device_sink (void)
	Returns a function pointer to the spi device sink function.

sink_func_ptr	get_uart_sink (void)
	Returns a function pointer to the uart sink function.

size_t	base_printf (const char *format,...)
	Prints out a message to stdout, formatted according to the format string `format`. More...

size_t	base_vprintf (const char *format, va_list args)
	Prints out a message to stdout, formatted according to the format string `format`. More...

size_t	base_snprintf (char buf, size_t len, const char format,...)

size_t	base_fprintf (buffer_sink_t out, const char *format,...)
	Prints a message to the sink `out`. More...

size_t	base_vfprintf (buffer_sink_t out, const char *format, va_list args)
	Prints a message to the sink `out`. More...

size_t	base_hexdump (const char *buf, size_t len)
	Dumps `hex` in an xxd-style hexdump to stdout, using default formatting options. More...

size_t	base_snhexdump (char out, size_t out_len, const char buf, size_t len)
	Dumps `hex` in an xxd-style hexdump to the buffer `buf`, capped at the given length, using default formatting options. More...

size_t	base_fhexdump (buffer_sink_t out, const char *buf, size_t len)
	Dumps `hex` in an xxd-style hexdump to `out`, using default formatting options. More...

size_t	base_hexdump_with (base_hexdump_fmt_t fmt, const char *buf, size_t len)
	Dumps `hex` in an xxd-style hexdump to stdout. More...

size_t	base_snhexdump_with (char out, size_t out_len, base_hexdump_fmt_t fmt, const char buf, size_t len)
	Dumps `hex` in an xxd-style hexdump to the buffer `buf`, capped at the given length. More...

size_t	base_fhexdump_with (buffer_sink_t out, base_hexdump_fmt_t fmt, const char *buf, size_t len)
	Dumps `hex` in an xxd-style hexdump to `out`. More...

void	base_set_stdout (buffer_sink_t out)
	Sets what the "stdout" sink is, which is used by `base_printf()`. More...

void	base_spi_device_stdout (const dif_spi_device_handle_t *spi_device)
	Configures SPI device stdout for `base_print.h` to use. More...

void	base_uart_stdout (const dif_uart_t *uart)
	Configures UART stdout for `base_print.h` to use. More...

Variables
const char	kBaseHexdumpDefaultFmtAlphabet [256]
	The default alphabet used by `base_hexdump()` functions.

Detailed Description

Libc-like printing facilities.

This header provides libc-like printing facilities, which is agnostic of the underlying hardware printing mechanism.

We avoid using libc names here, since we do not support the full suite of format specifier syntax, and use a different character sink type instead of the traditional FILE *.

All functions in this file should be machine word size agnostic, that is, the same code should work correctly on both 32-bit and 64-bit machines, though formatting, where the exact format style is unspecified, is allowed to vary slightly on machine word size.

Definition in file print.h.

Data Structure Documentation

◆ buffer_sink

struct buffer_sink

A buffer_sink_t represents a place to write bytes to, implemented as a C-style "closure".

It consists of a generic data pointer, which can hold instance-specific information, and a sink function, which takes the data pointer, a buffer, and that buffer's length.

Definition at line 46 of file print.h.

Data Fields
void *	data
sink_func_ptr	sink

◆ base_hexdump_fmt

struct base_hexdump_fmt

Configuration options for base_hexdump and friends.

Definition at line 194 of file print.h.

Data Fields
const char(*	alphabet)[256]	The alphabet to use for char-ifying a byte. These characters will be written as-is to the sink.
size_t	bytes_per_word	How many bytes to print per word of output.
size_t	words_per_line	How many words (as defined above) per line of output.

Typedef Documentation

◆ buffer_sink_t

typedef struct buffer_sink buffer_sink_t

A buffer_sink_t represents a place to write bytes to, implemented as a C-style "closure".

It consists of a generic data pointer, which can hold instance-specific information, and a sink function, which takes the data pointer, a buffer, and that buffer's length.

◆ sink_func_ptr

typedef size_t(* sink_func_ptr) (void *data, const char *buf, size_t len)

Function pointer type for data sink.

The function should return the number of bytes actually written.

Definition at line 35 of file print.h.

Function Documentation

◆ base_fhexdump()

size_t base_fhexdump	(	buffer_sink_t	out,
		const char *	buf,
		size_t	len
	)

Dumps hex in an xxd-style hexdump to out, using default formatting options.

If out.sink is NULL, writes are treated as-if they were written to a UNIX-like /dev/null: writes succeed, but the actual bytes are not printed anywhere.

Parameters

out	a sink to print to.
buf	the buffer to dump.
len	the number of bytes to dump from hex.

Definition at line 788 of file print.c.

◆ base_fhexdump_with()

size_t base_fhexdump_with	(	buffer_sink_t	out,
		base_hexdump_fmt_t	fmt,
		const char *	buf,
		size_t	len
	)

Dumps hex in an xxd-style hexdump to out.

If out.sink is NULL, writes are treated as-if they were written to a UNIX-like /dev/null: writes succeed, but the actual bytes are not printed anywhere.

Parameters

out	a sink to print to.
fmt	the format for dumping.
buf	the buffer to dump.
len	the number of bytes to dump from hex.

Definition at line 809 of file print.c.

◆ base_fprintf()

size_t base_fprintf	(	buffer_sink_t	out,
		const char *	format,
			...
	)

Prints a message to the sink out.

If out.sink is NULL, writes are treated as-if they were written to a UNIX-like /dev/null: writes succeed, but the actual bytes are not printed anywhere.

See base_printf() for the semantics of the format specification.

Parameters

out	a sink to print to.
format	the format spec.
...	values to interpolate in the format spec.

Definition at line 320 of file print.c.

◆ base_hexdump()

size_t base_hexdump	(	const char *	buf,
		size_t	len
	)

Dumps hex in an xxd-style hexdump to stdout, using default formatting options.

Parameters

buf	the buffer to dump.
len	the number of bytes to dump from hex.

Definition at line 780 of file print.c.

◆ base_hexdump_with()

size_t base_hexdump_with	(	base_hexdump_fmt_t	fmt,
		const char *	buf,
		size_t	len
	)

Dumps hex in an xxd-style hexdump to stdout.

Parameters

fmt	the format for dumping.
buf	the buffer to dump.
len	the number of bytes to dump from hex.

Definition at line 792 of file print.c.

◆ base_printf()

size_t base_printf	(	const char *	format,
			...
	)

Prints out a message to stdout, formatted according to the format string format.

The definition of "stdout" is not provided by this library; rather, it must be initialized using base_set_stdout().

This function supports a subset of the format specifiers provided by standard C printf. Those are, namely:

%%, which prints a percent sign.
c, which prints the lowest byte of a uint32_t as a character.
s, which prints a NUL-terminated string.
d and i, which print a signed decimal uint32_t.
u, which prints an unsigned decimal uint32_t.
o, which prints an unsigned octal uint32_t.
x and X, which print an unsigned hex uint32_t.
p, which prints a pointer in a consistent but unspecified way.

Additionally, three SystemVerilog format specifiers are supported:

h and H, which are aliases for x and X, respectively.
b, which prints an unsigned binary uint32_t.

Finally, additional nonstandard format specifiers is supported:

C prints a 'FourCC' style uint32_t (ASCII bytes in little-endian order).
%!s, which takes a size_t followed by a pointer to a buffer, and prints out that many characters from the buffer.
%!x, %!X, %!y, and %!Y, which are like %!s but print out a hex dump instead; casing is as with x, and %!x will print in big-endian order (i.e., last byte printed first) while %!y will print in little-endian order (i.e., first byte printed first). This makes sure %!x is consistent with x.
%!b, which takes a bool and prints either true or false.
r, which takes a status_t and prints the status, argument and module ID.
%!r, which takes a status_t and prints the status, argument and module ID as JSON.

When compiled for a DV testbench, this function will not read any pointers, and as such the specifiers s, %!s, %!x, %!X, %!y, and %!Y will behave as if they were printing garbage, and are, as such, unsupported.

This function furthermore supports width modifiers for integer specifiers, such as %010d. It does not support dynamic widths like %*d. If the width specifier starts with a 0, it is padded with zeroes; otherwise, it is padded with spaces, consistent with the standard C behavior.

Of course, providing arguments for formatting which are incompatible with a given format specifier is Undefined Behavior.

Note that for logging in DV, the following script updates the format specifiers supported in C above and changes them to match the SystemVerilog language semantics: util/device_sw_utils/extract_sw_logs.py It also makes fixes as needed for custom specifiers such as %!s.

Parameters

format	the format spec.
...	values to interpolate in the format spec.

Definition at line 271 of file print.c.

◆ base_set_stdout()

void base_set_stdout ( buffer_sink_t out )

Sets what the "stdout" sink is, which is used by base_printf().

The default sink behaves like /dev/null on a standard UNIX system: writes are treated as successful, but the contents of buffers are ignored.

As such, this function must be called for printed messages to wind up somewhere.

Passing in NULL instead of a real function pointer will reset stdout to the default /dev/null behavior.

Parameters

out	the sink to use for "default" printing.

Definition at line 67 of file print.c.

◆ base_snhexdump()

size_t base_snhexdump	(	char *	out,
		size_t	out_len,
		const char *	buf,
		size_t	len
	)

Dumps hex in an xxd-style hexdump to the buffer buf, capped at the given length, using default formatting options.

Parameters

out	a buffer to print to.
out_len	the length of the output buffer.
buf	the buffer to dump.
len	the number of bytes to dump from hex.

Definition at line 784 of file print.c.

◆ base_snhexdump_with()

size_t base_snhexdump_with	(	char *	out,
		size_t	out_len,
		base_hexdump_fmt_t	fmt,
		const char *	buf,
		size_t	len
	)

Dumps hex in an xxd-style hexdump to the buffer buf, capped at the given length.

Parameters

out	a buffer to print to.
out_len	the length of the output buffer.
fmt	the format for dumping.
buf	the buffer to dump.
len	the number of bytes to dump from hex.

Definition at line 796 of file print.c.

◆ base_spi_device_stdout()

void base_spi_device_stdout ( const dif_spi_device_handle_t * spi_device )

Configures SPI device stdout for base_print.h to use.

Note that this function will save spi_device in a global variable, so the pointer must have static storage duration.

Parameters

spi_device The SPI device handle to use for stdout.

Definition at line 259 of file print.c.

◆ base_uart_stdout()

void base_uart_stdout ( const dif_uart_t * uart )

Configures UART stdout for base_print.h to use.

Note that this function will save uart in a global variable, so the pointer must have static storage duration.

Parameters

uart	The UART handle to use for stdout.

Definition at line 266 of file print.c.

◆ base_vfprintf()

size_t base_vfprintf	(	buffer_sink_t	out,
		const char *	format,
		va_list	args
	)

Prints a message to the sink out.

This function is identical to base_fprintf, except in that it takes a va_list instead of having a vararg parameter. This function is provided not for calling directly, but rather for being called by functions that already take a variable number of arguments, and wish to make use of formatting facilities.

This function does not take ownership of args; callers are responsible for calling va_end.

If out.sink is NULL, writes are treated as-if they were written to a UNIX-like /dev/null: writes succeed, but the actual bytes are not printed anywhere.

See base_printf() for the semantics of the format specification.

Parameters

out	a sink to print to.
format	the format spec.
args	values to interpolate in the format spec.

Definition at line 733 of file print.c.

◆ base_vprintf()

size_t base_vprintf	(	const char *	format,
		va_list	args
	)

Prints out a message to stdout, formatted according to the format string format.

This function is identical to base_printf, except in that it takes a va_list instead of having a vararg parameter. This function plays a role analogous to base_vfprintf, for functions that wish to use the currently set stdout.

This function does not take ownership of args; callers are responsible for calling va_end.

See base_printf() for the semantics of the format specification.

Parameters

format	the format spec.
args	values to interpolate in the format spec.

Definition at line 279 of file print.c.

(2d4cd59dc3)

Data Structures

Typedefs

Functions

Variables

Detailed Description

Data Structure Documentation

◆ buffer_sink

◆ base_hexdump_fmt

Typedef Documentation

◆ buffer_sink_t

◆ sink_func_ptr

Function Documentation

◆ base_fhexdump()

◆ base_fhexdump_with()

◆ base_fprintf()

◆ base_hexdump()

◆ base_hexdump_with()

◆ base_printf()

◆ base_set_stdout()

◆ base_snhexdump()

◆ base_snhexdump_with()

◆ base_spi_device_stdout()

◆ base_uart_stdout()

◆ base_vfprintf()

◆ base_vprintf()