@@ -10,6 +10,7 @@ check_PROGRAMS = \
igt_timeout \
igt_invalid_subtest_name \
igt_segfault \
+ igt_simple \
$(NULL)
check_SCRIPTS = \
new file mode 100644
@@ -0,0 +1,173 @@
+/*
+ * Copyright © 2015 Intel Corporation
+ *
+ * Permission is hereby granted, free of charge, to any person obtaining a
+ * copy of this software and associated documentation files (the "Software"),
+ * to deal in the Software without restriction, including without limitation
+ * the rights to use, copy, modify, merge, publish, distribute, sublicense,
+ * and/or sell copies of the Software, and to permit persons to whom the
+ * Software is furnished to do so, subject to the following conditions:
+ *
+ * The above copyright notice and this permission notice (including the next
+ * paragraph) shall be included in all copies or substantial portions of the
+ * Software.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
+ * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
+ * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
+ * IN THE SOFTWARE.
+ *
+ */
+
+#include <assert.h>
+#include <errno.h>
+#include <float.h>
+#include <limits.h>
+#include <math.h>
+#include <signal.h>
+#include <stdint.h>
+#include <stdlib.h>
+#include <unistd.h>
+#include <sys/types.h>
+#include <sys/wait.h>
+
+#include "igt_core.h"
+
+/*
+ * We need to hide assert from the cocci igt test refactor spatch.
+ *
+ * IMPORTANT: Test infrastructure tests are the only valid places where using
+ * assert is allowed.
+ */
+#define internal_assert assert
+
+char test[] = "test";
+char *argv_run[] = { test };
+void (*test_to_run)(void) = NULL;
+
+/*
+ * A really tedious way of making sure we execute every negative test, and that
+ * they all really fail.
+ */
+#define CHECK_NEG(x) { \
+ igt_subtest_f("XFAIL_simple_%d", __LINE__) { \
+ (*exec_before)++; \
+ x; \
+ raise(SIGBUS); \
+ } \
+ exec_total++; \
+}
+
+static int do_fork(void)
+{
+ int pid, status;
+ int argc;
+
+ switch (pid = fork()) {
+ case -1:
+ internal_assert(0);
+ case 0:
+ argc = 1;
+ igt_simple_init(argc, argv_run);
+ test_to_run();
+ igt_exit();
+ default:
+ while (waitpid(pid, &status, 0) == -1 &&
+ errno == EINTR)
+ ;
+
+ if(WIFSIGNALED(status))
+ return WTERMSIG(status) + 128;
+
+ return WEXITSTATUS(status);
+ }
+}
+
+static void test_cmpint_negative(void)
+{
+ int *exec_before = calloc(1, sizeof(int));
+ int exec_total = 0;
+
+ CHECK_NEG(igt_assert_eq(INT_MIN, INT_MAX));
+
+ CHECK_NEG(igt_assert_eq_u32(0xfffffffeUL, 0xffffffffUL));
+
+ CHECK_NEG(igt_assert_eq_u64(0xfffeffffffffffffULL, 0xffffffffffffffffULL));
+ CHECK_NEG(igt_assert_eq_u64(0xfffffffeffffffffULL, 0xffffffffffffffffULL));
+ CHECK_NEG(igt_assert_eq_u64(0xfffffffffffeffffULL, 0xffffffffffffffffULL));
+
+ CHECK_NEG(igt_assert_eq_double(0.0, DBL_MAX));
+ CHECK_NEG(igt_assert_eq_double(DBL_MAX, nexttoward(DBL_MAX, 0.0)));
+
+ if (*exec_before != exec_total)
+ raise(SIGSEGV);
+}
+
+static void test_cmpint(void)
+{
+ igt_assert_eq(0, 0);
+ igt_assert_eq(INT_MAX, INT_MAX);
+ igt_assert_eq(INT_MAX, INT_MAX);
+ igt_assert_neq(INT_MIN, INT_MAX);
+
+ igt_assert_eq_u32(0, 0);
+ igt_assert_eq_u32(0xffffffffUL, 0xffffffffUL);
+ igt_assert_neq_u32(0xfffffffeUL, 0xffffffffUL);
+
+ igt_assert_eq_u64(0, 0);
+ igt_assert_eq_u64(0xffffffffffffffffULL, 0xffffffffffffffffULL);
+ igt_assert_neq_u64(0xfffffffffffffffeULL, 0xffffffffffffffffULL);
+
+ igt_assert_eq_double(0.0, 0.0);
+ igt_assert_eq_double(DBL_MAX, DBL_MAX);
+ igt_assert_neq_double(0.0, DBL_MAX);
+}
+
+static void test_fd_negative(void)
+{
+ int *exec_before = calloc(1, sizeof(int));
+ int exec_total = 0;
+
+ CHECK_NEG(igt_assert_fd(-1));
+ CHECK_NEG(igt_assert_fd(INT_MIN));
+
+ if (*exec_before != exec_total)
+ raise(SIGSEGV);
+}
+
+static void test_fd(void)
+{
+ igt_assert_fd(0);
+ igt_assert_fd(1);
+ igt_assert_fd(INT_MAX);
+}
+
+igt_main
+{
+ int ret;
+
+ igt_subtest("igt_cmpint")
+ test_cmpint();
+
+ /*
+ * The awkward subtest dance here is because we really want to use
+ * subtests in our negative tests, to ensure we actually execute all
+ * the subtests. But we can't begin a subtest within a subtest, and
+ * we inherit the state from the parent, so ...
+ */
+ test_to_run = test_cmpint_negative;
+ ret = do_fork();
+ igt_subtest("igt_cmpint_negative")
+ internal_assert(ret == IGT_EXIT_FAILURE);
+
+ igt_subtest("igt_assert_fd")
+ test_fd();
+
+ test_to_run = test_fd_negative;
+ ret = do_fork();
+ igt_subtest("igt_assert_fd_negative")
+ internal_assert(ret == IGT_EXIT_FAILURE);
+}
Make sure our igt_assert variants are doing something that looks vaguely like the right thing. Signed-off-by: Daniel Stone <daniels@collabora.com> --- lib/tests/Makefile.sources | 1 + lib/tests/igt_simple.c | 173 +++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 174 insertions(+) create mode 100644 lib/tests/igt_simple.c