Enzyme main
Loading...
Searching...
No Matches
MemoryActivityState Struct Reference

This needs to keep track of three things: More...

Collaboration diagram for MemoryActivityState:

Public Member Functions

bool operator== (const MemoryActivityState &other)
 
bool operator!= (const MemoryActivityState &other)
 
ChangeResult reset ()
 
ChangeResult merge (const MemoryActivityState &other)
 

Public Attributes

bool activeIn = false
 Whether active data has stored into this memory location.
 
bool activeOut = false
 Whether active data was loaded out of this memory location.
 

Detailed Description

This needs to keep track of three things:

  1. Could active info store in?
  2. Could active info load out? TODO: Necessary for run-time activity
  3. Could constant info propagate (store?) in?

Active: (forward) active in && (backward) active out && (??) !const in ActiveOrConstant: active in && active out && const in Constant: everything else

Definition at line 191 of file DataFlowActivityAnalysis.cpp.

Member Function Documentation

◆ merge()

ChangeResult MemoryActivityState::merge ( const MemoryActivityState & other)
inline

Definition at line 213 of file DataFlowActivityAnalysis.cpp.

References activeIn, and activeOut.

Referenced by MemoryActivity::merge().

◆ operator!=()

bool MemoryActivityState::operator!= ( const MemoryActivityState & other)
inline

Definition at line 201 of file DataFlowActivityAnalysis.cpp.

◆ operator==()

bool MemoryActivityState::operator== ( const MemoryActivityState & other)
inline

Definition at line 197 of file DataFlowActivityAnalysis.cpp.

References activeIn, and activeOut.

◆ reset()

ChangeResult MemoryActivityState::reset ( )
inline

Definition at line 205 of file DataFlowActivityAnalysis.cpp.

References activeIn, and activeOut.

Referenced by MemoryActivity::reset().

Member Data Documentation

◆ activeIn

bool MemoryActivityState::activeIn = false

Whether active data has stored into this memory location.

Definition at line 193 of file DataFlowActivityAnalysis.cpp.

Referenced by MemoryActivity::hasActiveData(), merge(), operator==(), MemoryActivity::print(), reset(), and MemoryActivity::setActiveIn().

◆ activeOut

bool MemoryActivityState::activeOut = false

Whether active data was loaded out of this memory location.

Definition at line 195 of file DataFlowActivityAnalysis.cpp.

Referenced by MemoryActivity::activeDataFlowsOut(), merge(), operator==(), MemoryActivity::print(), reset(), and MemoryActivity::setActiveOut().


The documentation for this struct was generated from the following file: