[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / InstCombine / pr27703.ll
blob2981afe171e4e0e6616a62291b337ea41d2a3fd6
1 ; RUN: opt < %s -instcombine -S | FileCheck %s
3 define void @mem() {
4 bb:
5   br label %bb6
7 bb6:
8   %.0 = phi i8** [ undef, %bb ], [ %t2, %bb6 ]
9   %tmp = load i8*, i8** %.0, align 8
10   %bc = bitcast i8* %tmp to i8**
11   %t1 = load i8*, i8** %bc, align 8
12   %t2 = bitcast i8* %t1 to i8**
13   br label %bb6
15 bb206:
16   ret void
17 ; CHECK: phi
18 ; CHECK: bitcast
19 ; CHECK: load