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

[Nikita Popov via llvm-commits]

================
@@ -1,7 +1,7 @@
 ; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py
 ; RUN: opt -disable-output -passes="print<scalar-evolution>" < %s 2>&1 | FileCheck %s
 
-define i32 @test_expr_with_constant_1(i32 %x) {
+define i32 @test_expr_with_constant_1(i32 noundef range(i32 1, 0) %x) {
----------------
nikic wrote:

Not needed?

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