Home
last modified time | relevance | path

Searched refs:kExplosionFactor (Results 1 – 3 of 3) sorted by relevance

/llvm-project/mlir/include/mlir/Analysis/Presburger/
H A DIntegerRelation.h869 constexpr static unsigned kExplosionFactor = 32; variable
/llvm-project/mlir/test/Dialect/Affine/
H A Dmemref-bound-check.mlir204 // bounds errors conservatively due to IntegerRelation::kExplosionFactor.
/llvm-project/mlir/lib/Analysis/Presburger/
H A DIntegerRelation.cpp728 if (tmpCst.getNumConstraints() >= kExplosionFactor * getNumVars()) { in isEmpty()