[PATCH] D103656: [ScalarEvolution] Ensure backedge-taken counts are not pointers.

[Eli Friedman via Phabricator via llvm-commits]

efriedma added inline comments.


================
Comment at: llvm/lib/Analysis/ScalarEvolution.cpp:1084
+  // theoretically teach SCEV to truncate wider pointers, but such pointer
+  // widths are generally used for non-integral pointers anyway.
   if (getDataLayout().getTypeSizeInBits(getEffectiveSCEVType(Op->getType())) !=
----------------
reames wrote:
> Just for my context, they are?  This is news to me.  Do you have an example?
I got this impression reading the patches that led up to adding the "indexing type" for pointers.  I might be wrong, though.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D103656