Lines Matching defs:NonNegative

260   /// \p NonNegative  Whether V is guaranteed to be non-negative. For example,
264   APInt find(Value *V, bool SignExtended, bool ZeroExtended, bool NonNegative);
317   /// \p NonNegative Whether BO is known to be non-negative, e.g., an in-bound
320                     bool NonNegative);
514                                             bool NonNegative) {
548   if (BO->getOpcode() == Instruction::Add && !ZeroExtended && NonNegative) {
587   // non-negative. Clear the NonNegative flag here.
589                               /* NonNegative */ false);
602                         /* NonNegative */ false);
616                                     bool ZeroExtended, bool NonNegative) {
632     if (CanTraceInto(SignExtended, ZeroExtended, BO, NonNegative))
636         find(U->getOperand(0), SignExtended, ZeroExtended, NonNegative)
640                           ZeroExtended, NonNegative).sext(BitWidth);
645     // Clear the NonNegative flag, because zext(a) >= 0 does not imply a >= 0.
648              /* ZeroExtended */ true, /* NonNegative */ false).zext(BitWidth);