This lattice value represents the integer range of an SSA value. More...

#include "mlir/Interfaces/InferIntRangeInterface.h"

Public Member Functions
	IntegerValueRange (ConstantIntRanges value)
	Create an integer value range lattice value.
	IntegerValueRange (std::optional< ConstantIntRanges > value=std::nullopt)
	Create an integer value range lattice value.
bool	isUninitialized () const
	Whether the range is uninitialized.
const ConstantIntRanges &	getValue () const
	Get the known integer value range.
bool	operator== (const IntegerValueRange &rhs) const
	Compare two ranges.
void	print (raw_ostream &os) const
	Print the integer value range.

Static Public Member Functions
static IntegerValueRange	getMaxRange (Value value)
	Create a maximal range ([0, uint_max(t)] / [int_min(t), int_max(t)]) range that is used to mark the value as unable to be analyzed further, where t is the type of value.
static IntegerValueRange	join (const IntegerValueRange &lhs, const IntegerValueRange &rhs)
	Compute the least upper bound of two ranges.

Detailed Description

This lattice value represents the integer range of an SSA value.

Definition at line 109 of file InferIntRangeInterface.h.

Constructor & Destructor Documentation

◆ IntegerValueRange() [1/2]

mlir::IntegerValueRange::IntegerValueRange ( ConstantIntRanges value )

inline

Create an integer value range lattice value.

Definition at line 117 of file InferIntRangeInterface.h.

Referenced by getMaxRange(), join(), and operator==().

◆ IntegerValueRange() [2/2]

mlir::IntegerValueRange::IntegerValueRange ( std::optional< ConstantIntRanges > value = std::nullopt )

inlineexplicit

Create an integer value range lattice value.

Definition at line 120 of file InferIntRangeInterface.h.

Member Function Documentation

◆ getMaxRange()

IntegerValueRange IntegerValueRange::getMaxRange ( Value value )

static

Create a maximal range ([0, uint_max(t)] / [int_min(t), int_max(t)]) range that is used to mark the value as unable to be analyzed further, where t is the type of value.

Definition at line 135 of file InferIntRangeInterface.cpp.

References mlir::ConstantIntRanges::getStorageBitwidth(), and IntegerValueRange().

Referenced by mlir::detail::infer_int_range_op_binder::match(), mlir::dataflow::IntegerRangeAnalysis::setToEntryState(), mlir::dataflow::IntegerRangeAnalysis::visitNonControlFlowArguments(), and mlir::dataflow::IntegerRangeAnalysis::visitOperation().