[llvm] [LVI][CVP] Treat undef as Unknown on abs (PR #68711)

[via llvm-commits]

================
@@ -479,7 +479,8 @@ static bool processAbsIntrinsic(IntrinsicInst *II, LazyValueInfo *LVI) {
 
   // Is X in [0, IntMin]?  NOTE: INT_MIN is fine!
   Result = LVI->getPredicateAt(CmpInst::Predicate::ICMP_ULE, X, IntMin, II,
-                               /*UseBlockValue=*/true);
+                               /*UseBlockValue=*/true,
+                               /*UndefAllowed*/ IsIntMinPoison);
----------------
DianQK wrote:

Thanks. Test cases and compile time don't look any worse.
https://llvm-compile-time-tracker.com/compare.php?from=81857940f278e21f7957a2833d4b6ec72819e79f&to=5bd7bbea73315a5f2ae5c73a126b757acac13224&stat=instructions:u

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