[PATCH] D124645: [SCEV] Model simple same base pointer `select`s via `umin_seq`

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added inline comments.


================
Comment at: llvm/lib/Analysis/ScalarEvolution.cpp:6063
 
+  if (V->getType()->isPointerTy()) {
+    // We can't model pointer selects in SCEV in their generality.
----------------
Does `createNodeForSelectViaUMinSeq` do anything useful for pointers? I guess it maybe an else-if then (with pointer check coming first).


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D124645