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

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

Current plan:

1. Change the semantics of getMinusSCEV(): D104806 <https://reviews.llvm.org/D104806>.
2. Fix getMinusSCEV() implementation so it doesn't multiply pointers by -1.
3. Land the small number of remaining changes together with the assertions.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D104498