[PATCH] D93973: [SCEV] Simplify trunc to zero based on known bits

[Gil Rapaport via Phabricator via llvm-commits]

gilr created this revision.
gilr added a reviewer: fhahn.
Herald added a subscriber: hiraditya.
gilr requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

Let getTruncateExpr() short-circuit to zero when the value being truncated is known to have at least as many trailing zeros as the target type.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D93973

Files:
  llvm/lib/Analysis/ScalarEvolution.cpp
  llvm/test/Analysis/ScalarEvolution/trunc-simplify.ll
  llvm/test/Transforms/LoopVectorize/dont-fold-tail-for-assumed-divisible-TC.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D93973.314240.patch
Type: text/x-patch
Size: 5393 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210102/96021b19/attachment.bin>