MLIR  21.0.0git
Namespaces | Macros | Functions
IntegerRangeAnalysis.cpp File Reference
#include "mlir/Analysis/DataFlow/IntegerRangeAnalysis.h"
#include "mlir/Analysis/DataFlow/ConstantPropagationAnalysis.h"
#include "mlir/Analysis/DataFlow/SparseAnalysis.h"
#include "mlir/Analysis/DataFlowFramework.h"
#include "mlir/IR/BuiltinAttributes.h"
#include "mlir/IR/Dialect.h"
#include "mlir/IR/OpDefinition.h"
#include "mlir/IR/TypeUtilities.h"
#include "mlir/IR/Value.h"
#include "mlir/Interfaces/ControlFlowInterfaces.h"
#include "mlir/Interfaces/InferIntRangeInterface.h"
#include "mlir/Interfaces/LoopLikeInterface.h"
#include "mlir/Support/LLVM.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/Support/Casting.h"
#include "llvm/Support/Debug.h"
#include <cassert>
#include <optional>
#include <utility>

Go to the source code of this file.

Namespaces

 mlir
 Include the generated interface declarations.
 
 mlir::dataflow
 

Macros

#define DEBUG_TYPE   "int-range-analysis"
 

Functions

LogicalResult mlir::dataflow::staticallyNonNegative (DataFlowSolver &solver, Value v)
 Succeeds when a value is statically non-negative in that it has a lower bound on its value (if it is treated as signed) and that bound is non-negative. More...
 
LogicalResult mlir::dataflow::staticallyNonNegative (DataFlowSolver &solver, Operation *op)
 Succeeds if an op can be converted to its unsigned equivalent without changing its semantics. More...
 

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE   "int-range-analysis"

Definition at line 35 of file IntegerRangeAnalysis.cpp.