[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / GVN / pr24426.ll
blob76b190f8fc223ad1506405c78dcfdf11f1539748
1 ; RUN: opt < %s -memcpyopt -mldst-motion -gvn -S | FileCheck %s
3 declare void @check(i8)
5 declare void @write(i8* %res)
7 define void @test1() {
8   %1 = alloca [10 x i8]
9   %2 = bitcast [10 x i8]* %1 to i8*
10   call void @write(i8* %2)
11   %3 = load i8, i8* %2
13 ; CHECK-NOT: undef
14   call void @check(i8 %3)
16   ret void