diff options
| author | Noah Goldstein <goldstein.w.n@gmail.com> | 2024-04-11 11:19:15 -0500 |
|---|---|---|
| committer | Noah Goldstein <goldstein.w.n@gmail.com> | 2024-04-14 22:49:06 -0500 |
| commit | 1e16a35fbcc6b21d1bee597c7e76f2444b7000e5 (patch) | |
| tree | 70934d700e7b051df1b7cbf985607b83a669e56b /llvm/lib/Analysis/ValueTracking.cpp | |
| parent | 3921dffac29d8ea1c07bc6a7253876247a6eb1a3 (diff) | |
| download | llvm-1e16a35fbcc6b21d1bee597c7e76f2444b7000e5.zip llvm-1e16a35fbcc6b21d1bee597c7e76f2444b7000e5.tar.gz llvm-1e16a35fbcc6b21d1bee597c7e76f2444b7000e5.tar.bz2 | |
[ValueTracking] Implement `isKnownNonZero` for `llvm.vector.reduce.or`
Closes #88320
Diffstat (limited to 'llvm/lib/Analysis/ValueTracking.cpp')
| -rw-r--r-- | llvm/lib/Analysis/ValueTracking.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp index 378e4aa..5c28060 100644 --- a/llvm/lib/Analysis/ValueTracking.cpp +++ b/llvm/lib/Analysis/ValueTracking.cpp @@ -2918,7 +2918,8 @@ static bool isKnownNonZeroFromOperator(const Operator *I, return isNonZeroAdd(DemandedElts, Depth, Q, BitWidth, II->getArgOperand(0), II->getArgOperand(1), /*NSW=*/true, /* NUW=*/false); - // umin/smin/smax/smin of all non-zero elements is always non-zero. + // umin/smin/smax/smin/or of all non-zero elements is always non-zero. + case Intrinsic::vector_reduce_or: case Intrinsic::vector_reduce_umax: case Intrinsic::vector_reduce_umin: case Intrinsic::vector_reduce_smax: |