IntervalAnalysis.cpp File Reference

#include "llzk/Analysis/IntervalAnalysis.h"
#include "llzk/Analysis/Matchers.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
ExpressionValue	llzk::boolToFelt (llvm::SMTSolverRef solver, const ExpressionValue &expr, unsigned bitwidth)
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::bitAnd (llvm::SMTSolverRef solver, const ExpressionValue &lhs, const ExpressionValue &rhs)
ExpressionValue	llzk::shiftLeft (llvm::SMTSolverRef solver, const ExpressionValue &lhs, const ExpressionValue &rhs)
ExpressionValue	llzk::shiftRight (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::boolAnd (llvm::SMTSolverRef solver, const ExpressionValue &lhs, const ExpressionValue &rhs)
ExpressionValue	llzk::boolOr (llvm::SMTSolverRef solver, const ExpressionValue &lhs, const ExpressionValue &rhs)
ExpressionValue	llzk::boolXor (llvm::SMTSolverRef solver, 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::boolNot (llvm::SMTSolverRef solver, const ExpressionValue &val)
ExpressionValue	llzk::fallbackUnaryOp (llvm::SMTSolverRef solver, Operation *op, const ExpressionValue &val)