Searched refs:MaxConstraintValue (Results 1 – 1 of 1) sorted by relevance
45 static int64_t MaxConstraintValue = std::numeric_limits<int64_t>::max(); variable183 return Val.sgt(MinSignedConstraintValue) && Val.slt(MaxConstraintValue); in decompose()196 if (CI->uge(MaxConstraintValue)) in decompose()256 !CI->uge(MaxConstraintValue)) in decompose()