test/CodeGen/X86/masked-iv-unsafe.ll

   1 ; RUN: llc < %s -march=x86-64 > %t
   2 ; RUN: grep and %t | count 6
   3 ; RUN: grep movzb %t | count 6
   4 ; RUN: grep sar %t | count 12
   5
   6 ; Don't optimize away zext-inreg and sext-inreg on the loop induction
   7 ; variable, because it isn't safe to do so in these cases.
   8
   9 define void @count_up(double* %d, i64 %n) nounwind {
  10 entry:
  11         br label %loop
  12
  13 loop:
  14         %indvar = phi i64 [ 10, %entry ], [ %indvar.next, %loop ]
  15         %indvar.i8 = and i64 %indvar, 255
  16         %t0 = getelementptr double, double* %d, i64 %indvar.i8
  17         %t1 = load double, double* %t0
  18         %t2 = fmul double %t1, 0.1
  19         store double %t2, double* %t0
  20         %indvar.i24 = and i64 %indvar, 16777215
  21         %t3 = getelementptr double, double* %d, i64 %indvar.i24
  22         %t4 = load double, double* %t3
  23         %t5 = fmul double %t4, 2.3
  24         store double %t5, double* %t3
  25         %t6 = getelementptr double, double* %d, i64 %indvar
  26         %t7 = load double, double* %t6
  27         %t8 = fmul double %t7, 4.5
  28         store double %t8, double* %t6
  29         %indvar.next = add i64 %indvar, 1
  30         %exitcond = icmp eq i64 %indvar.next, 0
  31         br i1 %exitcond, label %return, label %loop
  32
  33 return:
  34         ret void
  35 }
  36
  37 define void @count_down(double* %d, i64 %n) nounwind {
  38 entry:
  39         br label %loop
  40
  41 loop:
  42         %indvar = phi i64 [ 10, %entry ], [ %indvar.next, %loop ]
  43         %indvar.i8 = and i64 %indvar, 255
  44         %t0 = getelementptr double, double* %d, i64 %indvar.i8
  45         %t1 = load double, double* %t0
  46         %t2 = fmul double %t1, 0.1
  47         store double %t2, double* %t0
  48         %indvar.i24 = and i64 %indvar, 16777215
  49         %t3 = getelementptr double, double* %d, i64 %indvar.i24
  50         %t4 = load double, double* %t3
  51         %t5 = fmul double %t4, 2.3
  52         store double %t5, double* %t3
  53         %t6 = getelementptr double, double* %d, i64 %indvar
  54         %t7 = load double, double* %t6
  55         %t8 = fmul double %t7, 4.5
  56         store double %t8, double* %t6
  57         %indvar.next = sub i64 %indvar, 1
  58         %exitcond = icmp eq i64 %indvar.next, 20
  59         br i1 %exitcond, label %return, label %loop
  60
  61 return:
  62         ret void
  63 }
  64
  65 define void @count_up_signed(double* %d, i64 %n) nounwind {
  66 entry:
  67         br label %loop
  68
  69 loop:
  70         %indvar = phi i64 [ 10, %entry ], [ %indvar.next, %loop ]
  71         %s0 = shl i64 %indvar, 8
  72         %indvar.i8 = ashr i64 %s0, 8
  73         %t0 = getelementptr double, double* %d, i64 %indvar.i8
  74         %t1 = load double, double* %t0
  75         %t2 = fmul double %t1, 0.1
  76         store double %t2, double* %t0
  77         %s1 = shl i64 %indvar, 24
  78         %indvar.i24 = ashr i64 %s1, 24
  79         %t3 = getelementptr double, double* %d, i64 %indvar.i24
  80         %t4 = load double, double* %t3
  81         %t5 = fmul double %t4, 2.3
  82         store double %t5, double* %t3
  83         %t6 = getelementptr double, double* %d, i64 %indvar
  84         %t7 = load double, double* %t6
  85         %t8 = fmul double %t7, 4.5
  86         store double %t8, double* %t6
  87         %indvar.next = add i64 %indvar, 1
  88         %exitcond = icmp eq i64 %indvar.next, 0
  89         br i1 %exitcond, label %return, label %loop
  90
  91 return:
  92         ret void
  93 }
  94
  95 define void @count_down_signed(double* %d, i64 %n) nounwind {
  96 entry:
  97         br label %loop
  98
  99 loop:
 100         %indvar = phi i64 [ 10, %entry ], [ %indvar.next, %loop ]
 101         %s0 = shl i64 %indvar, 8
 102         %indvar.i8 = ashr i64 %s0, 8
 103         %t0 = getelementptr double, double* %d, i64 %indvar.i8
 104         %t1 = load double, double* %t0
 105         %t2 = fmul double %t1, 0.1
 106         store double %t2, double* %t0
 107         %s1 = shl i64 %indvar, 24
 108         %indvar.i24 = ashr i64 %s1, 24
 109         %t3 = getelementptr double, double* %d, i64 %indvar.i24
 110         %t4 = load double, double* %t3
 111         %t5 = fmul double %t4, 2.3
 112         store double %t5, double* %t3
 113         %t6 = getelementptr double, double* %d, i64 %indvar
 114         %t7 = load double, double* %t6
 115         %t8 = fmul double %t7, 4.5
 116         store double %t8, double* %t6
 117         %indvar.next = sub i64 %indvar, 1
 118         %exitcond = icmp eq i64 %indvar.next, 20
 119         br i1 %exitcond, label %return, label %loop
 120
 121 return:
 122         ret void
 123 }
 124
 125 define void @another_count_up(double* %d, i64 %n) nounwind {
 126 entry:
 127         br label %loop
 128
 129 loop:
 130         %indvar = phi i64 [ 0, %entry ], [ %indvar.next, %loop ]
 131         %indvar.i8 = and i64 %indvar, 255
 132         %t0 = getelementptr double, double* %d, i64 %indvar.i8
 133         %t1 = load double, double* %t0
 134         %t2 = fmul double %t1, 0.1
 135         store double %t2, double* %t0
 136         %indvar.i24 = and i64 %indvar, 16777215
 137         %t3 = getelementptr double, double* %d, i64 %indvar.i24
 138         %t4 = load double, double* %t3
 139         %t5 = fmul double %t4, 2.3
 140         store double %t5, double* %t3
 141         %t6 = getelementptr double, double* %d, i64 %indvar
 142         %t7 = load double, double* %t6
 143         %t8 = fmul double %t7, 4.5
 144         store double %t8, double* %t6
 145         %indvar.next = add i64 %indvar, 1
 146         %exitcond = icmp eq i64 %indvar.next, %n
 147         br i1 %exitcond, label %return, label %loop
 148
 149 return:
 150         ret void
 151 }
 152
 153 define void @another_count_down(double* %d, i64 %n) nounwind {
 154 entry:
 155         br label %loop
 156
 157 loop:
 158         %indvar = phi i64 [ %n, %entry ], [ %indvar.next, %loop ]
 159         %indvar.i8 = and i64 %indvar, 255
 160         %t0 = getelementptr double, double* %d, i64 %indvar.i8
 161         %t1 = load double, double* %t0
 162         %t2 = fmul double %t1, 0.1
 163         store double %t2, double* %t0
 164         %indvar.i24 = and i64 %indvar, 16777215
 165         %t3 = getelementptr double, double* %d, i64 %indvar.i24
 166         %t4 = load double, double* %t3
 167         %t5 = fmul double %t4, 2.3
 168         store double %t5, double* %t3
 169         %t6 = getelementptr double, double* %d, i64 %indvar
 170         %t7 = load double, double* %t6
 171         %t8 = fmul double %t7, 4.5
 172         store double %t8, double* %t6
 173         %indvar.next = sub i64 %indvar, 1
 174         %exitcond = icmp eq i64 %indvar.next, 10
 175         br i1 %exitcond, label %return, label %loop
 176
 177 return:
 178         ret void
 179 }
 180
 181 define void @another_count_up_signed(double* %d, i64 %n) nounwind {
 182 entry:
 183         br label %loop
 184
 185 loop:
 186         %indvar = phi i64 [ 0, %entry ], [ %indvar.next, %loop ]
 187         %s0 = shl i64 %indvar, 8
 188         %indvar.i8 = ashr i64 %s0, 8
 189         %t0 = getelementptr double, double* %d, i64 %indvar.i8
 190         %t1 = load double, double* %t0
 191         %t2 = fmul double %t1, 0.1
 192         store double %t2, double* %t0
 193         %s1 = shl i64 %indvar, 24
 194         %indvar.i24 = ashr i64 %s1, 24
 195         %t3 = getelementptr double, double* %d, i64 %indvar.i24
 196         %t4 = load double, double* %t3
 197         %t5 = fmul double %t4, 2.3
 198         store double %t5, double* %t3
 199         %t6 = getelementptr double, double* %d, i64 %indvar
 200         %t7 = load double, double* %t6
 201         %t8 = fmul double %t7, 4.5
 202         store double %t8, double* %t6
 203         %indvar.next = add i64 %indvar, 1
 204         %exitcond = icmp eq i64 %indvar.next, %n
 205         br i1 %exitcond, label %return, label %loop
 206
 207 return:
 208         ret void
 209 }
 210
 211 define void @another_count_down_signed(double* %d, i64 %n) nounwind {
 212 entry:
 213         br label %loop
 214
 215 loop:
 216         %indvar = phi i64 [ %n, %entry ], [ %indvar.next, %loop ]
 217         %s0 = shl i64 %indvar, 8
 218         %indvar.i8 = ashr i64 %s0, 8
 219         %t0 = getelementptr double, double* %d, i64 %indvar.i8
 220         %t1 = load double, double* %t0
 221         %t2 = fmul double %t1, 0.1
 222         store double %t2, double* %t0
 223         %s1 = shl i64 %indvar, 24
 224         %indvar.i24 = ashr i64 %s1, 24
 225         %t3 = getelementptr double, double* %d, i64 %indvar.i24
 226         %t4 = load double, double* %t3
 227         %t5 = fmul double %t4, 2.3
 228         store double %t5, double* %t3
 229         %t6 = getelementptr double, double* %d, i64 %indvar
 230         %t7 = load double, double* %t6
 231         %t8 = fmul double %t7, 4.5
 232         store double %t8, double* %t6
 233         %indvar.next = sub i64 %indvar, 1
 234         %exitcond = icmp eq i64 %indvar.next, 10
 235         br i1 %exitcond, label %return, label %loop
 236
 237 return:
 238         ret void
 239 }
 240
 241 define void @yet_another_count_down(double* %d, i64 %n) nounwind {
 242 entry:
 243         br label %loop
 244
 245 loop:
 246         %indvar = phi i64 [ 0, %entry ], [ %indvar.next, %loop ]
 247         %indvar.i8 = and i64 %indvar, 255
 248         %t0 = getelementptr double, double* %d, i64 %indvar.i8
 249         %t1 = load double, double* %t0
 250         %t2 = fmul double %t1, 0.1
 251         store double %t2, double* %t0
 252         %indvar.i24 = and i64 %indvar, 16777215
 253         %t3 = getelementptr double, double* %d, i64 %indvar.i24
 254         %t4 = load double, double* %t3
 255         %t5 = fmul double %t4, 2.3
 256         store double %t5, double* %t3
 257         %t6 = getelementptr double, double* %d, i64 %indvar
 258         %t7 = load double, double* %t6
 259         %t8 = fmul double %t7, 4.5
 260         store double %t8, double* %t6
 261         %indvar.next = sub i64 %indvar, 1
 262         %exitcond = icmp eq i64 %indvar.next, 18446744073709551615
 263         br i1 %exitcond, label %return, label %loop
 264
 265 return:
 266         ret void
 267 }
 268
 269 define void @yet_another_count_up(double* %d, i64 %n) nounwind {
 270 entry:
 271         br label %loop
 272
 273 loop:
 274         %indvar = phi i64 [ 0, %entry ], [ %indvar.next, %loop ]
 275         %indvar.i8 = and i64 %indvar, 255
 276         %t0 = getelementptr double, double* %d, i64 %indvar.i8
 277         %t1 = load double, double* %t0
 278         %t2 = fmul double %t1, 0.1
 279         store double %t2, double* %t0
 280         %indvar.i24 = and i64 %indvar, 16777215
 281         %t3 = getelementptr double, double* %d, i64 %indvar.i24
 282         %t4 = load double, double* %t3
 283         %t5 = fmul double %t4, 2.3
 284         store double %t5, double* %t3
 285         %t6 = getelementptr double, double* %d, i64 %indvar
 286         %t7 = load double, double* %t6
 287         %t8 = fmul double %t7, 4.5
 288         store double %t8, double* %t6
 289         %indvar.next = add i64 %indvar, 3
 290         %exitcond = icmp eq i64 %indvar.next, 10
 291         br i1 %exitcond, label %return, label %loop
 292
 293 return:
 294         ret void
 295 }
 296
 297 define void @still_another_count_down(double* %d, i64 %n) nounwind {
 298 entry:
 299         br label %loop
 300
 301 loop:
 302         %indvar = phi i64 [ 10, %entry ], [ %indvar.next, %loop ]
 303         %indvar.i8 = and i64 %indvar, 255
 304         %t0 = getelementptr double, double* %d, i64 %indvar.i8
 305         %t1 = load double, double* %t0
 306         %t2 = fmul double %t1, 0.1
 307         store double %t2, double* %t0
 308         %indvar.i24 = and i64 %indvar, 16777215
 309         %t3 = getelementptr double, double* %d, i64 %indvar.i24
 310         %t4 = load double, double* %t3
 311         %t5 = fmul double %t4, 2.3
 312         store double %t5, double* %t3
 313         %t6 = getelementptr double, double* %d, i64 %indvar
 314         %t7 = load double, double* %t6
 315         %t8 = fmul double %t7, 4.5
 316         store double %t8, double* %t6
 317         %indvar.next = sub i64 %indvar, 3
 318         %exitcond = icmp eq i64 %indvar.next, 0
 319         br i1 %exitcond, label %return, label %loop
 320
 321 return:
 322         ret void
 323 }
 324
 325 define void @yet_another_count_up_signed(double* %d, i64 %n) nounwind {
 326 entry:
 327         br label %loop
 328
 329 loop:
 330         %indvar = phi i64 [ 0, %entry ], [ %indvar.next, %loop ]
 331         %s0 = shl i64 %indvar, 8
 332         %indvar.i8 = ashr i64 %s0, 8
 333         %t0 = getelementptr double, double* %d, i64 %indvar.i8
 334         %t1 = load double, double* %t0
 335         %t2 = fmul double %t1, 0.1
 336         store double %t2, double* %t0
 337         %s1 = shl i64 %indvar, 24
 338         %indvar.i24 = ashr i64 %s1, 24
 339         %t3 = getelementptr double, double* %d, i64 %indvar.i24
 340         %t4 = load double, double* %t3
 341         %t5 = fmul double %t4, 2.3
 342         store double %t5, double* %t3
 343         %t6 = getelementptr double, double* %d, i64 %indvar
 344         %t7 = load double, double* %t6
 345         %t8 = fmul double %t7, 4.5
 346         store double %t8, double* %t6
 347         %indvar.next = add i64 %indvar, 3
 348         %exitcond = icmp eq i64 %indvar.next, 10
 349         br i1 %exitcond, label %return, label %loop
 350
 351 return:
 352         ret void
 353 }
 354
 355 define void @yet_another_count_down_signed(double* %d, i64 %n) nounwind {
 356 entry:
 357         br label %loop
 358
 359 loop:
 360         %indvar = phi i64 [ 10, %entry ], [ %indvar.next, %loop ]
 361         %s0 = shl i64 %indvar, 8
 362         %indvar.i8 = ashr i64 %s0, 8
 363         %t0 = getelementptr double, double* %d, i64 %indvar.i8
 364         %t1 = load double, double* %t0
 365         %t2 = fmul double %t1, 0.1
 366         store double %t2, double* %t0
 367         %s1 = shl i64 %indvar, 24
 368         %indvar.i24 = ashr i64 %s1, 24
 369         %t3 = getelementptr double, double* %d, i64 %indvar.i24
 370         %t4 = load double, double* %t3
 371         %t5 = fmul double %t4, 2.3
 372         store double %t5, double* %t3
 373         %t6 = getelementptr double, double* %d, i64 %indvar
 374         %t7 = load double, double* %t6
 375         %t8 = fmul double %t7, 4.5
 376         store double %t8, double* %t6
 377         %indvar.next = sub i64 %indvar, 3
 378         %exitcond = icmp eq i64 %indvar.next, 0
 379         br i1 %exitcond, label %return, label %loop
 380
 381 return:
 382         ret void
 383 }
 384
 385
 386