test/CodeGen/CellSPU/eqv.ll

   1 ; RUN: llvm-as -o - %s | llc -march=cellspu > %t1.s
   2 ; RUN: grep eqv  %t1.s | count 18
   3 ; RUN: grep xshw %t1.s | count 6
   4 ; RUN: grep xsbh %t1.s | count 3
   5 ; RUN: grep andi %t1.s | count 3
   6
   7 ; Test the 'eqv' instruction, whose boolean expression is:
   8 ; (a & b) | (~a & ~b), which simplifies to
   9 ; (a & b) | ~(a | b)
  10 ; Alternatively, a ^ ~b, which the compiler will also match.
  11
  12 ; ModuleID = 'eqv.bc'
  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 define <4 x i32> @equiv_v4i32_1(<4 x i32> %arg1, <4 x i32> %arg2) {
  17         %A = and <4 x i32> %arg1, %arg2
  18         %B = or <4 x i32> %arg1, %arg2
  19         %Bnot = xor <4 x i32> %B, < i32 -1, i32 -1, i32 -1, i32 -1 >
  20         %C = or <4 x i32> %A, %Bnot
  21         ret <4 x i32> %C
  22 }
  23
  24 define <4 x i32> @equiv_v4i32_2(<4 x i32> %arg1, <4 x i32> %arg2) {
  25         %B = or <4 x i32> %arg1, %arg2          ; <<4 x i32>> [#uses=1]
  26         %Bnot = xor <4 x i32> %B, < i32 -1, i32 -1, i32 -1, i32 -1 >            ; <<4 x i32>> [#uses=1]
  27         %A = and <4 x i32> %arg1, %arg2         ; <<4 x i32>> [#uses=1]
  28         %C = or <4 x i32> %A, %Bnot             ; <<4 x i32>> [#uses=1]
  29         ret <4 x i32> %C
  30 }
  31
  32 define <4 x i32> @equiv_v4i32_3(<4 x i32> %arg1, <4 x i32> %arg2) {
  33         %B = or <4 x i32> %arg1, %arg2          ; <<4 x i32>> [#uses=1]
  34         %A = and <4 x i32> %arg1, %arg2         ; <<4 x i32>> [#uses=1]
  35         %Bnot = xor <4 x i32> %B, < i32 -1, i32 -1, i32 -1, i32 -1 >            ; <<4 x i32>> [#uses=1]
  36         %C = or <4 x i32> %A, %Bnot             ; <<4 x i32>> [#uses=1]
  37         ret <4 x i32> %C
  38 }
  39
  40 define <4 x i32> @equiv_v4i32_4(<4 x i32> %arg1, <4 x i32> %arg2) {
  41         %arg2not = xor <4 x i32> %arg2, < i32 -1, i32 -1, i32 -1, i32 -1 >
  42         %C = xor <4 x i32> %arg1, %arg2not
  43         ret <4 x i32> %C
  44 }
  45
  46 define i32 @equiv_i32_1(i32 %arg1, i32 %arg2) {
  47         %A = and i32 %arg1, %arg2               ; <i32> [#uses=1]
  48         %B = or i32 %arg1, %arg2                ; <i32> [#uses=1]
  49         %Bnot = xor i32 %B, -1                  ; <i32> [#uses=1]
  50         %C = or i32 %A, %Bnot                   ; <i32> [#uses=1]
  51         ret i32 %C
  52 }
  53
  54 define i32 @equiv_i32_2(i32 %arg1, i32 %arg2) {
  55         %B = or i32 %arg1, %arg2                ; <i32> [#uses=1]
  56         %Bnot = xor i32 %B, -1                  ; <i32> [#uses=1]
  57         %A = and i32 %arg1, %arg2               ; <i32> [#uses=1]
  58         %C = or i32 %A, %Bnot                   ; <i32> [#uses=1]
  59         ret i32 %C
  60 }
  61
  62 define i32 @equiv_i32_3(i32 %arg1, i32 %arg2) {
  63         %B = or i32 %arg1, %arg2                ; <i32> [#uses=1]
  64         %A = and i32 %arg1, %arg2               ; <i32> [#uses=1]
  65         %Bnot = xor i32 %B, -1                  ; <i32> [#uses=1]
  66         %C = or i32 %A, %Bnot                   ; <i32> [#uses=1]
  67         ret i32 %C
  68 }
  69
  70 define i32 @equiv_i32_4(i32 %arg1, i32 %arg2) {
  71         %arg2not = xor i32 %arg2, -1
  72         %C = xor i32 %arg1, %arg2not
  73         ret i32 %C
  74 }
  75
  76 define i32 @equiv_i32_5(i32 %arg1, i32 %arg2) {
  77         %arg1not = xor i32 %arg1, -1
  78         %C = xor i32 %arg2, %arg1not
  79         ret i32 %C
  80 }
  81
  82 define i16 @equiv_i16_1(i16 signext %arg1, i16 signext %arg2) signext {
  83         %A = and i16 %arg1, %arg2               ; <i16> [#uses=1]
  84         %B = or i16 %arg1, %arg2                ; <i16> [#uses=1]
  85         %Bnot = xor i16 %B, -1                  ; <i16> [#uses=1]
  86         %C = or i16 %A, %Bnot                   ; <i16> [#uses=1]
  87         ret i16 %C
  88 }
  89
  90 define i16 @equiv_i16_2(i16 signext %arg1, i16 signext %arg2) signext {
  91         %B = or i16 %arg1, %arg2                ; <i16> [#uses=1]
  92         %Bnot = xor i16 %B, -1                  ; <i16> [#uses=1]
  93         %A = and i16 %arg1, %arg2               ; <i16> [#uses=1]
  94         %C = or i16 %A, %Bnot                   ; <i16> [#uses=1]
  95         ret i16 %C
  96 }
  97
  98 define i16 @equiv_i16_3(i16 signext %arg1, i16 signext %arg2) signext {
  99         %B = or i16 %arg1, %arg2                ; <i16> [#uses=1]
 100         %A = and i16 %arg1, %arg2               ; <i16> [#uses=1]
 101         %Bnot = xor i16 %B, -1                  ; <i16> [#uses=1]
 102         %C = or i16 %A, %Bnot                   ; <i16> [#uses=1]
 103         ret i16 %C
 104 }
 105
 106 define i8 @equiv_i8_1(i8 signext %arg1, i8 signext %arg2) signext {
 107         %A = and i8 %arg1, %arg2                ; <i8> [#uses=1]
 108         %B = or i8 %arg1, %arg2         ; <i8> [#uses=1]
 109         %Bnot = xor i8 %B, -1                   ; <i8> [#uses=1]
 110         %C = or i8 %A, %Bnot                    ; <i8> [#uses=1]
 111         ret i8 %C
 112 }
 113
 114 define i8 @equiv_i8_2(i8 signext %arg1, i8 signext %arg2) signext {
 115         %B = or i8 %arg1, %arg2         ; <i8> [#uses=1]
 116         %Bnot = xor i8 %B, -1                   ; <i8> [#uses=1]
 117         %A = and i8 %arg1, %arg2                ; <i8> [#uses=1]
 118         %C = or i8 %A, %Bnot                    ; <i8> [#uses=1]
 119         ret i8 %C
 120 }
 121
 122 define i8 @equiv_i8_3(i8 signext %arg1, i8 signext %arg2) signext {
 123         %B = or i8 %arg1, %arg2         ; <i8> [#uses=1]
 124         %A = and i8 %arg1, %arg2                ; <i8> [#uses=1]
 125         %Bnot = xor i8 %B, -1                   ; <i8> [#uses=1]
 126         %C = or i8 %A, %Bnot                    ; <i8> [#uses=1]
 127         ret i8 %C
 128 }
 129
 130 define i8 @equiv_u8_1(i8 zeroext %arg1, i8 zeroext %arg2) zeroext {
 131         %A = and i8 %arg1, %arg2                ; <i8> [#uses=1]
 132         %B = or i8 %arg1, %arg2         ; <i8> [#uses=1]
 133         %Bnot = xor i8 %B, -1                   ; <i8> [#uses=1]
 134         %C = or i8 %A, %Bnot                    ; <i8> [#uses=1]
 135         ret i8 %C
 136 }
 137
 138 define i8 @equiv_u8_2(i8 zeroext %arg1, i8 zeroext %arg2) zeroext {
 139         %B = or i8 %arg1, %arg2         ; <i8> [#uses=1]
 140         %Bnot = xor i8 %B, -1                   ; <i8> [#uses=1]
 141         %A = and i8 %arg1, %arg2                ; <i8> [#uses=1]
 142         %C = or i8 %A, %Bnot                    ; <i8> [#uses=1]
 143         ret i8 %C
 144 }
 145
 146 define i8 @equiv_u8_3(i8 zeroext %arg1, i8 zeroext %arg2) zeroext {
 147         %B = or i8 %arg1, %arg2         ; <i8> [#uses=1]
 148         %A = and i8 %arg1, %arg2                ; <i8> [#uses=1]
 149         %Bnot = xor i8 %B, -1                   ; <i8> [#uses=1]
 150         %C = or i8 %A, %Bnot                    ; <i8> [#uses=1]
 151         ret i8 %C
 152 }