[llvm] [InstCombine] Support well-defined recurrences in isGuaranteedNotToBeUndefOrPoison (PR #150420)

[Cullen Rhodes via llvm-commits]

================
@@ -153,6 +153,19 @@ define i32 @early_freeze_test4(i32 %v1) {
   ret i32 %v2.fr
 }
 
+define i32 @assume(i32 %a, i32 %b) {
+; CHECK-LABEL: @assume(
+; CHECK-NEXT:    call void @llvm.assume(i1 true) [ "noundef"(i32 [[A:%.*]]) ]
+; CHECK-NEXT:    [[ADD_FR:%.*]] = freeze i32 [[ADD:%.*]]
----------------
c-rhodes wrote:

good spot! That'll teach me to blindly trust update_test_checks.py.

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