From 797164f75b91c5cdfb68fc91d6853e7609d97e12 Mon Sep 17 00:00:00 2001
From: "Luke T. Shumaker" <lukeshu@lukeshu.com>
Date: Thu, 6 Mar 2025 17:21:10 -0700
Subject: Add libfmt to bypass output buffering for libmisc:assert

---
 libfmt/libmisc.c | 59 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 59 insertions(+)
 create mode 100644 libfmt/libmisc.c

(limited to 'libfmt/libmisc.c')

diff --git a/libfmt/libmisc.c b/libfmt/libmisc.c
new file mode 100644
index 0000000..4586c30
--- /dev/null
+++ b/libfmt/libmisc.c
@@ -0,0 +1,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;
+}
-- 
cgit v1.2.3-2-g168b