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

   1 ; RUN: opt %s -sccp | llvm-dis | grep {ret i32 1}
   2
   3 ; This function definitely returns 1, even if we don't know the direction
   4 ; of the branch.
   5
   6 define i32 @foo() {
   7         br i1 undef, label %T, label %T
   8 T:              ; preds = %0, %0
   9         %X = add i32 0, 1               ; <i32> [#uses=1]
  10         ret i32 %X
  11 }
  12