Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DIntegerRelation.cpp805 Optional<SmallVector<int64_t, 8>> boundedSample = in findIntegerSample() local
807 if (!boundedSample) in findIntegerSample()
809 assert(boundedSet.containsPoint(*boundedSample) && in findIntegerSample()
814 transformedSet.setAndEliminate(0, *boundedSample); in findIntegerSample()
864 SmallVector<int64_t, 8> &sample = *boundedSample; in findIntegerSample()