Line data    Source code

       1              : /***************************************************************************\
       2              : * Name        : bitfields                                                   *
       3              : * Description : bitfields checks                                            *
       4              : * Author      : antonin.kriz@gmail.com                                      *
       5              : * ------------------------------------------------------------------------- *
       6              : * This is free software; you can redistribute it and/or modify it under the *
       7              : * terms of the MIT license. A copy of the license can be found in the file  *
       8              : * "LICENSE" at the root of this distribution.                               *
       9              : \***************************************************************************/
      10              : #pragma once
      11              : 
      12              : #include <cassert>
      13              : #include <climits>
      14              : #include <cstdint>
      15              : #include <stdexcept>
      16              : 
      17              : namespace spb::detail
      18              : {
      19              : template < typename T >
      20              : concept signed_int = std::is_signed_v< T > && std::is_integral_v< T >;
      21              : 
      22              : template < typename T >
      23              : concept unsigned_int = !std::is_signed_v< T > && std::is_integral_v< T >;
      24              : 
      25          264 : static inline void check_if_value_fit_in_bits( signed_int auto value, uint32_t bits )
      26              : {
      27          264 :     assert( sizeof( value ) * CHAR_BIT >= bits );
      28          264 :     assert( bits > 0 );
      29              : 
      30          264 :     decltype( value ) max = ( 1LL << ( bits - 1 ) ) - 1;
      31          264 :     decltype( value ) min = -( 1LL << ( bits - 1 ) );
      32              : 
      33          264 :     if( ( value < min ) | ( value > max ) ) [[unlikely]]
      34              :     {
      35           56 :         throw std::runtime_error( "bitfield overflow" );
      36              :     }
      37          208 : }
      38              : 
      39          203 : static inline void check_if_value_fit_in_bits( unsigned_int auto value, uint32_t bits )
      40              : {
      41          203 :     assert( sizeof( value ) * CHAR_BIT >= bits );
      42              : 
      43          203 :     decltype( value ) max = ( 1LL << bits ) - 1;
      44              : 
      45          203 :     if( value > max ) [[unlikely]]
      46              :     {
      47           37 :         throw std::runtime_error( "bitfield overflow" );
      48              :     }
      49          166 : }
      50              : 
      51              : }// namespace spb::detail