diff --git a/compiler/rustc_codegen_gcc/src/builder.rs b/compiler/rustc_codegen_gcc/src/builder.rs
index 88049d67964b1..d42438ba92f59 100644
--- a/compiler/rustc_codegen_gcc/src/builder.rs
+++ b/compiler/rustc_codegen_gcc/src/builder.rs
@@ -1850,6 +1850,17 @@ impl<'a, 'gcc, 'tcx> BuilderMethods<'a, 'tcx> for Builder<'a, 'gcc, 'tcx> {
     fn fptosi_sat(&mut self, val: RValue<'gcc>, dest_ty: Type<'gcc>) -> RValue<'gcc> {
         self.fptoint_sat(true, val, dest_ty)
     }
+
+    fn ptrauth_resign(
+        &mut self,
+        _value: Self::Value,
+        _old_key: u32,
+        _old_discriminator: u64,
+        _new_key: u32,
+        _new_discriminator: u64,
+    ) -> Self::Value {
+        bug!("Resigning of pointers not implemented");
+    }
 }
 
 impl<'a, 'gcc, 'tcx> Builder<'a, 'gcc, 'tcx> {
diff --git a/compiler/rustc_codegen_gcc/src/common.rs b/compiler/rustc_codegen_gcc/src/common.rs
index 6bd186f1121fc..712a1c14ef8e6 100644
--- a/compiler/rustc_codegen_gcc/src/common.rs
+++ b/compiler/rustc_codegen_gcc/src/common.rs
@@ -323,7 +323,7 @@ impl<'gcc, 'tcx> ConstCodegenMethods for CodegenCx<'gcc, 'tcx> {
         cv: Scalar,
         layout: abi::Scalar,
         ty: Type<'gcc>,
-        _schema: Option<&PointerAuthSchema>,
+        _ptrauth_schema: Option<PointerAuthSchema>,
     ) -> RValue<'gcc> {
         let bitsize = if layout.is_bool() { 1 } else { layout.size(self).bits() };
         match cv {
diff --git a/compiler/rustc_codegen_gcc/src/context.rs b/compiler/rustc_codegen_gcc/src/context.rs
index 19fbe37c27b9e..8c1fc18ee7a78 100644
--- a/compiler/rustc_codegen_gcc/src/context.rs
+++ b/compiler/rustc_codegen_gcc/src/context.rs
@@ -405,7 +405,7 @@ impl<'gcc, 'tcx> MiscCodegenMethods<'tcx> for CodegenCx<'gcc, 'tcx> {
     fn get_fn_addr(
         &self,
         instance: Instance<'tcx>,
-        _pointer_auth_schema: Option<&PointerAuthSchema>,
+        _ptrauth_schema: Option<PointerAuthSchema>,
     ) -> RValue<'gcc> {
         let func_name = self.tcx.symbol_name(instance).name;
 
diff --git a/compiler/rustc_codegen_gcc/src/int.rs b/compiler/rustc_codegen_gcc/src/int.rs
index dfae4eceebe44..fe0654c665c76 100644
--- a/compiler/rustc_codegen_gcc/src/int.rs
+++ b/compiler/rustc_codegen_gcc/src/int.rs
@@ -375,6 +375,7 @@ impl<'a, 'gcc, 'tcx> Builder<'a, 'gcc, 'tcx> {
             fixed_count: 3,
             conv: CanonAbi::C,
             can_unwind: false,
+            ptrauth_discriminator: None,
         };
         fn_abi.adjust_for_foreign_abi(self.cx, ExternAbi::C { unwind: false });
 
diff --git a/compiler/rustc_codegen_llvm/src/builder.rs b/compiler/rustc_codegen_llvm/src/builder.rs
index 87c941cdeb23a..63563bad966d9 100644
--- a/compiler/rustc_codegen_llvm/src/builder.rs
+++ b/compiler/rustc_codegen_llvm/src/builder.rs
@@ -1553,6 +1553,30 @@ impl<'a, 'll, 'tcx> BuilderMethods<'a, 'tcx> for Builder<'a, 'll, 'tcx> {
         let cold_inline = llvm::AttributeKind::Cold.create_attr(self.llcx);
         attributes::apply_to_callsite(llret, llvm::AttributePlace::Function, &[cold_inline]);
     }
+
+    fn ptrauth_resign(
+        &mut self,
+        value: &'ll Value,
+        old_key: u32,
+        old_discriminator: u64,
+        new_key: u32,
+        new_discriminator: u64,
+    ) -> &'ll Value {
+        let ptr_as_int = self.ptrtoint(value, self.type_i64());
+        let resigned_int = self.call_intrinsic(
+            "llvm.ptrauth.resign",
+            &[],
+            &[
+                ptr_as_int,
+                self.const_i32(old_key as i32),
+                self.const_i64(old_discriminator as i64),
+                self.const_i32(new_key as i32),
+                self.const_i64(new_discriminator as i64),
+            ],
+        );
+
+        self.inttoptr(resigned_int, self.val_ty(value))
+    }
 }
 
 impl<'ll> StaticBuilderMethods for Builder<'_, 'll, '_> {
@@ -2171,8 +2195,13 @@ impl<'a, 'll, 'tcx> Builder<'a, 'll, 'tcx> {
         // bundles.
         // Once this is resolved, we should analyze each call and skip direct calls. See the
         // discussion in the rust-lang issue: <https://github.com/rust-lang/rust/issues/152532>
-        let key: u32 = 0;
-        let discriminator: u64 = 0;
+
+        let key: u32 = self.sess().pointer_authentication_fn_ptr_key().unwrap() as u32;
+        // If sess().pointer_authentication_fn_ptr_type_discrimination() is enabled, this contains
+        // the function pointer type discriminator; otherwise, it is None. LLVM expects a u64 here,
+        // so use 0 when no discriminator is present.
+        let discriminator = fn_abi?.ptrauth_discriminator.unwrap_or(0);
+
         Some(llvm::OperandBundleBox::new(
             "ptrauth",
             &[self.const_u32(key), self.const_u64(discriminator)],
diff --git a/compiler/rustc_codegen_llvm/src/common.rs b/compiler/rustc_codegen_llvm/src/common.rs
index 3fe4550b6759e..8f63e409028ce 100644
--- a/compiler/rustc_codegen_llvm/src/common.rs
+++ b/compiler/rustc_codegen_llvm/src/common.rs
@@ -30,11 +30,9 @@ pub(crate) fn maybe_sign_fn_ptr<'ll, 'tcx>(
     cx: &CodegenCx<'ll, '_>,
     instance: Instance<'tcx>,
     llfn: &'ll llvm::Value,
-    schema: &PointerAuthSchema,
+    ptrauth_schema: PointerAuthSchema,
 ) -> &'ll llvm::Value {
-    if cx.tcx.sess.pointer_authentication_functions().is_none() {
-        return llfn;
-    }
+    assert!(cx.tcx.sess.pointer_authentication_functions().is_some());
 
     // Only free functions or methods
     let def_id = instance.def_id();
@@ -54,7 +52,7 @@ pub(crate) fn maybe_sign_fn_ptr<'ll, 'tcx>(
         return llfn;
     }
 
-    let addr_diversity = match schema.is_address_discriminated {
+    let addr_diversity = match ptrauth_schema.is_address_discriminated {
         PointerAuthAddressDiscriminator::HardwareAddress(true) => Some(llfn),
         PointerAuthAddressDiscriminator::HardwareAddress(false) => None,
         PointerAuthAddressDiscriminator::Synthetic(val) => {
@@ -63,7 +61,12 @@ pub(crate) fn maybe_sign_fn_ptr<'ll, 'tcx>(
             Some(unsafe { llvm::LLVMConstIntToPtr(llval, llty) })
         }
     };
-    const_ptr_auth(llfn, schema.key as u32, schema.constant_discriminator as u64, addr_diversity)
+    const_ptr_auth(
+        llfn,
+        ptrauth_schema.key as u32,
+        ptrauth_schema.constant_discriminator as u64,
+        addr_diversity,
+    )
 }
 
 /*
@@ -179,11 +182,11 @@ impl<'ll, 'tcx> CodegenCx<'ll, 'tcx> {
         &self,
         global_alloc: GlobalAlloc<'tcx>,
         need_symbol_name: bool,
-        schema: Option<&PointerAuthSchema>,
+        ptrauth_schema: Option<PointerAuthSchema>,
     ) -> Result<&'ll Value, u64> {
         let alloc = match global_alloc {
             GlobalAlloc::Function { instance, .. } => {
-                return Ok(self.get_fn_addr(instance, schema));
+                return Ok(self.get_fn_addr(instance, ptrauth_schema));
             }
             GlobalAlloc::Static(def_id) => {
                 assert!(self.tcx.is_static(def_id));
@@ -405,7 +408,7 @@ impl<'ll, 'tcx> ConstCodegenMethods for CodegenCx<'ll, 'tcx> {
         cv: Scalar,
         layout: abi::Scalar,
         llty: &'ll Type,
-        schema: Option<&PointerAuthSchema>,
+        ptrauth_schema: Option<PointerAuthSchema>,
     ) -> &'ll Value {
         let bitsize = if layout.is_bool() { 1 } else { layout.size(self).bits() };
         match cv {
@@ -422,7 +425,7 @@ impl<'ll, 'tcx> ConstCodegenMethods for CodegenCx<'ll, 'tcx> {
                 let (prov, offset) = ptr.prov_and_relative_offset();
                 let global_alloc = self.tcx.global_alloc(prov.alloc_id());
                 let base_addr_space = global_alloc.address_space(self);
-                let base_addr = match self.alloc_to_backend(global_alloc, false, schema) {
+                let base_addr = match self.alloc_to_backend(global_alloc, false, ptrauth_schema) {
                     Ok(base_addr) => base_addr,
                     Err(base_addr) => {
                         let val = base_addr.wrapping_add(offset.bytes());
diff --git a/compiler/rustc_codegen_llvm/src/context.rs b/compiler/rustc_codegen_llvm/src/context.rs
index 853c4bfc9ca3f..c136fb6bbde8a 100644
--- a/compiler/rustc_codegen_llvm/src/context.rs
+++ b/compiler/rustc_codegen_llvm/src/context.rs
@@ -938,7 +938,7 @@ impl<'ll, 'tcx> MiscCodegenMethods<'tcx> for CodegenCx<'ll, 'tcx> {
     fn get_fn_addr(
         &self,
         instance: Instance<'tcx>,
-        pointer_auth_schema: Option<&PointerAuthSchema>,
+        ptrauth_schema: Option<PointerAuthSchema>,
     ) -> &'ll Value {
         // When pointer authentication metadata is provided, `get_fn_addr` will
         // attempt to sign the pointer using LLVM's `ConstPtrAuth` constant
@@ -953,7 +953,7 @@ impl<'ll, 'tcx> MiscCodegenMethods<'tcx> for CodegenCx<'ll, 'tcx> {
         // <https://github.com/rust-lang/rust/issues/152532>, and comment in
         // builder's `ptrauth_operand_bundle`.
         let llfn = get_fn(self, instance);
-        match pointer_auth_schema {
+        match ptrauth_schema {
             Some(schema) => common::maybe_sign_fn_ptr(self, instance, llfn, schema),
             None => llfn,
         }
diff --git a/compiler/rustc_codegen_ssa/src/traits/builder.rs b/compiler/rustc_codegen_ssa/src/traits/builder.rs
index cb0209a0ae369..0e37705ec82b5 100644
--- a/compiler/rustc_codegen_ssa/src/traits/builder.rs
+++ b/compiler/rustc_codegen_ssa/src/traits/builder.rs
@@ -667,4 +667,13 @@ pub trait BuilderMethods<'a, 'tcx>:
     fn zext(&mut self, val: Self::Value, dest_ty: Self::Type) -> Self::Value;
 
     fn apply_attrs_to_cleanup_callsite(&mut self, llret: Self::Value);
+
+    fn ptrauth_resign(
+        &mut self,
+        value: Self::Value,
+        old_key: u32,
+        old_discriminator: u64,
+        new_key: u32,
+        new_discriminator: u64,
+    ) -> Self::Value;
 }
diff --git a/compiler/rustc_codegen_ssa/src/traits/consts.rs b/compiler/rustc_codegen_ssa/src/traits/consts.rs
index b4eba38d39c19..b45b5667be6c9 100644
--- a/compiler/rustc_codegen_ssa/src/traits/consts.rs
+++ b/compiler/rustc_codegen_ssa/src/traits/consts.rs
@@ -47,7 +47,7 @@ pub trait ConstCodegenMethods: BackendTypes {
         cv: Scalar,
         layout: abi::Scalar,
         llty: Self::Type,
-        schema: Option<&PointerAuthSchema>,
+        ptrauth_schema: Option<PointerAuthSchema>,
     ) -> Self::Value;
 
     fn const_ptr_byte_offset(&self, val: Self::Value, offset: abi::Size) -> Self::Value;
diff --git a/compiler/rustc_codegen_ssa/src/traits/misc.rs b/compiler/rustc_codegen_ssa/src/traits/misc.rs
index add7128a2974b..3d1a931a12e83 100644
--- a/compiler/rustc_codegen_ssa/src/traits/misc.rs
+++ b/compiler/rustc_codegen_ssa/src/traits/misc.rs
@@ -22,7 +22,7 @@ pub trait MiscCodegenMethods<'tcx>: BackendTypes {
     fn get_fn_addr(
         &self,
         instance: Instance<'tcx>,
-        pointer_auth_schema: Option<&PointerAuthSchema>,
+        ptrauth_schema: Option<PointerAuthSchema>,
     ) -> Self::Value;
     fn eh_personality(&self) -> Self::Function;
     fn sess(&self) -> &Session;
diff --git a/compiler/rustc_session/src/session.rs b/compiler/rustc_session/src/session.rs
index f04f40dd17168..e31176a88acee 100644
--- a/compiler/rustc_session/src/session.rs
+++ b/compiler/rustc_session/src/session.rs
@@ -95,6 +95,7 @@ pub enum PointerAuthARM8_3Key {
 }
 
 /// Forms of extra discrimination.
+#[derive(Clone, Debug, PartialEq)]
 pub enum PointerAuthDiscrimination {
     /// No additional discrimination.
     None,
@@ -107,6 +108,7 @@ pub enum PointerAuthDiscrimination {
 }
 
 /// Types of address discrimination.
+#[derive(Clone, Debug)]
 pub enum PointerAuthAddressDiscriminator {
     /// Enable/disable hardware address discrimination.
     HardwareAddress(bool),
@@ -115,6 +117,7 @@ pub enum PointerAuthAddressDiscriminator {
     Synthetic(u64),
 }
 
+#[derive(Clone, Debug)]
 pub struct PointerAuthSchema {
     pub is_address_discriminated: PointerAuthAddressDiscriminator,
     pub discrimination_kind: PointerAuthDiscrimination,
@@ -1185,12 +1188,26 @@ impl Session {
         self.pointer_auth_config.is_some()
     }
 
-    pub fn pointer_authentication_functions(&self) -> Option<&PointerAuthSchema> {
-        self.pointer_auth_config.as_ref().and_then(|cfg| cfg.function_pointers.as_ref())
+    pub fn pointer_authentication_functions(&self) -> Option<PointerAuthSchema> {
+        self.pointer_auth_config.as_ref().and_then(|cfg| cfg.function_pointers.clone())
     }
 
-    pub fn pointer_authentication_init_fini(&self) -> Option<&PointerAuthSchema> {
-        self.pointer_auth_config.as_ref().and_then(|cfg| cfg.init_fini.as_ref())
+    pub fn pointer_authentication_init_fini(&self) -> Option<PointerAuthSchema> {
+        self.pointer_auth_config.as_ref().and_then(|cfg| cfg.init_fini.clone())
+    }
+
+    pub fn pointer_authentication_fn_ptr_type_discrimination(&self) -> bool {
+        self.pointer_auth_config
+            .as_ref()
+            .and_then(|cfg| cfg.function_pointers.as_ref())
+            .is_some_and(|schema| schema.discrimination_kind == PointerAuthDiscrimination::Type)
+    }
+
+    pub fn pointer_authentication_fn_ptr_key(&self) -> Option<PointerAuthARM8_3Key> {
+        self.pointer_auth_config
+            .as_ref()
+            .and_then(|cfg| cfg.function_pointers.as_ref())
+            .map(|schema| schema.key)
     }
 }
 
diff --git a/compiler/rustc_target/src/callconv/mod.rs b/compiler/rustc_target/src/callconv/mod.rs
index 26fedbd8a5481..14ad0eb477d5d 100644
--- a/compiler/rustc_target/src/callconv/mod.rs
+++ b/compiler/rustc_target/src/callconv/mod.rs
@@ -625,12 +625,15 @@ pub struct FnAbi<'a, Ty> {
     pub conv: CanonAbi,
     /// Indicates if an unwind may happen across a call to this function.
     pub can_unwind: bool,
+    /// Computed type discriminator for pointer authentication purpose.
+    pub ptrauth_discriminator: Option<u64>,
 }
 
 // Needs to be a custom impl because of the bounds on the `TyAndLayout` debug impl.
 impl<'a, Ty: fmt::Display> fmt::Debug for FnAbi<'a, Ty> {
     fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
-        let FnAbi { args, ret, c_variadic, fixed_count, conv, can_unwind } = self;
+        let FnAbi { args, ret, c_variadic, fixed_count, conv, can_unwind, ptrauth_discriminator } =
+            self;
         f.debug_struct("FnAbi")
             .field("args", args)
             .field("ret", ret)
@@ -638,6 +641,7 @@ impl<'a, Ty: fmt::Display> fmt::Debug for FnAbi<'a, Ty> {
             .field("fixed_count", fixed_count)
             .field("conv", conv)
             .field("can_unwind", can_unwind)
+            .field("ptrauth_discriminator", ptrauth_discriminator)
             .finish()
     }
 }
@@ -950,6 +954,6 @@ mod size_asserts {
     use super::*;
     // tidy-alphabetical-start
     static_assert_size!(ArgAbi<'_, usize>, 56);
-    static_assert_size!(FnAbi<'_, usize>, 80);
+    static_assert_size!(FnAbi<'_, usize>, 96);
     // tidy-alphabetical-end
 }
diff --git a/compiler/rustc_ty_utils/src/abi.rs b/compiler/rustc_ty_utils/src/abi.rs
index 65d589cc35aa0..318b3273219a5 100644
--- a/compiler/rustc_ty_utils/src/abi.rs
+++ b/compiler/rustc_ty_utils/src/abi.rs
@@ -6,6 +6,7 @@ use rustc_hir::attrs::lang_items::LangItem;
 use rustc_hir::{self as hir, find_attr};
 use rustc_middle::bug;
 use rustc_middle::middle::deduced_param_attrs::DeducedParamAttrs;
+use rustc_middle::ptrauth::ptrauth_compute_fn_ptr_type_discriminator_for;
 use rustc_middle::query::Providers;
 use rustc_middle::ty::layout::{
     FnAbiError, HasTyCtxt, HasTypingEnv, LayoutCx, LayoutOf, TyAndLayout, fn_can_unwind,
@@ -611,6 +612,11 @@ fn fn_abi_new_uncached<'tcx>(
             determined_fn_def_id,
             sig.abi(),
         ),
+        ptrauth_discriminator: if tcx.sess.pointer_authentication_fn_ptr_type_discrimination() {
+            Some(ptrauth_compute_fn_ptr_type_discriminator_for(tcx, sig).unwrap_or(0).into())
+        } else {
+            None
+        },
     };
     fn_abi_adjust_for_abi(cx, &mut fn_abi, sig.abi());
     debug!("fn_abi_new_uncached = {:?}", fn_abi);
diff --git a/tests/ui/abi/c-zst.aarch64-darwin.stderr b/tests/ui/abi/c-zst.aarch64-darwin.stderr
index 6d2ac90c0c975..e7cb6199ab45c 100644
--- a/tests/ui/abi/c-zst.aarch64-darwin.stderr
+++ b/tests/ui/abi/c-zst.aarch64-darwin.stderr
@@ -59,6 +59,7 @@ error: fn_abi_of(pass_zst) = FnAbi {
            fixed_count: 1,
            conv: C,
            can_unwind: false,
+           ptrauth_discriminator: None,
        }
   --> $DIR/c-zst.rs:65:1
    |
diff --git a/tests/ui/abi/c-zst.powerpc-linux.stderr b/tests/ui/abi/c-zst.powerpc-linux.stderr
index edea2d5772280..437ebd63ceba5 100644
--- a/tests/ui/abi/c-zst.powerpc-linux.stderr
+++ b/tests/ui/abi/c-zst.powerpc-linux.stderr
@@ -70,6 +70,7 @@ error: fn_abi_of(pass_zst) = FnAbi {
            fixed_count: 1,
            conv: C,
            can_unwind: false,
+           ptrauth_discriminator: None,
        }
   --> $DIR/c-zst.rs:65:1
    |
diff --git a/tests/ui/abi/c-zst.s390x-linux.stderr b/tests/ui/abi/c-zst.s390x-linux.stderr
index edea2d5772280..437ebd63ceba5 100644
--- a/tests/ui/abi/c-zst.s390x-linux.stderr
+++ b/tests/ui/abi/c-zst.s390x-linux.stderr
@@ -70,6 +70,7 @@ error: fn_abi_of(pass_zst) = FnAbi {
            fixed_count: 1,
            conv: C,
            can_unwind: false,
+           ptrauth_discriminator: None,
        }
   --> $DIR/c-zst.rs:65:1
    |
diff --git a/tests/ui/abi/c-zst.sparc64-linux.stderr b/tests/ui/abi/c-zst.sparc64-linux.stderr
index edea2d5772280..437ebd63ceba5 100644
--- a/tests/ui/abi/c-zst.sparc64-linux.stderr
+++ b/tests/ui/abi/c-zst.sparc64-linux.stderr
@@ -70,6 +70,7 @@ error: fn_abi_of(pass_zst) = FnAbi {
            fixed_count: 1,
            conv: C,
            can_unwind: false,
+           ptrauth_discriminator: None,
        }
   --> $DIR/c-zst.rs:65:1
    |
diff --git a/tests/ui/abi/c-zst.x86_64-linux.stderr b/tests/ui/abi/c-zst.x86_64-linux.stderr
index 6d2ac90c0c975..e7cb6199ab45c 100644
--- a/tests/ui/abi/c-zst.x86_64-linux.stderr
+++ b/tests/ui/abi/c-zst.x86_64-linux.stderr
@@ -59,6 +59,7 @@ error: fn_abi_of(pass_zst) = FnAbi {
            fixed_count: 1,
            conv: C,
            can_unwind: false,
+           ptrauth_discriminator: None,
        }
   --> $DIR/c-zst.rs:65:1
    |
diff --git a/tests/ui/abi/c-zst.x86_64-pc-windows-gnu.stderr b/tests/ui/abi/c-zst.x86_64-pc-windows-gnu.stderr
index edea2d5772280..437ebd63ceba5 100644
--- a/tests/ui/abi/c-zst.x86_64-pc-windows-gnu.stderr
+++ b/tests/ui/abi/c-zst.x86_64-pc-windows-gnu.stderr
@@ -70,6 +70,7 @@ error: fn_abi_of(pass_zst) = FnAbi {
            fixed_count: 1,
            conv: C,
            can_unwind: false,
+           ptrauth_discriminator: None,
        }
   --> $DIR/c-zst.rs:65:1
    |
diff --git a/tests/ui/abi/debug.generic.stderr b/tests/ui/abi/debug.generic.stderr
index 6242d93b09534..82c469e0f4f80 100644
--- a/tests/ui/abi/debug.generic.stderr
+++ b/tests/ui/abi/debug.generic.stderr
@@ -106,6 +106,7 @@ error: fn_abi_of(test) = FnAbi {
            fixed_count: 1,
            conv: Rust,
            can_unwind: $SOME_BOOL,
+           ptrauth_discriminator: None,
        }
   --> $DIR/debug.rs:31:1
    |
@@ -187,6 +188,7 @@ error: fn_abi_of(TestFnPtr) = FnAbi {
            fixed_count: 1,
            conv: Rust,
            can_unwind: $SOME_BOOL,
+           ptrauth_discriminator: None,
        }
   --> $DIR/debug.rs:37:1
    |
@@ -258,6 +260,7 @@ error: fn_abi_of(test_generic) = FnAbi {
            fixed_count: 1,
            conv: Rust,
            can_unwind: $SOME_BOOL,
+           ptrauth_discriminator: None,
        }
   --> $DIR/debug.rs:40:1
    |
@@ -336,6 +339,7 @@ error: ABIs are not compatible
            fixed_count: 1,
            conv: Rust,
            can_unwind: $SOME_BOOL,
+           ptrauth_discriminator: None,
        }
        right ABI = FnAbi {
            args: [
@@ -402,6 +406,7 @@ error: ABIs are not compatible
            fixed_count: 1,
            conv: Rust,
            can_unwind: $SOME_BOOL,
+           ptrauth_discriminator: None,
        }
   --> $DIR/debug.rs:59:1
    |
@@ -481,6 +486,7 @@ error: ABIs are not compatible
            fixed_count: 1,
            conv: Rust,
            can_unwind: $SOME_BOOL,
+           ptrauth_discriminator: None,
        }
        right ABI = FnAbi {
            args: [
@@ -554,6 +560,7 @@ error: ABIs are not compatible
            fixed_count: 1,
            conv: Rust,
            can_unwind: $SOME_BOOL,
+           ptrauth_discriminator: None,
        }
   --> $DIR/debug.rs:62:1
    |
@@ -626,6 +633,7 @@ error: ABIs are not compatible
            fixed_count: 1,
            conv: Rust,
            can_unwind: $SOME_BOOL,
+           ptrauth_discriminator: None,
        }
        right ABI = FnAbi {
            args: [
@@ -692,6 +700,7 @@ error: ABIs are not compatible
            fixed_count: 1,
            conv: Rust,
            can_unwind: $SOME_BOOL,
+           ptrauth_discriminator: None,
        }
   --> $DIR/debug.rs:65:1
    |
@@ -764,6 +773,7 @@ error: ABIs are not compatible
            fixed_count: 1,
            conv: Rust,
            can_unwind: $SOME_BOOL,
+           ptrauth_discriminator: None,
        }
        right ABI = FnAbi {
            args: [
@@ -830,6 +840,7 @@ error: ABIs are not compatible
            fixed_count: 1,
            conv: Rust,
            can_unwind: $SOME_BOOL,
+           ptrauth_discriminator: None,
        }
   --> $DIR/debug.rs:69:1
    |
@@ -924,6 +935,7 @@ error: fn_abi_of(assoc_test) = FnAbi {
            fixed_count: 1,
            conv: Rust,
            can_unwind: $SOME_BOOL,
+           ptrauth_discriminator: None,
        }
   --> $DIR/debug.rs:52:5
    |
diff --git a/tests/ui/abi/debug.loongarch64.stderr b/tests/ui/abi/debug.loongarch64.stderr
index 176c68ecd4c7b..b5c73d00564c6 100644
--- a/tests/ui/abi/debug.loongarch64.stderr
+++ b/tests/ui/abi/debug.loongarch64.stderr
@@ -106,6 +106,7 @@ error: fn_abi_of(test) = FnAbi {
            fixed_count: 1,
            conv: Rust,
            can_unwind: $SOME_BOOL,
+           ptrauth_discriminator: None,
        }
   --> $DIR/debug.rs:31:1
    |
@@ -187,6 +188,7 @@ error: fn_abi_of(TestFnPtr) = FnAbi {
            fixed_count: 1,
            conv: Rust,
            can_unwind: $SOME_BOOL,
+           ptrauth_discriminator: None,
        }
   --> $DIR/debug.rs:37:1
    |
@@ -258,6 +260,7 @@ error: fn_abi_of(test_generic) = FnAbi {
            fixed_count: 1,
            conv: Rust,
            can_unwind: $SOME_BOOL,
+           ptrauth_discriminator: None,
        }
   --> $DIR/debug.rs:40:1
    |
@@ -336,6 +339,7 @@ error: ABIs are not compatible
            fixed_count: 1,
            conv: Rust,
            can_unwind: $SOME_BOOL,
+           ptrauth_discriminator: None,
        }
        right ABI = FnAbi {
            args: [
@@ -402,6 +406,7 @@ error: ABIs are not compatible
            fixed_count: 1,
            conv: Rust,
            can_unwind: $SOME_BOOL,
+           ptrauth_discriminator: None,
        }
   --> $DIR/debug.rs:59:1
    |
@@ -481,6 +486,7 @@ error: ABIs are not compatible
            fixed_count: 1,
            conv: Rust,
            can_unwind: $SOME_BOOL,
+           ptrauth_discriminator: None,
        }
        right ABI = FnAbi {
            args: [
@@ -554,6 +560,7 @@ error: ABIs are not compatible
            fixed_count: 1,
            conv: Rust,
            can_unwind: $SOME_BOOL,
+           ptrauth_discriminator: None,
        }
   --> $DIR/debug.rs:62:1
    |
@@ -626,6 +633,7 @@ error: ABIs are not compatible
            fixed_count: 1,
            conv: Rust,
            can_unwind: $SOME_BOOL,
+           ptrauth_discriminator: None,
        }
        right ABI = FnAbi {
            args: [
@@ -692,6 +700,7 @@ error: ABIs are not compatible
            fixed_count: 1,
            conv: Rust,
            can_unwind: $SOME_BOOL,
+           ptrauth_discriminator: None,
        }
   --> $DIR/debug.rs:65:1
    |
@@ -764,6 +773,7 @@ error: ABIs are not compatible
            fixed_count: 1,
            conv: Rust,
            can_unwind: $SOME_BOOL,
+           ptrauth_discriminator: None,
        }
        right ABI = FnAbi {
            args: [
@@ -830,6 +840,7 @@ error: ABIs are not compatible
            fixed_count: 1,
            conv: Rust,
            can_unwind: $SOME_BOOL,
+           ptrauth_discriminator: None,
        }
   --> $DIR/debug.rs:69:1
    |
@@ -924,6 +935,7 @@ error: fn_abi_of(assoc_test) = FnAbi {
            fixed_count: 1,
            conv: Rust,
            can_unwind: $SOME_BOOL,
+           ptrauth_discriminator: None,
        }
   --> $DIR/debug.rs:52:5
    |
diff --git a/tests/ui/abi/debug.riscv64.stderr b/tests/ui/abi/debug.riscv64.stderr
index 176c68ecd4c7b..b5c73d00564c6 100644
--- a/tests/ui/abi/debug.riscv64.stderr
+++ b/tests/ui/abi/debug.riscv64.stderr
@@ -106,6 +106,7 @@ error: fn_abi_of(test) = FnAbi {
            fixed_count: 1,
            conv: Rust,
            can_unwind: $SOME_BOOL,
+           ptrauth_discriminator: None,
        }
   --> $DIR/debug.rs:31:1
    |
@@ -187,6 +188,7 @@ error: fn_abi_of(TestFnPtr) = FnAbi {
            fixed_count: 1,
            conv: Rust,
            can_unwind: $SOME_BOOL,
+           ptrauth_discriminator: None,
        }
   --> $DIR/debug.rs:37:1
    |
@@ -258,6 +260,7 @@ error: fn_abi_of(test_generic) = FnAbi {
            fixed_count: 1,
            conv: Rust,
            can_unwind: $SOME_BOOL,
+           ptrauth_discriminator: None,
        }
   --> $DIR/debug.rs:40:1
    |
@@ -336,6 +339,7 @@ error: ABIs are not compatible
            fixed_count: 1,
            conv: Rust,
            can_unwind: $SOME_BOOL,
+           ptrauth_discriminator: None,
        }
        right ABI = FnAbi {
            args: [
@@ -402,6 +406,7 @@ error: ABIs are not compatible
            fixed_count: 1,
            conv: Rust,
            can_unwind: $SOME_BOOL,
+           ptrauth_discriminator: None,
        }
   --> $DIR/debug.rs:59:1
    |
@@ -481,6 +486,7 @@ error: ABIs are not compatible
            fixed_count: 1,
            conv: Rust,
            can_unwind: $SOME_BOOL,
+           ptrauth_discriminator: None,
        }
        right ABI = FnAbi {
            args: [
@@ -554,6 +560,7 @@ error: ABIs are not compatible
            fixed_count: 1,
            conv: Rust,
            can_unwind: $SOME_BOOL,
+           ptrauth_discriminator: None,
        }
   --> $DIR/debug.rs:62:1
    |
@@ -626,6 +633,7 @@ error: ABIs are not compatible
            fixed_count: 1,
            conv: Rust,
            can_unwind: $SOME_BOOL,
+           ptrauth_discriminator: None,
        }
        right ABI = FnAbi {
            args: [
@@ -692,6 +700,7 @@ error: ABIs are not compatible
            fixed_count: 1,
            conv: Rust,
            can_unwind: $SOME_BOOL,
+           ptrauth_discriminator: None,
        }
   --> $DIR/debug.rs:65:1
    |
@@ -764,6 +773,7 @@ error: ABIs are not compatible
            fixed_count: 1,
            conv: Rust,
            can_unwind: $SOME_BOOL,
+           ptrauth_discriminator: None,
        }
        right ABI = FnAbi {
            args: [
@@ -830,6 +840,7 @@ error: ABIs are not compatible
            fixed_count: 1,
            conv: Rust,
            can_unwind: $SOME_BOOL,
+           ptrauth_discriminator: None,
        }
   --> $DIR/debug.rs:69:1
    |
@@ -924,6 +935,7 @@ error: fn_abi_of(assoc_test) = FnAbi {
            fixed_count: 1,
            conv: Rust,
            can_unwind: $SOME_BOOL,
+           ptrauth_discriminator: None,
        }
   --> $DIR/debug.rs:52:5
    |
diff --git a/tests/ui/abi/numbers-arithmetic/x86-64-sysv64-arg-ext.apple.stderr b/tests/ui/abi/numbers-arithmetic/x86-64-sysv64-arg-ext.apple.stderr
index 65818feab4297..df49fbfe3d272 100644
--- a/tests/ui/abi/numbers-arithmetic/x86-64-sysv64-arg-ext.apple.stderr
+++ b/tests/ui/abi/numbers-arithmetic/x86-64-sysv64-arg-ext.apple.stderr
@@ -69,6 +69,7 @@ error: fn_abi_of(i8) = FnAbi {
                SysV64,
            ),
            can_unwind: false,
+           ptrauth_discriminator: None,
        }
   --> $DIR/x86-64-sysv64-arg-ext.rs:13:1
    |
@@ -146,6 +147,7 @@ error: fn_abi_of(u8) = FnAbi {
                SysV64,
            ),
            can_unwind: false,
+           ptrauth_discriminator: None,
        }
   --> $DIR/x86-64-sysv64-arg-ext.rs:19:1
    |
@@ -223,6 +225,7 @@ error: fn_abi_of(i16) = FnAbi {
                SysV64,
            ),
            can_unwind: false,
+           ptrauth_discriminator: None,
        }
   --> $DIR/x86-64-sysv64-arg-ext.rs:25:1
    |
@@ -300,6 +303,7 @@ error: fn_abi_of(u16) = FnAbi {
                SysV64,
            ),
            can_unwind: false,
+           ptrauth_discriminator: None,
        }
   --> $DIR/x86-64-sysv64-arg-ext.rs:31:1
    |
@@ -377,6 +381,7 @@ error: fn_abi_of(i32) = FnAbi {
                SysV64,
            ),
            can_unwind: false,
+           ptrauth_discriminator: None,
        }
   --> $DIR/x86-64-sysv64-arg-ext.rs:37:1
    |
@@ -454,6 +459,7 @@ error: fn_abi_of(u32) = FnAbi {
                SysV64,
            ),
            can_unwind: false,
+           ptrauth_discriminator: None,
        }
   --> $DIR/x86-64-sysv64-arg-ext.rs:43:1
    |
diff --git a/tests/ui/abi/numbers-arithmetic/x86-64-sysv64-arg-ext.other.stderr b/tests/ui/abi/numbers-arithmetic/x86-64-sysv64-arg-ext.other.stderr
index cbe389c42d40a..7ceb6a2092af2 100644
--- a/tests/ui/abi/numbers-arithmetic/x86-64-sysv64-arg-ext.other.stderr
+++ b/tests/ui/abi/numbers-arithmetic/x86-64-sysv64-arg-ext.other.stderr
@@ -69,6 +69,7 @@ error: fn_abi_of(i8) = FnAbi {
                SysV64,
            ),
            can_unwind: false,
+           ptrauth_discriminator: None,
        }
   --> $DIR/x86-64-sysv64-arg-ext.rs:13:1
    |
@@ -146,6 +147,7 @@ error: fn_abi_of(u8) = FnAbi {
                SysV64,
            ),
            can_unwind: false,
+           ptrauth_discriminator: None,
        }
   --> $DIR/x86-64-sysv64-arg-ext.rs:19:1
    |
@@ -223,6 +225,7 @@ error: fn_abi_of(i16) = FnAbi {
                SysV64,
            ),
            can_unwind: false,
+           ptrauth_discriminator: None,
        }
   --> $DIR/x86-64-sysv64-arg-ext.rs:25:1
    |
@@ -300,6 +303,7 @@ error: fn_abi_of(u16) = FnAbi {
                SysV64,
            ),
            can_unwind: false,
+           ptrauth_discriminator: None,
        }
   --> $DIR/x86-64-sysv64-arg-ext.rs:31:1
    |
@@ -377,6 +381,7 @@ error: fn_abi_of(i32) = FnAbi {
                SysV64,
            ),
            can_unwind: false,
+           ptrauth_discriminator: None,
        }
   --> $DIR/x86-64-sysv64-arg-ext.rs:37:1
    |
@@ -454,6 +459,7 @@ error: fn_abi_of(u32) = FnAbi {
                SysV64,
            ),
            can_unwind: false,
+           ptrauth_discriminator: None,
        }
   --> $DIR/x86-64-sysv64-arg-ext.rs:43:1
    |
diff --git a/tests/ui/abi/pass-indirectly-attr.stderr b/tests/ui/abi/pass-indirectly-attr.stderr
index efeec0d86982b..935ab97647321 100644
--- a/tests/ui/abi/pass-indirectly-attr.stderr
+++ b/tests/ui/abi/pass-indirectly-attr.stderr
@@ -83,6 +83,7 @@ error: fn_abi_of(extern_c) = FnAbi {
            fixed_count: 1,
            conv: C,
            can_unwind: false,
+           ptrauth_discriminator: None,
        }
   --> $DIR/pass-indirectly-attr.rs:20:1
    |
@@ -174,6 +175,7 @@ error: fn_abi_of(extern_rust) = FnAbi {
            fixed_count: 1,
            conv: Rust,
            can_unwind: false,
+           ptrauth_discriminator: None,
        }
   --> $DIR/pass-indirectly-attr.rs:27:1
    |
diff --git a/tests/ui/abi/sysv64-zst.stderr b/tests/ui/abi/sysv64-zst.stderr
index 82d3793c35328..f19480faec4fa 100644
--- a/tests/ui/abi/sysv64-zst.stderr
+++ b/tests/ui/abi/sysv64-zst.stderr
@@ -61,6 +61,7 @@ error: fn_abi_of(pass_zst) = FnAbi {
                SysV64,
            ),
            can_unwind: false,
+           ptrauth_discriminator: None,
        }
   --> $DIR/sysv64-zst.rs:8:1
    |
diff --git a/tests/ui/c-variadic/pass-by-value-abi.aarch64.stderr b/tests/ui/c-variadic/pass-by-value-abi.aarch64.stderr
index 45edd7bc0e0ee..c616e45a9ab8e 100644
--- a/tests/ui/c-variadic/pass-by-value-abi.aarch64.stderr
+++ b/tests/ui/c-variadic/pass-by-value-abi.aarch64.stderr
@@ -70,6 +70,7 @@ error: fn_abi_of(take_va_list) = FnAbi {
            fixed_count: 1,
            conv: C,
            can_unwind: false,
+           ptrauth_discriminator: None,
        }
   --> $DIR/pass-by-value-abi.rs:27:1
    |
diff --git a/tests/ui/c-variadic/pass-by-value-abi.win.stderr b/tests/ui/c-variadic/pass-by-value-abi.win.stderr
index d5da912a9b89a..638a0856b7b7f 100644
--- a/tests/ui/c-variadic/pass-by-value-abi.win.stderr
+++ b/tests/ui/c-variadic/pass-by-value-abi.win.stderr
@@ -66,6 +66,7 @@ error: fn_abi_of(take_va_list) = FnAbi {
            fixed_count: 1,
            conv: C,
            can_unwind: false,
+           ptrauth_discriminator: None,
        }
   --> $DIR/pass-by-value-abi.rs:27:1
    |
diff --git a/tests/ui/c-variadic/pass-by-value-abi.x86_64.stderr b/tests/ui/c-variadic/pass-by-value-abi.x86_64.stderr
index 1e203b93e66b3..776d0a72287f9 100644
--- a/tests/ui/c-variadic/pass-by-value-abi.x86_64.stderr
+++ b/tests/ui/c-variadic/pass-by-value-abi.x86_64.stderr
@@ -70,6 +70,7 @@ error: fn_abi_of(take_va_list) = FnAbi {
            fixed_count: 1,
            conv: C,
            can_unwind: false,
+           ptrauth_discriminator: None,
        }
   --> $DIR/pass-by-value-abi.rs:27:1
    |
@@ -150,6 +151,7 @@ error: fn_abi_of(take_va_list_sysv64) = FnAbi {
                SysV64,
            ),
            can_unwind: false,
+           ptrauth_discriminator: None,
        }
   --> $DIR/pass-by-value-abi.rs:37:1
    |
@@ -230,6 +232,7 @@ error: fn_abi_of(take_va_list_win64) = FnAbi {
                Win64,
            ),
            can_unwind: false,
+           ptrauth_discriminator: None,
        }
   --> $DIR/pass-by-value-abi.rs:44:1
    |