Add rotates

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@75981 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/Target/SystemZ/SystemZInstrInfo.td b/lib/Target/SystemZ/SystemZInstrInfo.td
index b08d0423fcd8c58e0451cc3355bb087e291ba7b8..67ae9c2722ad54f9fdbb8bb7eb6396db0ba3b162 100644 (file)
--- a/lib/Target/SystemZ/SystemZInstrInfo.td
+++ b/lib/Target/SystemZ/SystemZInstrInfo.td
@@ -587,7 +587,6 @@ def SHL64ri  : Pseudo<(outs GR64:$dst), (ins GR64:$src, i32imm:$amt),
                       "sllg\t{$dst, $src, $amt}",
                       [(set GR64:$dst, (shl GR64:$src, (i32 imm:$amt)))]>;
 
-
 let Defs = [PSW] in {
 let isTwoAddress = 1 in
 def SRA32rri : Pseudo<(outs GR32:$dst), (ins GR32:$src, riaddr32:$amt),
@@ -604,6 +603,17 @@ def SRA64ri  : Pseudo<(outs GR64:$dst), (ins GR64:$src, i32imm:$amt),
                        (implicit PSW)]>;
 } // Defs = [PSW]
 
+let isTwoAddress = 1 in
+def ROTL32rri : Pseudo<(outs GR32:$dst), (ins GR32:$src, riaddr32:$amt),
+                       "rll\t{$src, $amt}",
+                       [(set GR32:$dst, (rotl GR32:$src, riaddr32:$amt))]>;
+def ROTL64rri : Pseudo<(outs GR64:$dst), (ins GR64:$src, riaddr:$amt),
+                       "rllg\t{$dst, $src, $amt}",
+                       [(set GR64:$dst, (rotl GR64:$src, (i32 (trunc riaddr:$amt))))]>;
+def ROTL64ri  : Pseudo<(outs GR64:$dst), (ins GR64:$src, i32imm:$amt),
+                       "rllg\t{$dst, $src, $amt}",
+                       [(set GR64:$dst, (rotl GR64:$src, (i32 imm:$amt)))]>;
+
 //===----------------------------------------------------------------------===//
 // Test instructions (like AND but do not produce any result
 

diff --git a/test/CodeGen/SystemZ/2009-06-02-Rotate.ll b/test/CodeGen/SystemZ/2009-06-02-Rotate.ll
new file mode 100644 (file)
index 0000000..33a4323
--- /dev/null
+++ b/test/CodeGen/SystemZ/2009-06-02-Rotate.ll
@@ -0,0 +1,13 @@
+; RUN: llvm-as < %s | llc -march=systemz | grep rll
+
+target datalayout = "E-p:64:64:64-i8:8:16-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-f128:128:128-a0:16:16"
+target triple = "s390x-linux"
+
+define i32 @rotl(i32 %x, i32 %y, i32 %z) nounwind readnone {
+entry:
+       %shl = shl i32 %x, 0            ; <i32> [#uses=1]
+       %sub = sub i32 32, 0            ; <i32> [#uses=1]
+       %shr = lshr i32 %x, %sub                ; <i32> [#uses=1]
+       %or = or i32 %shr, %shl         ; <i32> [#uses=1]
+       ret i32 %or
+}