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