[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