Intervals.cpp File Reference

#include "llzk/Analysis/Intervals.h"
#include "llzk/Util/DynamicAPIntHelper.h"
#include "llzk/Util/ErrorHelper.h"
#include <llvm/ADT/SmallVector.h>

Include dependency graph for Intervals.cpp:

Go to the source code of this file.

Namespaces
namespace	llzk

Functions
UnreducedInterval	llzk::operator+ (const UnreducedInterval &lhs, const UnreducedInterval &rhs)
UnreducedInterval	llzk::operator- (const UnreducedInterval &lhs, const UnreducedInterval &rhs)
UnreducedInterval	llzk::operator* (const UnreducedInterval &lhs, const UnreducedInterval &rhs)
std::strong_ordering	llzk::operator<=> (const UnreducedInterval &lhs, const UnreducedInterval &rhs)
const Field &	llzk::checkFields (const Interval &lhs, const Interval &rhs)
Interval	llzk::operator+ (const Interval &lhs, const Interval &rhs)
Interval	llzk::operator- (const Interval &lhs, const Interval &rhs)
Interval	llzk::operator* (const Interval &lhs, const Interval &rhs)
FailureOr< Interval >	llzk::feltDiv (const Interval &lhs, const Interval &rhs)
	Computes finite-field division by multiplying the dividend by the multiplicative inverse of the divisor.
FailureOr< Interval >	llzk::unsignedIntDiv (const Interval &lhs, const Interval &rhs)
	Computes unsigned integer division with possibly non-Degenerate divisors.
FailureOr< Interval >	llzk::signedIntDiv (const Interval &lhs, const Interval &rhs)
	Computes signed integer division with possibly non-Degenerate divisors.
Interval	llzk::operator% (const Interval &lhs, const Interval &rhs)
Interval	llzk::operator& (const Interval &lhs, const Interval &rhs)
Interval	llzk::operator| (const Interval &lhs, const Interval &rhs)
Interval	llzk::operator^ (const Interval &lhs, const Interval &rhs)
Interval	llzk::operator<< (const Interval &lhs, const Interval &rhs)
Interval	llzk::operator>> (const Interval &lhs, const Interval &rhs)
Interval	llzk::boolAnd (const Interval &lhs, const Interval &rhs)
Interval	llzk::boolOr (const Interval &lhs, const Interval &rhs)
Interval	llzk::boolXor (const Interval &lhs, const Interval &rhs)
Interval	llzk::boolNot (const Interval &iv)