Struct DependenceInfo 

pub struct DependenceInfo {
    pub true_deps: Vec<DepEdge>,
    pub anti_deps: Vec<DepEdge>,
    pub output_deps: Vec<DepEdge>,
    pub loop_carried_deps: Vec<DepEdge>,
}

Loop-dependence information for a single function/loop nest.

We use a simplified version of the standard three-class model:

• True dependence (RAW): iteration J reads a value written by iteration I < J.
• Anti dependence (WAR): iteration J writes a location read by iteration I < J.
• Output dependence (WAW): two iterations write the same location.
• Loop-carried: the dependence crosses loop iterations (distance > 0).

Fields

true_deps: Vec<DepEdge>

Read-after-write (true) dependences.

anti_deps: Vec<DepEdge>

Write-after-read (anti) dependences.

output_deps: Vec<DepEdge>

Write-after-write (output) dependences.

loop_carried_deps: Vec<DepEdge>

Subset of the above that are loop-carried (distance >= 1).

Implementations

impl DependenceInfo

pub fn is_parallelizable(&self) -> bool

Returns true when no loop-carried dependences exist (Bernstein safe).

pub fn total_deps(&self) -> usize

Total number of dependence edges.

Trait Implementations

impl Clone for DependenceInfo

fn clone(&self) -> DependenceInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DependenceInfo

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

Formats the value using the given formatter.

impl Default for DependenceInfo

fn default() -> DependenceInfo

Returns the “default value” for a type.

impl Display for DependenceInfo

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

Formats the value using the given formatter.