test/Transforms/CorrelatedValuePropagation/2010-09-26-MergeConstantRange.ll

   1 ; RUN: opt < %s -jump-threading -correlated-propagation
   2
   3 %struct.S2 = type {}
   4
   5 @g_128 = external global %struct.S2, align 1
   6 @g_106 = external global i16, align 2
   7
   8 define void @int328(i16 signext %p_82) noreturn nounwind ssp {
   9 entry:
  10   %tobool3 = icmp eq i16 %p_82, 0
  11   br label %for.cond.outer
  12
  13 for.cond.outer:                                   ; preds = %for.cond.loopexit, %entry
  14   br label %for.cond
  15
  16 for.cond.loopexit:                                ; preds = %bb.nph, %for.cond9.preheader
  17   br label %for.cond.outer
  18
  19 for.cond.loopexit4.us-lcssa:                      ; preds = %if.then
  20   br label %for.cond.loopexit4
  21
  22 for.cond.loopexit4:                               ; preds = %for.cond.loopexit4.us-lcssa.us, %for.cond.loopexit4.us-lcssa
  23   br label %for.cond.backedge
  24
  25 for.cond:                                         ; preds = %for.cond.backedge, %for.cond.outer
  26   br i1 %tobool3, label %for.cond.split.us, label %for.cond.for.cond.split_crit_edge
  27
  28 for.cond.for.cond.split_crit_edge:                ; preds = %for.cond
  29   br label %lbl_133
  30
  31 for.cond.split.us:                                ; preds = %for.cond
  32   br label %lbl_133.us
  33
  34 lbl_133.us:                                       ; preds = %lbl_134.us, %for.cond.split.us
  35   br i1 undef, label %if.else14.us-lcssa.us, label %if.then.us
  36
  37 lbl_134.us:                                       ; preds = %if.then.us
  38   br i1 icmp eq (i16 ptrtoint (%struct.S2* @g_128 to i16), i16 0), label %for.cond9.preheader.us-lcssa.us, label %lbl_133.us
  39
  40 if.then.us:                                       ; preds = %lbl_133.us
  41   br i1 true, label %for.cond.loopexit4.us-lcssa.us, label %lbl_134.us
  42
  43 if.else14.us-lcssa.us:                            ; preds = %lbl_133.us
  44   br label %if.else14
  45
  46 for.cond9.preheader.us-lcssa.us:                  ; preds = %lbl_134.us
  47   br label %for.cond9.preheader
  48
  49 for.cond.loopexit4.us-lcssa.us:                   ; preds = %if.then.us
  50   br label %for.cond.loopexit4
  51
  52 lbl_133:                                          ; preds = %lbl_134, %for.cond.for.cond.split_crit_edge
  53   %l_109.0 = phi i16 [ 0, %for.cond.for.cond.split_crit_edge ], [ ptrtoint (%struct.S2* @g_128 to i16), %lbl_134 ]
  54   %tobool = icmp eq i32 undef, 0
  55   br i1 %tobool, label %if.else14.us-lcssa, label %if.then
  56
  57 if.then:                                          ; preds = %lbl_133
  58   br i1 false, label %for.cond.loopexit4.us-lcssa, label %lbl_134
  59
  60 lbl_134:                                          ; preds = %if.then
  61   br i1 icmp eq (i16 ptrtoint (%struct.S2* @g_128 to i16), i16 0), label %for.cond9.preheader.us-lcssa, label %lbl_133
  62
  63 for.cond9.preheader.us-lcssa:                     ; preds = %lbl_134
  64   br label %for.cond9.preheader
  65
  66 for.cond9.preheader:                              ; preds = %for.cond9.preheader.us-lcssa, %for.cond9.preheader.us-lcssa.us
  67   br i1 undef, label %bb.nph, label %for.cond.loopexit
  68
  69 bb.nph:                                           ; preds = %for.cond9.preheader
  70   br label %for.cond.loopexit
  71
  72 if.else14.us-lcssa:                               ; preds = %lbl_133
  73   br label %if.else14
  74
  75 if.else14:                                        ; preds = %if.else14.us-lcssa, %if.else14.us-lcssa.us
  76   %l_109.0.lcssa = phi i16 [ %l_109.0, %if.else14.us-lcssa ], [ 0, %if.else14.us-lcssa.us ]
  77   store i16 undef, i16* @g_106, align 2
  78   br label %for.cond.backedge
  79
  80 for.cond.backedge:                                ; preds = %if.else14, %for.cond.loopexit4
  81   br label %for.cond
  82 }