[llvm] [SCEV] Do not allow refinement in the rewriting of BEValue (PR #117152)

[Nikita Popov via llvm-commits]

================
@@ -214,7 +214,7 @@ define i64 @test10(i64 %a, i64 %b) {
   ret i64 %t2
 }
 
-define i64 @test11(i64 %a) {
+define i64 @test11(i64 noundef range(i64 1, 0) %a) {
----------------
nikic wrote:

Not needed?

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