#include "llzk/Analysis/IntervalAnalysis.h"
#include "llzk/Util/APIntHelper.h"
#include "llzk/Util/Debug.h"
#include "llzk/Util/StreamHelper.h"
#include <llvm/ADT/TypeSwitch.h>

Include dependency graph for IntervalAnalysis.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)

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::operator/ (const Interval &lhs, const Interval &rhs)

Interval	llzk::operator% (const Interval &lhs, const Interval &rhs)

ExpressionValue	llzk::intersection (llvm::SMTSolverRef solver, const ExpressionValue &lhs, const ExpressionValue &rhs)

ExpressionValue	llzk::add (llvm::SMTSolverRef solver, const ExpressionValue &lhs, const ExpressionValue &rhs)

ExpressionValue	llzk::sub (llvm::SMTSolverRef solver, const ExpressionValue &lhs, const ExpressionValue &rhs)

ExpressionValue	llzk::mul (llvm::SMTSolverRef solver, const ExpressionValue &lhs, const ExpressionValue &rhs)

ExpressionValue	llzk::div (llvm::SMTSolverRef solver, felt::DivFeltOp op, const ExpressionValue &lhs, const ExpressionValue &rhs)

ExpressionValue	llzk::mod (llvm::SMTSolverRef solver, const ExpressionValue &lhs, const ExpressionValue &rhs)

ExpressionValue	llzk::cmp (llvm::SMTSolverRef solver, boolean::CmpOp op, const ExpressionValue &lhs, const ExpressionValue &rhs)

ExpressionValue	llzk::fallbackBinaryOp (llvm::SMTSolverRef solver, Operation *op, const ExpressionValue &lhs, const ExpressionValue &rhs)

ExpressionValue	llzk::neg (llvm::SMTSolverRef solver, const ExpressionValue &val)

ExpressionValue	llzk::notOp (llvm::SMTSolverRef solver, const ExpressionValue &val)

ExpressionValue	llzk::fallbackUnaryOp (llvm::SMTSolverRef solver, Operation *op, const ExpressionValue &val)

Namespaces

Functions