1; RUN: opt < %s -instcombine -S | FileCheck %s
2
3define void @mem() {
4bb:
5  br label %bb6
6
7bb6:
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
14
15bb206:
16  ret void
17; CHECK: phi
18; CHECK: bitcast
19; CHECK: load
20}
21