[test] Add self-tests for flsl()

Signed-off-by: Michael Brown <mcb30@ipxe.org>

diff --git a/src/tests/math_test.c b/src/tests/math_test.c
new file mode 100644 (file)
index 0000000..3967e62
--- /dev/null
+++ b/src/tests/math_test.c
@@ -0,0 +1,86 @@
+/*
+ * Copyright (C) 2014 Michael Brown <mbrown@fensystems.co.uk>.
+ *
+ * This program is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU General Public License as
+ * published by the Free Software Foundation; either version 2 of the
+ * License, or any later version.
+ *
+ * This program is distributed in the hope that it will be useful, but
+ * WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+ * General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
+ * 02110-1301, USA.
+ */
+
+FILE_LICENCE ( GPL2_OR_LATER );
+
+/** @file
+ *
+ * Mathematical self-tests
+ *
+ */
+
+/* Forcibly enable assertions */
+#undef NDEBUG
+
+#include <string.h>
+#include <strings.h>
+#include <assert.h>
+#include <ipxe/test.h>
+
+/**
+ * Force a call to the non-constant implementation of flsl()
+ *
+ * @v value            Value
+ * @ret msb            Most significant bit set in value (LSB=1), or zero
+ */
+__attribute__ (( noinline )) int flsl_var ( long value ) {
+       return flsl ( value );
+}
+
+/**
+ * Report a flsl() test result
+ *
+ * @v value            Value
+ * @v msb              Expected MSB
+ * @v file             Test code file
+ * @v line             Test code line
+ */
+static inline __attribute__ (( always_inline )) void
+flsl_okx ( long value, int msb, const char *file, unsigned int line ) {
+
+       /* Verify as a constant (requires to be inlined) */
+       okx ( flsl ( value ) == msb, file, line );
+
+       /* Verify as a non-constant */
+       okx ( flsl_var ( value ) == msb, file, line );
+}
+#define flsl_ok( value, msb ) flsl_okx ( value, msb, __FILE__, __LINE__ )
+
+/**
+ * Perform mathematical self-tests
+ *
+ */
+static void math_test_exec ( void ) {
+
+       /* Test flsl() */
+       flsl_ok ( 0, 0 );
+       flsl_ok ( 1, 1 );
+       flsl_ok ( 255, 8 );
+       flsl_ok ( 256, 9 );
+       flsl_ok ( 257, 9 );
+       flsl_ok ( 0x69505845, 31 );
+       flsl_ok ( -1U, ( 8 * sizeof ( int ) ) );
+       flsl_ok ( -1UL, ( 8 * sizeof ( long ) ) );
+}
+
+/** Mathematical self-tests */
+struct self_test math_test __self_test = {
+       .name = "math",
+       .exec = math_test_exec,
+};

diff --git a/src/tests/tests.c b/src/tests/tests.c
index 6691ee902fa90abc971a72badee43c0fd1d6b859..8c8c6216a431f4ec00d5d88b17328fdedf970fdf 100644 (file)
--- a/src/tests/tests.c
+++ b/src/tests/tests.c
@@ -28,6 +28,7 @@ FILE_LICENCE ( GPL2_OR_LATER );
 /* Drag in all applicable self-tests */
 REQUIRE_OBJECT ( memcpy_test );
 REQUIRE_OBJECT ( string_test );
+REQUIRE_OBJECT ( math_test );
 REQUIRE_OBJECT ( vsprintf_test );
 REQUIRE_OBJECT ( list_test );
 REQUIRE_OBJECT ( byteswap_test );