Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DPresburgerRelation.cpp755 Simplex &simpA = simplices[i]; in coalescePair() local
775 if (typeInequality(b.getInequality(k), simpA).failed()) in coalescePair()
779 if (typeEquality(b.getEquality(k), simpA).failed()) in coalescePair()