[llvm-branch-commits] [llvm] InstCombine: Handle insertvalue in SimplifyDemandedFPClass (PR #184193)

[Matt Arsenault via llvm-branch-commits]

https://github.com/arsenm updated https://github.com/llvm/llvm-project/pull/184193

>From 31c4b270603a723df900c792b4ae1637b814b96d Mon Sep 17 00:00:00 2001
From: Matt Arsenault <Matthew.Arsenault at amd.com>
Date: Mon, 2 Mar 2026 17:48:54 +0100
Subject: [PATCH] InstCombine: Handle insertvalue in SimplifyDemandedFPClass

---
 .../InstCombine/InstCombineSimplifyDemanded.cpp          | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/llvm/lib/Transforms/InstCombine/InstCombineSimplifyDemanded.cpp b/llvm/lib/Transforms/InstCombine/InstCombineSimplifyDemanded.cpp
index 6dd89f9c90bbd..e04c75a1536d3 100644
--- a/llvm/lib/Transforms/InstCombine/InstCombineSimplifyDemanded.cpp
+++ b/llvm/lib/Transforms/InstCombine/InstCombineSimplifyDemanded.cpp
@@ -3413,6 +3413,15 @@ Value *InstCombinerImpl::SimplifyDemandedUseFPClass(Instruction *I,
     Known.knownNot(~DemandedMask);
     break;
   }
+  case Instruction::InsertValue: {
+    KnownFPClass KnownAgg, KnownElt;
+    if (SimplifyDemandedFPClass(I, 0, DemandedMask, KnownAgg, Depth + 1) ||
+        SimplifyDemandedFPClass(I, 1, DemandedMask, KnownElt, Depth + 1))
+      return I;
+
+    Known = KnownAgg | KnownElt;
+    break;
+  }
   case Instruction::ExtractValue: {
     Value *ExtractSrc;
     if (match(I, m_ExtractValue<0>(m_OneUse(m_Value(ExtractSrc))))) {