Revert "make reciprocal estimate code generation more flexible by adding command...

[oota-llvm.git] / test / CodeGen / X86 / masked-iv-safe.ll

diff --git a/test/CodeGen/X86/masked-iv-safe.ll b/test/CodeGen/X86/masked-iv-safe.ll
index 3a4acb8167f077b94e5c0230087cd6744af301b2..8c0a4d4f1752fa888754e7bdbc82cb6a1fdb9b15 100644 (file)
--- a/test/CodeGen/X86/masked-iv-safe.ll
+++ b/test/CodeGen/X86/masked-iv-safe.ll
@@ -1,16 +1,13 @@
-; RUN: llc < %s -march=x86-64 > %t
-; RUN: not grep and %t
-; RUN: not grep movz %t
-; RUN: not grep sar %t
-; RUN: not grep shl %t
-; RUN: grep add %t | count 1
-; RUN: grep inc %t | count 4
-; RUN: grep dec %t | count 2
-; RUN: grep lea %t | count 3
+; RUN: llc < %s -mcpu=generic -march=x86-64 | FileCheck %s
 
 ; Optimize away zext-inreg and sext-inreg on the loop induction
 ; variable using trip-count information.
 
+; CHECK-LABEL: count_up
+; CHECK-NOT: {{and|movz|sar|shl}}
+; CHECK: incq
+; CHECK-NOT: {{and|movz|sar|shl}}
+; CHECK: jne
 define void @count_up(double* %d, i64 %n) nounwind {
 entry:
        br label %loop
@@ -18,17 +15,17 @@ entry:
 loop:
        %indvar = phi i64 [ 0, %entry ], [ %indvar.next, %loop ]
        %indvar.i8 = and i64 %indvar, 255
-       %t0 = getelementptr double* %d, i64 %indvar.i8
-       %t1 = load double* %t0
+       %t0 = getelementptr double, double* %d, i64 %indvar.i8
+       %t1 = load double, double* %t0
        %t2 = fmul double %t1, 0.1
        store double %t2, double* %t0
        %indvar.i24 = and i64 %indvar, 16777215
-       %t3 = getelementptr double* %d, i64 %indvar.i24
-       %t4 = load double* %t3
+       %t3 = getelementptr double, double* %d, i64 %indvar.i24
+       %t4 = load double, double* %t3
        %t5 = fmul double %t4, 2.3
        store double %t5, double* %t3
-       %t6 = getelementptr double* %d, i64 %indvar
-       %t7 = load double* %t6
+       %t6 = getelementptr double, double* %d, i64 %indvar
+       %t7 = load double, double* %t6
        %t8 = fmul double %t7, 4.5
        store double %t8, double* %t6
        %indvar.next = add i64 %indvar, 1
@@ -39,6 +36,11 @@ return:
        ret void
 }
 
+; CHECK-LABEL: count_down
+; CHECK-NOT: {{and|movz|sar|shl}}
+; CHECK: addq
+; CHECK-NOT: {{and|movz|sar|shl}}
+; CHECK: jne
 define void @count_down(double* %d, i64 %n) nounwind {
 entry:
        br label %loop
@@ -46,17 +48,17 @@ entry:
 loop:
        %indvar = phi i64 [ 10, %entry ], [ %indvar.next, %loop ]
        %indvar.i8 = and i64 %indvar, 255
-       %t0 = getelementptr double* %d, i64 %indvar.i8
-       %t1 = load double* %t0
+       %t0 = getelementptr double, double* %d, i64 %indvar.i8
+       %t1 = load double, double* %t0
        %t2 = fmul double %t1, 0.1
        store double %t2, double* %t0
        %indvar.i24 = and i64 %indvar, 16777215
-       %t3 = getelementptr double* %d, i64 %indvar.i24
-       %t4 = load double* %t3
+       %t3 = getelementptr double, double* %d, i64 %indvar.i24
+       %t4 = load double, double* %t3
        %t5 = fmul double %t4, 2.3
        store double %t5, double* %t3
-       %t6 = getelementptr double* %d, i64 %indvar
-       %t7 = load double* %t6
+       %t6 = getelementptr double, double* %d, i64 %indvar
+       %t7 = load double, double* %t6
        %t8 = fmul double %t7, 4.5
        store double %t8, double* %t6
        %indvar.next = sub i64 %indvar, 1
@@ -67,6 +69,11 @@ return:
        ret void
 }
 
+; CHECK-LABEL: count_up_signed
+; CHECK-NOT: {{and|movz|sar|shl}}
+; CHECK: incq
+; CHECK-NOT: {{and|movz|sar|shl}}
+; CHECK: jne
 define void @count_up_signed(double* %d, i64 %n) nounwind {
 entry:
        br label %loop
@@ -75,18 +82,18 @@ loop:
        %indvar = phi i64 [ 0, %entry ], [ %indvar.next, %loop ]
         %s0 = shl i64 %indvar, 8
        %indvar.i8 = ashr i64 %s0, 8
-       %t0 = getelementptr double* %d, i64 %indvar.i8
-       %t1 = load double* %t0
+       %t0 = getelementptr double, double* %d, i64 %indvar.i8
+       %t1 = load double, double* %t0
        %t2 = fmul double %t1, 0.1
        store double %t2, double* %t0
        %s1 = shl i64 %indvar, 24
        %indvar.i24 = ashr i64 %s1, 24
-       %t3 = getelementptr double* %d, i64 %indvar.i24
-       %t4 = load double* %t3
+       %t3 = getelementptr double, double* %d, i64 %indvar.i24
+       %t4 = load double, double* %t3
        %t5 = fmul double %t4, 2.3
        store double %t5, double* %t3
-       %t6 = getelementptr double* %d, i64 %indvar
-       %t7 = load double* %t6
+       %t6 = getelementptr double, double* %d, i64 %indvar
+       %t7 = load double, double* %t6
        %t8 = fmul double %t7, 4.5
        store double %t8, double* %t6
        %indvar.next = add i64 %indvar, 1
@@ -97,6 +104,11 @@ return:
        ret void
 }
 
+; CHECK-LABEL: count_down_signed
+; CHECK-NOT: {{and|movz|sar|shl}}
+; CHECK: addq
+; CHECK-NOT: {{and|movz|sar|shl}}
+; CHECK: jne
 define void @count_down_signed(double* %d, i64 %n) nounwind {
 entry:
        br label %loop
@@ -105,18 +117,18 @@ loop:
        %indvar = phi i64 [ 10, %entry ], [ %indvar.next, %loop ]
         %s0 = shl i64 %indvar, 8
        %indvar.i8 = ashr i64 %s0, 8
-       %t0 = getelementptr double* %d, i64 %indvar.i8
-       %t1 = load double* %t0
+       %t0 = getelementptr double, double* %d, i64 %indvar.i8
+       %t1 = load double, double* %t0
        %t2 = fmul double %t1, 0.1
        store double %t2, double* %t0
        %s1 = shl i64 %indvar, 24
        %indvar.i24 = ashr i64 %s1, 24
-       %t3 = getelementptr double* %d, i64 %indvar.i24
-       %t4 = load double* %t3
+       %t3 = getelementptr double, double* %d, i64 %indvar.i24
+       %t4 = load double, double* %t3
        %t5 = fmul double %t4, 2.3
        store double %t5, double* %t3
-       %t6 = getelementptr double* %d, i64 %indvar
-       %t7 = load double* %t6
+       %t6 = getelementptr double, double* %d, i64 %indvar
+       %t7 = load double, double* %t6
        %t8 = fmul double %t7, 4.5
        store double %t8, double* %t6
        %indvar.next = sub i64 %indvar, 1
@@ -127,6 +139,11 @@ return:
        ret void
 }
 
+; CHECK-LABEL: another_count_up
+; CHECK-NOT: {{and|movz|sar|shl}}
+; CHECK: addq
+; CHECK-NOT: {{and|movz|sar|shl}}
+; CHECK: jne
 define void @another_count_up(double* %d, i64 %n) nounwind {
 entry:
        br label %loop
@@ -134,17 +151,17 @@ entry:
 loop:
        %indvar = phi i64 [ 18446744073709551615, %entry ], [ %indvar.next, %loop ]
        %indvar.i8 = and i64 %indvar, 255
-       %t0 = getelementptr double* %d, i64 %indvar.i8
-       %t1 = load double* %t0
+       %t0 = getelementptr double, double* %d, i64 %indvar.i8
+       %t1 = load double, double* %t0
        %t2 = fmul double %t1, 0.1
        store double %t2, double* %t0
        %indvar.i24 = and i64 %indvar, 16777215
-       %t3 = getelementptr double* %d, i64 %indvar.i24
-       %t4 = load double* %t3
+       %t3 = getelementptr double, double* %d, i64 %indvar.i24
+       %t4 = load double, double* %t3
        %t5 = fmul double %t4, 2.3
        store double %t5, double* %t3
-       %t6 = getelementptr double* %d, i64 %indvar
-       %t7 = load double* %t6
+       %t6 = getelementptr double, double* %d, i64 %indvar
+       %t7 = load double, double* %t6
        %t8 = fmul double %t7, 4.5
        store double %t8, double* %t6
        %indvar.next = add i64 %indvar, 1
@@ -155,6 +172,11 @@ return:
        ret void
 }
 
+; CHECK-LABEL: another_count_down
+; CHECK-NOT: {{and|movz|sar|shl}}
+; CHECK: addq $-8,
+; CHECK-NOT: {{and|movz|sar|shl}}
+; CHECK: jne
 define void @another_count_down(double* %d, i64 %n) nounwind {
 entry:
        br label %loop
@@ -162,17 +184,17 @@ entry:
 loop:
        %indvar = phi i64 [ 0, %entry ], [ %indvar.next, %loop ]
        %indvar.i8 = and i64 %indvar, 255
-       %t0 = getelementptr double* %d, i64 %indvar.i8
-       %t1 = load double* %t0
+       %t0 = getelementptr double, double* %d, i64 %indvar.i8
+       %t1 = load double, double* %t0
        %t2 = fmul double %t1, 0.1
        store double %t2, double* %t0
        %indvar.i24 = and i64 %indvar, 16777215
-       %t3 = getelementptr double* %d, i64 %indvar.i24
-       %t4 = load double* %t3
+       %t3 = getelementptr double, double* %d, i64 %indvar.i24
+       %t4 = load double, double* %t3
        %t5 = fdiv double %t4, 2.3
        store double %t5, double* %t3
-       %t6 = getelementptr double* %d, i64 %indvar
-       %t7 = load double* %t6
+       %t6 = getelementptr double, double* %d, i64 %indvar
+       %t7 = load double, double* %t6
        %t8 = fmul double %t7, 4.5
        store double %t8, double* %t6
        %indvar.next = sub i64 %indvar, 1
@@ -183,6 +205,11 @@ return:
        ret void
 }
 
+; CHECK-LABEL: another_count_up_signed
+; CHECK-NOT: {{and|movz|sar|shl}}
+; CHECK: addq
+; CHECK-NOT: {{and|movz|sar|shl}}
+; CHECK: jne
 define void @another_count_up_signed(double* %d, i64 %n) nounwind {
 entry:
        br label %loop
@@ -191,18 +218,18 @@ loop:
        %indvar = phi i64 [ 18446744073709551615, %entry ], [ %indvar.next, %loop ]
         %s0 = shl i64 %indvar, 8
        %indvar.i8 = ashr i64 %s0, 8
-       %t0 = getelementptr double* %d, i64 %indvar.i8
-       %t1 = load double* %t0
+       %t0 = getelementptr double, double* %d, i64 %indvar.i8
+       %t1 = load double, double* %t0
        %t2 = fmul double %t1, 0.1
        store double %t2, double* %t0
        %s1 = shl i64 %indvar, 24
        %indvar.i24 = ashr i64 %s1, 24
-       %t3 = getelementptr double* %d, i64 %indvar.i24
-       %t4 = load double* %t3
+       %t3 = getelementptr double, double* %d, i64 %indvar.i24
+       %t4 = load double, double* %t3
        %t5 = fdiv double %t4, 2.3
        store double %t5, double* %t3
-       %t6 = getelementptr double* %d, i64 %indvar
-       %t7 = load double* %t6
+       %t6 = getelementptr double, double* %d, i64 %indvar
+       %t7 = load double, double* %t6
        %t8 = fmul double %t7, 4.5
        store double %t8, double* %t6
        %indvar.next = add i64 %indvar, 1
@@ -213,6 +240,11 @@ return:
        ret void
 }
 
+; CHECK-LABEL: another_count_down_signed
+; CHECK-NOT: {{and|movz|sar|shl}}
+; CHECK: decq
+; CHECK-NOT: {{and|movz|sar|shl}}
+; CHECK: jne
 define void @another_count_down_signed(double* %d, i64 %n) nounwind {
 entry:
        br label %loop
@@ -221,18 +253,18 @@ loop:
        %indvar = phi i64 [ 0, %entry ], [ %indvar.next, %loop ]
         %s0 = shl i64 %indvar, 8
        %indvar.i8 = ashr i64 %s0, 8
-       %t0 = getelementptr double* %d, i64 %indvar.i8
-       %t1 = load double* %t0
+       %t0 = getelementptr double, double* %d, i64 %indvar.i8
+       %t1 = load double, double* %t0
        %t2 = fmul double %t1, 0.1
        store double %t2, double* %t0
        %s1 = shl i64 %indvar, 24
        %indvar.i24 = ashr i64 %s1, 24
-       %t3 = getelementptr double* %d, i64 %indvar.i24
-       %t4 = load double* %t3
+       %t3 = getelementptr double, double* %d, i64 %indvar.i24
+       %t4 = load double, double* %t3
        %t5 = fdiv double %t4, 2.3
        store double %t5, double* %t3
-       %t6 = getelementptr double* %d, i64 %indvar
-       %t7 = load double* %t6
+       %t6 = getelementptr double, double* %d, i64 %indvar
+       %t7 = load double, double* %t6
        %t8 = fmul double %t7, 4.5
        store double %t8, double* %t6
        %indvar.next = sub i64 %indvar, 1