test/Transforms/CorrelatedValuePropagation/crash.ll

   1 ; RUN: opt < %s -correlated-propagation
   2
   3 ; PR8161
   4 define void @test1() nounwind ssp {
   5 entry:
   6   br label %for.end
   7
   8 for.cond.us.us:                                   ; preds = %for.cond.us.us
   9   %cmp6.i.us.us = icmp sgt i32 1, 0
  10   %lor.ext.i.us.us = zext i1 %cmp6.i.us.us to i32
  11   %lor.ext.add.i.us.us = select i1 %cmp6.i.us.us, i32 %lor.ext.i.us.us, i32 undef
  12   %conv.i.us.us = trunc i32 %lor.ext.add.i.us.us to i16
  13   %sext.us.us = shl i16 %conv.i.us.us, 8
  14   %conv6.us.us = ashr i16 %sext.us.us, 8
  15   %and.us.us = and i16 %conv6.us.us, %and.us.us
  16   br i1 false, label %for.end, label %for.cond.us.us
  17
  18 for.end:                                          ; preds = %for.cond.us, %for.cond.us.us, %entry
  19   ret void
  20 }
  21
  22 ; PR 8790
  23 define void @test2() nounwind ssp {
  24 entry:
  25   br label %func_29.exit
  26
  27 sdf.exit.i:
  28   %l_44.1.mux.i = select i1 %tobool5.not.i, i8 %l_44.1.mux.i, i8 1
  29   br label %srf.exit.i
  30
  31 srf.exit.i:
  32   %tobool5.not.i = icmp ne i8 undef, 0
  33   br i1 %tobool5.not.i, label %sdf.exit.i, label %func_29.exit
  34
  35 func_29.exit:
  36   ret void
  37 }
  38
  39 ; PR13972
  40 define void @test3() nounwind {
  41 for.body:
  42   br label %return
  43
  44 for.cond.i:                                       ; preds = %if.else.i, %for.body.i
  45   %e.2.i = phi i32 [ %e.2.i, %if.else.i ], [ -8, %for.body.i ]
  46   br i1 undef, label %return, label %for.body.i
  47
  48 for.body.i:                                       ; preds = %for.cond.i
  49   switch i32 %e.2.i, label %for.cond3.i [
  50     i32 -3, label %if.else.i
  51     i32 0, label %for.cond.i
  52   ]
  53
  54 for.cond3.i:                                      ; preds = %for.cond3.i, %for.body.i
  55   br label %for.cond3.i
  56
  57 if.else.i:                                        ; preds = %for.body.i
  58   br label %for.cond.i
  59
  60 return:                                           ; preds = %for.cond.i, %for.body
  61   ret void
  62 }