[PATCH] D98147: [SCEV] Improve modelling for pointer constants

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri updated this revision to Diff 329056.
lebedev.ri marked 4 inline comments as done.
lebedev.ri added a comment.

In D98147#2611563 <https://reviews.llvm.org/D98147#2611563>, @Meinersbur wrote:

> This is my draft suggestion for changes required in Polly for this change. The main problem is that `isZero()` does not recognize a SCEVUnknown-wrapped ConstantNullExpr.
>
>   <...>

@Meinersbur Thank you! Applied.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D98147

Files:
  llvm/lib/Analysis/ScalarEvolution.cpp
  llvm/test/Analysis/ScalarEvolution/load.ll
  llvm/test/Analysis/ScalarEvolution/max-backedge-taken-count-guard-info.ll
  llvm/test/Analysis/ScalarEvolution/ptrtoint.ll
  llvm/test/Analysis/ScalarEvolution/scalable-vector.ll
  llvm/test/CodeGen/AMDGPU/splitkit-getsubrangeformask.ll
  llvm/test/CodeGen/PowerPC/pr43527.ll
  llvm/test/CodeGen/PowerPC/pr48519.ll
  llvm/test/CodeGen/PowerPC/sms-phi.ll
  llvm/test/Other/constant-fold-gep.ll
  llvm/test/Transforms/IndVarSimplify/2011-11-01-lftrptr.ll
  llvm/test/Transforms/IndVarSimplify/widen-i32-i8ptr.ll
  llvm/test/Transforms/LoopStrengthReduce/2011-10-03-CritEdgeMerge.ll
  llvm/test/Transforms/LoopStrengthReduce/AMDGPU/lsr-postinc-pos-addrspace.ll
  llvm/test/Transforms/LoopVectorize/X86/cost-model-assert.ll
  llvm/test/Transforms/LoopVectorize/pointer-induction.ll
  llvm/unittests/Transforms/Utils/ScalarEvolutionExpanderTest.cpp
  polly/lib/Analysis/ScopBuilder.cpp
  polly/lib/Support/SCEVAffinator.cpp
  polly/lib/Support/SCEVValidator.cpp
  polly/test/Isl/CodeGen/partial_write_impossible_restriction.ll
  polly/test/Isl/CodeGen/scev_looking_through_bitcasts.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D98147.329056.patch
Type: text/x-patch
Size: 54370 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210308/49524703/attachment-0001.bin>