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