test/CodeGen/X86/rot64.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=x86_64-- -mcpu=corei7 | FileCheck %s --check-prefix=ALL --check-prefix=X64
   3 ; RUN: llc < %s -mtriple=x86_64-- -mcpu=corei7-avx | FileCheck %s --check-prefix=ALL --check-prefix=SHLD
   4 ; RUN: llc < %s -mtriple=x86_64-- -mcpu=core-avx2 | FileCheck %s --check-prefix=ALL --check-prefix=BMI2
   5
   6 define i64 @foo(i64 %x, i64 %y, i64 %z) nounwind readnone {
   7 ; ALL-LABEL: foo:
   8 ; ALL:       # BB#0: # %entry
   9 ; ALL-NEXT:    movl %edx, %ecx
  10 ; ALL-NEXT:    rolq %cl, %rdi
  11 ; ALL-NEXT:    movq %rdi, %rax
  12 ; ALL-NEXT:    retq
  13 entry:
  14         %0 = shl i64 %x, %z
  15         %1 = sub i64 64, %z
  16         %2 = lshr i64 %x, %1
  17         %3 = or i64 %2, %0
  18         ret i64 %3
  19 }
  20
  21 define i64 @bar(i64 %x, i64 %y, i64 %z) nounwind readnone {
  22 ; ALL-LABEL: bar:
  23 ; ALL:       # BB#0: # %entry
  24 ; ALL-NEXT:    movl %edx, %ecx
  25 ; ALL-NEXT:    shldq %cl, %rdi, %rsi
  26 ; ALL-NEXT:    movq %rsi, %rax
  27 ; ALL-NEXT:    retq
  28 entry:
  29         %0 = shl i64 %y, %z
  30         %1 = sub i64 64, %z
  31         %2 = lshr i64 %x, %1
  32         %3 = or i64 %2, %0
  33         ret i64 %3
  34 }
  35
  36 define i64 @un(i64 %x, i64 %y, i64 %z) nounwind readnone {
  37 ; ALL-LABEL: un:
  38 ; ALL:       # BB#0: # %entry
  39 ; ALL-NEXT:    movl %edx, %ecx
  40 ; ALL-NEXT:    rorq %cl, %rdi
  41 ; ALL-NEXT:    movq %rdi, %rax
  42 ; ALL-NEXT:    retq
  43 entry:
  44         %0 = lshr i64 %x, %z
  45         %1 = sub i64 64, %z
  46         %2 = shl i64 %x, %1
  47         %3 = or i64 %2, %0
  48         ret i64 %3
  49 }
  50
  51 define i64 @bu(i64 %x, i64 %y, i64 %z) nounwind readnone {
  52 ; ALL-LABEL: bu:
  53 ; ALL:       # BB#0: # %entry
  54 ; ALL-NEXT:    movl %edx, %ecx
  55 ; ALL-NEXT:    shrdq %cl, %rdi, %rsi
  56 ; ALL-NEXT:    movq %rsi, %rax
  57 ; ALL-NEXT:    retq
  58 entry:
  59         %0 = lshr i64 %y, %z
  60         %1 = sub i64 64, %z
  61         %2 = shl i64 %x, %1
  62         %3 = or i64 %2, %0
  63         ret i64 %3
  64 }
  65
  66 define i64 @xfoo(i64 %x, i64 %y, i64 %z) nounwind readnone {
  67 ; X64-LABEL: xfoo:
  68 ; X64:       # BB#0: # %entry
  69 ; X64-NEXT:    rolq $7, %rdi
  70 ; X64-NEXT:    movq %rdi, %rax
  71 ; X64-NEXT:    retq
  72 ;
  73 ; SHLD-LABEL: xfoo:
  74 ; SHLD:       # BB#0: # %entry
  75 ; SHLD-NEXT:    shldq $7, %rdi, %rdi
  76 ; SHLD-NEXT:    movq %rdi, %rax
  77 ; SHLD-NEXT:    retq
  78 ;
  79 ; BMI2-LABEL: xfoo:
  80 ; BMI2:       # BB#0: # %entry
  81 ; BMI2-NEXT:    rorxq $57, %rdi, %rax
  82 ; BMI2-NEXT:    retq
  83 entry:
  84         %0 = lshr i64 %x, 57
  85         %1 = shl i64 %x, 7
  86         %2 = or i64 %0, %1
  87         ret i64 %2
  88 }
  89
  90 define i64 @xfoop(i64* %p) nounwind readnone {
  91 ; X64-LABEL: xfoop:
  92 ; X64:       # BB#0: # %entry
  93 ; X64-NEXT:    movq (%rdi), %rax
  94 ; X64-NEXT:    rolq $7, %rax
  95 ; X64-NEXT:    retq
  96 ;
  97 ; SHLD-LABEL: xfoop:
  98 ; SHLD:       # BB#0: # %entry
  99 ; SHLD-NEXT:    movq (%rdi), %rax
 100 ; SHLD-NEXT:    shldq $7, %rax, %rax
 101 ; SHLD-NEXT:    retq
 102 ;
 103 ; BMI2-LABEL: xfoop:
 104 ; BMI2:       # BB#0: # %entry
 105 ; BMI2-NEXT:    rorxq $57, (%rdi), %rax
 106 ; BMI2-NEXT:    retq
 107 entry:
 108         %x = load i64, i64* %p
 109         %a = lshr i64 %x, 57
 110         %b = shl i64 %x, 7
 111         %c = or i64 %a, %b
 112         ret i64 %c
 113 }
 114
 115 define i64 @xbar(i64 %x, i64 %y, i64 %z) nounwind readnone {
 116 ; ALL-LABEL: xbar:
 117 ; ALL:       # BB#0: # %entry
 118 ; ALL-NEXT:    shrdq $57, %rsi, %rdi
 119 ; ALL-NEXT:    movq %rdi, %rax
 120 ; ALL-NEXT:    retq
 121 entry:
 122         %0 = shl i64 %y, 7
 123         %1 = lshr i64 %x, 57
 124         %2 = or i64 %0, %1
 125         ret i64 %2
 126 }
 127
 128 define i64 @xun(i64 %x, i64 %y, i64 %z) nounwind readnone {
 129 ; X64-LABEL: xun:
 130 ; X64:       # BB#0: # %entry
 131 ; X64-NEXT:    rolq $57, %rdi
 132 ; X64-NEXT:    movq %rdi, %rax
 133 ; X64-NEXT:    retq
 134 ;
 135 ; SHLD-LABEL: xun:
 136 ; SHLD:       # BB#0: # %entry
 137 ; SHLD-NEXT:    shldq $57, %rdi, %rdi
 138 ; SHLD-NEXT:    movq %rdi, %rax
 139 ; SHLD-NEXT:    retq
 140 ;
 141 ; BMI2-LABEL: xun:
 142 ; BMI2:       # BB#0: # %entry
 143 ; BMI2-NEXT:    rorxq $7, %rdi, %rax
 144 ; BMI2-NEXT:    retq
 145 entry:
 146         %0 = lshr i64 %x, 7
 147         %1 = shl i64 %x, 57
 148         %2 = or i64 %0, %1
 149         ret i64 %2
 150 }
 151
 152 define i64 @xunp(i64* %p) nounwind readnone {
 153 ; X64-LABEL: xunp:
 154 ; X64:       # BB#0: # %entry
 155 ; X64-NEXT:    movq (%rdi), %rax
 156 ; X64-NEXT:    rolq $57, %rax
 157 ; X64-NEXT:    retq
 158 ;
 159 ; SHLD-LABEL: xunp:
 160 ; SHLD:       # BB#0: # %entry
 161 ; SHLD-NEXT:    movq (%rdi), %rax
 162 ; SHLD-NEXT:    shldq $57, %rax, %rax
 163 ; SHLD-NEXT:    retq
 164 ;
 165 ; BMI2-LABEL: xunp:
 166 ; BMI2:       # BB#0: # %entry
 167 ; BMI2-NEXT:    rorxq $7, (%rdi), %rax
 168 ; BMI2-NEXT:    retq
 169 entry:
 170         %x = load i64, i64* %p
 171         %a = lshr i64 %x, 7
 172         %b = shl i64 %x, 57
 173         %c = or i64 %a, %b
 174         ret i64 %c
 175 }
 176
 177 define i64 @xbu(i64 %x, i64 %y, i64 %z) nounwind readnone {
 178 ; ALL-LABEL: xbu:
 179 ; ALL:       # BB#0: # %entry
 180 ; ALL-NEXT:    shldq $57, %rsi, %rdi
 181 ; ALL-NEXT:    movq %rdi, %rax
 182 ; ALL-NEXT:    retq
 183 entry:
 184         %0 = lshr i64 %y, 7
 185         %1 = shl i64 %x, 57
 186         %2 = or i64 %0, %1
 187         ret i64 %2
 188 }