1
0
Fork 0
mirror of https://gitlab.com/sortix/sortix.git synced 2023-02-13 20:55:38 -05:00
sortix--sortix/libc/stdlib/strtol.cpp

276 lines
7.8 KiB
C++
Raw Normal View History

2013-07-18 18:24:37 -04:00
/*******************************************************************************
2015-05-13 12:26:24 -04:00
Copyright(C) Jonas 'Sortie' Termansen 2011, 2013, 2014, 2015.
2013-07-18 18:24:37 -04:00
This file is part of the Sortix C Library.
The Sortix C Library is free software: you can redistribute it and/or modify
it under the terms of the GNU Lesser General Public License as published by
the Free Software Foundation, either version 3 of the License, or (at your
option) any later version.
The Sortix C Library 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 Lesser General Public
License for more details.
You should have received a copy of the GNU Lesser General Public License
along with the Sortix C Library. If not, see <http://www.gnu.org/licenses/>.
stdlib/strtol.cpp
Converts integers represented as strings to binary representation.
*******************************************************************************/
#ifndef STRTOL
#define STRTOL strtol
2013-07-19 16:36:11 -04:00
#define STRTOL_CHAR char
2015-05-13 12:26:24 -04:00
#define STRTOL_UCHAR unsigned char
2013-07-19 16:36:11 -04:00
#define STRTOL_L(x) x
#define STRTOL_ISSPACE isspace
2013-07-18 18:24:37 -04:00
#define STRTOL_INT long
#define STRTOL_UNSIGNED_INT unsigned long
#define STRTOL_INT_MIN LONG_MIN
#define STRTOL_INT_MAX LONG_MAX
2013-07-18 18:24:37 -04:00
#define STRTOL_INT_IS_UNSIGNED false
#endif
#include <assert.h>
2013-07-18 18:24:37 -04:00
#include <ctype.h>
#include <errno.h>
2013-07-18 18:24:37 -04:00
#include <inttypes.h>
#include <stddef.h>
#include <stdint.h>
2013-07-18 18:24:37 -04:00
#include <stdlib.h>
2013-07-19 16:36:11 -04:00
#include <wchar.h>
#include <wctype.h>
2013-07-18 18:24:37 -04:00
// Nasty, nasty hack to get LLONG_* macros.
#define __STDC_VERSION__ 199901L
#include <limits.h>
// Convert a character into a digit.
2013-10-21 13:46:38 -04:00
static int debase(STRTOL_CHAR c)
2013-07-18 18:24:37 -04:00
{
2013-07-19 16:36:11 -04:00
if ( STRTOL_L('0') <= c && c <= STRTOL_L('9') )
return c - STRTOL_L('0');
if ( STRTOL_L('a') <= c && c <= STRTOL_L('z') )
return 10 + c - STRTOL_L('a');
if ( STRTOL_L('A') <= c && c <= STRTOL_L('Z') )
return 10 + c - STRTOL_L('A');
2013-07-18 18:24:37 -04:00
return -1;
}
// Determine whether a multiplication of two integers would overflow/underflow.
// This is easy if we have a larger integer type, otherwise we'll be creative.
template <class T_INT,
bool T_INT_IS_UNSIGNED,
class T_UNSIGNED_INT,
T_INT T_INT_MIN,
T_INT T_INT_MAX>
static bool would_multiplication_overflow(T_INT a, T_INT b)
{
// Prevent accidental divisons by zero in this simple case.
if ( !a || !b )
return false;
2014-09-14 14:03:16 -04:00
// Trivial cases.
if ( a == 1 || b == 1 )
return false;
// Check if we have a 64-bit integer that it is large enough.
if ( sizeof(T_INT)*2 <= sizeof(int64_t) )
{
int64_t ret_large = (int64_t) a * (int64_t) b;
return ret_large < (int64_t) T_INT_MIN ||
(int64_t) T_INT_MAX < ret_large;
}
// Check if we have a 128-bit integer that it is large enough.
#if 64 <= __WORDSIZE
if ( sizeof(T_INT)*2 <= sizeof(__int128) )
{
__int128 ret_large = (__int128) a * (__int128) b;
return ret_large < (__int128) T_INT_MIN ||
(__int128) T_INT_MAX < ret_large;
}
#endif
// The fallback strategy is to determine the largest b given a that will not
// overflow and then see if b is within range. This is trivial if in the
// unsigned integer case.
if ( T_INT_IS_UNSIGNED )
{
T_INT max_b = T_INT_MAX / a;
return max_b < b;
}
// We have to deal with some cases for signed integers. We'll assume signed
// integers are in two's complement and use - (unsigned int) value to take
// the absolute value of a negative value as an unsigned integer in a manner
// that is defined in C. Whether we use the smallest or largest value depend
// on whether the sign of a and b is identical.
else
{
T_UNSIGNED_INT a_abs = a < 0 ? - (T_UNSIGNED_INT) a : a;
T_UNSIGNED_INT b_abs = b < 0 ? - (T_UNSIGNED_INT) b : b;
T_UNSIGNED_INT min_abs = - (T_UNSIGNED_INT) T_INT_MIN;
T_UNSIGNED_INT max_abs = T_INT_MAX;
2014-09-14 14:03:16 -04:00
T_UNSIGNED_INT limit_pos = (0 <= a && 0 <= b) || (a < 0 && b < 0);
T_UNSIGNED_INT limit = limit_pos ? max_abs : min_abs;
T_UNSIGNED_INT max_b = a_abs / limit;
return max_b < b_abs;
}
}
extern "C"
2013-07-19 16:36:11 -04:00
STRTOL_INT STRTOL(const STRTOL_CHAR* restrict str,
2014-09-14 14:03:16 -04:00
STRTOL_CHAR** restrict end_ptr,
2013-07-19 16:36:11 -04:00
int base)
2013-07-18 18:24:37 -04:00
{
// Reject bad bases.
2014-09-14 14:03:16 -04:00
if ( base < 0 || base == 1 || 36 < base )
2013-07-18 18:24:37 -04:00
{
2014-09-14 14:03:16 -04:00
if ( end_ptr )
*end_ptr = (STRTOL_CHAR*) str;
return errno = EINVAL, 0;
2013-07-18 18:24:37 -04:00
}
2014-09-14 14:03:16 -04:00
const STRTOL_CHAR* original_str = str;
// Skip any leading white space.
2015-05-13 12:26:24 -04:00
while ( STRTOL_ISSPACE((STRTOL_UCHAR) *str) )
2014-09-14 14:03:16 -04:00
str++;
2013-07-18 18:24:37 -04:00
bool negative = false;
2013-07-19 16:36:11 -04:00
STRTOL_CHAR c = *str;
// Handle a leading sign character.
2013-07-19 16:36:11 -04:00
if ( c == STRTOL_L('-') )
2013-07-18 18:24:37 -04:00
str++, negative = true;
else if ( c == STRTOL_L('+') )
2013-07-18 18:24:37 -04:00
str++, negative = false;
2014-09-14 14:03:16 -04:00
bool actually_negative = !STRTOL_INT_IS_UNSIGNED && negative;
// Autodetect base if requested.
if ( base == 0 )
2013-07-18 18:24:37 -04:00
{
2014-09-14 14:03:16 -04:00
if ( str[0] == STRTOL_L('0') &&
(str[1] == STRTOL_L('x') || str[1] == STRTOL_L('X')) &&
(0 <= debase(str[2]) && debase(str[2]) < 16) )
2013-07-18 18:24:37 -04:00
str += 2, base = 16;
2014-09-14 14:03:16 -04:00
else if ( str[0] == STRTOL_L('0') &&
0 <= debase(str[1]) && debase(str[1]) < 8 )
2013-07-18 18:24:37 -04:00
str++, base = 8;
2014-09-14 14:03:16 -04:00
else
base = 10;
2013-07-18 18:24:37 -04:00
}
// Skip the leading '0x' prefix in base 16 for hexadecimal integers.
2014-09-14 14:03:16 -04:00
else if ( base == 16 )
{
if ( str[0] == STRTOL_L('0') &&
(str[1] == STRTOL_L('x') || str[1] == STRTOL_L('X')) &&
(0 <= debase(str[2]) && debase(str[2]) < 16) )
str += 2;
}
// Determine what value will be returned on overflow/underflow.
2014-09-14 14:03:16 -04:00
STRTOL_INT overflow_value =
actually_negative ? STRTOL_INT_MIN : STRTOL_INT_MAX;
// Convert a single character at a time.
STRTOL_INT result = 0;
2014-09-14 14:03:16 -04:00
size_t num_converted_chars = 0;
bool overflow_occured = false;
2013-07-18 18:24:37 -04:00
while ( (c = *str ) )
{
2014-09-14 14:03:16 -04:00
// Stop if we encounter a character that doesn't fit in this base.
int val = debase(c);
if ( val < 0 || base <= val )
2013-07-18 18:24:37 -04:00
break;
2014-09-14 14:03:16 -04:00
str++;
num_converted_chars++;
if ( overflow_occured )
continue;
// Attempt to multiply the accumulator with the current base.
if ( would_multiplication_overflow<STRTOL_INT,
STRTOL_INT_IS_UNSIGNED,
STRTOL_UNSIGNED_INT,
STRTOL_INT_MIN,
STRTOL_INT_MAX>
(result, (STRTOL_INT) base) )
2014-09-14 14:03:16 -04:00
{
overflow_occured = true;
result = overflow_value;
errno = ERANGE;
continue;
}
else
{
STRTOL_INT new_result = result * (STRTOL_INT) base;
2014-09-14 14:03:16 -04:00
assert( actually_negative || result <= new_result);
assert(!actually_negative || result >= new_result);
result = new_result;
}
2014-09-14 14:03:16 -04:00
// Nothing needs to be added if we are encountered a zero digit.
if ( val == 0 )
{
}
// Attempt to add the latest digit to the accumulator (positive).
2014-09-14 14:03:16 -04:00
else if ( !actually_negative &&
(STRTOL_INT) val <= (STRTOL_INT) (STRTOL_INT_MAX - result) )
{
result += (STRTOL_INT) val;
2014-09-14 14:03:16 -04:00
}
// Attempt to subtract the latest digit to the accumulator (negative).
2014-09-14 14:03:16 -04:00
else if ( actually_negative &&
(STRTOL_UNSIGNED_INT) val <
((STRTOL_UNSIGNED_INT) result -
(STRTOL_UNSIGNED_INT) STRTOL_INT_MIN) )
{
result -= (STRTOL_INT) val;
2014-09-14 14:03:16 -04:00
}
2014-09-14 14:03:16 -04:00
// Otherwise, the addition/subtract would overflow/underflow.
else
2014-09-14 14:03:16 -04:00
{
overflow_occured = true;
result = overflow_value;
errno = ERANGE;
continue;
}
2013-07-18 18:24:37 -04:00
}
2014-09-14 14:03:16 -04:00
// If no characters were successfully converted, rewind to the start.
if ( !num_converted_chars )
{
errno = EINVAL;
str = original_str;
}
// Let the caller know where we got to.
2014-09-14 14:03:16 -04:00
if ( end_ptr )
*end_ptr = (STRTOL_CHAR*) str;
2013-07-18 18:24:37 -04:00
// Handle the special case where we are creating an unsigned integer and the
2014-09-14 14:03:16 -04:00
// string was negative. The result is the negation assuming no overflow.
if ( STRTOL_INT_IS_UNSIGNED && negative )
{
if ( overflow_occured )
result = STRTOL_INT_MAX;
else
result = -result;
}
return result;
2013-07-18 18:24:37 -04:00
}