MLIR
20.0.0git
|
Configuration class for data flow solver and child analyses. More...
#include "mlir/Analysis/DataFlowFramework.h"
Public Member Functions | |
DataFlowConfig ()=default | |
DataFlowConfig & | setInterprocedural (bool enable) |
Set whether the solver should operate interpocedurally, i.e. More... | |
bool | isInterprocedural () const |
Return true if the solver operates interprocedurally, false otherwise. More... | |
Configuration class for data flow solver and child analyses.
Follows the fluent API pattern.
Definition at line 200 of file DataFlowFramework.h.
|
default |
|
inline |
Return true
if the solver operates interprocedurally, false
otherwise.
Definition at line 214 of file DataFlowFramework.h.
|
inline |
Set whether the solver should operate interpocedurally, i.e.
enter the callee body when available. Interprocedural analyses may be more precise, but also more expensive as more states need to be computed and the fixpoint convergence takes longer.
Definition at line 208 of file DataFlowFramework.h.