Character.cs 2.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748
  1. using System.Diagnostics;
  2. using System.Runtime.CompilerServices;
  3. namespace Jint.Extensions;
  4. internal static class Character
  5. {
  6. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  7. private static bool IsInRange(this char c, ushort min, ushort max)
  8. {
  9. Debug.Assert(min <= max);
  10. return c - (uint) min <= max - (uint) min;
  11. }
  12. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  13. public static bool IsOctalDigit(this char c) => c.IsInRange('0', '7');
  14. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  15. public static bool IsDecimalDigit(this char c) => c.IsInRange('0', '9');
  16. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  17. public static bool IsHexDigit(this char c)
  18. {
  19. // NOTE: On 32-bit architectures this is not optimal, lookup is supposed to be faster.
  20. // But to keep it simple, we use this method regardless of CPU architecture, and if performance
  21. // needs to be improved further, the lookup approach can be ported from Esprima.HexConverter.
  22. // This code path, when used, has no branches and doesn't depend on cache hits,
  23. // so it's faster and does not vary in speed depending on input data distribution.
  24. // The magic constant 18428868213665201664 is a 64 bit value containing 1s at the
  25. // indices corresponding to all the valid hex characters (ie. "0123456789ABCDEFabcdef")
  26. // minus 48 (ie. '0'), and backwards (so from the most significant bit and downwards).
  27. // The offset of 48 for each bit is necessary so that the entire range fits in 64 bits.
  28. // First, we subtract '0' to the input digit (after casting to uint to account for any
  29. // negative inputs). Note that even if this subtraction underflows, this happens before
  30. // the result is zero-extended to ulong, meaning that `i` will always have upper 32 bits
  31. // equal to 0. We then left shift the constant with this offset, and apply a bitmask that
  32. // has the highest bit set (the sign bit) if and only if `c` is in the ['0', '0' + 64) range.
  33. // Then we only need to check whether this final result is less than 0: this will only be
  34. // the case if both `i` was in fact the index of a set bit in the magic constant, and also
  35. // `c` was in the allowed range (this ensures that false positive bit shifts are ignored).
  36. ulong i = (uint) c - '0';
  37. ulong shift = 18428868213665201664UL << (int) i;
  38. ulong mask = i - 64;
  39. return (long) (shift & mask) < 0 ? true : false;
  40. }
  41. }