diff options
| author | Matt Arsenault <Matthew.Arsenault@amd.com> | 2022-12-04 09:42:17 -0500 |
|---|---|---|
| committer | Matt Arsenault <Matthew.Arsenault@amd.com> | 2022-12-20 13:17:03 -0500 |
| commit | 2bf17cc0482c6928ded4ee8096ded648a766f2aa (patch) | |
| tree | 7222cccc36c7c9e0e48584cffebb5fad2115ba5d /llvm/lib/Analysis/ValueTracking.cpp | |
| parent | 6d125fee8cf5d9fef111ae290f9e21c1927d46dc (diff) | |
| download | llvm-2bf17cc0482c6928ded4ee8096ded648a766f2aa.zip llvm-2bf17cc0482c6928ded4ee8096ded648a766f2aa.tar.gz llvm-2bf17cc0482c6928ded4ee8096ded648a766f2aa.tar.bz2 | |
ValueTracking: Teach isKnownNeverInfinity about llvm.sin/llvm.cos
Diffstat (limited to 'llvm/lib/Analysis/ValueTracking.cpp')
| -rw-r--r-- | llvm/lib/Analysis/ValueTracking.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp index 037d2fb..c97092b 100644 --- a/llvm/lib/Analysis/ValueTracking.cpp +++ b/llvm/lib/Analysis/ValueTracking.cpp @@ -3803,6 +3803,10 @@ bool llvm::isKnownNeverInfinity(const Value *V, const TargetLibraryInfo *TLI, if (const auto *II = dyn_cast<IntrinsicInst>(V)) { switch (II->getIntrinsicID()) { + case Intrinsic::sin: + case Intrinsic::cos: + // Return NaN on infinite inputs. + return true; case Intrinsic::fabs: case Intrinsic::sqrt: case Intrinsic::canonicalize: |