Struct IfdsCsrRuleInputFingerprint 

pub struct IfdsCsrRuleInputFingerprint {
    pub intra: u128,
    pub inter: u128,
    pub gen: u128,
    pub kill: u128,
}

Stable identity for IFDS rule tuples supplied to the CSR builder.

This is intentionally distinct from IfdsCsrProgramCacheKey: the generated program depends on dimensions and rule counts, while staged dispatch input reuse also depends on the actual tuple contents.

Fields

intra: u128

Fingerprint of (proc, src_block, dst_block) intra edges.

inter: u128

Fingerprint of (src_proc, src_block, dst_proc, dst_block) inter edges.

gen: u128

Fingerprint of (proc, block, fact) GEN rules.

kill: u128

Fingerprint of (proc, block, fact) KILL rules.

Implementations

impl IfdsCsrRuleInputFingerprint

pub fn from_rules( intra_edges: &[(u32, u32, u32)], inter_edges: &[(u32, u32, u32, u32)], flow_gen: &[(u32, u32, u32)], flow_kill: &[(u32, u32, u32)], ) -> Self

Build a stable rule-content fingerprint without allocating columns.

Trait Implementations

impl Clone for IfdsCsrRuleInputFingerprint

fn clone(&self) -> IfdsCsrRuleInputFingerprint

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for IfdsCsrRuleInputFingerprint

impl Debug for IfdsCsrRuleInputFingerprint

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for IfdsCsrRuleInputFingerprint

impl Hash for IfdsCsrRuleInputFingerprint

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for IfdsCsrRuleInputFingerprint

fn eq(&self, other: &IfdsCsrRuleInputFingerprint) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for IfdsCsrRuleInputFingerprint