lib: Add mlibc

Signed-off-by: Ian Moffett <ian@osmora.org>

1 files changed, 191 insertions, 0 deletions

diff --git a/lib/mlibc/tests/ansi/sprintf.c b/lib/mlibc/tests/ansi/sprintf.c
new file mode 100644
index 0000000..fd9398c
--- /dev/null
+++ b/lib/mlibc/tests/ansi/sprintf.c
@@ -0,0 +1,191 @@
+#include <stdio.h>
+#include <assert.h>
+#include <math.h>
+#include <string.h>
+
+int main() {
+	char buf[11] = { 0 };
+	sprintf(buf, "%d", 12);
+	assert(!strcmp(buf, "12"));
+	sprintf(buf, "%f", 3.14);
+	assert(!strcmp(buf, "3.140000"));
+
+	// Test %c right padding.
+	sprintf(buf, "%-2c", 'a');
+	assert(!strcmp(buf, "a "));
+
+	// Test %c left padding.
+	sprintf(buf, "%2c", 'a');
+	assert(!strcmp(buf, " a"));
+
+	// Test %d right padding - mlibc issue #58.
+	sprintf(buf, "%-2d", 1);
+	assert(!strcmp(buf, "1 "));
+	sprintf(buf, "%-2.2d", 1);
+	assert(!strcmp(buf, "01"));
+	sprintf(buf, "%-3.2d", 1);
+	assert(!strcmp(buf, "01 "));
+	sprintf(buf, "%-3.2d", 12);
+	assert(!strcmp(buf, "12 "));
+	sprintf(buf, "%-3.2d", 123);
+	assert(!strcmp(buf, "123"));
+	sprintf(buf, "%-3.2u", 12);
+	assert(!strcmp(buf, "12 "));
+
+	// Test %d left padding.
+	sprintf(buf, "%2d", 1);
+	assert(!strcmp(buf, " 1"));
+	sprintf(buf, "%3.2d", 1);
+	assert(!strcmp(buf, " 01"));
+	sprintf(buf, "%3.2d", 12);
+	assert(!strcmp(buf, " 12"));
+	sprintf(buf, "%3.2d", 123);
+	assert(!strcmp(buf, "123"));
+	sprintf(buf, "%3.2u", 12);
+	assert(!strcmp(buf, " 12"));
+
+	// Test %f padding.
+	// TODO: Test printing of huge numbers (larger than 2^64)
+	sprintf(buf, "%2.f", 1.2);
+	assert(!strcmp(buf, " 1"));
+	sprintf(buf, "%2.f", 12.3);
+	assert(!strcmp(buf, "12"));
+	sprintf(buf, "%5.2f", 1.0);
+	assert(!strcmp(buf, " 1.00"));
+	sprintf(buf, "%.1f", -4.0);
+	assert(!strcmp(buf, "-4.0"));
+	sprintf(buf, "%-3.f", 8.0);
+	assert(!strcmp(buf, "8  "));
+	sprintf(buf, "%4f", INFINITY);
+	assert(!strcmp(buf, " inf") || !strcmp(buf, "infinity"));
+	sprintf(buf, "%4f", NAN);
+	assert(!strcmp(buf, " nan"));
+	sprintf(buf, "%4F", INFINITY);
+	assert(!strcmp(buf, " INF") || !strcmp(buf, "INFINITY"));
+	sprintf(buf, "%4F", NAN);
+	assert(!strcmp(buf, " NAN"));
+	sprintf(buf, "%05.2f", 1.0);
+	assert(!strcmp(buf, "01.00"));
+	sprintf(buf, "%09f", INFINITY); // 0 ignored when padding infs
+	assert(!strcmp(buf, "      inf") || !strcmp(buf, " infinity"));
+	// TODO: We don't yet round properly
+	// sprintf(buf, "%5.2f", 1.2);
+	// assert(!strcmp(buf, " 1.20"));
+	// sprintf(buf, "%5.2f", 1.23);
+	// assert(!strcmp(buf, " 1.23"));
+	// sprintf(buf, "%5.2f", 1.234);
+	// assert(!strcmp(buf, " 1.23"));
+	// sprintf(buf, "%5.2f", 12.345);
+	// assert(!strcmp(buf, "12.35"));
+	// sprintf(buf, "%-5.2f", 1.2);
+	// assert(!strcmp(buf, "1.20 "));
+
+	// Test '+' and ' ' flags - mlibc issue #229.
+	// Disable -Wformat here since we deliberately induce some warnings.
+#pragma GCC diagnostic push
+#pragma GCC diagnostic ignored "-Wformat"
+	sprintf(buf, "%+d", 12);
+	assert(!strcmp(buf, "+12"));
+	sprintf(buf, "% d", 12);
+	assert(!strcmp(buf, " 12"));
+	sprintf(buf, "% +d", 12);
+	assert(!strcmp(buf, "+12"));
+	sprintf(buf, "%+ d", 12);
+	assert(!strcmp(buf, "+12"));
+	sprintf(buf, "%+d", -12);
+	assert(!strcmp(buf, "-12"));
+	sprintf(buf, "% d", -12);
+	assert(!strcmp(buf, "-12"));
+	sprintf(buf, "% +d", -12);
+	assert(!strcmp(buf, "-12"));
+	sprintf(buf, "%+ d", -12);
+	assert(!strcmp(buf, "-12"));
+#pragma GCC diagnostic pop
+
+	// Test '#' flag.
+	// TODO: Test with a, A, e, E, f, F, g, G conversions.
+	sprintf(buf, "%#x", 12);
+	assert(!strcmp(buf, "0xc"));
+	sprintf(buf, "%#X", 12);
+	assert(!strcmp(buf, "0XC"));
+	sprintf(buf, "%#o", 12);
+	assert(!strcmp(buf, "014"));
+	sprintf(buf, "%#x", 0);
+	assert(!strcmp(buf, "0"));
+	sprintf(buf, "%#X", 0);
+	assert(!strcmp(buf, "0"));
+	sprintf(buf, "%#o", 0);
+	assert(!strcmp(buf, "0"));
+
+	// Test 'd' with different size mods to see
+	// if they work
+	sprintf(buf, "%d", 12);
+	assert(!strcmp(buf, "12"));
+	sprintf(buf, "%ld", 12L);
+	assert(!strcmp(buf, "12"));
+	sprintf(buf, "%lld", 12LL);
+	assert(!strcmp(buf, "12"));
+	sprintf(buf, "%zd", (size_t)12);
+	assert(!strcmp(buf, "12"));
+	sprintf(buf, "%hd", 12);
+	assert(!strcmp(buf, "12"));
+	sprintf(buf, "%hhd", 12);
+	assert(!strcmp(buf, "12"));
+
+	// Test 'x' with different size mods to see
+	// if they work
+	sprintf(buf, "%x", 12);
+	assert(!strcmp(buf, "c"));
+	sprintf(buf, "%lx", 12L);
+	assert(!strcmp(buf, "c"));
+	sprintf(buf, "%llx", 12LL);
+	assert(!strcmp(buf, "c"));
+	sprintf(buf, "%zx", (size_t)12);
+	assert(!strcmp(buf, "c"));
+	sprintf(buf, "%hx", 12);
+	assert(!strcmp(buf, "c"));
+	sprintf(buf, "%hhx", 12);
+	assert(!strcmp(buf, "c"));
+
+	// Test 'X' with different size mods to see
+	// if they work
+	sprintf(buf, "%X", 12);
+	assert(!strcmp(buf, "C"));
+	sprintf(buf, "%lX", 12L);
+	assert(!strcmp(buf, "C"));
+	sprintf(buf, "%llX", 12LL);
+	assert(!strcmp(buf, "C"));
+	sprintf(buf, "%zX", (size_t)12);
+	assert(!strcmp(buf, "C"));
+	sprintf(buf, "%hX", 12);
+	assert(!strcmp(buf, "C"));
+	sprintf(buf, "%hhX", 12);
+	assert(!strcmp(buf, "C"));
+
+	// Test 'o' with different size mods to see
+	// if they work
+	sprintf(buf, "%o", 12);
+	assert(!strcmp(buf, "14"));
+	sprintf(buf, "%lo", 12L);
+	assert(!strcmp(buf, "14"));
+	sprintf(buf, "%llo", 12LL);
+	assert(!strcmp(buf, "14"));
+	sprintf(buf, "%zo", (size_t)12);
+	assert(!strcmp(buf, "14"));
+	sprintf(buf, "%ho", 12);
+	assert(!strcmp(buf, "14"));
+	sprintf(buf, "%hho", 12);
+	assert(!strcmp(buf, "14"));
+
+	// Test %n$ syntax.
+	sprintf(buf, "%1$d", 12);
+	assert(!strcmp(buf, "12"));
+	sprintf(buf, "%1$d %1$d", 12);
+	assert(!strcmp(buf, "12 12"));
+	sprintf(buf, "%1$d %2$d %1$d", 12, 14);
+	assert(!strcmp(buf, "12 14 12"));
+	sprintf(buf, "%1$d %2$s %2$s", 12, "foo");
+	assert(!strcmp(buf, "12 foo foo"));
+
+	return 0;
+}