371                           bool ShAmtNonZero, bool Exact) {  in lshr()  argument
396   // If exact, bound MaxShiftAmount to first known 1 in LHS.  in lshr()
397   if (Exact) {  in lshr()
429                           bool ShAmtNonZero, bool Exact) {  in ashr()  argument
456   // If exact, bound MaxShiftAmount to first known 1 in LHS.  in ashr()
457   if (Exact) {  in ashr()
911                                   const KnownBits &RHS, bool Exact) {  in divComputeLowBit()  argument
913   if (!Exact)  in divComputeLowBit()
918   // Odd / Even -> Impossible (because its exact division)  in divComputeLowBit()
938   // In the KnownBits exhaustive tests, we have poison inputs for exact values  in divComputeLowBit()
947                           bool Exact) {  in sdiv()  argument
950     return udiv(LHS, RHS, Exact);  in sdiv()
973     // Result is negative if Exact OR -LHS u>= RHS.  in sdiv()
974     if (Exact || (-LHS.getSignedMaxValue()).uge(RHS.getSignedMaxValue())) {  in sdiv()
980     // Result is negative if Exact OR LHS u>= -RHS.  in sdiv()
981     if (Exact || LHS.getSignedMinValue().uge(-RHS.getSignedMinValue())) {  in sdiv()
998   Known = divComputeLowBit(Known, LHS, RHS, Exact);  in sdiv()
1003                           bool Exact) {  in udiv()  argument
1024   Known = divComputeLowBit(Known, LHS, RHS, Exact);  in udiv()