| ; RUN: opt < %s -instcombine -S | FileCheck %s | |
| define void @mem() { | |
| bb: | |
| br label %bb6 | |
| bb6: | |
| %.0 = phi i8** [ undef, %bb ], [ %t2, %bb6 ] | |
| %tmp = load i8*, i8** %.0, align 8 | |
| %bc = bitcast i8* %tmp to i8** | |
| %t1 = load i8*, i8** %bc, align 8 | |
| %t2 = bitcast i8* %t1 to i8** | |
| br label %bb6 | |
| bb206: | |
| ret void | |
| ; CHECK: phi | |
| ; CHECK: bitcast | |
| ; CHECK: load | |
| } |