[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / InstCombine / storemerge-dbg.ll
blobdc40dd7f787a7f0426cca23c3bdc85fee6c699c8
1 ; RUN: opt < %s -debugify -instcombine -S | FileCheck %s
3 declare i32 @escape(i32)
5 ; CHECK-LABEL: define {{.*}}@foo(
6 define i32 @foo() {
7 entry:
8   %baz = alloca i32
9   br i1 undef, label %lhs, label %rhs
11 lhs:
12   store i32 1, i32* %baz
13   br label %cleanup
15 rhs:
16   store i32 2, i32* %baz
17   br label %cleanup
19 cleanup:
20   ; CHECK: %storemerge = phi i32 [ 1, %lhs ], [ 2, %rhs ], !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
26 ; CHECK: [[merge_loc]] = !DILocation(line: 0