[PATCH] D88806: [SCEV] Model ptrtoint(SCEVUnknown) cast not as unknown, but as zext/trunc/self of SCEVUnknown

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri updated this revision to Diff 296900.
lebedev.ri retitled this revision from "[SCEV] Model inttoptr and ptrtoint casts not as unknown, but as zext/trunc/self of unknown" to "[SCEV] Model ptrtoint(SCEVUnknown) cast not as unknown, but as zext/trunc/self of SCEVUnknown".
lebedev.ri edited the summary of this revision.
lebedev.ri added a comment.

Keep only `ptrtoint` part, and only when we fail to model the operand as a SCEV expression.
Still need to add standalone tests.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D88806

Files:
  llvm/lib/Analysis/ScalarEvolution.cpp
  llvm/lib/Transforms/Utils/SimplifyIndVar.cpp
  llvm/test/Analysis/ScalarEvolution/add-expr-pointer-operand-sorting.ll
  llvm/test/Analysis/ScalarEvolution/no-wrap-add-exprs.ll
  llvm/test/Analysis/ScalarEvolution/semi-transparent-inttoptr-ptrtoint-casts.ll
  llvm/test/CodeGen/ARM/lsr-undef-in-binop.ll
  llvm/test/CodeGen/X86/ragreedy-hoist-spill.ll
  llvm/test/Transforms/IndVarSimplify/2011-11-01-lftrptr.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D88806.296900.patch
Type: text/x-patch
Size: 11531 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20201008/58d3d8b9/attachment-0001.bin>