[llvm] [ConstantantFolding] Add support for `sinh` and `cosh` intrinsics constant folding (PR #132671)

[via llvm-commits]

https://github.com/el-ev updated https://github.com/llvm/llvm-project/pull/132671

>From f605d85137ca9a0569d12220d64bb1689c1d7f0c Mon Sep 17 00:00:00 2001
From: Iris Shi <0.0 at owo.li>
Date: Mon, 24 Mar 2025 13:00:39 +0800
Subject: [PATCH 1/3] [ConstantantFolding] Add support for `sinh` and `cosh`
 intrinsics in constant folding

---
 llvm/lib/Analysis/ConstantFolding.cpp | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/llvm/lib/Analysis/ConstantFolding.cpp b/llvm/lib/Analysis/ConstantFolding.cpp
index b0ba25c3c16ac..dc905ab03e861 100644
--- a/llvm/lib/Analysis/ConstantFolding.cpp
+++ b/llvm/lib/Analysis/ConstantFolding.cpp
@@ -1651,6 +1651,8 @@ bool llvm::canConstantFoldCallTo(const CallBase *Call, const Function *F) {
   case Intrinsic::sin:
   case Intrinsic::cos:
   case Intrinsic::sincos:
+  case Intrinsic::sinh:
+  case Intrinsic::cosh:
   case Intrinsic::pow:
   case Intrinsic::powi:
   case Intrinsic::ldexp:
@@ -2513,6 +2515,10 @@ static Constant *ConstantFoldScalarCall1(StringRef Name,
         return ConstantFoldFP(sin, APF, Ty);
       case Intrinsic::cos:
         return ConstantFoldFP(cos, APF, Ty);
+      case Intrinsic::sinh:
+        return ConstantFoldFP(sinh, APF, Ty);
+      case Intrinsic::cosh:
+        return ConstantFoldFP(cosh, APF, Ty);
       case Intrinsic::sqrt:
         return ConstantFoldFP(sqrt, APF, Ty);
       case Intrinsic::amdgcn_cos:

>From 991700ba0e7c65e9921b049783b14eab8d94e87f Mon Sep 17 00:00:00 2001
From: Iris Shi <0.0 at owo.li>
Date: Tue, 25 Mar 2025 09:38:37 +0800
Subject: [PATCH 2/3] pre-commit test

---
 .../ConstProp/sinh-cosh-intrinsics.ll         | 40 +++++++++++++++++++
 1 file changed, 40 insertions(+)
 create mode 100644 llvm/test/Transforms/InstSimplify/ConstProp/sinh-cosh-intrinsics.ll

diff --git a/llvm/test/Transforms/InstSimplify/ConstProp/sinh-cosh-intrinsics.ll b/llvm/test/Transforms/InstSimplify/ConstProp/sinh-cosh-intrinsics.ll
new file mode 100644
index 0000000000000..b44470ca6e92e
--- /dev/null
+++ b/llvm/test/Transforms/InstSimplify/ConstProp/sinh-cosh-intrinsics.ll
@@ -0,0 +1,40 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
+; RUN: opt -S -passes=early-cse < %s | FileCheck %s
+
+define double @test_sinh() {
+; CHECK-LABEL: define double @test_sinh() {
+; CHECK-NEXT:    [[RESULT:%.*]] = call double @llvm.sinh.f64(double 0.000000e+00)
+; CHECK-NEXT:    ret double [[RESULT]]
+;
+  %result = call double @llvm.sinh.f64(double 0.0)
+  ret double %result
+}
+
+define <2 x double> @test_sinh_v2() {
+; CHECK-LABEL: define <2 x double> @test_sinh_v2() {
+; CHECK-NEXT:    [[RESULT:%.*]] = call <2 x double> @llvm.sinh.v2f64(<2 x double> zeroinitializer)
+; CHECK-NEXT:    ret <2 x double> [[RESULT]]
+;
+  %result = call <2 x double> @llvm.sinh.v2f64(<2 x double> zeroinitializer)
+  ret <2 x double> %result
+}
+
+define double @test_cosh() {
+; CHECK-LABEL: define double @test_cosh() {
+; CHECK-NEXT:    [[RESULT:%.*]] = call double @llvm.cosh.f64(double 0.000000e+00)
+; CHECK-NEXT:    ret double [[RESULT]]
+;
+  %result = call double @llvm.cosh.f64(double 0.0)
+  ret double %result
+}
+
+define <2 x double> @test_cosh_v2() {
+; CHECK-LABEL: define <2 x double> @test_cosh_v2() {
+; CHECK-NEXT:    [[RESULT:%.*]] = call <2 x double> @llvm.cosh.v2f64(<2 x double> zeroinitializer)
+; CHECK-NEXT:    ret <2 x double> [[RESULT]]
+;
+  %result = call <2 x double> @llvm.cosh.v2f64(<2 x double> zeroinitializer)
+  ret <2 x double> %result
+}
+
+

>From 2308ecc10a40852205674696f36afa86393c384e Mon Sep 17 00:00:00 2001
From: Iris Shi <0.0 at owo.li>
Date: Tue, 25 Mar 2025 09:39:25 +0800
Subject: [PATCH 3/3] update test

---
 .../InstSimplify/ConstProp/sinh-cosh-intrinsics.ll   | 12 ++++--------
 1 file changed, 4 insertions(+), 8 deletions(-)

diff --git a/llvm/test/Transforms/InstSimplify/ConstProp/sinh-cosh-intrinsics.ll b/llvm/test/Transforms/InstSimplify/ConstProp/sinh-cosh-intrinsics.ll
index b44470ca6e92e..a2078cf09ba12 100644
--- a/llvm/test/Transforms/InstSimplify/ConstProp/sinh-cosh-intrinsics.ll
+++ b/llvm/test/Transforms/InstSimplify/ConstProp/sinh-cosh-intrinsics.ll
@@ -3,8 +3,7 @@
 
 define double @test_sinh() {
 ; CHECK-LABEL: define double @test_sinh() {
-; CHECK-NEXT:    [[RESULT:%.*]] = call double @llvm.sinh.f64(double 0.000000e+00)
-; CHECK-NEXT:    ret double [[RESULT]]
+; CHECK-NEXT:    ret double 0.000000e+00
 ;
   %result = call double @llvm.sinh.f64(double 0.0)
   ret double %result
@@ -12,8 +11,7 @@ define double @test_sinh() {
 
 define <2 x double> @test_sinh_v2() {
 ; CHECK-LABEL: define <2 x double> @test_sinh_v2() {
-; CHECK-NEXT:    [[RESULT:%.*]] = call <2 x double> @llvm.sinh.v2f64(<2 x double> zeroinitializer)
-; CHECK-NEXT:    ret <2 x double> [[RESULT]]
+; CHECK-NEXT:    ret <2 x double> zeroinitializer
 ;
   %result = call <2 x double> @llvm.sinh.v2f64(<2 x double> zeroinitializer)
   ret <2 x double> %result
@@ -21,8 +19,7 @@ define <2 x double> @test_sinh_v2() {
 
 define double @test_cosh() {
 ; CHECK-LABEL: define double @test_cosh() {
-; CHECK-NEXT:    [[RESULT:%.*]] = call double @llvm.cosh.f64(double 0.000000e+00)
-; CHECK-NEXT:    ret double [[RESULT]]
+; CHECK-NEXT:    ret double 1.000000e+00
 ;
   %result = call double @llvm.cosh.f64(double 0.0)
   ret double %result
@@ -30,8 +27,7 @@ define double @test_cosh() {
 
 define <2 x double> @test_cosh_v2() {
 ; CHECK-LABEL: define <2 x double> @test_cosh_v2() {
-; CHECK-NEXT:    [[RESULT:%.*]] = call <2 x double> @llvm.cosh.v2f64(<2 x double> zeroinitializer)
-; CHECK-NEXT:    ret <2 x double> [[RESULT]]
+; CHECK-NEXT:    ret <2 x double> splat (double 1.000000e+00)
 ;
   %result = call <2 x double> @llvm.cosh.v2f64(<2 x double> zeroinitializer)
   ret <2 x double> %result