test/Transforms/SCCP/2004-12-10-UndefBranchBug.ll

   1 ; RUN: llvm-as < %s | opt -sccp | llvm-dis | grep 'ret int 1'
   2
   3 ; This function definitely returns 1, even if we don't know the direction
   4 ; of the branch.
   5
   6 int %foo() {
   7         br bool undef, label %T, label %T
   8 T:
   9         %X = add int 0, 1
  10         ret int %X
  11 }