From 0cd41b9f23029912cef7be30161c78511d87c6fa Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Thu, 13 Jun 2024 20:17:10 +0200
Subject: [PATCH] add some more CRC tests

---
 .../pass/shims/x86/intrinsics-x86-sse42.rs    | 20 +++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/src/tools/miri/tests/pass/shims/x86/intrinsics-x86-sse42.rs b/src/tools/miri/tests/pass/shims/x86/intrinsics-x86-sse42.rs
index 586caf4f280c..3ac53ea8b933 100644
--- a/src/tools/miri/tests/pass/shims/x86/intrinsics-x86-sse42.rs
+++ b/src/tools/miri/tests/pass/shims/x86/intrinsics-x86-sse42.rs
@@ -45,6 +45,11 @@ unsafe fn test_crc() {
         let v = 0xef;
         let i = _mm_crc32_u8(crc, v);
         assert_eq!(i, 0xb95511db);
+
+        let crc = 0xbadeafe;
+        let v = 0xc0;
+        let i = _mm_crc32_u8(crc, v);
+        assert_eq!(i, 0x9c905b7c);
     }
     test_mm_crc32_u8();
 
@@ -59,6 +64,11 @@ unsafe fn test_crc() {
         let v = 0xa6c0;
         let i = _mm_crc32_u16(crc, v);
         assert_eq!(i, 0xab04fe4e);
+
+        let crc = 0xbadeafe;
+        let v = 0xc0fe;
+        let i = _mm_crc32_u16(crc, v);
+        assert_eq!(i, 0x4b5fad4b);
     }
     test_mm_crc32_u16();
 
@@ -73,6 +83,11 @@ unsafe fn test_crc() {
         let v = 0x885585c2;
         let i = _mm_crc32_u32(crc, v);
         assert_eq!(i, 0x22443a7b);
+
+        let crc = 0xbadeafe;
+        let v = 0xc0febeef;
+        let i = _mm_crc32_u32(crc, v);
+        assert_eq!(i, 0xb309502f);
     }
     test_mm_crc32_u32();
 
@@ -88,6 +103,11 @@ unsafe fn test_crc() {
         let v = 0x1a7ea8fb571746b0;
         let i = _mm_crc32_u64(crc, v);
         assert_eq!(i, 0x315b4f6);
+
+        let crc = 0xbadeafe;
+        let v = 0xc0febeefdadafefe;
+        let i = _mm_crc32_u64(crc, v);
+        assert_eq!(i, 0x5b44f54f);
     }
     #[cfg(not(target_arch = "x86_64"))]
     unsafe fn test_mm_crc32_u64() {}