1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
|
/* libfmt/libmisc.c - Integrate pico-fmt with libmisc
*
* Copyright (C) 2024-2025 Luke T. Shumaker <lukeshu@lukeshu.com>
* SPDX-License-Identifier: AGPL-3.0-or-later
*/
#include <stdarg.h> /* for va_list, va_start(), va_end() */
#include <stdio.h> /* for vprintf(), putchar() */
#if LIB_PICO_STDIO
#include <pico/stdio.h> /* for stdio_putchar_raw() */
#endif
#include <libmisc/macro.h> /* for LM_UNUSED() */
#include <libmisc/_intercept.h> /* for __lm_printf() and __lm_light_printf() */
#include <libfmt/fmt.h> /* for fmt_vfctprintf() */
#if LIB_PICO_STDIO
static void libfmt_light_fct(char character, void *LM_UNUSED(arg)) {
stdio_putchar_raw(character);
}
#else
static void libfmt_libc_fct(char character, void *LM_UNUSED(arg)) {
putchar(character);
}
#endif
int __lm_printf(const char *format, ...) {
va_list va;
va_start(va, format);
#if LIB_PICO_STDIO
/* pico_stdio has already intercepted vprintf for us, and
* their stdio_buffered_printer() is better than our
* libfmt_libc_fct() because buffering. */
int ret = vprintf(format, va);
#else
int ret = fmt_vfctprintf(libfmt_libc_fct, NULL, format, va);
#endif
va_end(va);
return ret;
}
int __lm_light_printf(const char *format, ...) {
va_list va;
va_start(va, format);
#if LIB_PICO_STDIO
/* libfmt_light_fct() and stdio_buffered_printer() both use 68
* bytes of stack; but the buffer lives on the stack of
* stdio.c:__wrap_vprintf(); so that's where you'll see the
* numbers be different if you're analyzing it. (Also, being
* able to skip the stdio_stack_buffer_flush() call.) */
int ret = fmt_vfctprintf(libfmt_light_fct, NULL, format, va);
stdio_flush();
#else
int ret = fmt_vfctprintf(libfmt_libc_fct, NULL, format, va);
#endif
va_end(va);
return ret;
}
|
