1; RUN: opt < %s -lcssa -S -verify-loop-info | grep {\[%\]tmp33 = load i1\\*\\* \[%\]tmp}
2; PR6546
3
4; LCSSA doesn't need to transform uses in blocks not reachable
5; from the entry block.
6
7define fastcc void @dfs() nounwind {
8bb:
9  br label %bb44
10
11bb44:
12  br i1 undef, label %bb7, label %bb45
13
14bb7:
15  %tmp = bitcast i1** undef to i1**
16  br label %bb15
17
18bb15:
19  br label %bb44
20
21bb32:
22  %tmp33 = load i1** %tmp, align 8
23  br label %bb45
24
25bb45:
26  unreachable
27}
28