[API Implementation]: Expose general purpose Crc32 APIs

src/libraries/Common/src/System/Numerics/Crc32ReflectedTable.cs

@@ -0,0 +1,34 @@
+// Licensed to the .NET Foundation under one or more agreements.
+// The .NET Foundation licenses this file to you under the MIT license.
+
+namespace System.Numerics
+{
+    internal static class Crc32ReflectedTable
+    {
+        internal static uint[] Generate(uint reflectedPolynomial)
+        {
+            uint[] table = new uint[256];
+
+            for (int i = 0; i < 256; i++)
+            {
+                uint val = (uint)i;
+
+                for (int j = 0; j < 8; j++)
+                {
+                    if ((val & 0b0000_0001) == 0)
+                    {
+                        val >>= 1;
+                    }
+                    else
+                    {
+                        val = (val >> 1) ^ reflectedPolynomial;
+                    }
+                }
+
+                table[i] = val;
+            }
+
+            return table;
+        }
+    }
+}

src/libraries/System.IO.Hashing/src/System.IO.Hashing.csproj

@@ -22,6 +22,9 @@ System.IO.Hashing.XxHash32</PackageDescription>
     <Compile Include="System\IO\Hashing\XxHash64.cs" />
     <Compile Include="System\IO\Hashing\XxHash64.State.cs" />
     <Compile Include="System\IO\Hashing\NonCryptographicHashAlgorithm.cs" />
+    <Compile Include="$(CommonPath)System\Numerics\Crc32ReflectedTable.cs">
+      <Link>Common\System\Numerics\Crc32ReflectedTable.cs</Link>
+    </Compile>
   </ItemGroup>
   <ItemGroup Condition="'$(TargetFrameworkIdentifier)' == '.NETCoreApp'">
     <Reference Include="System.Buffers" />

src/libraries/System.IO.Hashing/src/System/IO/Hashing/Crc32.Table.cs

@@ -1,6 +1,8 @@
 // Licensed to the .NET Foundation under one or more agreements.
 // The .NET Foundation licenses this file to you under the MIT license.
 
+using System.Numerics;
+
 namespace System.IO.Hashing
 {
     public sealed partial class Crc32 : NonCryptographicHashAlgorithm
@@ -9,32 +11,6 @@ public sealed partial class Crc32 : NonCryptographicHashAlgorithm
         // While this implementation is based on the standard CRC-32 polynomial,
         // x32 + x26 + x23 + x22 + x16 + x12 + x11 + x10 + x8 + x7 + x5 + x4 + x2 + x1 + x0,
         // this version uses reflected bit ordering, so 0x04C11DB7 becomes 0xEDB88320
-        private static readonly uint[] s_crcLookup = GenerateReflectedTable(0xEDB88320u);
-
-        private static uint[] GenerateReflectedTable(uint reflectedPolynomial)
-        {
-            uint[] table = new uint[256];
-
-            for (int i = 0; i < 256; i++)
-            {
-                uint val = (uint)i;
-
-                for (int j = 0; j < 8; j++)
-                {
-                    if ((val & 0b0000_0001) == 0)
-                    {
-                        val >>= 1;
-                    }
-                    else
-                    {
-                        val = (val >> 1) ^ reflectedPolynomial;
-                    }
-                }
-
-                table[i] = val;
-            }
-
-            return table;
-        }
+        private static readonly uint[] s_crcLookup = Crc32ReflectedTable.Generate(0xEDB88320u);
     }
 }

src/libraries/System.Private.CoreLib/src/System.Private.CoreLib.Shared.projitems

@@ -1197,6 +1197,9 @@
     <Compile Include="$(CommonPath)System\NotImplemented.cs">
       <Link>Common\System\NotImplemented.cs</Link>
     </Compile>
+    <Compile Include="$(CommonPath)System\Numerics\Crc32ReflectedTable.cs">
+      <Link>Common\System\Numerics\Crc32ReflectedTable.cs</Link>
+    </Compile>
     <Compile Include="$(CommonPath)System\Obsoletions.cs">
       <Link>Common\System\Obsoletions.cs</Link>
     </Compile>

src/libraries/System.Private.CoreLib/src/System/Numerics/BitOperations.cs

@@ -41,6 +41,8 @@ public static class BitOperations
             19, 27, 23, 06, 26, 05, 04, 31
         };
 
+        private static readonly uint[] s_crcTable = Crc32ReflectedTable.Generate(0x82F63B78u);
+
         /// <summary>
         /// Evaluate whether a given integral value is a power of 2.
         /// </summary>
@@ -54,7 +56,7 @@ public static class BitOperations
         /// <param name="value">The value.</param>
         [MethodImpl(MethodImplOptions.AggressiveInlining)]
         [CLSCompliant(false)]
-        public static bool IsPow2(uint value) => (value & (value - 1)) == 0 && value != 0 ;
+        public static bool IsPow2(uint value) => (value & (value - 1)) == 0 && value != 0;
 
         /// <summary>
         /// Evaluate whether a given integral value is a power of 2.
@@ -708,5 +710,155 @@ public static nuint RotateRight(nuint value, int offset)
             return (nuint)RotateRight((uint)value, offset);
 #endif
         }
+
+        /// <summary>
+        /// Calculates the CRC (Cyclic redundancy check) checksum.
+        ///
+        /// Uses following Hardware Intrinsics, if supported:
+        /// * uint32_t __crc32b (uint32_t a, uint8_t b)
+        /// * uint32_t __crc32cb (uint32_t a, uint8_t b)
+        /// </summary>
+        /// <param name="crc">The base value to calculate checksum on</param>
+        /// <param name="data">The checksum data</param>
+        /// <returns>The CRC-checksum</returns>
+        [CLSCompliant(false)]
+        public static uint Crc32C(uint crc, byte data)
+        {
+            if (Sse42.IsSupported)
+            {
+                // uint32_t __crc32b (uint32_t a, uint8_t b)
+                return Sse42.Crc32(crc, data);
+            }
+            if (Crc32.IsSupported)
+            {
+                // uint32_t __crc32cb (uint32_t a, uint8_t b)
+                return Crc32.ComputeCrc32C(crc, data);
+            }
+
+
+            // Software fallback
+            int tableIndex = (int)((crc ^ data) & 0xFF);
+            crc = s_crcTable[tableIndex] ^ (crc >> 8);
+
+            return crc;
+        }
+
+        /// <summary>
+        /// Calculates the CRC (Cyclic redundancy check) checksum.
+        ///
+        /// Uses following Hardware Intrinsics, if supported:
+        /// * unsigned int _mm_crc32_u16 (unsigned int crc, unsigned short v)
+        /// * uint32_t __crc32ch (uint32_t a, uint16_t b)
+        /// </summary>
+        /// <param name="crc">The base value to calculate checksum on</param>
+        /// <param name="data">The checksum data</param>
+        /// <returns>The CRC-checksum</returns>
+        [CLSCompliant(false)]
+        public static uint Crc32C(uint crc, ushort data)
+        {
+            if (Sse42.IsSupported)
+            {
+                // unsigned int _mm_crc32_u16 (unsigned int crc, unsigned short v)
+                return Sse42.Crc32(crc, data);
+            }
+            if (Crc32.IsSupported)
+            {
+                // uint32_t __crc32ch (uint32_t a, uint16_t b)
+                return Crc32.ComputeCrc32C(crc, data);
+            }
+
+
+            // Software fallback
+
+            Span<byte> bytes = stackalloc byte[sizeof(ushort)];
+            Unsafe.WriteUnaligned(ref MemoryMarshal.GetReference(bytes), data);
+
+            foreach (byte b in bytes)
+            {
+                int tableIndex = (int)((crc ^ b) & 0xFF);
+                crc = s_crcTable[tableIndex] ^ (crc >> 8);
+            }
+
+            return crc;
+        }
+
+        /// <summary>
+        /// Calculates the CRC (Cyclic redundancy check) checksum.
+        ///
+        /// Uses following Hardware Intrinsics, if supported:
+        /// * unsigned int _mm_crc32_u32 (unsigned int crc, unsigned int v)
+        /// * uint32_t __crc32ch (uint32_t a, uint32_t b)
+        /// </summary>
+        /// <param name="crc">The base value to calculate checksum on</param>
+        /// <param name="data">The checksum data</param>
+        /// <returns>The CRC-checksum</returns>
+        [CLSCompliant(false)]
+        public static uint Crc32C(uint crc, uint data)
+        {
+            if (Sse42.IsSupported)
+            {
+                // unsigned int _mm_crc32_u32 (unsigned int crc, unsigned int v)
+                return Sse42.Crc32(crc, data);
+            }
+            if (Crc32.IsSupported)
+            {
+                // uint32_t __crc32ch (uint32_t a, uint32_t b)
+                return Crc32.ComputeCrc32C(crc, data);
+            }
+
+
+            // Software fallback
+
+            Span<byte> bytes = stackalloc byte[sizeof(uint)];
+            Unsafe.WriteUnaligned(ref MemoryMarshal.GetReference(bytes), data);
+
+            foreach (byte b in bytes)
+            {
+                int tableIndex = (int)((crc ^ b) & 0xFF);
+                crc = s_crcTable[tableIndex] ^ (crc >> 8);
+            }
+
+            return crc;
+        }
+
+        /// <summary>
+        /// Calculates the CRC (Cyclic redundancy check) checksum.
+        ///
+        /// Uses following Hardware Intrinsics, if supported:
+        /// * unsigned __int64 _mm_crc32_u64 (unsigned __int64 crc, unsigned __int64 v)
+        /// * uint32_t __crc32cd (uint32_t a, uint64_t b)
+        /// </summary>
+        /// <param name="crc">The base value to calculate checksum on</param>
+        /// <param name="data">The checksum data</param>
+        /// <returns>The CRC-checksum</returns>
+        [CLSCompliant(false)]
+        public static uint Crc32C(uint crc, ulong data)
+        {
+            if (Sse42.X64.IsSupported)
+            {
+                // unsigned int _mm_crc32_u32 (unsigned int crc, unsigned int v)
+                ulong result = Sse42.X64.Crc32(crc, data);
+
+                return unchecked((uint)result);
+            }
+            if (Crc32.Arm64.IsSupported)
+            {
+                // uint32_t __crc32cd (uint32_t a, uint64_t b)
+                return Crc32.Arm64.ComputeCrc32C(crc, data);
+            }
+
+            // Software fallback
+
+            Span<byte> bytes = stackalloc byte[sizeof(ulong)];
+            Unsafe.WriteUnaligned(ref MemoryMarshal.GetReference(bytes), data);
+
+            foreach (byte b in bytes)
+            {
+                int tableIndex = (int)((crc ^ b) & 0xFF);
+                crc = s_crcTable[tableIndex] ^ (crc >> 8);
+            }
+
+            return crc;
+        }
     }
 }

src/libraries/System.Runtime.Extensions/tests/System/Numerics/BitOperationsTests.cs

@@ -887,5 +887,49 @@ public static void BitOps_RoundUpToPow2_nuint_64(ulong value, ulong expected)
         {
             Assert.Equal(expected, BitOperations.RoundUpToPowerOf2((nuint) value));
         }
+
+        [Theory]
+        [InlineData(0, 0, 0)]
+        [InlineData(0, 120, 4215344322)]
+        [InlineData(0, byte.MaxValue, 2910671697)]
+        [InlineData(123, byte.MaxValue, 1164749927)]
+        public static void BitOps_Crc32C_byte(uint crc, byte data, uint expected)
+        {
+            uint obtained = BitOperations.Crc32C(crc, data);
+            Assert.Equal(expected, obtained);
+        }
+
+        [Theory]
+        [InlineData(0, 0, 0)]
+        [InlineData(0, 120, 575477567)]
+        [InlineData(0, ushort.MaxValue, 245266386)]
+        [InlineData(123, ushort.MaxValue, 406112372)]
+        public static void BitOps_Crc32C_ushort(uint crc, ushort data, uint expected)
+        {
+            uint obtained = BitOperations.Crc32C(crc, data);
+            Assert.Equal(expected, obtained);
+        }
+
+        [Theory]
+        [InlineData(0, 0, 0)]
+        [InlineData(0, 120, 1671666103)]
+        [InlineData(0, uint.MaxValue, 3080238136)]
+        [InlineData(123, uint.MaxValue, 3055133878)]
+        public static void BitOps_Crc32C_uint(uint crc, uint data, uint expected)
+        {
+            uint obtained = BitOperations.Crc32C(crc, data);
+            Assert.Equal(expected, obtained);
+        }
+
+        [Theory]
+        [InlineData(0, 0, 0)]
+        [InlineData(0, 120, 3511526341)]
+        [InlineData(0, ulong.MaxValue, 3293575501)]
+        [InlineData(123, ulong.MaxValue, 3460750817)]
+        public static void BitOps_Crc32C_ulong(uint crc, ulong data, uint expected)
+        {
+            uint obtained = BitOperations.Crc32C(crc, data);
+            Assert.Equal(expected, obtained);
+        }
     }
 }

src/libraries/System.Runtime/ref/System.Runtime.cs

@@ -11129,6 +11129,14 @@ public static partial class BitOperations
         public static int TrailingZeroCount(nint value) { throw null; }
         [System.CLSCompliantAttribute(false)]
         public static int TrailingZeroCount(nuint value) { throw null; }
+        [System.CLSCompliantAttribute(false)]
+        public static uint Crc32C(uint crc, byte data) { throw null; }
+        [System.CLSCompliantAttribute(false)]
+        public static uint Crc32C(uint crc, ushort data) { throw null; }
+        [System.CLSCompliantAttribute(false)]
+        public static uint Crc32C(uint crc, uint data) { throw null; }
+        [System.CLSCompliantAttribute(false)]
+        public static uint Crc32C(uint crc, ulong data) { throw null; }
     }
 }
 namespace System.Reflection