; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -passes=mem2reg -S | FileCheck %s
define void @_Z3barv() {
; CHECK-LABEL: @_Z3barv(
; CHECK-NEXT: ret void
; CHECK: 1:
; CHECK-NEXT: ret void
;
%result = alloca i32 ; <ptr> [#uses=1]
ret void
; No predecessors!
store i32 0, ptr %result
ret void
}