Lines Matching refs:isMinValue
1516 if (RHSV.isMinValue())
1579 if (CR.getLower().isMinValue()) {
1582 } else if (CR.getUpper().isMinValue()) {
2170 assert(!CI->isMinValue(false)); // A >=u MIN -> TRUE
2174 assert(!CI->isMinValue(true)); // A >=s MIN -> TRUE
2318 if (CI->isMinValue(true))
