[all-commits] [llvm/llvm-project] 9c837b: [ValueTracking] Improve the coverage of isKnownToB...

Allen via All-commits all-commits at lists.llvm.org
Thu Aug 3 18:11:44 PDT 2023


  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 9c837b7d0e2e2dffae804f3df49c4aeefe4743c0
      https://github.com/llvm/llvm-project/commit/9c837b7d0e2e2dffae804f3df49c4aeefe4743c0
  Author: Zhongyunde <zhongyunde at huawei.com>
  Date:   2023-08-04 (Fri, 04 Aug 2023)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp

  Log Message:
  -----------
  [ValueTracking] Improve the coverage of isKnownToBeAPowerOfTwo for vscale

this PR tries to match the following pattern, seperate from D156881
     ```
     %vscale = call i64 @llvm.vscale.i64()
     %shift = shl nuw nsw i64 %vscale, 11
     ```
Now, we only check the shl recursively when the OrZero is true.

Reviewed By: goldstein.w.n
Differential Revision: https://reviews.llvm.org/D157062




More information about the All-commits mailing list