Struct ExplodedIfdsCpuScratch 

pub struct ExplodedIfdsCpuScratch {
    pub edges_flat: Vec<(u32, u32)>,
    pub killed: Vec<bool>,
    pub gen_offsets: Vec<usize>,
    pub gen_cursor: Vec<usize>,
    pub gen_facts: Vec<u32>,
    pub cursor: Vec<usize>,
}

CPU-reference CSR builder for the exploded supergraph.

intra_edges are (src_block, dst_block) pairs within a procedure - the standard CFG. inter_edges are (src_proc, src_block, dst_proc, dst_block) call / return edges. Flow functions are encoded as per-block GEN / KILL bitsets over the fact domain.

Caller-owned workspace for exploded IFDS CPU-reference CSR construction.

Fields

edges_flat: Vec<(u32, u32)>

Flat (src, dst) edge list before CSR compaction.

killed: Vec<bool>

Per-dense-node KILL bitmap.

gen_offsets: Vec<usize>

Per-block GEN prefix offsets.

gen_cursor: Vec<usize>

Per-block GEN fill cursor.

gen_facts: Vec<u32>

Flat GEN fact table keyed by gen_offsets.

cursor: Vec<usize>

Per-row CSR fill cursor.

Implementations

impl ExplodedIfdsCpuScratch

pub fn new() -> Self

Create an empty reusable exploded-IFDS CPU workspace.

Trait Implementations

impl Clone for ExplodedIfdsCpuScratch

fn clone(&self) -> ExplodedIfdsCpuScratch

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExplodedIfdsCpuScratch

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

Formats the value using the given formatter.

impl Default for ExplodedIfdsCpuScratch

fn default() -> ExplodedIfdsCpuScratch

Returns the “default value” for a type.