xref: /llvm-project/llvm/test/Transforms/InstCombine/pr27703.ll (revision 997d7d193149bdce5512405d7384f700c0cab39d)
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