test/Transforms/LCSSA/unreachable-use.ll

   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 }