diff options
| author | Matt Arsenault <Matthew.Arsenault@amd.com> | 2022-11-16 21:44:28 -0800 |
|---|---|---|
| committer | Matt Arsenault <Matthew.Arsenault@amd.com> | 2022-11-17 00:06:15 -0800 |
| commit | d24fe812ecc149ee1897c73745ee09a3a26cf57c (patch) | |
| tree | f3c26697ad7a0fcada658e931018337170edfd32 /llvm/lib/Analysis/ValueTracking.cpp | |
| parent | 4fdf624b7866d13d4809634666c7c48a170412b2 (diff) | |
| download | llvm-d24fe812ecc149ee1897c73745ee09a3a26cf57c.zip llvm-d24fe812ecc149ee1897c73745ee09a3a26cf57c.tar.gz llvm-d24fe812ecc149ee1897c73745ee09a3a26cf57c.tar.bz2 | |
ValueTracking: Look through canonicalize in isKnownNeverInfinity
Diffstat (limited to 'llvm/lib/Analysis/ValueTracking.cpp')
| -rw-r--r-- | llvm/lib/Analysis/ValueTracking.cpp | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp index 465678d..6f67509 100644 --- a/llvm/lib/Analysis/ValueTracking.cpp +++ b/llvm/lib/Analysis/ValueTracking.cpp @@ -3785,6 +3785,15 @@ bool llvm::isKnownNeverInfinity(const Value *V, const TargetLibraryInfo *TLI, default: break; } + + if (const auto *II = dyn_cast<IntrinsicInst>(V)) { + switch (II->getIntrinsicID()) { + case Intrinsic::canonicalize: + return isKnownNeverInfinity(Inst->getOperand(0), TLI, Depth + 1); + default: + break; + } + } } // try to handle fixed width vector constants |