[PATCH] D145230: [ScalarEvolution] Apply loop guards against min/max for its arguments

Max Kazantsev via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Sun Mar 5 21:28:51 PST 2023


mkazantsev added inline comments.


================
Comment at: llvm/lib/Analysis/ScalarEvolution.cpp:15123-15124
+      }
+      AddRewrite(Op1, RewrittenOp1, Op1Rewrite);
+      AddRewrite(Op2, RewrittenOp2, Op2Rewrite);
+    };
----------------
mkazantsev wrote:
> What if the operands are also min/max? Maybe use a DFS traversal instead to collect all leaves?
I mean, non-recursive traversal using stack.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D145230/new/

https://reviews.llvm.org/D145230



More information about the llvm-commits mailing list