[PATCH] D104498: [WIP][ScalarEvolution] Strictly enforce pointer/int type rules.

[Philip Reames via Phabricator via llvm-commits]

reames added a comment.

Eli,

I'm not really clear on this yet.  I keep debating between this and adding pointer subtraction as a first class concept.  I was planning on prototyping the later this week, but ended up busy with something else.  Could you give me a week or so to get back to you?  If you want to discuss, brainstorming this offline could be really helpful.  I keep feeling like I don't have my mind around all of the implications just yet.

The major use cases I've got right now are:

1. backedge taken computation implementation - can definitely be done without
2. SCEV-AA
3. Vectorizer aliasing checks - I think I've convinced myself we only need pointer min/max and not subtract for this.
4. LSR - may be able to dodge issue


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D104498