Lines Matching full:rmini
371 static inline SVal SVal__mkC ( VtsID rmini, VtsID wmini );
4132 static inline SVal SVal__mkC ( VtsID rmini, VtsID wmini ) {
4133 //tl_assert(VtsID__is_valid(rmini));
4135 return (((ULong)rmini) << 32) | ((ULong)wmini);
5120 VtsID rmini = SVal__unC_Rmin(svOld);
5122 Bool leq = VtsID__cmpLEQ(rmini,tviR);
5126 svNew = SVal__mkC( rmini, VtsID__join2(wmini, tviW) );
5130 Bool leqxx = VtsID__cmpLEQ(rmini,wmini);
5133 svNew = SVal__mkC( rmini, VtsID__join2(wmini, tviW) );
5135 rmini, /* Cfailed */
5191 VtsID rmini = SVal__unC_Rmin(svOld);
5193 Bool leqxx = VtsID__cmpLEQ(rmini,wmini);
5197 // rmini <= wmini (invar on constraints)
5201 // rmini <= wmini <= tviW
5202 // and so join(rmini,tviW) == tviW
5205 svNew = SVal__mkC( VtsID__join2(rmini, tviW),
