; 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 | |
} |