IntervalAnalysis.cpp File Reference

#include "llzk/Analysis/IntervalAnalysis.h"
#include "llzk/Analysis/Matchers.h"
#include "llzk/Dialect/Array/IR/Ops.h"
#include "llzk/Dialect/Array/Util/ArrayTypeHelper.h"
#include "llzk/Util/Debug.h"
#include "llzk/Util/StreamHelper.h"
#include <mlir/Dialect/SCF/IR/SCF.h>
#include <llvm/ADT/TypeSwitch.h>

Include dependency graph for IntervalAnalysis.cpp:

Go to the source code of this file.

Namespaces
namespace	llzk

Functions
llvm::SMTExprRef	llzk::createFieldInverseExpr (const llvm::SMTSolverRef &solver, Operation *op, const ExpressionValue &val, StringRef suffix="")
ExpressionValue	llzk::boolToFelt (const llvm::SMTSolverRef &solver, const ExpressionValue &expr, unsigned bitwidth)
ExpressionValue	llzk::selectValue (const llvm::SMTSolverRef &solver, const ExpressionValue &cond, const ExpressionValue &trueVal, const ExpressionValue &falseVal)
ExpressionValue	llzk::intersection (const llvm::SMTSolverRef &solver, const ExpressionValue &lhs, const ExpressionValue &rhs)
ExpressionValue	llzk::add (const llvm::SMTSolverRef &solver, const ExpressionValue &lhs, const ExpressionValue &rhs)
ExpressionValue	llzk::sub (const llvm::SMTSolverRef &solver, const ExpressionValue &lhs, const ExpressionValue &rhs)
ExpressionValue	llzk::mul (const llvm::SMTSolverRef &solver, const ExpressionValue &lhs, const ExpressionValue &rhs)
ExpressionValue	llzk::div (const llvm::SMTSolverRef &solver, Operation *op, const ExpressionValue &lhs, const ExpressionValue &rhs)
ExpressionValue	llzk::uintDiv (const llvm::SMTSolverRef &solver, Operation *op, const ExpressionValue &lhs, const ExpressionValue &rhs)
ExpressionValue	llzk::sintDiv (const llvm::SMTSolverRef &solver, Operation *op, const ExpressionValue &lhs, const ExpressionValue &rhs)
ExpressionValue	llzk::mod (const llvm::SMTSolverRef &solver, const ExpressionValue &lhs, const ExpressionValue &rhs)
ExpressionValue	llzk::bitAnd (const llvm::SMTSolverRef &solver, const ExpressionValue &lhs, const ExpressionValue &rhs)
ExpressionValue	llzk::bitOr (const llvm::SMTSolverRef &solver, const ExpressionValue &lhs, const ExpressionValue &rhs)
ExpressionValue	llzk::bitXor (const llvm::SMTSolverRef &solver, const ExpressionValue &lhs, const ExpressionValue &rhs)
ExpressionValue	llzk::shiftLeft (const llvm::SMTSolverRef &solver, const ExpressionValue &lhs, const ExpressionValue &rhs)
ExpressionValue	llzk::shiftRight (const llvm::SMTSolverRef &solver, const ExpressionValue &lhs, const ExpressionValue &rhs)
ExpressionValue	llzk::cmp (const llvm::SMTSolverRef &solver, boolean::CmpOp op, const ExpressionValue &lhs, const ExpressionValue &rhs)
ExpressionValue	llzk::boolAnd (const llvm::SMTSolverRef &solver, const ExpressionValue &lhs, const ExpressionValue &rhs)
ExpressionValue	llzk::boolOr (const llvm::SMTSolverRef &solver, const ExpressionValue &lhs, const ExpressionValue &rhs)
ExpressionValue	llzk::boolXor (const llvm::SMTSolverRef &solver, const ExpressionValue &lhs, const ExpressionValue &rhs)
ExpressionValue	llzk::neg (const llvm::SMTSolverRef &solver, const ExpressionValue &val)
ExpressionValue	llzk::notOp (const llvm::SMTSolverRef &solver, const ExpressionValue &val)
ExpressionValue	llzk::boolNot (const llvm::SMTSolverRef &solver, const ExpressionValue &val)
ExpressionValue	llzk::fallbackUnaryOp (const llvm::SMTSolverRef &solver, Operation *op, const ExpressionValue &val)