IntegerRangeAnalysis.h File Reference

#include "mlir/Analysis/DataFlow/SparseAnalysis.h"
#include "mlir/Interfaces/InferIntRangeInterface.h"

Go to the source code of this file.

Classes
class	mlir::dataflow::IntegerValueRangeLattice
	This lattice element represents the integer value range of an SSA value. More...
class	mlir::dataflow::IntegerRangeAnalysis
	Integer range analysis determines the integer value range of SSA values using operations that define InferIntRangeInterface and also sets the range of iteration indices of loops with known bounds. More...

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

Functions
LogicalResult	mlir::dataflow::staticallyNonNegative (DataFlowSolver &solver, Operation *op)
	Succeeds if an op can be converted to its unsigned equivalent without changing its semantics.
LogicalResult	mlir::dataflow::staticallyNonNegative (DataFlowSolver &solver, Value v)
	Succeeds when a value is statically non-negative in that it has a lower bound on its value (if it is treated as signed) and that bound is non-negative.
LogicalResult	mlir::dataflow::maybeReplaceWithConstant (DataFlowSolver &solver, RewriterBase &rewriter, Value value)
	Patterned after SCCP.