Lines Matching defs:KnownVal

4360   std::optional<bool> KnownVal;
4365       KnownVal = true;
4367       KnownVal = false;
4370   if (!KnownVal) {
4376       KnownVal = KnownBits::eq(KnownLHS, KnownRHS);
4379       KnownVal = KnownBits::ne(KnownLHS, KnownRHS);
4382       KnownVal = KnownBits::sge(KnownLHS, KnownRHS);
4385       KnownVal = KnownBits::sgt(KnownLHS, KnownRHS);
4388       KnownVal = KnownBits::sle(KnownLHS, KnownRHS);
4391       KnownVal = KnownBits::slt(KnownLHS, KnownRHS);
4394       KnownVal = KnownBits::uge(KnownLHS, KnownRHS);
4397       KnownVal = KnownBits::ugt(KnownLHS, KnownRHS);
4400       KnownVal = KnownBits::ule(KnownLHS, KnownRHS);
4403       KnownVal = KnownBits::ult(KnownLHS, KnownRHS);
4408   if (!KnownVal)
4411       *KnownVal