; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2
; RUN: opt -S -passes=move-auto-init < %s | FileCheck %s

define i1 @test(ptr %a, ptr %b) {
; CHECK-LABEL: define i1 @test
; CHECK-SAME: (ptr [[A:%.*]], ptr [[B:%.*]]) {
; CHECK-NEXT:    [[C:%.*]] = icmp uge ptr [[A]], [[B]], !annotation !0
; CHECK-NEXT:    ret i1 [[C]]
;
  %c = icmp uge ptr %a, %b, !annotation !0
  ret i1 %c
}

!0 = !{ !"auto-init" }