1; RUN: opt < %s -debugify -instcombine -S | FileCheck %s
2
3declare i32 @escape(i32)
4
5; CHECK-LABEL: define {{.*}}@foo(
6define i32 @foo() {
7entry:
8  %baz = alloca i32
9  br i1 undef, label %lhs, label %rhs
10
11lhs:
12  store i32 1, i32* %baz
13  br label %cleanup
14
15rhs:
16  store i32 2, i32* %baz
17  br label %cleanup
18
19cleanup:
20  ; CHECK: %storemerge = phi i32 [ 2, %rhs ], [ 1, %lhs ], !dbg [[merge_loc:![0-9]+]]
21  %baz.val = load i32, i32* %baz
22  %ret.val = call i32 @escape(i32 %baz.val)
23  ret i32 %ret.val
24}
25
26; CHECK: [[merge_loc]] = !DILocation(line: 0
27