[llvm-branch-commits] [llvm] InstCombine: Implement SimplifyDemandedFPClass for frexp (PR #176122)

[Matt Arsenault via llvm-branch-commits]

================
@@ -2941,6 +2941,55 @@ Value *InstCombinerImpl::SimplifyDemandedUseFPClass(Instruction *I,
     Known = KnownLHS | KnownRHS;
     break;
   }
+  case Instruction::ExtractValue: {
+    ExtractValueInst *Extract = cast<ExtractValueInst>(I);
+    ArrayRef<unsigned> Indices = Extract->getIndices();
+    Value *Src = Extract->getAggregateOperand();
+    if (isa<StructType>(Src->getType()) && Indices.size() == 1 &&
----------------
arsenm wrote:

Trying to use this feels awkward. The opcode switch already matched the extractvalue. I also want to bind the actual intrinsic call for the recursive call to SimplifyDemandedFPClass, not the source 

https://github.com/llvm/llvm-project/pull/176122