MLIR  20.0.0git
Public Member Functions | List of all members
mlir::DataFlowConfig Class Reference

Configuration class for data flow solver and child analyses. More...

#include "mlir/Analysis/DataFlowFramework.h"

Public Member Functions

 DataFlowConfig ()=default
 
DataFlowConfigsetInterprocedural (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...
 

Detailed Description

Configuration class for data flow solver and child analyses.

Follows the fluent API pattern.

Definition at line 274 of file DataFlowFramework.h.

Constructor & Destructor Documentation

◆ DataFlowConfig()

mlir::DataFlowConfig::DataFlowConfig ( )
default

Member Function Documentation

◆ isInterprocedural()

bool mlir::DataFlowConfig::isInterprocedural ( ) const
inline

Return true if the solver operates interprocedurally, false otherwise.

Definition at line 288 of file DataFlowFramework.h.

◆ setInterprocedural()

DataFlowConfig& mlir::DataFlowConfig::setInterprocedural ( bool  enable)
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 282 of file DataFlowFramework.h.


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