testsuites/validation/tc-score-thread-tls.c

0001 /* SPDX-License-Identifier: BSD-2-Clause */
0002
0003 /**
0004  * @file
0005  *
0006  * @ingroup ScoreThreadValTls
0007  */
0008
0009 /*
0010  * Copyright (C) 2021 embedded brains GmbH & Co. KG
0011  *
0012  * Redistribution and use in source and binary forms, with or without
0013  * modification, are permitted provided that the following conditions
0014  * are met:
0015  * 1. Redistributions of source code must retain the above copyright
0016  *    notice, this list of conditions and the following disclaimer.
0017  * 2. Redistributions in binary form must reproduce the above copyright
0018  *    notice, this list of conditions and the following disclaimer in the
0019  *    documentation and/or other materials provided with the distribution.
0020  *
0021  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
0022  * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
0023  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
0024  * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
0025  * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
0026  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
0027  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
0028  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
0029  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
0030  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
0031  * POSSIBILITY OF SUCH DAMAGE.
0032  */
0033
0034 /*
0035  * This file is part of the RTEMS quality process and was automatically
0036  * generated.  If you find something that needs to be fixed or
0037  * worded better please post a report or patch to an RTEMS mailing list
0038  * or raise a bug report:
0039  *
0040  * https://www.rtems.org/bugs.html
0041  *
0042  * For information on updating and regenerating please refer to the How-To
0043  * section in the Software Requirements Engineering chapter of the
0044  * RTEMS Software Engineering manual.  The manual is provided as a part of
0045  * a release.  For development sources please refer to the online
0046  * documentation at:
0047  *
0048  * https://docs.rtems.org
0049  */
0050
0051 #ifdef HAVE_CONFIG_H
0052 #include "config.h"
0053 #endif
0054
0055 #include <rtems.h>
0056
0057 #include "tx-support.h"
0058
0059 #include <rtems/test.h>
0060
0061 /**
0062  * @defgroup ScoreThreadValTls spec:/score/thread/val/tls
0063  *
0064  * @ingroup TestsuitesValidationTls0
0065  * @ingroup TestsuitesValidationTls1
0066  *
0067  * @brief Tests properties of thread-local objects.
0068  *
0069  * This test case performs the following actions:
0070  *
0071  * - The test action is carried out by the thread-local objects definition.
0072  *
0073  *   - Check that the initial value of the zero initialized thread-local object
0074  *     has the expected value.
0075  *
0076  *   - Check that the alignment of the zero initialized thread-local object has
0077  *     the expected value.
0078  *
0079  *   - Check that the initial value of the non-zero initialized thread-local
0080  *     object has the expected value.
0081  *
0082  *   - Check that the alignment of the non-zero initialized thread-local object
0083  *     has the expected value.
0084  *
0085  * @{
0086  */
0087
0088 static RTEMS_ALIGNED( 256 ) _Thread_local int volatile tls_object_0;
0089
0090 static RTEMS_ALIGNED( 256 ) _Thread_local int volatile tls_object_1 = 123;
0091
0092 /**
0093  * @brief The test action is carried out by the thread-local objects
0094  *   definition.
0095  */
0096 static void ScoreThreadValTls_Action_0( void )
0097 {
0098   /* Nothing to do */
0099
0100   /*
0101    * Check that the initial value of the zero initialized thread-local object
0102    * has the expected value.
0103    */
0104   T_step_eq_int( 0, tls_object_0, 0 );
0105
0106   /*
0107    * Check that the alignment of the zero initialized thread-local object has
0108    * the expected value.
0109    */
0110   T_step_eq_uptr( 1, ( (uintptr_t) &tls_object_0 ) % 256, 0 );
0111
0112   /*
0113    * Check that the initial value of the non-zero initialized thread-local
0114    * object has the expected value.
0115    */
0116   T_step_eq_int( 2, tls_object_1, 123 );
0117
0118   /*
0119    * Check that the alignment of the non-zero initialized thread-local object
0120    * has the expected value.
0121    */
0122   T_step_eq_uptr( 3, ( (uintptr_t) &tls_object_1 ) % 256, 0 );
0123 }
0124
0125 /**
0126  * @fn void T_case_body_ScoreThreadValTls( void )
0127  */
0128 T_TEST_CASE( ScoreThreadValTls )
0129 {
0130   T_plan( 4 );
0131
0132   ScoreThreadValTls_Action_0();
0133 }
0134
0135 /** @} */