[PATCH] D89456: [SCEV] Introduce SCEVPtrToIntExpr (PR46786)

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri marked an inline comment as done.
lebedev.ri added inline comments.


================
Comment at: polly/test/ScopInfo/int2ptr_ptr2int_2.ll:37
+; IR-NEXT:   %scevgep13 = getelementptr i64, i64* %A, i16 %37
 ; IR-NEXT:   br label %polly.loop_header
 ;
----------------
mkazantsev wrote:
> This code is still worse than it used to be. What boons do we expect from this patch?
E.g. see the example suggested by @efriedma - `@pr46786_c26_char()`/`@pr46786_c26_int()` in `llvm/test/Analysis/ScalarEvolution/ptrtoint.ll`.
If we don't model `ptrtoint`, we basically fail to analyze the address of the load/store there,
while it's actually quite simple after D89692.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D89456