CodeGen peephole: fold redundant phys reg copies

[oota-llvm.git] / test / CodeGen / X86 / rot64.ll

diff --git a/test/CodeGen/X86/rot64.ll b/test/CodeGen/X86/rot64.ll
index 2408359a141dd6c7cbec243af77f1784bb1504be..f77bde050c786c63c76b6f93ce8d2a92f9a09702 100644 (file)
--- a/test/CodeGen/X86/rot64.ll
+++ b/test/CodeGen/X86/rot64.ll
@@ -1,8 +1,9 @@
-; RUN: llvm-as < %s | llc -march=x86-64 > %t
-; RUN: grep rol %t | count 3
+; RUN: llc < %s -march=x86-64 -mcpu=corei7 > %t
+; RUN: grep rol %t | count 5
 ; RUN: grep ror %t | count 1
 ; RUN: grep shld %t | count 2
 ; RUN: grep shrd %t | count 2
+; RUN: llc < %s -march=x86-64 -mcpu=core-avx2 | FileCheck %s --check-prefix=BMI2
 
 define i64 @foo(i64 %x, i64 %y, i64 %z) nounwind readnone {
 entry:
@@ -42,12 +43,25 @@ entry:
 
 define i64 @xfoo(i64 %x, i64 %y, i64 %z) nounwind readnone {
 entry:
+; BMI2-LABEL: xfoo:
+; BMI2: rorxq $57
        %0 = lshr i64 %x, 57
        %1 = shl i64 %x, 7
        %2 = or i64 %0, %1
        ret i64 %2
 }
 
+define i64 @xfoop(i64* %p) nounwind readnone {
+entry:
+; BMI2-LABEL: xfoop:
+; BMI2: rorxq $57, ({{.+}}), %{{.+}}
+       %x = load i64, i64* %p
+       %a = lshr i64 %x, 57
+       %b = shl i64 %x, 7
+       %c = or i64 %a, %b
+       ret i64 %c
+}
+
 define i64 @xbar(i64 %x, i64 %y, i64 %z) nounwind readnone {
 entry:
        %0 = shl i64 %y, 7
@@ -58,12 +72,25 @@ entry:
 
 define i64 @xun(i64 %x, i64 %y, i64 %z) nounwind readnone {
 entry:
+; BMI2-LABEL: xun:
+; BMI2: rorxq $7
        %0 = lshr i64 %x, 7
        %1 = shl i64 %x, 57
        %2 = or i64 %0, %1
        ret i64 %2
 }
 
+define i64 @xunp(i64* %p) nounwind readnone {
+entry:
+; BMI2-LABEL: xunp:
+; BMI2: rorxq $7, ({{.+}}), %{{.+}}
+       %x = load i64, i64* %p
+       %a = lshr i64 %x, 7
+       %b = shl i64 %x, 57
+       %c = or i64 %a, %b
+       ret i64 %c
+}
+
 define i64 @xbu(i64 %x, i64 %y, i64 %z) nounwind readnone {
 entry:
        %0 = lshr i64 %y, 7