[llvm] [DA] Properly pass outermost loop to monotonicity checker (PR #166928)

[Ryotaro Kasuga via llvm-commits]

================
@@ -945,6 +946,8 @@ SCEVMonotonicity SCEVMonotonicityChecker::invariantOrUnknown(const SCEV *Expr) {
 SCEVMonotonicity
 SCEVMonotonicityChecker::checkMonotonicity(const SCEV *Expr,
                                            const Loop *OutermostLoop) {
+  assert((!OutermostLoop || OutermostLoop->isOutermost()) &&
+         "OutermostLoop must be outermost");
----------------
kasuga-fj wrote:

It's a silly assertion, but it was buggy because `OutermostLoop` was not outermost...

https://github.com/llvm/llvm-project/pull/166928