Fix a stackmap bug introduced in r220710.

[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 2ba3f830fdbb4f101a90eb3eea70194354fbbc89..9ddc84708d5b9cf0c3525e6370b6a0518978a6e5 100644 (file)
--- a/test/CodeGen/X86/masked-iv-safe.ll
+++ b/test/CodeGen/X86/masked-iv-safe.ll
@@ -1,16 +1,13 @@
-; RUN: llvm-as < %s | llc -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 6
-; RUN: grep inc %t | count 4
-; RUN: grep dec %t | count 2
-; RUN: grep lea %t | count 2
+; 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
@@ -20,16 +17,16 @@ loop:
        %indvar.i8 = and i64 %indvar, 255
        %t0 = getelementptr double* %d, i64 %indvar.i8
        %t1 = load double* %t0
-       %t2 = mul double %t1, 0.1
+       %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
-       %t5 = mul double %t4, 2.3
+       %t5 = fmul double %t4, 2.3
        store double %t5, double* %t3
        %t6 = getelementptr double* %d, i64 %indvar
        %t7 = load double* %t6
-       %t8 = mul double %t7, 4.5
+       %t8 = fmul double %t7, 4.5
        store double %t8, double* %t6
        %indvar.next = add i64 %indvar, 1
        %exitcond = icmp eq i64 %indvar.next, 10
@@ -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
@@ -48,16 +50,16 @@ loop:
        %indvar.i8 = and i64 %indvar, 255
        %t0 = getelementptr double* %d, i64 %indvar.i8
        %t1 = load double* %t0
-       %t2 = mul double %t1, 0.1
+       %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
-       %t5 = mul double %t4, 2.3
+       %t5 = fmul double %t4, 2.3
        store double %t5, double* %t3
        %t6 = getelementptr double* %d, i64 %indvar
        %t7 = load double* %t6
-       %t8 = mul double %t7, 4.5
+       %t8 = fmul double %t7, 4.5
        store double %t8, double* %t6
        %indvar.next = sub i64 %indvar, 1
        %exitcond = icmp eq i64 %indvar.next, 0
@@ -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
@@ -77,17 +84,17 @@ loop:
        %indvar.i8 = ashr i64 %s0, 8
        %t0 = getelementptr double* %d, i64 %indvar.i8
        %t1 = load double* %t0
-       %t2 = mul double %t1, 0.1
+       %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
-       %t5 = mul double %t4, 2.3
+       %t5 = fmul double %t4, 2.3
        store double %t5, double* %t3
        %t6 = getelementptr double* %d, i64 %indvar
        %t7 = load double* %t6
-       %t8 = mul double %t7, 4.5
+       %t8 = fmul double %t7, 4.5
        store double %t8, double* %t6
        %indvar.next = add i64 %indvar, 1
        %exitcond = icmp eq i64 %indvar.next, 10
@@ -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
@@ -107,17 +119,17 @@ loop:
        %indvar.i8 = ashr i64 %s0, 8
        %t0 = getelementptr double* %d, i64 %indvar.i8
        %t1 = load double* %t0
-       %t2 = mul double %t1, 0.1
+       %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
-       %t5 = mul double %t4, 2.3
+       %t5 = fmul double %t4, 2.3
        store double %t5, double* %t3
        %t6 = getelementptr double* %d, i64 %indvar
        %t7 = load double* %t6
-       %t8 = mul double %t7, 4.5
+       %t8 = fmul double %t7, 4.5
        store double %t8, double* %t6
        %indvar.next = sub i64 %indvar, 1
        %exitcond = icmp eq i64 %indvar.next, 0
@@ -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
@@ -136,16 +153,16 @@ loop:
        %indvar.i8 = and i64 %indvar, 255
        %t0 = getelementptr double* %d, i64 %indvar.i8
        %t1 = load double* %t0
-       %t2 = mul double %t1, 0.1
+       %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
-       %t5 = mul double %t4, 2.3
+       %t5 = fmul double %t4, 2.3
        store double %t5, double* %t3
        %t6 = getelementptr double* %d, i64 %indvar
        %t7 = load double* %t6
-       %t8 = mul double %t7, 4.5
+       %t8 = fmul double %t7, 4.5
        store double %t8, double* %t6
        %indvar.next = add i64 %indvar, 1
        %exitcond = icmp eq i64 %indvar.next, 0
@@ -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
@@ -164,16 +186,16 @@ loop:
        %indvar.i8 = and i64 %indvar, 255
        %t0 = getelementptr double* %d, i64 %indvar.i8
        %t1 = load double* %t0
-       %t2 = mul double %t1, 0.1
+       %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
-       %t5 = mul double %t4, 2.3
+       %t5 = fdiv double %t4, 2.3
        store double %t5, double* %t3
        %t6 = getelementptr double* %d, i64 %indvar
        %t7 = load double* %t6
-       %t8 = mul double %t7, 4.5
+       %t8 = fmul double %t7, 4.5
        store double %t8, double* %t6
        %indvar.next = sub i64 %indvar, 1
        %exitcond = icmp eq i64 %indvar.next, 18446744073709551615
@@ -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
@@ -193,17 +220,17 @@ loop:
        %indvar.i8 = ashr i64 %s0, 8
        %t0 = getelementptr double* %d, i64 %indvar.i8
        %t1 = load double* %t0
-       %t2 = mul double %t1, 0.1
+       %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
-       %t5 = mul double %t4, 2.3
+       %t5 = fdiv double %t4, 2.3
        store double %t5, double* %t3
        %t6 = getelementptr double* %d, i64 %indvar
        %t7 = load double* %t6
-       %t8 = mul double %t7, 4.5
+       %t8 = fmul double %t7, 4.5
        store double %t8, double* %t6
        %indvar.next = add i64 %indvar, 1
        %exitcond = icmp eq i64 %indvar.next, 0
@@ -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
@@ -223,17 +255,17 @@ loop:
        %indvar.i8 = ashr i64 %s0, 8
        %t0 = getelementptr double* %d, i64 %indvar.i8
        %t1 = load double* %t0
-       %t2 = mul double %t1, 0.1
+       %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
-       %t5 = mul double %t4, 2.3
+       %t5 = fdiv double %t4, 2.3
        store double %t5, double* %t3
        %t6 = getelementptr double* %d, i64 %indvar
        %t7 = load double* %t6
-       %t8 = mul double %t7, 4.5
+       %t8 = fmul double %t7, 4.5
        store double %t8, double* %t6
        %indvar.next = sub i64 %indvar, 1
        %exitcond = icmp eq i64 %indvar.next, 18446744073709551615