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

[Yingwei Zheng via llvm-commits]

================
@@ -534,6 +534,7 @@ exit:
 
 define i1 @arg_attribute(ptr nonnull %a) {
 ; CHECK-LABEL: @arg_attribute(
+; CHECK-NEXT:    [[CMP:%.*]] = icmp eq ptr [[A:%.*]], null
----------------
dtcxzyw wrote:

I guess this icmp should be erased.

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