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...

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: