[llvm] [SCEV] Propagate a recurrence's nuw flag to its exit value. (PR #217378)

[Florian Hahn via llvm-commits]

================
@@ -37,7 +37,7 @@ define void @alloca_icmp_null_exit_count() {
 ; CHECK-NEXT:    %alloca.end = getelementptr inbounds i32, ptr %alloca, i64 3
 ; CHECK-NEXT:    --> (12 + %alloca)<nuw> U: [16,-3) S: [-9223372036854775808,9223372036854775805)
 ; CHECK-NEXT:    %ptr = phi ptr [ %ptr.next, %loop ], [ %alloca, %entry ]
-; CHECK-NEXT:    --> {%alloca,+,4}<nuw><%loop> U: [4,-7) S: [-9223372036854775808,9223372036854775805) Exits: (8 + %alloca)<nuw> LoopDispositions: { %loop: Computable }
+; CHECK-NEXT:    --> {%alloca,+,4}<nuw><%loop> U: [4,-7) S: [-9223372036854775808,9223372036854775805) Exits: (8 + %alloca)<nuw><u nuw> LoopDispositions: { %loop: Computable }
----------------
fhahn wrote:

Yep, should be taken care of in 115ab80fa1b4eb2c47d5ef69db254d9f119e90f8, thanks

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