[PATCH] D87342: WIP: Plumb TargetTransformInfo into computeKnownBits

[Quentin Colombet via Phabricator via llvm-commits]

qcolombet created this revision.
qcolombet added reviewers: fhahn, nikic, aqjune.
Herald added subscribers: kerbowa, hiraditya, nhaehnle, jvesely, arsenm.
Herald added a project: LLVM.
qcolombet requested review of this revision.

This is a proof of concept that shows how we could have the targets provide more information for computeKnownBits analysis.

This was motivated by the discussion in D86364 <https://reviews.llvm.org/D86364>, where we could make the computeKnownBits analysis smarter but it seems that the compile time would not be worth it for all the targets. In other words, this patch shows how we could allow the targets to put some extract effort on the computeKnownBits analysis.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D87342

Files:
  llvm/include/llvm/Analysis/TargetTransformInfo.h
  llvm/include/llvm/Analysis/TargetTransformInfoImpl.h
  llvm/include/llvm/Analysis/ValueTracking.h
  llvm/include/llvm/CodeGen/BasicTTIImpl.h
  llvm/include/llvm/Support/KnownBits.h
  llvm/lib/Analysis/TargetTransformInfo.cpp
  llvm/lib/Analysis/ValueTracking.cpp
  llvm/lib/Support/KnownBits.cpp
  llvm/lib/Target/AMDGPU/AMDGPUTargetTransformInfo.cpp
  llvm/unittests/Analysis/ValueTrackingTest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D87342.290629.patch
Type: text/x-patch
Size: 80544 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200909/d0e693cd/attachment-0001.bin>