uatomic/x86: Remove redundant memory barriers

[urcu.git] / tests / unit / test_build.c

diff --git a/tests/unit/test_build.c b/tests/unit/test_build.c
index 4c3392d6779e884fe5f5e08d49b0060bef6ed778..99ddbcdd2ac4b9dfa3f84a563e5fa3eb90c0cdea 100644 (file)
--- a/tests/unit/test_build.c
+++ b/tests/unit/test_build.c
@@ -1,20 +1,6 @@
-/*
- * Copyright 2021 Simon Marchi <simon.marchi@efficios.com>
- *
- * 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
- * (at your option) 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.
- */
+// SPDX-FileCopyrightText: 2021 Simon Marchi <simon.marchi@efficios.com>
+//
+// SPDX-License-Identifier: GPL-2.0-or-later
 
 /*
  * This file is meant to verify that headers are compatible with both C and
@@ -52,22 +38,27 @@
 #include <urcu/urcu-mb.h>
 #include <urcu/urcu-memb.h>
 #include <urcu/urcu-qsbr.h>
-#include <urcu/urcu-signal.h>
 #include <urcu/wfcqueue.h>
 #include <urcu/wfqueue.h>
 #include <urcu/wfstack.h>
 
 #include "tap.h"
 
+struct my_tls_struct {
+       int int1;
+       char char1;
+       void *void1;
+};
+
+static DEFINE_URCU_TLS(int, my_tls_int);
+static DEFINE_URCU_TLS(struct my_tls_struct, my_tls_struct);
+
 static void test_lfstack(void)
 {
        struct cds_lfs_stack s;
 
        cds_lfs_init(&s);
-       if (!cds_lfs_empty(&s))
-               fail("cds_lfs_empty");
-       else
-               ok(1, "cds_lfs_empty");
+       ok(cds_lfs_empty(&s), "cds_lfs_empty");
 }
 
 static void test_wfstack(void)
@@ -75,10 +66,7 @@ static void test_wfstack(void)
        struct cds_wfs_stack s;
 
        cds_wfs_init(&s);
-       if (!cds_wfs_empty(&s))
-               fail("cds_lfs_empty");
-       else
-               ok(1, "cds_lfs_empty");
+       ok(cds_wfs_empty(&s), "cds_lfs_empty");
 }
 
 static void test_wfcqueue(void)
@@ -87,10 +75,7 @@ static void test_wfcqueue(void)
        struct cds_wfcq_tail tail;
 
        cds_wfcq_init(&head, &tail);
-       if (!cds_wfcq_empty(&head, &tail))
-               fail("cds_wfcq_empty");
-       else
-               ok(1, "cds_wfcq_empty");
+       ok(cds_wfcq_empty(&head, &tail), "cds_wfcq_empty");
 }
 
 static
@@ -106,16 +91,45 @@ void test_build_cds_list_head_init(void)
        };
 }
 
+static
+void test_urcu_tls(void)
+{
+       URCU_TLS(my_tls_int) = 1;
+       URCU_TLS(my_tls_struct).int1 = 1;
+       URCU_TLS(my_tls_struct).char1 = 'a';
+       URCU_TLS(my_tls_struct).void1 = NULL;
+}
+
+struct an_opaque_struct;
+struct a_clear_struct
+{
+       int x;
+};
+
+static
+void test_build_rcu_dereference(void)
+{
+       static struct an_opaque_struct *opaque = NULL;
+       static struct an_opaque_struct *const opaque_const = NULL;
+       static struct a_clear_struct *clear = NULL;
+       static struct a_clear_struct *const clear_const = NULL;
+
+       (void) rcu_dereference(opaque);
+       (void) rcu_dereference(opaque_const);
+       (void) rcu_dereference(clear);
+       (void) rcu_dereference(clear_const);
+}
+
 int main(void)
 {
-       /* Need at least 1 test to make a valid TAP test plan. */
        plan_tests(3);
-       ok(1, "dummy");
 
        test_lfstack();
        test_wfstack();
        test_wfcqueue();
        test_build_cds_list_head_init();
+       test_urcu_tls();
+       test_build_rcu_dereference();
 
        return exit_status();
 }