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