test/Transforms/SimpleLoopUnswitch/formDedicatedAfterTrivial3.ll

   1 ; RUN: opt < %s -simple-loop-unswitch -disable-output
   2
   3 ; PR38283
   4 ; PR38737
   5 declare void @func_1()
   6
   7 define void @func_9(i32 signext %arg) {
   8 bb:
   9   br label %bb5
  10 bb5:                                              ; preds = %bb24, %bb
  11   %tmp3.0 = phi i32 [ undef, %bb ], [ %tmp29, %bb24 ]
  12   %tmp11 = icmp eq i32 %arg, 0
  13   %tmp15 = icmp eq i32 %tmp3.0, 0
  14   %spec.select = select i1 %tmp15, i32 0, i32 49
  15   %tmp1.2 = select i1 %tmp11, i32 %spec.select, i32 9
  16   %trunc = trunc i32 %tmp1.2 to i6
  17   br label %bb9
  18
  19 bb9:                                              ; preds = %bb5, %bb19
  20   %tmp2.03 = phi i32 [ 0, %bb5 ], [ %tmp21, %bb19 ]
  21   switch i6 %trunc, label %bb24 [
  22     i6 0, label %bb19
  23     i6 -15, label %bb22
  24   ]
  25
  26 bb19:                                             ; preds = %bb9
  27   %tmp21 = add nuw nsw i32 %tmp2.03, 1
  28   %tmp8 = icmp eq i32 %tmp21, 25
  29   br i1 %tmp8, label %bb22, label %bb9
  30
  31 bb22:                                             ; preds = %bb19, %bb9
  32   unreachable
  33
  34 bb24:                                             ; preds = %bb9
  35   %tmp29 = or i32 %tmp3.0, 1
  36   br label %bb5
  37 }