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

[via llvm-commits]

================
@@ -0,0 +1,59 @@
+; RUN: opt -disable-output -passes='print<scalar-evolution>' -verify-scev < %s 2>&1 | FileCheck %s
----------------
annamthomas wrote:

it doesn't generate the SCEV lines unfortunately. I had tried it initially and then ended up generating these CHECK lines manually. 

The only lines it added were at end of test:
```
+ ;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
+ ; CHECK: {{.*}}
```

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