[llvm] [SCEV] Fix BinomialCoefficient Iteration to fit in W bits (PR #88010)

[Eli Friedman via llvm-commits]

================
@@ -0,0 +1,36 @@
+; RUN: opt -S -passes='indvars' -verify-scev < %s | FileCheck %s
----------------
efriedma-quic wrote:

Can you construct a testcase that uses -passes='print<scalar-evolution>'?  That would verify the underlying functionality is actually working correctly, instead of just not crashing.

Also, please don't mark tests `REQUIRES: asserts` unless it's actually hard required (e.g. the test uses `-debug`).

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