; RUN: opt -passes='gvn' -pass-remarks-output=%t.yaml %s
; RUN: FileCheck %s < %t.yaml

; Check that there's no assert from trying to the uses of the constant
; null.

; CHECK: --- !Missed
; CHECK-NEXT: Pass:            gvn
; CHECK-NEXT: Name:            LoadClobbered
; CHECK-NEXT: Function:        c
; CHECK-NEXT: Args:
; CHECK-NEXT:   - String:          'load of type '
; CHECK-NEXT:   - Type:            i64
; CHECK-NEXT:   - String:          ' not eliminated'
; CHECK-NEXT:   - String:          ' because it is clobbered by '
; CHECK-NEXT:   - ClobberedBy:     store
; CHECK-NEXT: ...
define void @c(ptr addrspace(21) %a) {
entry:
  br label %for.cond

for.cond:                                         ; preds = %for.cond, %entry
  %load = load i64, ptr addrspace(21) null, align 1
  store i64 %load, ptr addrspace(21) %a, align 1
  br label %for.cond
}