1; RUN: opt -S -loop-vectorize < %s | FileCheck %s 2 3target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" 4target triple = "x86_64-apple-macosx10.9.0" 5 6@a = global i32* null, align 8 7@b = global i32* null, align 8 8@c = global i32* null, align 8 9 10; Don't create an exponetial IR for the edge masks needed when if-converting 11; this code. 12 13; PR16472 14 15; CHECK-NOT: %6000000 = 16 17define void @_Z3fn4i(i32 %p1) { 18entry: 19 %cmp88 = icmp sgt i32 %p1, 0 20 br i1 %cmp88, label %for.body.lr.ph, label %for.end 21 22for.body.lr.ph: 23 %0 = load i32*, i32** @b, align 8 24 %1 = load i32*, i32** @a, align 8 25 %2 = load i32*, i32** @c, align 8 26 br label %for.body 27 28for.body: 29 %indvars.iv = phi i64 [ 0, %for.body.lr.ph ], [ %indvars.iv.next, %_ZL3fn3ii.exit58 ] 30 %arrayidx = getelementptr inbounds i32, i32* %0, i64 %indvars.iv 31 %3 = load i32, i32* %arrayidx, align 4 %4 = trunc i64 %indvars.iv to i32 32 %and.i = and i32 %4, 1 33 %tobool.i.i = icmp eq i32 %and.i, 0 34 br i1 %tobool.i.i, label %if.end.i, label %if.then.i 35 36if.then.i: 37 %and.i.i = lshr i32 %3, 2 38 %and.lobit.i.i = and i32 %and.i.i, 1 39 %5 = xor i32 %and.lobit.i.i, 1 40 %or.i.i = or i32 %5, %3 41 %cmp.i = icmp sgt i32 %or.i.i, 0 42 %conv.i = zext i1 %cmp.i to i32 43 br label %if.end.i 44 45if.end.i: 46 %tobool.i87 = phi i1 [ true, %if.then.i ], [ false, %for.body ] 47 %p1.addr.0.i = phi i32 [ %conv.i, %if.then.i ], [ %3, %for.body ] 48 %6 = trunc i64 %indvars.iv to i32 49 %and1.i = and i32 %6, 7 50 %tobool2.i = icmp eq i32 %and1.i, 0 51 br i1 %tobool2.i, label %if.end7.i, label %if.then3.i 52 53if.then3.i: 54 %p1.addr.0.lobit.i = lshr i32 %p1.addr.0.i, 31 55 %and6.i = and i32 %p1.addr.0.i, 1 56 %or.i = or i32 %p1.addr.0.lobit.i, %and6.i 57 br label %if.end7.i 58 59if.end7.i: 60 %p1.addr.1.i = phi i32 [ %or.i, %if.then3.i ], [ %p1.addr.0.i, %if.end.i ] 61 br i1 %tobool.i87, label %if.then10.i, label %if.end13.i 62 63if.then10.i: 64 %cmp11.i = icmp sgt i32 %p1.addr.1.i, 0 65 %conv12.i = zext i1 %cmp11.i to i32 66 br label %if.end13.i 67 68if.end13.i: 69 %p1.addr.2.i = phi i32 [ %conv12.i, %if.then10.i ], [ %p1.addr.1.i, %if.end7.i ] 70 br i1 %tobool.i.i, label %_Z3fn2iii.exit, label %if.then16.i 71 72if.then16.i: 73 %and17.i = lshr i32 %p1.addr.2.i, 3 74 %and17.lobit.i = and i32 %and17.i, 1 75 br label %_Z3fn2iii.exit 76 77_Z3fn2iii.exit: 78 %p1.addr.3.i = phi i32 [ %and17.lobit.i, %if.then16.i ], [ %p1.addr.2.i, %if.end13.i ] 79 %7 = trunc i64 %indvars.iv to i32 80 %shr.i = ashr i32 %7, 1 81 %and.i18.i = and i32 %shr.i, 1 82 %tobool.i19.i = icmp ne i32 %and.i18.i, 0 83 br i1 %tobool.i19.i, label %if.then.i20.i, label %if.end.i.i 84 85if.then.i20.i: 86 %cmp.i.i = icmp sgt i32 %p1.addr.3.i, 0 87 %conv.i.i = zext i1 %cmp.i.i to i32 88 br label %if.end.i.i 89 90if.end.i.i: 91 %p1.addr.0.i21.i = phi i32 [ %conv.i.i, %if.then.i20.i ], [ %p1.addr.3.i, %_Z3fn2iii.exit ] 92 %and1.i.i = and i32 %shr.i, 7 93 %tobool2.i.i = icmp eq i32 %and1.i.i, 0 94 br i1 %tobool2.i.i, label %if.end7.i.i, label %if.then3.i.i 95 96if.then3.i.i: 97 %p1.addr.0.lobit.i.i = lshr i32 %p1.addr.0.i21.i, 31 98 %and6.i.i = and i32 %p1.addr.0.i21.i, 1 99 %or.i22.i = or i32 %p1.addr.0.lobit.i.i, %and6.i.i 100 br label %if.end7.i.i 101 102if.end7.i.i: 103 %p1.addr.1.i.i = phi i32 [ %or.i22.i, %if.then3.i.i ], [ %p1.addr.0.i21.i, %if.end.i.i ] 104 br i1 %tobool.i19.i, label %if.then10.i.i, label %if.end13.i.i 105 106if.then10.i.i: 107 %cmp11.i.i = icmp sgt i32 %p1.addr.1.i.i, 0 108 %conv12.i.i = zext i1 %cmp11.i.i to i32 109 br label %if.end13.i.i 110 111if.end13.i.i: 112 %p1.addr.2.i.i = phi i32 [ %conv12.i.i, %if.then10.i.i ], [ %p1.addr.1.i.i, %if.end7.i.i ] 113 %and14.i.i = and i32 %shr.i, 5 114 %tobool15.i.i = icmp eq i32 %and14.i.i, 0 115 br i1 %tobool15.i.i, label %_Z3fn2iii.exit.i, label %if.then16.i.i 116 117if.then16.i.i: 118 %and17.i.i = lshr i32 %p1.addr.2.i.i, 3 119 %and17.lobit.i.i = and i32 %and17.i.i, 1 120 br label %_Z3fn2iii.exit.i 121 122_Z3fn2iii.exit.i: 123 %p1.addr.3.i.i = phi i32 [ %and17.lobit.i.i, %if.then16.i.i ], [ %p1.addr.2.i.i, %if.end13.i.i ] 124 %8 = trunc i64 %indvars.iv to i32 125 %tobool.i11.i = icmp eq i32 %8, 0 126 br i1 %tobool.i11.i, label %_ZL3fn3ii.exit, label %if.then.i15.i 127 128if.then.i15.i: 129 %and.i12.i = lshr i32 %p1.addr.3.i.i, 2 130 %and.lobit.i13.i = and i32 %and.i12.i, 1 131 %9 = xor i32 %and.lobit.i13.i, 1 132 %or.i14.i = or i32 %9, %p1.addr.3.i.i 133 br label %_ZL3fn3ii.exit 134 135_ZL3fn3ii.exit: 136 %p1.addr.0.i16.i = phi i32 [ %or.i14.i, %if.then.i15.i ], [ %p1.addr.3.i.i, %_Z3fn2iii.exit.i ] 137 %arrayidx2 = getelementptr inbounds i32, i32* %1, i64 %indvars.iv 138 store i32 %p1.addr.0.i16.i, i32* %arrayidx2, align 4 %arrayidx4 = getelementptr inbounds i32, i32* %0, i64 %indvars.iv 139 %10 = load i32, i32* %arrayidx4, align 4 br i1 %tobool.i.i, label %_Z3fn1ii.exit.i26, label %if.then.i.i21 140 141if.then.i.i21: 142 %and.i.i18 = lshr i32 %10, 2 143 %and.lobit.i.i19 = and i32 %and.i.i18, 1 144 %11 = xor i32 %and.lobit.i.i19, 1 145 %or.i.i20 = or i32 %11, %10 146 br label %_Z3fn1ii.exit.i26 147 148_Z3fn1ii.exit.i26: 149 %p1.addr.0.i.i22 = phi i32 [ %or.i.i20, %if.then.i.i21 ], [ %10, %_ZL3fn3ii.exit ] 150 br i1 %tobool.i87, label %if.then.i63, label %if.end.i67 151 152if.then.i63: 153 %cmp.i61 = icmp sgt i32 %p1.addr.0.i.i22, 0 154 %conv.i62 = zext i1 %cmp.i61 to i32 155 br label %if.end.i67 156 157if.end.i67: 158 %p1.addr.0.i64 = phi i32 [ %conv.i62, %if.then.i63 ], [ %p1.addr.0.i.i22, %_Z3fn1ii.exit.i26 ] 159 br i1 %tobool2.i, label %if.end7.i73, label %if.then3.i71 160 161if.then3.i71: 162 %p1.addr.0.lobit.i68 = lshr i32 %p1.addr.0.i64, 31 163 %and6.i69 = and i32 %p1.addr.0.i64, 1 164 %or.i70 = or i32 %p1.addr.0.lobit.i68, %and6.i69 165 br label %if.end7.i73 166 167if.end7.i73: 168 %p1.addr.1.i72 = phi i32 [ %or.i70, %if.then3.i71 ], [ %p1.addr.0.i64, %if.end.i67 ] 169 br i1 %tobool.i87, label %if.then10.i76, label %if.end13.i80 170 171if.then10.i76: 172 %cmp11.i74 = icmp sgt i32 %p1.addr.1.i72, 0 173 %conv12.i75 = zext i1 %cmp11.i74 to i32 174 br label %if.end13.i80 175 176if.end13.i80: 177 %p1.addr.2.i77 = phi i32 [ %conv12.i75, %if.then10.i76 ], [ %p1.addr.1.i72, %if.end7.i73 ] 178 br i1 %tobool.i.i, label %_Z3fn2iii.exit85, label %if.then16.i83 179 180if.then16.i83: 181 %and17.i81 = lshr i32 %p1.addr.2.i77, 3 182 %and17.lobit.i82 = and i32 %and17.i81, 1 183 br label %_Z3fn2iii.exit85 184 185_Z3fn2iii.exit85: 186 %p1.addr.3.i84 = phi i32 [ %and17.lobit.i82, %if.then16.i83 ], [ %p1.addr.2.i77, %if.end13.i80 ] 187 br i1 %tobool.i19.i, label %if.then.i20.i29, label %if.end.i.i33 188 189if.then.i20.i29: 190 %cmp.i.i27 = icmp sgt i32 %p1.addr.3.i84, 0 191 %conv.i.i28 = zext i1 %cmp.i.i27 to i32 192 br label %if.end.i.i33 193 194if.end.i.i33: 195 %p1.addr.0.i21.i30 = phi i32 [ %conv.i.i28, %if.then.i20.i29 ], [ %p1.addr.3.i84, %_Z3fn2iii.exit85 ] 196 br i1 %tobool2.i.i, label %if.end7.i.i39, label %if.then3.i.i37 197 198if.then3.i.i37: 199 %p1.addr.0.lobit.i.i34 = lshr i32 %p1.addr.0.i21.i30, 31 200 %and6.i.i35 = and i32 %p1.addr.0.i21.i30, 1 201 %or.i22.i36 = or i32 %p1.addr.0.lobit.i.i34, %and6.i.i35 202 br label %if.end7.i.i39 203 204if.end7.i.i39: 205 %p1.addr.1.i.i38 = phi i32 [ %or.i22.i36, %if.then3.i.i37 ], [ %p1.addr.0.i21.i30, %if.end.i.i33 ] 206 br i1 %tobool.i19.i, label %if.then10.i.i42, label %if.end13.i.i46 207 208if.then10.i.i42: 209 %cmp11.i.i40 = icmp sgt i32 %p1.addr.1.i.i38, 0 210 %conv12.i.i41 = zext i1 %cmp11.i.i40 to i32 211 br label %if.end13.i.i46 212 213if.end13.i.i46: 214 %p1.addr.2.i.i43 = phi i32 [ %conv12.i.i41, %if.then10.i.i42 ], [ %p1.addr.1.i.i38, %if.end7.i.i39 ] 215 br i1 %tobool15.i.i, label %_Z3fn2iii.exit.i52, label %if.then16.i.i49 216 217if.then16.i.i49: 218 %and17.i.i47 = lshr i32 %p1.addr.2.i.i43, 3 219 %and17.lobit.i.i48 = and i32 %and17.i.i47, 1 220 br label %_Z3fn2iii.exit.i52 221 222_Z3fn2iii.exit.i52: 223 %p1.addr.3.i.i50 = phi i32 [ %and17.lobit.i.i48, %if.then16.i.i49 ], [ %p1.addr.2.i.i43, %if.end13.i.i46 ] 224 br i1 %tobool.i11.i, label %_ZL3fn3ii.exit58, label %if.then.i15.i56 225 226if.then.i15.i56: 227 %and.i12.i53 = lshr i32 %p1.addr.3.i.i50, 2 228 %and.lobit.i13.i54 = and i32 %and.i12.i53, 1 229 %12 = xor i32 %and.lobit.i13.i54, 1 230 %or.i14.i55 = or i32 %12, %p1.addr.3.i.i50 231 br label %_ZL3fn3ii.exit58 232 233_ZL3fn3ii.exit58: 234 %p1.addr.0.i16.i57 = phi i32 [ %or.i14.i55, %if.then.i15.i56 ], [ %p1.addr.3.i.i50, %_Z3fn2iii.exit.i52 ] 235 %arrayidx7 = getelementptr inbounds i32, i32* %2, i64 %indvars.iv 236 store i32 %p1.addr.0.i16.i57, i32* %arrayidx7, align 4 %indvars.iv.next = add i64 %indvars.iv, 1 237 %lftr.wideiv = trunc i64 %indvars.iv.next to i32 238 %exitcond = icmp ne i32 %lftr.wideiv, %p1 239 br i1 %exitcond, label %for.body, label %for.cond.for.end_crit_edge 240 241for.cond.for.end_crit_edge: 242 br label %for.end 243 244for.end: 245 ret void 246} 247