testsuites/validation/tc-c.c

0001 /* SPDX-License-Identifier: BSD-2-Clause */
0002
0003 /**
0004  * @file
0005  *
0006  * @ingroup CValC
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 #include <string.h>
0057
0058 #include <rtems/test.h>
0059
0060 /**
0061  * @defgroup CValC spec:/c/val/c
0062  *
0063  * @ingroup TestsuitesValidationNoClock0
0064  *
0065  * @brief Tests C library functions.
0066  *
0067  * This test case performs the following actions:
0068  *
0069  * - Call memcpy() for a sample set of buffers.
0070  *
0071  * - Call memset() for a sample set of buffers.
0072  *
0073  * @{
0074  */
0075
0076 static void Clear( volatile uint8_t *b, const volatile uint8_t *e )
0077 {
0078   while ( b != e ) {
0079     *b = 0;
0080     ++b;
0081   }
0082 }
0083
0084 static bool Compare(
0085   volatile uint8_t       *b,
0086   const volatile uint8_t *e,
0087   uint8_t                 expected
0088 )
0089 {
0090   bool result;
0091
0092   result = true;
0093
0094   while ( b != e ) {
0095     result = result && *b == expected;
0096     ++b;
0097   }
0098
0099   return result;
0100 }
0101
0102 /**
0103  * @brief Call memcpy() for a sample set of buffers.
0104  */
0105 static void CValC_Action_0( void )
0106 {
0107   uint8_t  src[sizeof( long ) * 10];
0108   uint8_t  dst[sizeof( long ) * 10];
0109   uint8_t *begin;
0110   uint8_t *end;
0111   uint8_t *aligned_src;
0112   uint8_t *aligned_dst;
0113   size_t   offset_src;
0114
0115   memset( src, 0x85, sizeof( src ) );
0116   begin = dst;
0117   end = begin + sizeof( dst );
0118   aligned_src = (uint8_t *) RTEMS_ALIGN_UP( (uintptr_t) src, sizeof( long ) );
0119   aligned_dst = (uint8_t *) RTEMS_ALIGN_UP( (uintptr_t) dst, sizeof( long ) );
0120
0121   for ( offset_src = 0; offset_src < sizeof( long ); ++offset_src  ) {
0122     size_t offset_dst;
0123
0124     for ( offset_dst = 0; offset_dst < sizeof( long ); ++offset_dst  ) {
0125       size_t size;
0126
0127       for ( size = 0; size < sizeof( long ) * 8; ++size ) {
0128         uint8_t *s;
0129         uint8_t *p;
0130         uint8_t *q;
0131
0132         s = aligned_src + offset_src;
0133         p = aligned_dst + offset_dst;
0134         q = p + size;
0135
0136         Clear( begin, end );
0137         memcpy( p, s, size );
0138         T_true( Compare( begin, p, 0 ) );
0139         T_true( Compare( p, q, 0x85 ) );
0140         T_true( Compare( q, end, 0 ) );
0141       }
0142     }
0143   }
0144 }
0145
0146 /**
0147  * @brief Call memset() for a sample set of buffers.
0148  */
0149 static void CValC_Action_1( void )
0150 {
0151   uint8_t  dst[sizeof( long ) * 10];
0152   uint8_t *begin;
0153   uint8_t *end;
0154   uint8_t *aligned;
0155   size_t   offset;
0156
0157   begin = dst;
0158   end = begin + sizeof( dst );
0159   aligned = (uint8_t *) RTEMS_ALIGN_UP( (uintptr_t) dst, sizeof( long ) );
0160
0161   for ( offset = 0; offset < sizeof( long ); ++offset  ) {
0162     size_t size;
0163
0164     for ( size = 0; size < sizeof( long ) * 8; ++size ) {
0165       uint8_t *p;
0166       uint8_t *q;
0167
0168       p = aligned + offset;
0169       q = p + size;
0170
0171       Clear( begin, end );
0172       memset( p, 0x85, size );
0173       T_true( Compare( begin, p, 0 ) );
0174       T_true( Compare( p, q, 0x85 ) );
0175       T_true( Compare( q, end, 0 ) );
0176     }
0177   }
0178 }
0179
0180 /**
0181  * @fn void T_case_body_CValC( void )
0182  */
0183 T_TEST_CASE( CValC )
0184 {
0185   CValC_Action_0();
0186   CValC_Action_1();
0187 }
0188
0189 /** @} */