[llvm] [CVP] Propagate constant range on icmp at use level (PR #73767)

[Yingwei Zheng via llvm-commits]

================
@@ -50,10 +50,9 @@ exit:
 define void @test2(i32 %a) {
 ; CHECK-LABEL: @test2(
 ; CHECK-NEXT:  entry:
-; CHECK-NEXT:    [[CMP:%.*]] = icmp ugt i32 [[A:%.*]], -1
-; CHECK-NEXT:    br i1 [[CMP]], label [[BB:%.*]], label [[EXIT:%.*]]
+; CHECK-NEXT:    br i1 false, label [[BB:%.*]], label [[EXIT:%.*]]
----------------
dtcxzyw wrote:

I believe this is a miscompilation.


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