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