diff --git a/crates/core_arch/src/x86/adx.rs b/crates/core_arch/src/x86/adx.rs
index 34a7289de4..3bcb4d8ba2 100644
--- a/crates/core_arch/src/x86/adx.rs
+++ b/crates/core_arch/src/x86/adx.rs
@@ -89,31 +89,41 @@ mod tests {
         let a = u32::max_value();
         let mut out = 0;
 
-        let r = _addcarry_u32(0, a, 1, &mut out);
+        let r = _addcarryx_u32(0, a, 1, &mut out);
         assert_eq!(r, 1);
         assert_eq!(out, 0);
 
-        let r = _addcarry_u32(0, a, 0, &mut out);
+        let r = _addcarryx_u32(0, a, 0, &mut out);
         assert_eq!(r, 0);
         assert_eq!(out, a);
 
-        let r = _addcarry_u32(1, a, 1, &mut out);
+        let r = _addcarryx_u32(1, a, 1, &mut out);
         assert_eq!(r, 1);
         assert_eq!(out, 1);
 
-        let r = _addcarry_u32(1, a, 0, &mut out);
+        let r = _addcarryx_u32(1, a, 0, &mut out);
         assert_eq!(r, 1);
         assert_eq!(out, 0);
 
-        let r = _addcarry_u32(0, 3, 4, &mut out);
+        let r = _addcarryx_u32(0, 3, 4, &mut out);
         assert_eq!(r, 0);
         assert_eq!(out, 7);
 
-        let r = _addcarry_u32(1, 3, 4, &mut out);
+        let r = _addcarryx_u32(1, 3, 4, &mut out);
         assert_eq!(r, 0);
         assert_eq!(out, 8);
     }
 
+    #[simd_test(enable = "adx")]
+    unsafe fn test_addcarryx_u32_2() {
+        unsafe fn add_1_2_3() -> u32 {
+            let mut out = 0;
+            _addcarryx_u32(1, 2, 3, &mut out);
+            out
+        }
+        assert_eq!(6, add_1_2_3());
+    }
+
     #[test]
     fn test_subborrow_u32() {
         unsafe {