| ; 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 | |
| } | |