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

[via llvm-commits]

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

Isn't `requires: assert` needed when the crash is an assertion failure since we want to show failure in DA/RA builds and it won't show up in release builds without assertions anyway?

Now, the requires won't be needed since I'll try adding the print SCEV pass.

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