[llvm] [ConstraintElim] Bound non-increasing header IVs by start value. (PR #217921)

[Yingwei Zheng via llvm-commits]

================
@@ -159,3 +161,54 @@ else:
   %res = phi i64 [ %v, %cont ], [ 0, %entry ]
   ret i64 %res
 }
+
+define void @shl_flags(i32 %n) {
----------------
dtcxzyw wrote:

Add some comments about the TODO.

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