[llvm] [CVP][SCCP] Add support for `uitofp nneg` (PR #86154)

[Nikita Popov via llvm-commits]

================
@@ -1075,20 +1076,50 @@ static bool processSExt(SExtInst *SDI, LazyValueInfo *LVI) {
   return true;
 }
 
-static bool processZExt(ZExtInst *ZExt, LazyValueInfo *LVI) {
-  if (ZExt->getType()->isVectorTy())
+static bool processPossibleNonNeg(Instruction *I, LazyValueInfo *LVI) {
+  assert(isa<PossiblyNonNegInst>(I) && "Requires PossiblyNonNeg instruction");
----------------
nikic wrote:

Can you use `PossiblyNonNegInst *I` as param type instead? Or is the hierarchy not right for that currently?

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