llvm/test/Transforms/SCCP/2008-01-27-UndefCorrelate.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=sccp -S | FileCheck %s
   3 ; PR1938
   4
   5 define i32 @main() {
   6 ; CHECK-LABEL: @main(
   7 ; CHECK-NEXT:  entry:
   8 ; CHECK-NEXT:    br label [[BB:%.*]]
   9 ; CHECK:       bb:
  10 ; CHECK-NEXT:    unreachable
  11 ;
  12 entry:
  13   br label %bb
  14
  15 bb:
  16   %indvar = phi i32 [ 0, %entry ], [ %k, %bb.backedge ]
  17   %k = add i32 %indvar, 1
  18   br i1 undef, label %cond_true, label %cond_false
  19
  20 cond_true:
  21   %tmp97 = icmp slt i32 %k, 10
  22   br i1 %tmp97, label %bb.backedge, label %bb12
  23
  24 bb.backedge:
  25   br label %bb
  26
  27 cond_false:
  28   %tmp9 = icmp slt i32 %k, 10
  29   br i1 %tmp9, label %bb.backedge, label %bb12
  30
  31 bb12:
  32   %tmp14 = icmp eq i32 %k, 10
  33   br i1 %tmp14, label %cond_next18, label %cond_true17
  34
  35 cond_true17:
  36   tail call void @abort( )
  37   unreachable
  38
  39 cond_next18:
  40   ret i32 0
  41 }
  42
  43 declare void @abort()