Lines Matching defs:AssumeNonZero

27920 // `AssumeNonZero` if this function should simply assume (not require proving
27924                                    bool AssumeNonZero) {
27992     if (AssumeNonZero || Op->getFlags().hasNoUnsignedWrap() ||
27995                                              Depth + 1, AssumeNonZero))
28004                                            Depth + 1, AssumeNonZero))
28006                                              Depth + 1, AssumeNonZero))
28014     // Use AssumeNonZero as false here. Otherwise we can hit case where
28018                                 /*AssumeNonZero*/ false))
28021                                   /*AssumeNonZero*/ false))