From 2bf17cc0482c6928ded4ee8096ded648a766f2aa Mon Sep 17 00:00:00 2001 From: Matt Arsenault Date: Sun, 4 Dec 2022 09:42:17 -0500 Subject: [PATCH] ValueTracking: Teach isKnownNeverInfinity about llvm.sin/llvm.cos --- llvm/lib/Analysis/ValueTracking.cpp | 4 ++++ llvm/test/Transforms/InstSimplify/floating-point-compare.ll | 8 ++------ 2 files changed, 6 insertions(+), 6 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(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: diff --git a/llvm/test/Transforms/InstSimplify/floating-point-compare.ll b/llvm/test/Transforms/InstSimplify/floating-point-compare.ll index b5e7505..e071f14 100644 --- a/llvm/test/Transforms/InstSimplify/floating-point-compare.ll +++ b/llvm/test/Transforms/InstSimplify/floating-point-compare.ll @@ -1843,9 +1843,7 @@ declare double @llvm.sqrt.f64(double) ; No source check required define i1 @isKnownNeverInfinity_sin(double %x) { ; CHECK-LABEL: @isKnownNeverInfinity_sin( -; CHECK-NEXT: [[E:%.*]] = call double @llvm.sin.f64(double [[X:%.*]]) -; CHECK-NEXT: [[R:%.*]] = fcmp une double [[E]], 0x7FF0000000000000 -; CHECK-NEXT: ret i1 [[R]] +; CHECK-NEXT: ret i1 true ; %e = call double @llvm.sin.f64(double %x) %r = fcmp une double %e, 0x7ff0000000000000 @@ -1857,9 +1855,7 @@ declare double @llvm.sin.f64(double) ; No source check required define i1 @isKnownNeverInfinity_cos(double %x) { ; CHECK-LABEL: @isKnownNeverInfinity_cos( -; CHECK-NEXT: [[E:%.*]] = call double @llvm.cos.f64(double [[X:%.*]]) -; CHECK-NEXT: [[R:%.*]] = fcmp une double [[E]], 0x7FF0000000000000 -; CHECK-NEXT: ret i1 [[R]] +; CHECK-NEXT: ret i1 true ; %e = call double @llvm.cos.f64(double %x) %r = fcmp une double %e, 0x7ff0000000000000 -- 2.7.4