Lines Matching refs:leq
3383 struct { VtsID vi1; VtsID vi2; Bool leq; } member
3396 cmpLEQ_cache[i].leq = False; in VtsID__invalidate_caches()
3432 Bool leq; in VtsID__cmpLEQ_WRK() local
3441 return cmpLEQ_cache[hash].leq; in VtsID__cmpLEQ_WRK()
3446 leq = VTS__cmpLEQ( v1, v2 ) == 0; in VtsID__cmpLEQ_WRK()
3450 cmpLEQ_cache[hash].leq = leq; in VtsID__cmpLEQ_WRK()
3452 return leq; in VtsID__cmpLEQ_WRK()
5095 Bool leq; in is_sane_SVal_C() local
5097 leq = VtsID__cmpLEQ( SVal__unC_Rmin(sv), SVal__unC_Wmin(sv) ); in is_sane_SVal_C()
5098 return leq; in is_sane_SVal_C()
5122 Bool leq = VtsID__cmpLEQ(rmini,tviR); in msmcread() local
5123 if (LIKELY(leq)) { in msmcread()
5185 Bool leq = VtsID__cmpLEQ(wmini,tviW); in msmcwrite() local
5186 if (LIKELY(leq)) { in msmcwrite()
6620 { Bool leq = VtsID__cmpLEQ(thr->viW, thr->viR); in libhb_so_send() local
6621 tl_assert(leq); in libhb_so_send()