MLIR  20.0.0git
Classes | Namespaces | Typedefs | Functions
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...
 

Functions

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