[PATCH] D111878: [SCEV] Allow non-overflowing binops when analyzing SCC

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added inline comments.


================
Comment at: llvm/test/Analysis/ScalarEvolution/shift-recurrences.ll:449
 ; CHECK-NEXT:    %tmp = phi i32 [ 2, %bb ], [ %tmp2, %bb3 ]
-; CHECK-NEXT:    --> %tmp U: [1,-2147483648) S: [0,-2147483648)
+; CHECK-NEXT:    --> %tmp U: [0,-2147483648) S: [0,-2147483648)
 ; CHECK-NEXT:    %tmp2 = add nuw nsw i32 %tmp, 1
----------------
This is some weird caching effect; I need to see if we can tackle this. Doesn't look too bad though.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D111878/new/

https://reviews.llvm.org/D111878