Struct IfdsCsrLayout 

pub struct IfdsCsrLayout {

    pub empty: bool,
    pub num_procs: u32,
    pub blocks_per_proc: u32,
    pub facts_per_proc: u32,
    pub intra_count: u32,
    pub inter_count: u32,
    pub gen_count: u32,
    pub kill_count: u32,
    pub intra_storage_words: usize,
    pub inter_storage_words: usize,
    pub gen_storage_words: usize,
    pub kill_storage_words: usize,
    pub slots_per_proc: u32,
    pub total_nodes: u32,
    pub row_words: usize,
    pub row_cursor_words: usize,
    pub killed_words: usize,
    pub max_col_count: u32,
    pub col_buffer_words: usize,
}

Checked dispatch layout for an exploded IFDS CSR build.

Fields

empty: bool

Whether the declared IFDS domain is empty and should not dispatch.

num_procs: u32

Number of procedures in the exploded domain.

blocks_per_proc: u32

Number of blocks per procedure.

facts_per_proc: u32

Number of facts per procedure.

intra_count: u32

Number of intra-procedural control-flow edges.

inter_count: u32

Number of inter-procedural call/return edges.

gen_count: u32

Number of GEN rules.

kill_count: u32

Number of KILL rules.

intra_storage_words: usize

Number of u32 words required by each intra edge field buffer.

inter_storage_words: usize

Number of u32 words required by each inter edge field buffer.

gen_storage_words: usize

Number of u32 words required by each GEN rule field buffer.

kill_storage_words: usize

Number of u32 words required by each KILL rule field buffer.

slots_per_proc: u32

Dense nodes per procedure.

total_nodes: u32

Total dense node count.

row_words: usize

Number of u32 words in row_ptr.

row_cursor_words: usize

Number of u32 words in the dispatch row cursor scratch buffer.

killed_words: usize

Number of u32 words in the dense kill bitmap scratch buffer.

max_col_count: u32

Maximum emitted column count for the declared edge/rule counts.

col_buffer_words: usize

Number of u32 words allocated for col_idx.

Trait Implementations

impl Clone for IfdsCsrLayout

fn clone(&self) -> IfdsCsrLayout

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for IfdsCsrLayout

impl Debug for IfdsCsrLayout

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

Formats the value using the given formatter.

impl Eq for IfdsCsrLayout

impl PartialEq for IfdsCsrLayout

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for IfdsCsrLayout