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

   1 ; RUN: llc < %s -mcpu=generic -march=x86-64 | FileCheck %s
   2
   3 ; Optimize away zext-inreg and sext-inreg on the loop induction
   4 ; variable using trip-count information.
   5
   6 ; CHECK-LABEL: count_up
   7 ; CHECK-NOT: {{and|movz|sar|shl}}
   8 ; CHECK: incq
   9 ; CHECK-NOT: {{and|movz|sar|shl}}
  10 ; CHECK: jne
  11 define void @count_up(double* %d, i64 %n) nounwind {
  12 entry:
  13         br label %loop
  14
  15 loop:
  16         %indvar = phi i64 [ 0, %entry ], [ %indvar.next, %loop ]
  17         %indvar.i8 = and i64 %indvar, 255
  18         %t0 = getelementptr double, double* %d, i64 %indvar.i8
  19         %t1 = load double, double* %t0
  20         %t2 = fmul double %t1, 0.1
  21         store double %t2, double* %t0
  22         %indvar.i24 = and i64 %indvar, 16777215
  23         %t3 = getelementptr double, double* %d, i64 %indvar.i24
  24         %t4 = load double, double* %t3
  25         %t5 = fmul double %t4, 2.3
  26         store double %t5, double* %t3
  27         %t6 = getelementptr double, double* %d, i64 %indvar
  28         %t7 = load double, double* %t6
  29         %t8 = fmul double %t7, 4.5
  30         store double %t8, double* %t6
  31         %indvar.next = add i64 %indvar, 1
  32         %exitcond = icmp eq i64 %indvar.next, 10
  33         br i1 %exitcond, label %return, label %loop
  34
  35 return:
  36         ret void
  37 }
  38
  39 ; CHECK-LABEL: count_down
  40 ; CHECK-NOT: {{and|movz|sar|shl}}
  41 ; CHECK: addq
  42 ; CHECK-NOT: {{and|movz|sar|shl}}
  43 ; CHECK: jne
  44 define void @count_down(double* %d, i64 %n) nounwind {
  45 entry:
  46         br label %loop
  47
  48 loop:
  49         %indvar = phi i64 [ 10, %entry ], [ %indvar.next, %loop ]
  50         %indvar.i8 = and i64 %indvar, 255
  51         %t0 = getelementptr double, double* %d, i64 %indvar.i8
  52         %t1 = load double, double* %t0
  53         %t2 = fmul double %t1, 0.1
  54         store double %t2, double* %t0
  55         %indvar.i24 = and i64 %indvar, 16777215
  56         %t3 = getelementptr double, double* %d, i64 %indvar.i24
  57         %t4 = load double, double* %t3
  58         %t5 = fmul double %t4, 2.3
  59         store double %t5, double* %t3
  60         %t6 = getelementptr double, double* %d, i64 %indvar
  61         %t7 = load double, double* %t6
  62         %t8 = fmul double %t7, 4.5
  63         store double %t8, double* %t6
  64         %indvar.next = sub i64 %indvar, 1
  65         %exitcond = icmp eq i64 %indvar.next, 0
  66         br i1 %exitcond, label %return, label %loop
  67
  68 return:
  69         ret void
  70 }
  71
  72 ; CHECK-LABEL: count_up_signed
  73 ; CHECK-NOT: {{and|movz|sar|shl}}
  74 ; CHECK: incq
  75 ; CHECK-NOT: {{and|movz|sar|shl}}
  76 ; CHECK: jne
  77 define void @count_up_signed(double* %d, i64 %n) nounwind {
  78 entry:
  79         br label %loop
  80
  81 loop:
  82         %indvar = phi i64 [ 0, %entry ], [ %indvar.next, %loop ]
  83         %s0 = shl i64 %indvar, 8
  84         %indvar.i8 = ashr i64 %s0, 8
  85         %t0 = getelementptr double, double* %d, i64 %indvar.i8
  86         %t1 = load double, double* %t0
  87         %t2 = fmul double %t1, 0.1
  88         store double %t2, double* %t0
  89         %s1 = shl i64 %indvar, 24
  90         %indvar.i24 = ashr i64 %s1, 24
  91         %t3 = getelementptr double, double* %d, i64 %indvar.i24
  92         %t4 = load double, double* %t3
  93         %t5 = fmul double %t4, 2.3
  94         store double %t5, double* %t3
  95         %t6 = getelementptr double, double* %d, i64 %indvar
  96         %t7 = load double, double* %t6
  97         %t8 = fmul double %t7, 4.5
  98         store double %t8, double* %t6
  99         %indvar.next = add i64 %indvar, 1
 100         %exitcond = icmp eq i64 %indvar.next, 10
 101         br i1 %exitcond, label %return, label %loop
 102
 103 return:
 104         ret void
 105 }
 106
 107 ; CHECK-LABEL: count_down_signed
 108 ; CHECK-NOT: {{and|movz|sar|shl}}
 109 ; CHECK: addq
 110 ; CHECK-NOT: {{and|movz|sar|shl}}
 111 ; CHECK: jne
 112 define void @count_down_signed(double* %d, i64 %n) nounwind {
 113 entry:
 114         br label %loop
 115
 116 loop:
 117         %indvar = phi i64 [ 10, %entry ], [ %indvar.next, %loop ]
 118         %s0 = shl i64 %indvar, 8
 119         %indvar.i8 = ashr i64 %s0, 8
 120         %t0 = getelementptr double, double* %d, i64 %indvar.i8
 121         %t1 = load double, double* %t0
 122         %t2 = fmul double %t1, 0.1
 123         store double %t2, double* %t0
 124         %s1 = shl i64 %indvar, 24
 125         %indvar.i24 = ashr i64 %s1, 24
 126         %t3 = getelementptr double, double* %d, i64 %indvar.i24
 127         %t4 = load double, double* %t3
 128         %t5 = fmul double %t4, 2.3
 129         store double %t5, double* %t3
 130         %t6 = getelementptr double, double* %d, i64 %indvar
 131         %t7 = load double, double* %t6
 132         %t8 = fmul double %t7, 4.5
 133         store double %t8, double* %t6
 134         %indvar.next = sub i64 %indvar, 1
 135         %exitcond = icmp eq i64 %indvar.next, 0
 136         br i1 %exitcond, label %return, label %loop
 137
 138 return:
 139         ret void
 140 }
 141
 142 ; CHECK-LABEL: another_count_up
 143 ; CHECK-NOT: {{and|movz|sar|shl}}
 144 ; CHECK: addq
 145 ; CHECK-NOT: {{and|movz|sar|shl}}
 146 ; CHECK: jne
 147 define void @another_count_up(double* %d, i64 %n) nounwind {
 148 entry:
 149         br label %loop
 150
 151 loop:
 152         %indvar = phi i64 [ 18446744073709551615, %entry ], [ %indvar.next, %loop ]
 153         %indvar.i8 = and i64 %indvar, 255
 154         %t0 = getelementptr double, double* %d, i64 %indvar.i8
 155         %t1 = load double, double* %t0
 156         %t2 = fmul double %t1, 0.1
 157         store double %t2, double* %t0
 158         %indvar.i24 = and i64 %indvar, 16777215
 159         %t3 = getelementptr double, double* %d, i64 %indvar.i24
 160         %t4 = load double, double* %t3
 161         %t5 = fmul double %t4, 2.3
 162         store double %t5, double* %t3
 163         %t6 = getelementptr double, double* %d, i64 %indvar
 164         %t7 = load double, double* %t6
 165         %t8 = fmul double %t7, 4.5
 166         store double %t8, double* %t6
 167         %indvar.next = add i64 %indvar, 1
 168         %exitcond = icmp eq i64 %indvar.next, 0
 169         br i1 %exitcond, label %return, label %loop
 170
 171 return:
 172         ret void
 173 }
 174
 175 ; CHECK-LABEL: another_count_down
 176 ; CHECK-NOT: {{and|movz|sar|shl}}
 177 ; CHECK: addq $-8,
 178 ; CHECK-NOT: {{and|movz|sar|shl}}
 179 ; CHECK: jne
 180 define void @another_count_down(double* %d, i64 %n) nounwind {
 181 entry:
 182         br label %loop
 183
 184 loop:
 185         %indvar = phi i64 [ 0, %entry ], [ %indvar.next, %loop ]
 186         %indvar.i8 = and i64 %indvar, 255
 187         %t0 = getelementptr double, double* %d, i64 %indvar.i8
 188         %t1 = load double, double* %t0
 189         %t2 = fmul double %t1, 0.1
 190         store double %t2, double* %t0
 191         %indvar.i24 = and i64 %indvar, 16777215
 192         %t3 = getelementptr double, double* %d, i64 %indvar.i24
 193         %t4 = load double, double* %t3
 194         %t5 = fdiv double %t4, 2.3
 195         store double %t5, double* %t3
 196         %t6 = getelementptr double, double* %d, i64 %indvar
 197         %t7 = load double, double* %t6
 198         %t8 = fmul double %t7, 4.5
 199         store double %t8, double* %t6
 200         %indvar.next = sub i64 %indvar, 1
 201         %exitcond = icmp eq i64 %indvar.next, 18446744073709551615
 202         br i1 %exitcond, label %return, label %loop
 203
 204 return:
 205         ret void
 206 }
 207
 208 ; CHECK-LABEL: another_count_up_signed
 209 ; CHECK-NOT: {{and|movz|sar|shl}}
 210 ; CHECK: addq
 211 ; CHECK-NOT: {{and|movz|sar|shl}}
 212 ; CHECK: jne
 213 define void @another_count_up_signed(double* %d, i64 %n) nounwind {
 214 entry:
 215         br label %loop
 216
 217 loop:
 218         %indvar = phi i64 [ 18446744073709551615, %entry ], [ %indvar.next, %loop ]
 219         %s0 = shl i64 %indvar, 8
 220         %indvar.i8 = ashr i64 %s0, 8
 221         %t0 = getelementptr double, double* %d, i64 %indvar.i8
 222         %t1 = load double, double* %t0
 223         %t2 = fmul double %t1, 0.1
 224         store double %t2, double* %t0
 225         %s1 = shl i64 %indvar, 24
 226         %indvar.i24 = ashr i64 %s1, 24
 227         %t3 = getelementptr double, double* %d, i64 %indvar.i24
 228         %t4 = load double, double* %t3
 229         %t5 = fdiv double %t4, 2.3
 230         store double %t5, double* %t3
 231         %t6 = getelementptr double, double* %d, i64 %indvar
 232         %t7 = load double, double* %t6
 233         %t8 = fmul double %t7, 4.5
 234         store double %t8, double* %t6
 235         %indvar.next = add i64 %indvar, 1
 236         %exitcond = icmp eq i64 %indvar.next, 0
 237         br i1 %exitcond, label %return, label %loop
 238
 239 return:
 240         ret void
 241 }
 242
 243 ; CHECK-LABEL: another_count_down_signed
 244 ; CHECK-NOT: {{and|movz|sar|shl}}
 245 ; CHECK: decq
 246 ; CHECK-NOT: {{and|movz|sar|shl}}
 247 ; CHECK: jne
 248 define void @another_count_down_signed(double* %d, i64 %n) nounwind {
 249 entry:
 250         br label %loop
 251
 252 loop:
 253         %indvar = phi i64 [ 0, %entry ], [ %indvar.next, %loop ]
 254         %s0 = shl i64 %indvar, 8
 255         %indvar.i8 = ashr i64 %s0, 8
 256         %t0 = getelementptr double, double* %d, i64 %indvar.i8
 257         %t1 = load double, double* %t0
 258         %t2 = fmul double %t1, 0.1
 259         store double %t2, double* %t0
 260         %s1 = shl i64 %indvar, 24
 261         %indvar.i24 = ashr i64 %s1, 24
 262         %t3 = getelementptr double, double* %d, i64 %indvar.i24
 263         %t4 = load double, double* %t3
 264         %t5 = fdiv double %t4, 2.3
 265         store double %t5, double* %t3
 266         %t6 = getelementptr double, double* %d, i64 %indvar
 267         %t7 = load double, double* %t6
 268         %t8 = fmul double %t7, 4.5
 269         store double %t8, double* %t6
 270         %indvar.next = sub i64 %indvar, 1
 271         %exitcond = icmp eq i64 %indvar.next, 18446744073709551615
 272         br i1 %exitcond, label %return, label %loop
 273
 274 return:
 275         ret void
 276 }