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.
bool	isInterprocedural () const
	Return true if the solver operates interprocedurally, false otherwise.

Detailed Description

Configuration class for data flow solver and child analyses.

Follows the fluent API pattern.

Definition at line 283 of file DataFlowFramework.h.

Constructor & Destructor Documentation

◆ DataFlowConfig()

mlir::DataFlowConfig::DataFlowConfig ( )

default

Referenced by setInterprocedural().

Member Function Documentation

◆ isInterprocedural()

bool mlir::DataFlowConfig::isInterprocedural ( ) const

inline

Return true if the solver operates interprocedurally, false otherwise.

Definition at line 297 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 291 of file DataFlowFramework.h.

References DataFlowConfig().

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