MLIR  19.0.0git
Classes | Namespaces | Typedefs | Functions
InferIntRangeInterface.h File Reference
#include "mlir/IR/OpDefinition.h"
#include <optional>
#include "mlir/Interfaces/"

Go to the source code of this file.


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


 Include the generated interface declarations.


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


raw_ostream & mlir::operator<< (raw_ostream &, const ConstantIntRanges &)
raw_ostream & mlir::operator<< (raw_ostream &, const IntegerValueRange &)
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...