#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
	mlir
	Include the generated interface declarations.

	mlir::arith

	mlir::dataflow

Macros
#define	GEN_PASS_DEF_ARITHINTRANGEOPTS

#define	GEN_PASS_DEF_ARITHINTRANGENARROWING

Enumerations
enum class	CastKind : uint8_t

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

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.

Enumeration Type Documentation

◆ CastKind

enum CastKind : uint8_t

strong

Definition at line 250 of file IntRangeOptimizations.cpp.

Function Documentation

◆ copyIntegerRange()

static 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()

static 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().

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

Namespaces

Macros

Enumerations

Functions