Lines Matching defs:AssumeNonZero

532   if (Value *Res = tryGetLog2(Op0, /*AssumeNonZero=*/false)) {
538   if (Value *Res = tryGetLog2(Op1, /*AssumeNonZero=*/false)) {
1490 Value *InstCombinerImpl::takeLog2(Value *Op, unsigned Depth, bool AssumeNonZero,
1517     if (Value *LogX = takeLog2(X, Depth, AssumeNonZero, DoFold))
1524     if (AssumeNonZero || TI->hasNoUnsignedWrap())
1525       if (Value *LogX = takeLog2(X, Depth, AssumeNonZero, DoFold))
1537     if (AssumeNonZero || BO->hasNoUnsignedWrap() || BO->hasNoSignedWrap())
1538       if (Value *LogX = takeLog2(X, Depth, AssumeNonZero, DoFold))
1546     if (AssumeNonZero || PEO->isExact())
1547       if (Value *LogX = takeLog2(X, Depth, AssumeNonZero, DoFold))
1552   // This requires `AssumeNonZero` as `X & Y` may be zero when X != Y.
1553   if (AssumeNonZero && match(Op, m_And(m_Value(X), m_Value(Y)))) {
1554     if (Value *LogX = takeLog2(X, Depth, AssumeNonZero, DoFold))
1556     if (Value *LogY = takeLog2(Y, Depth, AssumeNonZero, DoFold))
1563     if (Value *LogX = takeLog2(SI->getOperand(1), Depth, AssumeNonZero, DoFold))
1565               takeLog2(SI->getOperand(2), Depth, AssumeNonZero, DoFold))
1574     // Use AssumeNonZero as false here. Otherwise we can hit case where
1577                                /*AssumeNonZero*/ false, DoFold))
1579                                  /*AssumeNonZero*/ false, DoFold))
1692     if (Value *Log2 = tryGetLog2(Op1, /*AssumeNonZero=*/true))