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

	IntegerValueRange (std::optional< ConstantIntRanges > value=std::nullopt)
	Create an integer value range lattice value. More...

bool	isUninitialized () const
	Whether the range is uninitialized. More...

const ConstantIntRanges &	getValue () const
	Get the known integer value range. More...

bool	operator== (const IntegerValueRange &rhs) const
	Compare two ranges. More...

void	print (raw_ostream &os) const
	Print the integer value range. More...

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

static IntegerValueRange	join (const IntegerValueRange &lhs, const IntegerValueRange &rhs)
	Compute the least upper bound of two ranges. More...

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.

◆ IntegerValueRange() [2/2]

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

inline

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 132 of file InferIntRangeInterface.cpp.

References mlir::ConstantIntRanges::getStorageBitwidth(), and mlir::Value::getType().

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