Searched refs:UpperBoundBitCount (Results 1 – 1 of 1) sorted by relevance
62 std::optional<unsigned> UpperBoundBitCount = std::nullopt; member in __anon1c4322b80111::BitwiseShiftValidator307 if (!UpperBoundBitCount || Limit < UpperBoundBitCount.value()) in recordAssumption()308 UpperBoundBitCount = Limit; in recordAssumption()316 if (!NonNegOperands && !UpperBoundBitCount) in createNoteTag()324 if (UpperBoundBitCount) in createNoteTag()325 Out << Templ.UpperBoundIntro << UpperBoundBitCount.value(); in createNoteTag()