MLIR
21.0.0git
|
#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... | |
#define DEBUG_TYPE "int-range-analysis" |
Definition at line 35 of file IntegerRangeAnalysis.cpp.