Home
last modified time | relevance | path

Searched refs:isResultIntegerExact (Results 1 – 4 of 4) sorted by relevance

/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DIntegerRelation.h652 bool *isResultIntegerExact = nullptr);
/llvm-project-15.0.7/mlir/include/mlir/Dialect/Affine/Analysis/
H A DAffineStructures.h493 bool *isResultIntegerExact = nullptr) override;
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DIntegerRelation.cpp1739 bool *isResultIntegerExact) { in fourierMotzkinEliminate() argument
1849 if (lcmProducts == 1 && isResultIntegerExact) in fourierMotzkinEliminate()
1850 *isResultIntegerExact = true; in fourierMotzkinEliminate()
/llvm-project-15.0.7/mlir/lib/Dialect/Affine/Analysis/
H A DAffineStructures.cpp1402 unsigned pos, bool darkShadow, bool *isResultIntegerExact) { in fourierMotzkinEliminate() argument
1408 isResultIntegerExact); in fourierMotzkinEliminate()