test/CodeGen/CellSPU/rotate_ops.ll

   1 ; RUN: llc < %s -march=cellspu -o %t1.s
   2 ; RUN: grep rot          %t1.s | count 86
   3 ; RUN: grep roth         %t1.s | count 8
   4 ; RUN: grep roti.*5      %t1.s | count 1
   5 ; RUN: grep roti.*27     %t1.s | count 1
   6 ; RUN: grep rothi.*5      %t1.s | count 2
   7 ; RUN: grep rothi.*11     %t1.s | count 1
   8 ; RUN: grep rothi.*,.3    %t1.s | count 1
   9 ; RUN: grep andhi        %t1.s | count 4
  10 ; RUN: grep shlhi        %t1.s | count 4
  11 ; RUN: cat %t1.s | FileCheck %s
  12
  13 target datalayout = "E-p:32:32:128-f64:64:128-f32:32:128-i64:32:128-i32:32:128-i16:16:128-i8:8:128-i1:8:128-a0:0:128-v128:128:128-s0:128:128"
  14 target triple = "spu"
  15
  16 ; Vector rotates are not currently supported in gcc or llvm assembly. These are
  17 ; not tested.
  18
  19 ; 32-bit rotates:
  20 define i32 @rotl32_1a(i32 %arg1, i8 %arg2) {
  21         %tmp1 = zext i8 %arg2 to i32    ; <i32> [#uses=1]
  22         %B = shl i32 %arg1, %tmp1       ; <i32> [#uses=1]
  23         %arg22 = sub i8 32, %arg2       ; <i8> [#uses=1]
  24         %tmp2 = zext i8 %arg22 to i32   ; <i32> [#uses=1]
  25         %C = lshr i32 %arg1, %tmp2      ; <i32> [#uses=1]
  26         %D = or i32 %B, %C              ; <i32> [#uses=1]
  27         ret i32 %D
  28 }
  29
  30 define i32 @rotl32_1b(i32 %arg1, i16 %arg2) {
  31         %tmp1 = zext i16 %arg2 to i32   ; <i32> [#uses=1]
  32         %B = shl i32 %arg1, %tmp1       ; <i32> [#uses=1]
  33         %arg22 = sub i16 32, %arg2      ; <i8> [#uses=1]
  34         %tmp2 = zext i16 %arg22 to i32  ; <i32> [#uses=1]
  35         %C = lshr i32 %arg1, %tmp2      ; <i32> [#uses=1]
  36         %D = or i32 %B, %C              ; <i32> [#uses=1]
  37         ret i32 %D
  38 }
  39
  40 define i32 @rotl32_2(i32 %arg1, i32 %arg2) {
  41         %B = shl i32 %arg1, %arg2       ; <i32> [#uses=1]
  42         %tmp1 = sub i32 32, %arg2       ; <i32> [#uses=1]
  43         %C = lshr i32 %arg1, %tmp1      ; <i32> [#uses=1]
  44         %D = or i32 %B, %C              ; <i32> [#uses=1]
  45         ret i32 %D
  46 }
  47
  48 define i32 @rotl32_3(i32 %arg1, i32 %arg2) {
  49         %tmp1 = sub i32 32, %arg2       ; <i32> [#uses=1]
  50         %B = shl i32 %arg1, %arg2       ; <i32> [#uses=1]
  51         %C = lshr i32 %arg1, %tmp1      ; <i32> [#uses=1]
  52         %D = or i32 %B, %C              ; <i32> [#uses=1]
  53         ret i32 %D
  54 }
  55
  56 define i32 @rotl32_4(i32 %arg1, i32 %arg2) {
  57         %tmp1 = sub i32 32, %arg2       ; <i32> [#uses=1]
  58         %C = lshr i32 %arg1, %tmp1      ; <i32> [#uses=1]
  59         %B = shl i32 %arg1, %arg2       ; <i32> [#uses=1]
  60         %D = or i32 %B, %C              ; <i32> [#uses=1]
  61         ret i32 %D
  62 }
  63
  64 define i32 @rotr32_1(i32 %A, i8 %Amt) {
  65         %tmp1 = zext i8 %Amt to i32     ; <i32> [#uses=1]
  66         %B = lshr i32 %A, %tmp1         ; <i32> [#uses=1]
  67         %Amt2 = sub i8 32, %Amt         ; <i8> [#uses=1]
  68         %tmp2 = zext i8 %Amt2 to i32    ; <i32> [#uses=1]
  69         %C = shl i32 %A, %tmp2          ; <i32> [#uses=1]
  70         %D = or i32 %B, %C              ; <i32> [#uses=1]
  71         ret i32 %D
  72 }
  73
  74 define i32 @rotr32_2(i32 %A, i8 %Amt) {
  75         %Amt2 = sub i8 32, %Amt         ; <i8> [#uses=1]
  76         %tmp1 = zext i8 %Amt to i32     ; <i32> [#uses=1]
  77         %B = lshr i32 %A, %tmp1         ; <i32> [#uses=1]
  78         %tmp2 = zext i8 %Amt2 to i32    ; <i32> [#uses=1]
  79         %C = shl i32 %A, %tmp2          ; <i32> [#uses=1]
  80         %D = or i32 %B, %C              ; <i32> [#uses=1]
  81         ret i32 %D
  82 }
  83
  84 ; Rotate left with immediate
  85 define i32 @rotli32(i32 %A) {
  86         %B = shl i32 %A, 5              ; <i32> [#uses=1]
  87         %C = lshr i32 %A, 27            ; <i32> [#uses=1]
  88         %D = or i32 %B, %C              ; <i32> [#uses=1]
  89         ret i32 %D
  90 }
  91
  92 ; Rotate right with immediate
  93 define i32 @rotri32(i32 %A) {
  94         %B = lshr i32 %A, 5             ; <i32> [#uses=1]
  95         %C = shl i32 %A, 27             ; <i32> [#uses=1]
  96         %D = or i32 %B, %C              ; <i32> [#uses=1]
  97         ret i32 %D
  98 }
  99
 100 ; 16-bit rotates:
 101 define i16 @rotr16_1(i16 %arg1, i8 %arg) {
 102         %tmp1 = zext i8 %arg to i16             ; <i16> [#uses=1]
 103         %B = lshr i16 %arg1, %tmp1              ; <i16> [#uses=1]
 104         %arg2 = sub i8 16, %arg                 ; <i8> [#uses=1]
 105         %tmp2 = zext i8 %arg2 to i16            ; <i16> [#uses=1]
 106         %C = shl i16 %arg1, %tmp2               ; <i16> [#uses=1]
 107         %D = or i16 %B, %C                      ; <i16> [#uses=1]
 108         ret i16 %D
 109 }
 110
 111 define i16 @rotr16_2(i16 %arg1, i16 %arg) {
 112         %B = lshr i16 %arg1, %arg       ; <i16> [#uses=1]
 113         %tmp1 = sub i16 16, %arg        ; <i16> [#uses=1]
 114         %C = shl i16 %arg1, %tmp1       ; <i16> [#uses=1]
 115         %D = or i16 %B, %C              ; <i16> [#uses=1]
 116         ret i16 %D
 117 }
 118
 119 define i16 @rotli16(i16 %A) {
 120         %B = shl i16 %A, 5              ; <i16> [#uses=1]
 121         %C = lshr i16 %A, 11            ; <i16> [#uses=1]
 122         %D = or i16 %B, %C              ; <i16> [#uses=1]
 123         ret i16 %D
 124 }
 125
 126 define i16 @rotri16(i16 %A) {
 127         %B = lshr i16 %A, 5             ; <i16> [#uses=1]
 128         %C = shl i16 %A, 11             ; <i16> [#uses=1]
 129         %D = or i16 %B, %C              ; <i16> [#uses=1]
 130         ret i16 %D
 131 }
 132
 133 define i8 @rotl8(i8 %A, i8 %Amt) {
 134         %B = shl i8 %A, %Amt            ; <i8> [#uses=1]
 135         %Amt2 = sub i8 8, %Amt          ; <i8> [#uses=1]
 136         %C = lshr i8 %A, %Amt2          ; <i8> [#uses=1]
 137         %D = or i8 %B, %C               ; <i8> [#uses=1]
 138         ret i8 %D
 139 }
 140
 141 define i8 @rotr8(i8 %A, i8 %Amt) {
 142         %B = lshr i8 %A, %Amt           ; <i8> [#uses=1]
 143         %Amt2 = sub i8 8, %Amt          ; <i8> [#uses=1]
 144         %C = shl i8 %A, %Amt2           ; <i8> [#uses=1]
 145         %D = or i8 %B, %C               ; <i8> [#uses=1]
 146         ret i8 %D
 147 }
 148
 149 define i8 @rotli8(i8 %A) {
 150         %B = shl i8 %A, 5               ; <i8> [#uses=1]
 151         %C = lshr i8 %A, 3              ; <i8> [#uses=1]
 152         %D = or i8 %B, %C               ; <i8> [#uses=1]
 153         ret i8 %D
 154 }
 155
 156 define i8 @rotri8(i8 %A) {
 157         %B = lshr i8 %A, 5              ; <i8> [#uses=1]
 158         %C = shl i8 %A, 3               ; <i8> [#uses=1]
 159         %D = or i8 %B, %C               ; <i8> [#uses=1]
 160         ret i8 %D
 161 }
 162
 163 define <2 x float> @test1(<4 x float> %param )
 164 {
 165 ; CHECK: test1
 166 ; CHECK: rotqbyi
 167   %el = extractelement <4 x float> %param, i32 1
 168   %vec1 = insertelement <1 x float> undef, float %el, i32 0
 169   %rv = shufflevector <1 x float> %vec1, <1 x float> undef, <2 x i32><i32 0,i32 0>
 170 ; CHECK: bi $lr
 171   ret <2 x float> %rv
 172 }