[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / GVN / pr36063.ll
blob471e338c0f25d3c8e6d5b63e963a75d5e3d1aba6
1 ; RUN: opt < %s -memcpyopt -mldst-motion -gvn -S | FileCheck %s
3 define void @foo(i8* %ret, i1 %x) {
4   %a = alloca i8
5   br i1 %x, label %yes, label %no
7 yes:                                              ; preds = %0
8   %gepa = getelementptr i8, i8* %a, i64 0
9   store i8 5, i8* %gepa
10   br label %out
12 no:                                               ; preds = %0
13   %gepb = getelementptr i8, i8* %a, i64 0
14   store i8 5, i8* %gepb
15   br label %out
17 out:                                              ; preds = %no, %yes
18   %tmp = load i8, i8* %a
19 ; CHECK-NOT: undef
20   store i8 %tmp, i8* %ret
21   ret void