diff options
author | Simon Pilgrim <llvm-dev@redking.me.uk> | 2024-07-04 11:07:51 +0100 |
---|---|---|
committer | Simon Pilgrim <llvm-dev@redking.me.uk> | 2024-07-04 11:08:06 +0100 |
commit | 5c204b1d2619cbad7b7ad228b62feae08781a6db (patch) | |
tree | 541c21070d0298b2d74e38deeac2f5fcbc823cac /llvm/lib/Analysis/ValueTracking.cpp | |
parent | e6cf292003fa53214a8abf2b4150e58296f76483 (diff) | |
download | llvm-5c204b1d2619cbad7b7ad228b62feae08781a6db.zip llvm-5c204b1d2619cbad7b7ad228b62feae08781a6db.tar.gz llvm-5c204b1d2619cbad7b7ad228b62feae08781a6db.tar.bz2 |
[ValueTracking][X86] computeKnownBitsFromOperator - add PMULH/PMULHU intrinsics mulhs/mulhu known bits handling.
These map directly to the KnownBits implementations.
Diffstat (limited to 'llvm/lib/Analysis/ValueTracking.cpp')
-rw-r--r-- | llvm/lib/Analysis/ValueTracking.cpp | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp index 258576f..85abf00 100644 --- a/llvm/lib/Analysis/ValueTracking.cpp +++ b/llvm/lib/Analysis/ValueTracking.cpp @@ -1739,6 +1739,20 @@ static void computeKnownBitsFromOperator(const Operator *I, Known &= Known2.anyextOrTrunc(BitWidth); break; } + case Intrinsic::x86_sse2_pmulh_w: + case Intrinsic::x86_avx2_pmulh_w: + case Intrinsic::x86_avx512_pmulh_w_512: + computeKnownBits(I->getOperand(0), DemandedElts, Known, Depth + 1, Q); + computeKnownBits(I->getOperand(1), DemandedElts, Known2, Depth + 1, Q); + Known = KnownBits::mulhs(Known, Known2); + break; + case Intrinsic::x86_sse2_pmulhu_w: + case Intrinsic::x86_avx2_pmulhu_w: + case Intrinsic::x86_avx512_pmulhu_w_512: + computeKnownBits(I->getOperand(0), DemandedElts, Known, Depth + 1, Q); + computeKnownBits(I->getOperand(1), DemandedElts, Known2, Depth + 1, Q); + Known = KnownBits::mulhu(Known, Known2); + break; case Intrinsic::x86_sse42_crc32_64_64: Known.Zero.setBitsFrom(32); break; |