2303   KnownBits XKnown = computeKnownBits(X, DemandedElts, Depth, Q);  in isNonZeroAdd()  local
2308   if (XKnown.isNonNegative() && YKnown.isNonNegative())  in isNonZeroAdd()
2315   if (XKnown.isNegative() && YKnown.isNegative()) {  in isNonZeroAdd()
2319     if (XKnown.One.intersects(Mask))  in isNonZeroAdd()
2328   if (XKnown.isNonNegative() &&  in isNonZeroAdd()
2335   return KnownBits::computeForAddSub(/*Add*/ true, NSW, XKnown, YKnown)  in isNonZeroAdd()
2514     KnownBits XKnown =  in isKnownNonZeroFromOperator()  local
2518     if (XKnown.isUnknown())  in isKnownNonZeroFromOperator()
2525       XKnown = XKnown.abs(/*IntMinIsPoison*/ false);  in isKnownNonZeroFromOperator()
2529     XUgeY = KnownBits::uge(XKnown, YKnown);  in isKnownNonZeroFromOperator()
2557     KnownBits XKnown =  in isKnownNonZeroFromOperator()  local
2559     if (XKnown.One[0])  in isKnownNonZeroFromOperator()
2565       return XKnown.isNonZero() ||  in isKnownNonZeroFromOperator()
2573     return (XKnown.countMaxTrailingZeros() + YKnown.countMaxTrailingZeros()) <  in isKnownNonZeroFromOperator()
2712         KnownBits XKnown =  in isKnownNonZeroFromOperator()  local
2714         if (KnownOpImpliesNonZero(XKnown))  in isKnownNonZeroFromOperator()
2721         if (XKnown.isNonZero() && YKnown.isNonZero())  in isKnownNonZeroFromOperator()