[PATCH] D87342: Allow targets to augment computeKnownBits with their analysis using TargetTransformInfo

[Sanjay Patel via Phabricator via llvm-commits]

spatel added a comment.

In D87342#2312775 <https://reviews.llvm.org/D87342#2312775>, @qcolombet wrote:

>> Can we create a dedicated GEP analysis function that would limit the compile-time impact?
>
> What do you have in mind?

I didn't check the details, so this might be DOA...but I see that we have things like llvm::computeOverflowForSignedAdd() that are specializations/wrappers around the generic computeKnownBits(). If the motivating cases all start with a gep, then could we add the extra logic to a wrapper around the regular computeKnownBits()? That wrapper is only called from places like InstCombinerImpl::visitGetElementPtrInst(), so it would limit the compile-time increase?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D87342