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

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

The general concept of modelling pointer selects as `%base.ptr + (%cond ? %offset1 : %offset2)` is pretty reasonable -- but the actual expressions produced for the integer select part are downright ridiculous. Is the SCEVExpander capable of reliably converting these back into a proper select? I feel like if this is something we want to model in SCEV, we should probably be adding a first-class select node.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D124645