@@ -1046,7 +1046,7 @@ class ScalarEvolution {
10461046
10471047 // / Check whether the condition described by Pred, LHS, and RHS is true or
10481048 // / false. If we know it, return the evaluation of this condition. If neither
1049- // / is proved, return None .
1049+ // / is proved, return std::nullopt .
10501050 Optional<bool > evaluatePredicate (ICmpInst::Predicate Pred, const SCEV *LHS,
10511051 const SCEV *RHS);
10521052
@@ -1057,7 +1057,7 @@ class ScalarEvolution {
10571057
10581058 // / Check whether the condition described by Pred, LHS, and RHS is true or
10591059 // / false in the given \p Context. If we know it, return the evaluation of
1060- // / this condition. If neither is proved, return None .
1060+ // / this condition. If neither is proved, return std::nullopt .
10611061 Optional<bool > evaluatePredicateAt (ICmpInst::Predicate Pred, const SCEV *LHS,
10621062 const SCEV *RHS, const Instruction *CtxI);
10631063
@@ -1079,7 +1079,8 @@ class ScalarEvolution {
10791079 // / If, for all loop invariant X, the predicate "LHS `Pred` X" is
10801080 // / monotonically increasing or decreasing, returns
10811081 // / Some(MonotonicallyIncreasing) and Some(MonotonicallyDecreasing)
1082- // / respectively. If we could not prove either of these facts, returns None.
1082+ // / respectively. If we could not prove either of these facts, returns
1083+ // / std::nullopt.
10831084 Optional<MonotonicPredicateType>
10841085 getMonotonicPredicateType (const SCEVAddRecExpr *LHS,
10851086 ICmpInst::Predicate Pred);
@@ -1095,7 +1096,7 @@ class ScalarEvolution {
10951096 };
10961097 // / If the result of the predicate LHS `Pred` RHS is loop invariant with
10971098 // / respect to L, return a LoopInvariantPredicate with LHS and RHS being
1098- // / invariants, available at L's entry. Otherwise, return None .
1099+ // / invariants, available at L's entry. Otherwise, return std::nullopt .
10991100 Optional<LoopInvariantPredicate>
11001101 getLoopInvariantPredicate (ICmpInst::Predicate Pred, const SCEV *LHS,
11011102 const SCEV *RHS, const Loop *L,
@@ -1104,8 +1105,8 @@ class ScalarEvolution {
11041105 // / If the result of the predicate LHS `Pred` RHS is loop invariant with
11051106 // / respect to L at given Context during at least first MaxIter iterations,
11061107 // / return a LoopInvariantPredicate with LHS and RHS being invariants,
1107- // / available at L's entry. Otherwise, return None . The predicate should be
1108- // / the loop's exit condition.
1108+ // / available at L's entry. Otherwise, return std::nullopt . The predicate
1109+ // / should be the loop's exit condition.
11091110 Optional<LoopInvariantPredicate>
11101111 getLoopInvariantExitCondDuringFirstIterations (ICmpInst::Predicate Pred,
11111112 const SCEV *LHS,
0 commit comments