test/Transforms/JumpThreading/2011-04-02-SimplifyDeadBlock.ll

   1 ; RUN: opt < %s -jump-threading
   2 ; PR9446
   3 ; Just check that it doesn't crash
   4
   5 define void @int327() nounwind {
   6 entry:
   7   unreachable
   8
   9 for.cond:                                         ; preds = %for.cond4
  10   %tobool3 = icmp eq i8 undef, 0
  11   br i1 %tobool3, label %for.cond23, label %for.cond4
  12
  13 for.cond4:                                        ; preds = %for.cond
  14   br label %for.cond
  15
  16 for.cond23:                                       ; preds = %for.body28, %for.cond23, %for.cond
  17   %conv321 = phi i32 [ %conv32, %for.body28 ], [ 0, %for.cond ], [ %conv321, %for.cond23 ]
  18   %l_266.0 = phi i32 [ %phitmp, %for.body28 ], [ 0, %for.cond ], [ 0, %for.cond23 ]
  19   %cmp26 = icmp eq i32 %l_266.0, 0
  20   br i1 %cmp26, label %for.body28, label %for.cond23
  21
  22 for.body28:                                       ; preds = %for.cond23
  23   %and = and i32 %conv321, 1
  24   %conv32 = zext i8 undef to i32
  25   %add = add nsw i32 %l_266.0, 1
  26   %phitmp = and i32 %add, 255
  27   br label %for.cond23
  28
  29 if.end43:                                         ; No predecessors!
  30   ret void
  31 }
  32