IntervalAnalysis.h File Reference

#include "llzk/Analysis/AbstractLatticeValue.h"
#include "llzk/Analysis/AnalysisWrappers.h"
#include "llzk/Analysis/ConstraintDependencyGraph.h"
#include "llzk/Analysis/DenseAnalysis.h"
#include "llzk/Dialect/Array/IR/Ops.h"
#include "llzk/Dialect/Bool/IR/Ops.h"
#include "llzk/Dialect/Cast/IR/Ops.h"
#include "llzk/Dialect/Constrain/IR/Ops.h"
#include "llzk/Dialect/Felt/IR/Ops.h"
#include "llzk/Dialect/Function/IR/Ops.h"
#include "llzk/Dialect/Global/IR/Ops.h"
#include "llzk/Dialect/Polymorphic/IR/Ops.h"
#include "llzk/Util/APIntHelper.h"
#include "llzk/Util/Compare.h"
#include <mlir/IR/BuiltinOps.h>
#include <mlir/Pass/AnalysisManager.h>
#include <mlir/Support/LLVM.h>
#include <llvm/ADT/MapVector.h>
#include <llvm/Support/SMTAPI.h>
#include <array>
#include <mutex>

Include dependency graph for IntervalAnalysis.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	llzk::Field
	Information about the prime finite field used for the interval analysis. More...
class	llzk::UnreducedInterval
	An inclusive interval [a, b] where a and b are arbitrary integers not necessarily bound to a given field. More...
class	llzk::Interval
	Intervals over a finite field. More...
struct	llzk::Interval::Hash
class	llzk::ExpressionValue
	Tracks a solver expression and an interval range for that expression. More...
struct	llzk::ExpressionValue::Hash
class	llzk::IntervalAnalysisLatticeValue
class	llzk::IntervalAnalysisLattice
	Maps mlir::Values to LatticeValues. More...
class	llzk::IntervalDataFlowAnalysis
struct	llzk::IntervalAnalysisContext
	Parameters and shared objects to pass to child analyses. More...
class	llzk::StructIntervals
class	llzk::StructIntervalAnalysis
class	llzk::ModuleIntervalAnalysis
struct	llvm::DenseMapInfo< llzk::ExpressionValue >

Namespaces
namespace	llzk
namespace	llvm