Lines Matching refs:vi2
3163 static inline UInt hash_VtsIDs ( VtsID vi1, VtsID vi2, UInt nTab ) {
3164 UInt hash = ROL32(vi1,19) ^ ROL32(vi2,13);
3170 struct { VtsID vi1; VtsID vi2; Bool leq; }
3175 struct { VtsID vi1; VtsID vi2; VtsID res; }
3182 cmpLEQ_cache[i].vi2 = VtsID_INVALID;
3187 join2_cache[i].vi2 = VtsID_INVALID;
3218 /* compute partial ordering relation of vi1 and vi2. */
3220 static Bool VtsID__cmpLEQ_WRK ( VtsID vi1, VtsID vi2 ) {
3224 //if (vi1 == vi2) return True;
3225 tl_assert(vi1 != vi2);
3228 hash = hash_VtsIDs(vi1, vi2, N_CMPLEQ_CACHE);
3230 && cmpLEQ_cache[hash].vi2 == vi2)
3235 v2 = VtsID__to_VTS(vi2);
3239 cmpLEQ_cache[hash].vi2 = vi2;
3244 static inline Bool VtsID__cmpLEQ ( VtsID vi1, VtsID vi2 ) {
3245 return LIKELY(vi1 == vi2) ? True : VtsID__cmpLEQ_WRK(vi1, vi2);
3250 static VtsID VtsID__join2_WRK ( VtsID vi1, VtsID vi2 ) {
3254 //if (vi1 == vi2) return vi1;
3255 tl_assert(vi1 != vi2);
3258 hash = hash_VtsIDs(vi1, vi2, N_JOIN2_CACHE);
3260 && join2_cache[hash].vi2 == vi2)
3265 vts2 = VtsID__to_VTS(vi2);
3271 join2_cache[hash].vi2 = vi2;
3276 static inline VtsID VtsID__join2 ( VtsID vi1, VtsID vi2 ) {
3277 return LIKELY(vi1 == vi2) ? vi1 : VtsID__join2_WRK(vi1, vi2);
3301 /* Assuming that !cmpLEQ(vi1, vi2), find the index of the first (or
3303 corresponding element in vi2. If no such element exists, return
3306 static Thr* VtsID__findFirst_notLEQ ( VtsID vi1, VtsID vi2 )
3311 tl_assert(vi1 != vi2);
3313 vts2 = VtsID__to_VTS(vi2);
