test/Transforms/LCSSA/unreachable-use.ll

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