InferIntRangeInterface.h File Reference

#include "mlir/IR/OpDefinition.h"
#include <optional>
#include "mlir/Interfaces/InferIntRangeInterface.h.inc"

Go to the source code of this file.

Classes
class	mlir::ConstantIntRanges
	A set of arbitrary-precision integers representing bounds on a given integer value. More...
class	mlir::IntegerValueRange
	This lattice value represents the integer range of an SSA value. More...

Namespaces
	mlir
	Include the generated interface declarations.
	mlir::intrange
	mlir::intrange::detail

Typedefs
using	mlir::SetIntRangeFn = llvm::function_ref< void(Value, const ConstantIntRanges &)>
	The type of the setResultRanges callback provided to ops implementing InferIntRangeInterface. More...
using	mlir::SetIntLatticeFn = llvm::function_ref< void(Value, const IntegerValueRange &)>
	Similar to SetIntRangeFn, but operating on IntegerValueRange lattice values. More...
using	mlir::GetIntRangeFn = function_ref< IntegerValueRange(Value)>
	Helper callback type to get the integer range of a value. More...

Functions
raw_ostream &	mlir::operator<< (raw_ostream &, const ConstantIntRanges &)
raw_ostream &	mlir::operator<< (raw_ostream &, const IntegerValueRange &)
SmallVector< IntegerValueRange >	mlir::getIntValueRanges (ArrayRef< OpFoldResult > values, GetIntRangeFn getIntRange, int32_t indexBitwidth)
	Helper function to collect the integer range values of an array of op fold results. More...
void	mlir::intrange::detail::defaultInferResultRanges (InferIntRangeInterface interface, ArrayRef< IntegerValueRange > argRanges, SetIntLatticeFn setResultRanges)
	Default implementation of inferResultRanges which dispatches to the inferResultRangesFromOptional. More...
void	mlir::intrange::detail::defaultInferResultRangesFromOptional (InferIntRangeInterface interface, ArrayRef< ConstantIntRanges > argRanges, SetIntRangeFn setResultRanges)
	Default implementation of inferResultRangesFromOptional which dispatches to the inferResultRanges. More...