23 lines · plain
1; RUN: opt < %s -passes=instcombine -S | FileCheck %s2 3define void @mem() {4bb:5 br label %bb66 7bb6:8 %.0 = phi ptr [ undef, %bb ], [ %t2, %bb6 ]9 %tmp = load ptr, ptr %.0, align 810 %bc = bitcast ptr %tmp to ptr11 %t1 = load ptr, ptr %bc, align 812 %t2 = bitcast ptr %t1 to ptr13 br label %bb614 15bb206:16 ret void17; CHECK: phi18; CHECK-NEXT: load19; CHECK-NEXT: load20; CHECK-NEXT: br21 22}23