test/Transforms/InstCombine/2006-12-10-ICmp-GEP-GEP.ll

   1 ; RUN: llvm-upgrade < %s | llvm-as | opt -instcombine | llvm-dis | \
   2 ; RUN:    grep -v {icmp ult int}
   3 ; END.
   4
   5 ; ModuleID = 'good.bc'
   6 target datalayout = "e-p:32:32"
   7 target endian = little
   8 target pointersize = 32
   9 target triple = "i686-pc-linux-gnu"
  10         %struct.edgeBox = type { short, short, short, short, short, short }
  11 %qsz = external global int              ; <int*> [#uses=12]
  12 %thresh = external global int           ; <int*> [#uses=2]
  13 %mthresh = external global int          ; <int*> [#uses=1]
  14
  15 implementation   ; Functions:
  16
  17 int %qsorte(sbyte* %base, int %n, int %size) {
  18 entry:
  19         %tmp = setgt int %n, 1          ; <bool> [#uses=1]
  20         br bool %tmp, label %cond_next, label %return
  21
  22 cond_next:              ; preds = %entry
  23         store int %size, int* %qsz
  24         %tmp3 = shl int %size, ubyte 2          ; <int> [#uses=1]
  25         store int %tmp3, int* %thresh
  26         %tmp4 = load int* %qsz          ; <int> [#uses=1]
  27         %tmp5 = mul int %tmp4, 6                ; <int> [#uses=1]
  28         store int %tmp5, int* %mthresh
  29         %tmp6 = load int* %qsz          ; <int> [#uses=1]
  30         %tmp8 = mul int %tmp6, %n               ; <int> [#uses=1]
  31         %tmp9 = getelementptr sbyte* %base, int %tmp8           ; <sbyte*> [#uses=3]
  32         %tmp11 = setgt int %n, 3                ; <bool> [#uses=1]
  33         br bool %tmp11, label %cond_true12, label %bb30
  34
  35 cond_true12:            ; preds = %cond_next
  36         %tmp156 = call int %qste( sbyte* %base, sbyte* %tmp9 )          ; <int> [#uses=0]
  37         %tmp16 = load int* %thresh              ; <int> [#uses=1]
  38         %tmp18 = getelementptr sbyte* %base, int %tmp16         ; <sbyte*> [#uses=2]
  39         %tmp3117 = load int* %qsz               ; <int> [#uses=1]
  40         %tmp3318 = getelementptr sbyte* %base, int %tmp3117             ; <sbyte*> [#uses=2]
  41         %tmp3621 = setlt sbyte* %tmp3318, %tmp18                ; <bool> [#uses=1]
  42         br bool %tmp3621, label %bb, label %bb37
  43
  44 bb:             ; preds = %bb30, %cond_true12
  45         %hi.0.0 = phi sbyte* [ %tmp18, %cond_true12 ], [ %hi.0, %bb30 ]         ; <sbyte*> [#uses=4]
  46         %j.1.0 = phi sbyte* [ %base, %cond_true12 ], [ %j.1, %bb30 ]            ; <sbyte*> [#uses=4]
  47         %tmp33.0 = phi sbyte* [ %tmp3318, %cond_true12 ], [ %tmp33, %bb30 ]             ; <sbyte*> [#uses=6]
  48         %tmp3 = bitcast sbyte* %j.1.0 to %struct.edgeBox*               ; <%struct.edgeBox*> [#uses=1]
  49         %tmp4 = bitcast sbyte* %tmp33.0 to %struct.edgeBox*             ; <%struct.edgeBox*> [#uses=1]
  50         %tmp255 = call int %comparee( %struct.edgeBox* %tmp3, %struct.edgeBox* %tmp4 )          ; <int> [#uses=1]
  51         %tmp26 = setgt int %tmp255, 0           ; <bool> [#uses=1]
  52         br bool %tmp26, label %cond_true27, label %bb30
  53
  54 cond_true27:            ; preds = %bb
  55         br label %bb30
  56
  57 bb30:           ; preds = %cond_true27, %bb, %cond_next
  58         %hi.0.3 = phi sbyte* [ %hi.0.0, %cond_true27 ], [ %hi.0.0, %bb ], [ undef, %cond_next ]         ; <sbyte*> [#uses=0]
  59         %j.1.3 = phi sbyte* [ %j.1.0, %cond_true27 ], [ %j.1.0, %bb ], [ undef, %cond_next ]            ; <sbyte*> [#uses=0]
  60         %tmp33.3 = phi sbyte* [ %tmp33.0, %cond_true27 ], [ %tmp33.0, %bb ], [ undef, %cond_next ]              ; <sbyte*> [#uses=0]
  61         %hi.0 = phi sbyte* [ %tmp9, %cond_next ], [ %hi.0.0, %bb ], [ %hi.0.0, %cond_true27 ]           ; <sbyte*> [#uses=2]
  62         %lo.1 = phi sbyte* [ %tmp33.0, %cond_true27 ], [ %tmp33.0, %bb ], [ %base, %cond_next ]         ; <sbyte*> [#uses=1]
  63         %j.1 = phi sbyte* [ %tmp33.0, %cond_true27 ], [ %j.1.0, %bb ], [ %base, %cond_next ]            ; <sbyte*> [#uses=2]
  64         %tmp31 = load int* %qsz         ; <int> [#uses=1]
  65         %tmp33 = getelementptr sbyte* %lo.1, int %tmp31         ; <sbyte*> [#uses=2]
  66         %tmp36 = setlt sbyte* %tmp33, %hi.0             ; <bool> [#uses=1]
  67         br bool %tmp36, label %bb, label %bb37
  68
  69 bb37:           ; preds = %bb30, %cond_true12
  70         %j.1.1 = phi sbyte* [ %j.1, %bb30 ], [ %base, %cond_true12 ]            ; <sbyte*> [#uses=4]
  71         %tmp40 = seteq sbyte* %j.1.1, %base             ; <bool> [#uses=1]
  72         br bool %tmp40, label %bb115, label %cond_true41
  73
  74 cond_true41:            ; preds = %bb37
  75         %tmp43 = load int* %qsz         ; <int> [#uses=1]
  76         %tmp45 = getelementptr sbyte* %base, int %tmp43         ; <sbyte*> [#uses=2]
  77         %tmp6030 = setlt sbyte* %base, %tmp45           ; <bool> [#uses=1]
  78         br bool %tmp6030, label %bb46, label %bb115
  79
  80 bb46:           ; preds = %bb46, %cond_true41
  81         %j.2.0 = phi sbyte* [ %j.1.1, %cond_true41 ], [ %tmp52, %bb46 ]         ; <sbyte*> [#uses=3]
  82         %i.2.0 = phi sbyte* [ %base, %cond_true41 ], [ %tmp56, %bb46 ]          ; <sbyte*> [#uses=3]
  83         %tmp = load sbyte* %j.2.0               ; <sbyte> [#uses=2]
  84         %tmp49 = load sbyte* %i.2.0             ; <sbyte> [#uses=1]
  85         store sbyte %tmp49, sbyte* %j.2.0
  86         %tmp52 = getelementptr sbyte* %j.2.0, int 1             ; <sbyte*> [#uses=2]
  87         store sbyte %tmp, sbyte* %i.2.0
  88         %tmp56 = getelementptr sbyte* %i.2.0, int 1             ; <sbyte*> [#uses=3]
  89         %tmp60 = setlt sbyte* %tmp56, %tmp45            ; <bool> [#uses=1]
  90         br bool %tmp60, label %bb46, label %bb115
  91
  92 bb66:           ; preds = %bb115, %bb66
  93         %hi.3 = phi sbyte* [ %tmp118, %bb115 ], [ %tmp70, %bb66 ]               ; <sbyte*> [#uses=2]
  94         %tmp67 = load int* %qsz         ; <int> [#uses=2]
  95         %tmp68 = sub int 0, %tmp67              ; <int> [#uses=1]
  96         %tmp70 = getelementptr sbyte* %hi.3, int %tmp68         ; <sbyte*> [#uses=2]
  97         %tmp = bitcast sbyte* %tmp70 to %struct.edgeBox*                ; <%struct.edgeBox*> [#uses=1]
  98         %tmp1 = bitcast sbyte* %tmp118 to %struct.edgeBox*              ; <%struct.edgeBox*> [#uses=1]
  99         %tmp732 = call int %comparee( %struct.edgeBox* %tmp, %struct.edgeBox* %tmp1 )           ; <int> [#uses=1]
 100         %tmp74 = setgt int %tmp732, 0           ; <bool> [#uses=1]
 101         br bool %tmp74, label %bb66, label %bb75
 102
 103 bb75:           ; preds = %bb66
 104         %tmp76 = load int* %qsz         ; <int> [#uses=1]
 105         %tmp70.sum = sub int %tmp76, %tmp67             ; <int> [#uses=1]
 106         %tmp78 = getelementptr sbyte* %hi.3, int %tmp70.sum             ; <sbyte*> [#uses=3]
 107         %tmp81 = seteq sbyte* %tmp78, %tmp118           ; <bool> [#uses=1]
 108         br bool %tmp81, label %bb115, label %cond_true82
 109
 110 cond_true82:            ; preds = %bb75
 111         %tmp83 = load int* %qsz         ; <int> [#uses=1]
 112         %tmp118.sum = add int %tmp116, %tmp83           ; <int> [#uses=1]
 113         %tmp85 = getelementptr sbyte* %min.1, int %tmp118.sum           ; <sbyte*> [#uses=1]
 114         %tmp10937 = getelementptr sbyte* %tmp85, int -1         ; <sbyte*> [#uses=3]
 115         %tmp11239 = setlt sbyte* %tmp10937, %tmp118             ; <bool> [#uses=1]
 116         br bool %tmp11239, label %bb115, label %bb86
 117
 118 bb86:           ; preds = %bb104, %cond_true82
 119         %tmp109.0 = phi sbyte* [ %tmp10937, %cond_true82 ], [ %tmp109, %bb104 ]         ; <sbyte*> [#uses=5]
 120         %i.5.2 = phi sbyte* [ %i.5.3, %cond_true82 ], [ %i.5.1, %bb104 ]                ; <sbyte*> [#uses=0]
 121         %tmp100.2 = phi sbyte* [ %tmp100.3, %cond_true82 ], [ %tmp100.1, %bb104 ]               ; <sbyte*> [#uses=0]
 122         %tmp88 = load sbyte* %tmp109.0          ; <sbyte> [#uses=2]
 123         %tmp9746 = load int* %qsz               ; <int> [#uses=1]
 124         %tmp9847 = sub int 0, %tmp9746          ; <int> [#uses=1]
 125         %tmp10048 = getelementptr sbyte* %tmp109.0, int %tmp9847                ; <sbyte*> [#uses=3]
 126         %tmp10350 = setlt sbyte* %tmp10048, %tmp78              ; <bool> [#uses=1]
 127         br bool %tmp10350, label %bb104, label %bb91
 128
 129 bb91:           ; preds = %bb91, %bb86
 130         %i.5.0 = phi sbyte* [ %tmp109.0, %bb86 ], [ %tmp100.0, %bb91 ]          ; <sbyte*> [#uses=1]
 131         %tmp100.0 = phi sbyte* [ %tmp10048, %bb86 ], [ %tmp100, %bb91 ]         ; <sbyte*> [#uses=4]
 132         %tmp93 = load sbyte* %tmp100.0          ; <sbyte> [#uses=1]
 133         store sbyte %tmp93, sbyte* %i.5.0
 134         %tmp97 = load int* %qsz         ; <int> [#uses=1]
 135         %tmp98 = sub int 0, %tmp97              ; <int> [#uses=1]
 136         %tmp100 = getelementptr sbyte* %tmp100.0, int %tmp98            ; <sbyte*> [#uses=3]
 137         %tmp103 = setlt sbyte* %tmp100, %tmp78          ; <bool> [#uses=1]
 138         br bool %tmp103, label %bb104, label %bb91
 139
 140 bb104:          ; preds = %bb91, %bb86
 141         %i.5.1 = phi sbyte* [ %tmp109.0, %bb86 ], [ %tmp100.0, %bb91 ]          ; <sbyte*> [#uses=4]
 142         %tmp100.1 = phi sbyte* [ %tmp10048, %bb86 ], [ %tmp100, %bb91 ]         ; <sbyte*> [#uses=3]
 143         store sbyte %tmp88, sbyte* %i.5.1
 144         %tmp109 = getelementptr sbyte* %tmp109.0, int -1                ; <sbyte*> [#uses=3]
 145         %tmp112 = setlt sbyte* %tmp109, %tmp118         ; <bool> [#uses=1]
 146         br bool %tmp112, label %bb115, label %bb86
 147
 148 bb115:          ; preds = %bb104, %cond_true82, %bb75, %bb46, %cond_true41, %bb37
 149         %tmp109.1 = phi sbyte* [ undef, %bb37 ], [ %tmp109.1, %bb75 ], [ %tmp10937, %cond_true82 ], [ %tmp109, %bb104 ], [ undef, %bb46 ], [ undef, %cond_true41 ]              ; <sbyte*> [#uses=1]
 150         %i.5.3 = phi sbyte* [ undef, %bb37 ], [ %i.5.3, %bb75 ], [ %i.5.3, %cond_true82 ], [ %i.5.1, %bb104 ], [ undef, %bb46 ], [ undef, %cond_true41 ]                ; <sbyte*> [#uses=3]
 151         %tmp100.3 = phi sbyte* [ undef, %bb37 ], [ %tmp100.3, %bb75 ], [ %tmp100.3, %cond_true82 ], [ %tmp100.1, %bb104 ], [ undef, %bb46 ], [ undef, %cond_true41 ]            ; <sbyte*> [#uses=3]
 152         %min.1 = phi sbyte* [ %tmp118, %bb104 ], [ %tmp118, %bb75 ], [ %base, %bb37 ], [ %base, %bb46 ], [ %base, %cond_true41 ], [ %tmp118, %cond_true82 ]             ; <sbyte*> [#uses=2]
 153         %j.5 = phi sbyte* [ %tmp100.1, %bb104 ], [ %j.5, %bb75 ], [ %tmp52, %bb46 ], [ %j.1.1, %bb37 ], [ %j.1.1, %cond_true41 ], [ %j.5, %cond_true82 ]                ; <sbyte*> [#uses=2]
 154         %i.4 = phi sbyte* [ %i.5.1, %bb104 ], [ %i.4, %bb75 ], [ %tmp56, %bb46 ], [ undef, %bb37 ], [ %base, %cond_true41 ], [ %i.4, %cond_true82 ]             ; <sbyte*> [#uses=2]
 155         %c.4 = phi sbyte [ %tmp88, %bb104 ], [ %c.4, %bb75 ], [ %tmp, %bb46 ], [ undef, %bb37 ], [ undef, %cond_true41 ], [ %c.4, %cond_true82 ]                ; <sbyte> [#uses=2]
 156         %tmp116 = load int* %qsz                ; <int> [#uses=2]
 157         %tmp118 = getelementptr sbyte* %min.1, int %tmp116              ; <sbyte*> [#uses=9]
 158         %tmp122 = setlt sbyte* %tmp118, %tmp9           ; <bool> [#uses=1]
 159         br bool %tmp122, label %bb66, label %return
 160
 161 return:         ; preds = %bb115, %entry
 162         ret int undef
 163 }
 164
 165 declare int %qste(sbyte*, sbyte*)
 166
 167 declare int %comparee(%struct.edgeBox*, %struct.edgeBox*)