1; RUN: opt < %s -passes=instcombine -S | FileCheck %s 2 3define void @mem() { 4bb: 5 br label %bb6 6 7bb6: 8 %.0 = phi ptr [ undef, %bb ], [ %t2, %bb6 ] 9 %tmp = load ptr, ptr %.0, align 8 10 %bc = bitcast ptr %tmp to ptr 11 %t1 = load ptr, ptr %bc, align 8 12 %t2 = bitcast ptr %t1 to ptr 13 br label %bb6 14 15bb206: 16 ret void 17; CHECK: phi 18; CHECK-NEXT: load 19; CHECK-NEXT: load 20; CHECK-NEXT: br 21 22} 23