Searched refs:typeEquality (Results 1 – 1 of 1) sorted by relevance
557 LogicalResult typeEquality(ArrayRef<int64_t> eq, Simplex &simp);727 LogicalResult SetCoalescer::typeEquality(ArrayRef<int64_t> eq, Simplex &simp) { in typeEquality() function in SetCoalescer768 if (typeEquality(a.getEquality(k), simpB).failed()) in coalescePair()779 if (typeEquality(b.getEquality(k), simpA).failed()) in coalescePair()