#include <utility>
#include "mlir/Analysis/DataFlow/ConstantPropagationAnalysis.h"
#include "mlir/Analysis/DataFlowFramework.h"
#include "mlir/Dialect/Arith/Transforms/Passes.h"
#include "mlir/Analysis/DataFlow/DeadCodeAnalysis.h"
#include "mlir/Analysis/DataFlow/IntegerRangeAnalysis.h"
#include "mlir/Dialect/Arith/IR/Arith.h"
#include "mlir/Dialect/Utils/StaticValueUtils.h"
#include "mlir/IR/IRMapping.h"
#include "mlir/IR/Matchers.h"
#include "mlir/IR/PatternMatch.h"
#include "mlir/IR/TypeUtilities.h"
#include "mlir/Interfaces/SideEffectInterfaces.h"
#include "mlir/Transforms/FoldUtils.h"
#include "mlir/Transforms/GreedyPatternRewriteDriver.h"
#include "mlir/Dialect/Arith/Transforms/Passes.h.inc"

Namespaces
namespace	mlir
	Include the generated interface declarations.
namespace	mlir::arith
namespace	mlir::dataflow

Macros
#define	GEN_PASS_DEF_ARITHINTRANGEOPTS
#define	GEN_PASS_DEF_ARITHINTRANGENARROWING

Functions
static std::optional< APInt >	getMaybeConstantValue (DataFlowSolver &solver, Value value)
static void	copyIntegerRange (DataFlowSolver &solver, Value oldVal, Value newVal)
LogicalResult	mlir::dataflow::maybeReplaceWithConstant (DataFlowSolver &solver, RewriterBase &rewriter, Value value)
	Patterned after SCCP.

Macro Definition Documentation

◆ GEN_PASS_DEF_ARITHINTRANGENARROWING

#define GEN_PASS_DEF_ARITHINTRANGENARROWING

Definition at line 31 of file IntRangeOptimizations.cpp.

◆ GEN_PASS_DEF_ARITHINTRANGEOPTS

#define GEN_PASS_DEF_ARITHINTRANGEOPTS

Definition at line 28 of file IntRangeOptimizations.cpp.

Function Documentation

◆ copyIntegerRange()

void copyIntegerRange	(	DataFlowSolver &	solver,
		Value	oldVal,
		Value	newVal )

static

Definition at line 50 of file IntRangeOptimizations.cpp.

References mlir::DataFlowSolver::getOrCreateState(), mlir::Value::getType(), mlir::dataflow::Lattice< ValueT >::join(), and mlir::DataFlowSolver::lookupState().

Referenced by mlir::dataflow::maybeReplaceWithConstant().

◆ getMaybeConstantValue()

std::optional< APInt > getMaybeConstantValue	(	DataFlowSolver &	solver,
		Value	value )

static

Definition at line 39 of file IntRangeOptimizations.cpp.

References mlir::ConstantIntRanges::getConstantValue(), and mlir::DataFlowSolver::lookupState().