dep_kind_vtables.rs

use rustc_middle::bug;
use rustc_middle::dep_graph::{DepKindVTable, DepNodeKey, KeyFingerprintStyle};
use rustc_middle::query::QueryCache;

use crate::QueryDispatcherUnerased;
use crate::plumbing::{force_from_dep_node_inner, try_load_from_on_disk_cache_inner};

/// [`DepKindVTable`] constructors for special dep kinds that aren't queries.
#[expect(non_snake_case, reason = "use non-snake case to avoid collision with query names")]
mod non_query {
    use super::*;

    // We use this for most things when incr. comp. is turned off.
    pub(crate) fn Null<'tcx>() -> DepKindVTable<'tcx> {
        DepKindVTable {
            is_anon: false,
            is_eval_always: false,
            key_fingerprint_style: KeyFingerprintStyle::Unit,
            force_from_dep_node: Some(|_, dep_node, _| {
                bug!("force_from_dep_node: encountered {dep_node:?}")
            }),
            try_load_from_on_disk_cache: None,
        }
    }

    // We use this for the forever-red node.
    pub(crate) fn Red<'tcx>() -> DepKindVTable<'tcx> {
        DepKindVTable {
            is_anon: false,
            is_eval_always: false,
            key_fingerprint_style: KeyFingerprintStyle::Unit,
            force_from_dep_node: Some(|_, dep_node, _| {
                bug!("force_from_dep_node: encountered {dep_node:?}")
            }),
            try_load_from_on_disk_cache: None,
        }
    }

    pub(crate) fn SideEffect<'tcx>() -> DepKindVTable<'tcx> {
        DepKindVTable {
            is_anon: false,
            is_eval_always: false,
            key_fingerprint_style: KeyFingerprintStyle::Unit,
            force_from_dep_node: Some(|tcx, _, prev_index| {
                tcx.dep_graph.force_diagnostic_node(tcx, prev_index);
                true
            }),
            try_load_from_on_disk_cache: None,
        }
    }

    pub(crate) fn AnonZeroDeps<'tcx>() -> DepKindVTable<'tcx> {
        DepKindVTable {
            is_anon: true,
            is_eval_always: false,
            key_fingerprint_style: KeyFingerprintStyle::Opaque,
            force_from_dep_node: Some(|_, _, _| bug!("cannot force an anon node")),
            try_load_from_on_disk_cache: None,
        }
    }

    pub(crate) fn TraitSelect<'tcx>() -> DepKindVTable<'tcx> {
        DepKindVTable {
            is_anon: true,
            is_eval_always: false,
            key_fingerprint_style: KeyFingerprintStyle::Unit,
            force_from_dep_node: None,
            try_load_from_on_disk_cache: None,
        }
    }

    pub(crate) fn CompileCodegenUnit<'tcx>() -> DepKindVTable<'tcx> {
        DepKindVTable {
            is_anon: false,
            is_eval_always: false,
            key_fingerprint_style: KeyFingerprintStyle::Opaque,
            force_from_dep_node: None,
            try_load_from_on_disk_cache: None,
        }
    }

    pub(crate) fn CompileMonoItem<'tcx>() -> DepKindVTable<'tcx> {
        DepKindVTable {
            is_anon: false,
            is_eval_always: false,
            key_fingerprint_style: KeyFingerprintStyle::Opaque,
            force_from_dep_node: None,
            try_load_from_on_disk_cache: None,
        }
    }

    pub(crate) fn Metadata<'tcx>() -> DepKindVTable<'tcx> {
        DepKindVTable {
            is_anon: false,
            is_eval_always: false,
            key_fingerprint_style: KeyFingerprintStyle::Unit,
            force_from_dep_node: None,
            try_load_from_on_disk_cache: None,
        }
    }
}

/// Shared implementation of the [`DepKindVTable`] constructor for queries.
/// Called from macro-generated code for each query.
pub(crate) fn make_dep_kind_vtable_for_query<'tcx, Q, Cache>(
    is_anon: bool,
    is_eval_always: bool,
) -> DepKindVTable<'tcx>
where
    Q: QueryDispatcherUnerased<'tcx, Cache>,
    Cache: QueryCache + 'tcx,
{
    let key_fingerprint_style = if is_anon {
        KeyFingerprintStyle::Opaque
    } else {
        <Cache::Key as DepNodeKey<'tcx>>::key_fingerprint_style()
    };

    if is_anon || !key_fingerprint_style.reconstructible() {
        return DepKindVTable {
            is_anon,
            is_eval_always,
            key_fingerprint_style,
            force_from_dep_node: None,
            try_load_from_on_disk_cache: None,
        };
    }

    DepKindVTable {
        is_anon,
        is_eval_always,
        key_fingerprint_style,
        force_from_dep_node: Some(|tcx, dep_node, _| {
            force_from_dep_node_inner(Q::query_vtable(tcx), tcx, dep_node)
        }),
        try_load_from_on_disk_cache: Some(|tcx, dep_node| {
            try_load_from_on_disk_cache_inner(Q::query_vtable(tcx), tcx, dep_node)
        }),
    }
}

/// Helper module containing a [`DepKindVTable`] constructor for each dep kind,
/// for use with [`rustc_middle::make_dep_kind_array`].
///
/// That macro will check that we gave it a constructor for every known dep kind.
mod _dep_kind_vtable_ctors {
    // Re-export all of the vtable constructors for non-query and query dep kinds.

    // Non-query vtable constructors are defined in normal code.
    pub(crate) use super::non_query::*;
    // Query vtable constructors are defined via a macro.
    pub(crate) use crate::_dep_kind_vtable_ctors_for_queries::*;
}

pub fn make_dep_kind_vtables<'tcx>(
    arena: &'tcx rustc_middle::arena::Arena<'tcx>,
) -> &'tcx [DepKindVTable<'tcx>] {
    // Create an array of vtables, one for each dep kind (non-query and query).
    let dep_kind_vtables: [DepKindVTable<'tcx>; _] =
        rustc_middle::make_dep_kind_array!(_dep_kind_vtable_ctors);
    arena.alloc_from_iter(dep_kind_vtables)
}