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 7 define fastcc void @dfs() nounwind { 8 bb: 9 br label %bb44 10 11 bb44: 12 br i1 undef, label %bb7, label %bb45 13 14 bb7: 15 %tmp = bitcast i1** undef to i1** 16 br label %bb15 17 18 bb15: 19 br label %bb44 20 21 bb32: 22 %tmp33 = load i1** %tmp, align 8 23 br label %bb45 24 25 bb45: 26 unreachable 27 } 28
