Blame lib/memchr2.c

Packit 709fb3
/* Copyright (C) 1991, 1993, 1996-1997, 1999-2000, 2003-2004, 2006, 2008-2017
Packit 709fb3
   Free Software Foundation, Inc.
Packit 709fb3
Packit 709fb3
   Based on strlen implementation by Torbjorn Granlund (tege@sics.se),
Packit 709fb3
   with help from Dan Sahlin (dan@sics.se) and
Packit 709fb3
   commentary by Jim Blandy (jimb@ai.mit.edu);
Packit 709fb3
   adaptation to memchr suggested by Dick Karpinski (dick@cca.ucsf.edu),
Packit 709fb3
   and implemented in glibc by Roland McGrath (roland@ai.mit.edu).
Packit 709fb3
   Extension to memchr2 implemented by Eric Blake (ebb9@byu.net).
Packit 709fb3
Packit 709fb3
This program is free software: you can redistribute it and/or modify it
Packit 709fb3
under the terms of the GNU General Public License as published by the
Packit 709fb3
Free Software Foundation; either version 3 of the License, or any
Packit 709fb3
later version.
Packit 709fb3
Packit 709fb3
This program is distributed in the hope that it will be useful,
Packit 709fb3
but WITHOUT ANY WARRANTY; without even the implied warranty of
Packit 709fb3
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
Packit 709fb3
GNU General Public License for more details.
Packit 709fb3
Packit 709fb3
You should have received a copy of the GNU General Public License
Packit 709fb3
along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
Packit 709fb3
Packit 709fb3
#include <config.h>
Packit 709fb3
Packit 709fb3
#include "memchr2.h"
Packit 709fb3
Packit 709fb3
#include <limits.h>
Packit 709fb3
#include <stdint.h>
Packit 709fb3
#include <string.h>
Packit 709fb3
Packit 709fb3
/* Return the first address of either C1 or C2 (treated as unsigned
Packit 709fb3
   char) that occurs within N bytes of the memory region S.  If
Packit 709fb3
   neither byte appears, return NULL.  */
Packit 709fb3
void *
Packit 709fb3
memchr2 (void const *s, int c1_in, int c2_in, size_t n)
Packit 709fb3
{
Packit 709fb3
  /* On 32-bit hardware, choosing longword to be a 32-bit unsigned
Packit 709fb3
     long instead of a 64-bit uintmax_t tends to give better
Packit 709fb3
     performance.  On 64-bit hardware, unsigned long is generally 64
Packit 709fb3
     bits already.  Change this typedef to experiment with
Packit 709fb3
     performance.  */
Packit 709fb3
  typedef unsigned long int longword;
Packit 709fb3
Packit 709fb3
  const unsigned char *char_ptr;
Packit 709fb3
  void const *void_ptr;
Packit 709fb3
  const longword *longword_ptr;
Packit 709fb3
  longword repeated_one;
Packit 709fb3
  longword repeated_c1;
Packit 709fb3
  longword repeated_c2;
Packit 709fb3
  unsigned char c1;
Packit 709fb3
  unsigned char c2;
Packit 709fb3
Packit 709fb3
  c1 = (unsigned char) c1_in;
Packit 709fb3
  c2 = (unsigned char) c2_in;
Packit 709fb3
Packit 709fb3
  if (c1 == c2)
Packit 709fb3
    return memchr (s, c1, n);
Packit 709fb3
Packit 709fb3
  /* Handle the first few bytes by reading one byte at a time.
Packit 709fb3
     Do this until VOID_PTR is aligned on a longword boundary.  */
Packit 709fb3
  for (void_ptr = s;
Packit 709fb3
       n > 0 && (uintptr_t) void_ptr % sizeof (longword) != 0;
Packit 709fb3
       --n)
Packit 709fb3
    {
Packit 709fb3
      char_ptr = void_ptr;
Packit 709fb3
      if (*char_ptr == c1 || *char_ptr == c2)
Packit 709fb3
        return (void *) void_ptr;
Packit 709fb3
      void_ptr = char_ptr + 1;
Packit 709fb3
    }
Packit 709fb3
Packit 709fb3
  longword_ptr = void_ptr;
Packit 709fb3
Packit 709fb3
  /* All these elucidatory comments refer to 4-byte longwords,
Packit 709fb3
     but the theory applies equally well to any size longwords.  */
Packit 709fb3
Packit 709fb3
  /* Compute auxiliary longword values:
Packit 709fb3
     repeated_one is a value which has a 1 in every byte.
Packit 709fb3
     repeated_c1 has c1 in every byte.
Packit 709fb3
     repeated_c2 has c2 in every byte.  */
Packit 709fb3
  repeated_one = 0x01010101;
Packit 709fb3
  repeated_c1 = c1 | (c1 << 8);
Packit 709fb3
  repeated_c2 = c2 | (c2 << 8);
Packit 709fb3
  repeated_c1 |= repeated_c1 << 16;
Packit 709fb3
  repeated_c2 |= repeated_c2 << 16;
Packit 709fb3
  if (0xffffffffU < (longword) -1)
Packit 709fb3
    {
Packit 709fb3
      repeated_one |= repeated_one << 31 << 1;
Packit 709fb3
      repeated_c1 |= repeated_c1 << 31 << 1;
Packit 709fb3
      repeated_c2 |= repeated_c2 << 31 << 1;
Packit 709fb3
      if (8 < sizeof (longword))
Packit 709fb3
        {
Packit 709fb3
          size_t i;
Packit 709fb3
Packit 709fb3
          for (i = 64; i < sizeof (longword) * 8; i *= 2)
Packit 709fb3
            {
Packit 709fb3
              repeated_one |= repeated_one << i;
Packit 709fb3
              repeated_c1 |= repeated_c1 << i;
Packit 709fb3
              repeated_c2 |= repeated_c2 << i;
Packit 709fb3
            }
Packit 709fb3
        }
Packit 709fb3
    }
Packit 709fb3
Packit 709fb3
  /* Instead of the traditional loop which tests each byte, we will test a
Packit 709fb3
     longword at a time.  The tricky part is testing if *any of the four*
Packit 709fb3
     bytes in the longword in question are equal to c1 or c2.  We first use
Packit 709fb3
     an xor with repeated_c1 and repeated_c2, respectively.  This reduces
Packit 709fb3
     the task to testing whether *any of the four* bytes in longword1 or
Packit 709fb3
     longword2 is zero.
Packit 709fb3
Packit 709fb3
     Let's consider longword1.  We compute tmp1 =
Packit 709fb3
       ((longword1 - repeated_one) & ~longword1) & (repeated_one << 7).
Packit 709fb3
     That is, we perform the following operations:
Packit 709fb3
       1. Subtract repeated_one.
Packit 709fb3
       2. & ~longword1.
Packit 709fb3
       3. & a mask consisting of 0x80 in every byte.
Packit 709fb3
     Consider what happens in each byte:
Packit 709fb3
       - If a byte of longword1 is zero, step 1 and 2 transform it into 0xff,
Packit 709fb3
         and step 3 transforms it into 0x80.  A carry can also be propagated
Packit 709fb3
         to more significant bytes.
Packit 709fb3
       - If a byte of longword1 is nonzero, let its lowest 1 bit be at
Packit 709fb3
         position k (0 <= k <= 7); so the lowest k bits are 0.  After step 1,
Packit 709fb3
         the byte ends in a single bit of value 0 and k bits of value 1.
Packit 709fb3
         After step 2, the result is just k bits of value 1: 2^k - 1.  After
Packit 709fb3
         step 3, the result is 0.  And no carry is produced.
Packit 709fb3
     So, if longword1 has only non-zero bytes, tmp1 is zero.
Packit 709fb3
     Whereas if longword1 has a zero byte, call j the position of the least
Packit 709fb3
     significant zero byte.  Then the result has a zero at positions 0, ...,
Packit 709fb3
     j-1 and a 0x80 at position j.  We cannot predict the result at the more
Packit 709fb3
     significant bytes (positions j+1..3), but it does not matter since we
Packit 709fb3
     already have a non-zero bit at position 8*j+7.
Packit 709fb3
Packit 709fb3
     Similarly, we compute tmp2 =
Packit 709fb3
       ((longword2 - repeated_one) & ~longword2) & (repeated_one << 7).
Packit 709fb3
Packit 709fb3
     The test whether any byte in longword1 or longword2 is zero is equivalent
Packit 709fb3
     to testing whether tmp1 is nonzero or tmp2 is nonzero.  We can combine
Packit 709fb3
     this into a single test, whether (tmp1 | tmp2) is nonzero.  */
Packit 709fb3
Packit 709fb3
  while (n >= sizeof (longword))
Packit 709fb3
    {
Packit 709fb3
      longword longword1 = *longword_ptr ^ repeated_c1;
Packit 709fb3
      longword longword2 = *longword_ptr ^ repeated_c2;
Packit 709fb3
Packit 709fb3
      if (((((longword1 - repeated_one) & ~longword1)
Packit 709fb3
            | ((longword2 - repeated_one) & ~longword2))
Packit 709fb3
           & (repeated_one << 7)) != 0)
Packit 709fb3
        break;
Packit 709fb3
      longword_ptr++;
Packit 709fb3
      n -= sizeof (longword);
Packit 709fb3
    }
Packit 709fb3
Packit 709fb3
  char_ptr = (const unsigned char *) longword_ptr;
Packit 709fb3
Packit 709fb3
  /* At this point, we know that either n < sizeof (longword), or one of the
Packit 709fb3
     sizeof (longword) bytes starting at char_ptr is == c1 or == c2.  On
Packit 709fb3
     little-endian machines, we could determine the first such byte without
Packit 709fb3
     any further memory accesses, just by looking at the (tmp1 | tmp2) result
Packit 709fb3
     from the last loop iteration.  But this does not work on big-endian
Packit 709fb3
     machines.  Choose code that works in both cases.  */
Packit 709fb3
Packit 709fb3
  for (; n > 0; --n, ++char_ptr)
Packit 709fb3
    {
Packit 709fb3
      if (*char_ptr == c1 || *char_ptr == c2)
Packit 709fb3
        return (void *) char_ptr;
Packit 709fb3
    }
Packit 709fb3
Packit 709fb3
  return NULL;
Packit 709fb3
}