3376 static inline UInt hash_VtsIDs ( VtsID vi1, VtsID vi2, UInt nTab ) {  in hash_VtsIDs()  argument
3377    UInt hash = ROL32(vi1,19) ^ ROL32(vi2,13);  in hash_VtsIDs()
3383    struct { VtsID vi1; VtsID vi2; Bool leq; }  member
3388    struct { VtsID vi1; VtsID vi2; VtsID res; }  member
3395       cmpLEQ_cache[i].vi2 = VtsID_INVALID;  in VtsID__invalidate_caches()
3400      join2_cache[i].vi2 = VtsID_INVALID;  in VtsID__invalidate_caches()
3430 static Bool VtsID__cmpLEQ_WRK ( VtsID vi1, VtsID vi2 ) {  in VtsID__cmpLEQ_WRK()  argument
3435    tl_assert(vi1 != vi2);  in VtsID__cmpLEQ_WRK()
3438    hash = hash_VtsIDs(vi1, vi2, N_CMPLEQ_CACHE);  in VtsID__cmpLEQ_WRK()
3440        && cmpLEQ_cache[hash].vi2 == vi2)  in VtsID__cmpLEQ_WRK()
3445    v2  = VtsID__to_VTS(vi2);  in VtsID__cmpLEQ_WRK()
3449    cmpLEQ_cache[hash].vi2 = vi2;  in VtsID__cmpLEQ_WRK()
3454 static inline Bool VtsID__cmpLEQ ( VtsID vi1, VtsID vi2 ) {  in VtsID__cmpLEQ()  argument
3455    return LIKELY(vi1 == vi2)  ? True  : VtsID__cmpLEQ_WRK(vi1, vi2);  in VtsID__cmpLEQ()
3460 static VtsID VtsID__join2_WRK ( VtsID vi1, VtsID vi2 ) {  in VtsID__join2_WRK()  argument
3465    tl_assert(vi1 != vi2);  in VtsID__join2_WRK()
3468    hash = hash_VtsIDs(vi1, vi2, N_JOIN2_CACHE);  in VtsID__join2_WRK()
3470        && join2_cache[hash].vi2 == vi2)  in VtsID__join2_WRK()
3475    vts2 = VtsID__to_VTS(vi2);  in VtsID__join2_WRK()
3481    join2_cache[hash].vi2 = vi2;  in VtsID__join2_WRK()
3486 static inline VtsID VtsID__join2 ( VtsID vi1, VtsID vi2 ) {  in VtsID__join2()  argument
3487    return LIKELY(vi1 == vi2)  ? vi1  : VtsID__join2_WRK(vi1, vi2);  in VtsID__join2()
3516 static Thr* VtsID__findFirst_notLEQ ( VtsID vi1, VtsID vi2 )  in VtsID__findFirst_notLEQ()  argument
3521    tl_assert(vi1 != vi2);  in VtsID__findFirst_notLEQ()
3523    vts2 = VtsID__to_VTS(vi2);  in VtsID__findFirst_notLEQ()