xref: /aosp_15_r20/external/llvm/test/Transforms/LCSSA/unreachable-use.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58)
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