Searched refs:darkShadow (Results 1 – 4 of 4) sorted by relevance
| /llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/ |
| H A D | IntegerRelation.h | 651 virtual void fourierMotzkinEliminate(unsigned pos, bool darkShadow = false,
|
| /llvm-project-15.0.7/mlir/include/mlir/Dialect/Affine/Analysis/ |
| H A D | AffineStructures.h | 492 void fourierMotzkinEliminate(unsigned pos, bool darkShadow = false,
|
| /llvm-project-15.0.7/mlir/lib/Dialect/Affine/Analysis/ |
| H A D | AffineStructures.cpp | 1402 unsigned pos, bool darkShadow, bool *isResultIntegerExact) { in fourierMotzkinEliminate() argument
1407 IntegerPolyhedron::fourierMotzkinEliminate(pos, darkShadow, in fourierMotzkinEliminate()
|
| /llvm-project-15.0.7/mlir/lib/Analysis/Presburger/ |
| H A D | IntegerRelation.cpp | 1738 void IntegerRelation::fourierMotzkinEliminate(unsigned pos, bool darkShadow, in fourierMotzkinEliminate() argument
1836 if (darkShadow) { in fourierMotzkinEliminate()
|