| 1234567891011121314151617181920212223242526272829 |
- ; RUN: opt < %s -lcssa -S -verify-loop-info | FileCheck %s
- ; PR6546
- ; LCSSA doesn't need to transform uses in blocks not reachable
- ; from the entry block.
- ; CHECK: %tmp33 = load i1*, i1** %tmp
- define fastcc void @dfs() nounwind {
- bb:
- br label %bb44
- bb44:
- br i1 undef, label %bb7, label %bb45
- bb7:
- %tmp = bitcast i1** undef to i1**
- br label %bb15
- bb15:
- br label %bb44
- bb32:
- %tmp33 = load i1*, i1** %tmp, align 8
- br label %bb45
- bb45:
- unreachable
- }
|
