Searched refs:XUgeY (Results 1 – 1 of 1) sorted by relevance
2887 std::optional<bool> XUgeY = KnownBits::uge(XKnown, YKnown); in isKnownNonZeroFromOperator() local2890 return XUgeY && *XUgeY; in isKnownNonZeroFromOperator()