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