Add a regtest for cases we now recognize as rotates, thanks to Scott Michel's

recent dagcombine patch

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

diff --git a/test/CodeGen/PowerPC/rotl-2.ll b/test/CodeGen/PowerPC/rotl-2.ll
new file mode 100644 (file)
index 0000000..0512357
--- /dev/null
+++ b/test/CodeGen/PowerPC/rotl-2.ll
@@ -0,0 +1,38 @@
+; RUN: llvm-as < %s | llc -march=ppc32 | grep rlwinm | wc -l | grep 4 &&
+; RUN: llvm-as < %s | llc -march=ppc32 | grep rlwnm | wc -l | grep 2 &&
+; RUN: llvm-as < %s | llc -march=ppc32 | not grep or
+
+define i32 @rotl32(i32 %A, i8 %Amt) {
+       %shift.upgrd.1 = zext i8 %Amt to i32            ; <i32> [#uses=1]
+       %B = shl i32 %A, %shift.upgrd.1         ; <i32> [#uses=1]
+       %Amt2 = sub i8 32, %Amt         ; <i8> [#uses=1]
+       %shift.upgrd.2 = zext i8 %Amt2 to i32           ; <i32> [#uses=1]
+       %C = lshr i32 %A, %shift.upgrd.2                ; <i32> [#uses=1]
+       %D = or i32 %B, %C              ; <i32> [#uses=1]
+       ret i32 %D
+}
+
+define i32 @rotr32(i32 %A, i8 %Amt) {
+       %shift.upgrd.3 = zext i8 %Amt to i32            ; <i32> [#uses=1]
+       %B = lshr i32 %A, %shift.upgrd.3                ; <i32> [#uses=1]
+       %Amt2 = sub i8 32, %Amt         ; <i8> [#uses=1]
+       %shift.upgrd.4 = zext i8 %Amt2 to i32           ; <i32> [#uses=1]
+       %C = shl i32 %A, %shift.upgrd.4         ; <i32> [#uses=1]
+       %D = or i32 %B, %C              ; <i32> [#uses=1]
+       ret i32 %D
+}
+
+define i32 @rotli32(i32 %A) {
+       %B = shl i32 %A, 5              ; <i32> [#uses=1]
+       %C = lshr i32 %A, 27            ; <i32> [#uses=1]
+       %D = or i32 %B, %C              ; <i32> [#uses=1]
+       ret i32 %D
+}
+
+define i32 @rotri32(i32 %A) {
+       %B = lshr i32 %A, 5             ; <i32> [#uses=1]
+       %C = shl i32 %A, 27             ; <i32> [#uses=1]
+       %D = or i32 %B, %C              ; <i32> [#uses=1]
+       ret i32 %D
+}
+