lib/Target/PowerPC/PPCInstrAltivec.td

   1 //===- PPCInstrAltivec.td - The PowerPC Altivec Extension --*- tablegen -*-===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file was developed by Chris Lattner and is distributed under
   6 // the University of Illinois Open Source License. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9 //
  10 // This file describes the Altivec extension to the PowerPC instruction set.
  11 //
  12 //===----------------------------------------------------------------------===//
  13
  14 //===----------------------------------------------------------------------===//
  15 // Altivec transformation functions and pattern fragments.
  16 //
  17
  18 // VSPLT_get_imm xform function: convert vector_shuffle mask to VSPLT* imm.
  19 def VSPLT_get_imm : SDNodeXForm<build_vector, [{
  20   return getI32Imm(PPC::getVSPLTImmediate(N));
  21 }]>;
  22
  23 def VSPLT_shuffle_mask : PatLeaf<(build_vector), [{
  24   return PPC::isSplatShuffleMask(N);
  25 }], VSPLT_get_imm>;
  26
  27
  28 // VSPLTISB_get_imm xform function: convert build_vector to VSPLTISB imm.
  29 def VSPLTISB_get_imm : SDNodeXForm<build_vector, [{
  30   char Val;
  31   PPC::isVecSplatImm(N, 1, &Val);
  32   return getI32Imm(Val);
  33 }]>;
  34 def vecspltisb : PatLeaf<(build_vector), [{
  35   return PPC::isVecSplatImm(N, 1);
  36 }], VSPLTISB_get_imm>;
  37
  38 // VSPLTISH_get_imm xform function: convert build_vector to VSPLTISH imm.
  39 def VSPLTISH_get_imm : SDNodeXForm<build_vector, [{
  40   char Val;
  41   PPC::isVecSplatImm(N, 2, &Val);
  42   return getI32Imm(Val);
  43 }]>;
  44 def vecspltish : PatLeaf<(build_vector), [{
  45   return PPC::isVecSplatImm(N, 2);
  46 }], VSPLTISH_get_imm>;
  47
  48 // VSPLTISW_get_imm xform function: convert build_vector to VSPLTISW imm.
  49 def VSPLTISW_get_imm : SDNodeXForm<build_vector, [{
  50   char Val;
  51   PPC::isVecSplatImm(N, 4, &Val);
  52   return getI32Imm(Val);
  53 }]>;
  54 def vecspltisw : PatLeaf<(build_vector), [{
  55   return PPC::isVecSplatImm(N, 4);
  56 }], VSPLTISW_get_imm>;
  57
  58 class isVDOT {   // vector dot instruction.
  59   list<Register> Defs = [CR6];
  60   bit RC = 1;
  61 }
  62
  63 //===----------------------------------------------------------------------===//
  64 // Instruction Definitions.
  65
  66 def IMPLICIT_DEF_VRRC : Pseudo<(ops VRRC:$rD), "; $rD = IMPLICIT_DEF_VRRC",
  67                                [(set VRRC:$rD, (v4f32 (undef)))]>;
  68
  69 let isLoad = 1, PPC970_Unit = 2 in {  // Loads.
  70 def LVEBX: XForm_1<31,   7, (ops VRRC:$vD, memrr:$src),
  71                    "lvebx $vD, $src", LdStGeneral,
  72                    [(set VRRC:$vD, (v16i8 (PPClve_x xoaddr:$src)))]>;
  73 def LVEHX: XForm_1<31,  39, (ops VRRC:$vD, memrr:$src),
  74                    "lvehx $vD, $src", LdStGeneral,
  75                    [(set VRRC:$vD, (v8i16 (PPClve_x xoaddr:$src)))]>;
  76 def LVEWX: XForm_1<31,  71, (ops VRRC:$vD, memrr:$src),
  77                    "lvewx $vD, $src", LdStGeneral,
  78                    [(set VRRC:$vD, (v4f32 (PPClve_x xoaddr:$src)))]>;
  79 def LVX  : XForm_1<31, 103, (ops VRRC:$vD, memrr:$src),
  80                    "lvx $vD, $src", LdStGeneral,
  81                    [(set VRRC:$vD, (v4f32 (load xoaddr:$src)))]>;
  82 }
  83
  84 def LVSL : XForm_1<31,   6, (ops VRRC:$vD,  GPRC:$base, GPRC:$rA),
  85                    "lvsl $vD, $base, $rA", LdStGeneral,
  86                    []>, PPC970_Unit_LSU;
  87 def LVSR : XForm_1<31,  38, (ops VRRC:$vD,  GPRC:$base, GPRC:$rA),
  88                    "lvsl $vD, $base, $rA", LdStGeneral,
  89                    []>, PPC970_Unit_LSU;
  90
  91 let isStore = 1, noResults = 1, PPC970_Unit = 2 in {   // Stores.
  92 def STVEBX: XForm_8<31, 135, (ops VRRC:$rS, memrr:$dst),
  93                    "stvebx $rS, $dst", LdStGeneral,
  94                    [(int_ppc_altivec_stvebx VRRC:$rS, xoaddr:$dst)]>;
  95 def STVEHX: XForm_8<31, 167, (ops VRRC:$rS, memrr:$dst),
  96                    "stvehx $rS, $dst", LdStGeneral,
  97                    [(int_ppc_altivec_stvehx VRRC:$rS, xoaddr:$dst)]>;
  98 def STVEWX: XForm_8<31, 199, (ops VRRC:$rS, memrr:$dst),
  99                    "stvewx $rS, $dst", LdStGeneral,
 100                    [(int_ppc_altivec_stvewx VRRC:$rS, xoaddr:$dst)]>;
 101 def STVX  : XForm_8<31, 231, (ops VRRC:$rS, memrr:$dst),
 102                    "stvx $rS, $dst", LdStGeneral,
 103                    [(store (v4f32 VRRC:$rS), xoaddr:$dst)]>;
 104 }
 105
 106 let PPC970_Unit = 5 in {  // VALU Operations.
 107 // VA-Form instructions.  3-input AltiVec ops.
 108 def VMADDFP : VAForm_1<46, (ops VRRC:$vD, VRRC:$vA, VRRC:$vC, VRRC:$vB),
 109                        "vmaddfp $vD, $vA, $vC, $vB", VecFP,
 110                        [(set VRRC:$vD, (fadd (fmul VRRC:$vA, VRRC:$vC),
 111                                              VRRC:$vB))]>,
 112                        Requires<[FPContractions]>;
 113 def VNMSUBFP: VAForm_1<47, (ops VRRC:$vD, VRRC:$vA, VRRC:$vC, VRRC:$vB),
 114                        "vnmsubfp $vD, $vA, $vC, $vB", VecFP,
 115                        [(set VRRC:$vD, (fneg (fsub (fmul VRRC:$vA, VRRC:$vC),
 116                                                    VRRC:$vB)))]>,
 117                        Requires<[FPContractions]>;
 118
 119 def VPERM   : VAForm_1a<43, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB, VRRC:$vC),
 120                         "vperm $vD, $vA, $vB, $vC", VecPerm,
 121                         [(set VRRC:$vD,
 122                              (PPCvperm (v4f32 VRRC:$vA), VRRC:$vB, VRRC:$vC))]>;
 123 def VSLDOI  : VAForm_2<44, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB, u5imm:$SH),
 124                        "vsldoi $vD, $vA, $vB, $SH", VecFP,
 125                        [(set VRRC:$vD,
 126                              (int_ppc_altivec_vsldoi VRRC:$vA, VRRC:$vB,
 127                                                      imm:$SH))]>;
 128 def VSEL   : VAForm_1a<42, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB, VRRC:$vC),
 129                        "vsel $vD, $vA, $vB, $vC", VecFP,
 130                        [(set VRRC:$vD,
 131                          (int_ppc_altivec_vsel VRRC:$vA, VRRC:$vB, VRRC:$vC))]>;
 132
 133 // VX-Form instructions.  AltiVec arithmetic ops.
 134 def VADDCUW : VXForm_1<384, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 135                        "vaddcuw $vD, $vA, $vB", VecFP,
 136                        [(set VRRC:$vD,
 137                              (int_ppc_altivec_vaddcuw VRRC:$vA, VRRC:$vB))]>;
 138 def VADDFP : VXForm_1<10, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 139                       "vaddfp $vD, $vA, $vB", VecFP,
 140                       [(set VRRC:$vD, (fadd VRRC:$vA, VRRC:$vB))]>;
 141
 142 def VADDUBM : VXForm_1<0, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 143                       "vaddubm $vD, $vA, $vB", VecGeneral,
 144                       [(set VRRC:$vD, (add (v16i8 VRRC:$vA), VRRC:$vB))]>;
 145 def VADDUHM : VXForm_1<64, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 146                       "vadduhm $vD, $vA, $vB", VecGeneral,
 147                       [(set VRRC:$vD, (add (v8i16 VRRC:$vA), VRRC:$vB))]>;
 148 def VADDUWM : VXForm_1<128, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 149                       "vadduwm $vD, $vA, $vB", VecGeneral,
 150                       [(set VRRC:$vD, (add (v4i32 VRRC:$vA), VRRC:$vB))]>;
 151
 152 def VADDSBS : VXForm_1<768, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 153                        "vaddsbs $vD, $vA, $vB", VecFP,
 154                        [(set VRRC:$vD,
 155                              (int_ppc_altivec_vaddsbs VRRC:$vA, VRRC:$vB))]>;
 156 def VADDSHS : VXForm_1<832, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 157                        "vaddshs $vD, $vA, $vB", VecFP,
 158                        [(set VRRC:$vD,
 159                              (int_ppc_altivec_vaddshs VRRC:$vA, VRRC:$vB))]>;
 160 def VADDSWS : VXForm_1<896, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 161                        "vaddsws $vD, $vA, $vB", VecFP,
 162                        [(set VRRC:$vD,
 163                              (int_ppc_altivec_vaddsws VRRC:$vA, VRRC:$vB))]>;
 164
 165 def VADDUBS : VXForm_1<512, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 166                        "vaddubs $vD, $vA, $vB", VecFP,
 167                        [(set VRRC:$vD,
 168                              (int_ppc_altivec_vaddubs VRRC:$vA, VRRC:$vB))]>;
 169 def VADDUHS : VXForm_1<576, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 170                        "vadduhs $vD, $vA, $vB", VecFP,
 171                        [(set VRRC:$vD,
 172                              (int_ppc_altivec_vadduhs VRRC:$vA, VRRC:$vB))]>;
 173 def VADDUWS : VXForm_1<640, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 174                        "vadduws $vD, $vA, $vB", VecFP,
 175                        [(set VRRC:$vD,
 176                              (int_ppc_altivec_vadduws VRRC:$vA, VRRC:$vB))]>;
 177 def VAND : VXForm_1<1028, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 178                     "vand $vD, $vA, $vB", VecFP,
 179                     [(set VRRC:$vD, (and (v4i32 VRRC:$vA), VRRC:$vB))]>;
 180 def VANDC : VXForm_1<1092, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 181                      "vandc $vD, $vA, $vB", VecFP,
 182                      [(set VRRC:$vD, (and (v4i32 VRRC:$vA), (vnot VRRC:$vB)))]>;
 183
 184 def VCFSX  : VXForm_1<842, (ops VRRC:$vD, u5imm:$UIMM, VRRC:$vB),
 185                       "vcfsx $vD, $vB, $UIMM", VecFP,
 186                       [(set VRRC:$vD,
 187                              (int_ppc_altivec_vcfsx VRRC:$vB, imm:$UIMM))]>;
 188 def VCFUX  : VXForm_1<778, (ops VRRC:$vD, u5imm:$UIMM, VRRC:$vB),
 189                       "vcfux $vD, $vB, $UIMM", VecFP,
 190                       [(set VRRC:$vD,
 191                              (int_ppc_altivec_vcfux VRRC:$vB, imm:$UIMM))]>;
 192 def VCTSXS : VXForm_1<970, (ops VRRC:$vD, u5imm:$UIMM, VRRC:$vB),
 193                       "vctsxs $vD, $vB, $UIMM", VecFP,
 194                       []>;
 195 def VCTUXS : VXForm_1<906, (ops VRRC:$vD, u5imm:$UIMM, VRRC:$vB),
 196                       "vctuxs $vD, $vB, $UIMM", VecFP,
 197                       []>;
 198 def VEXPTEFP : VXForm_2<394, (ops VRRC:$vD, VRRC:$vB),
 199                         "vexptefp $vD, $vB", VecFP,
 200                         []>;
 201 def VLOGEFP  : VXForm_2<458, (ops VRRC:$vD, VRRC:$vB),
 202                         "vlogefp $vD, $vB", VecFP,
 203                         []>;
 204 def VMAXFP : VXForm_1<1034, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 205                       "vmaxfp $vD, $vA, $vB", VecFP,
 206                       []>;
 207 def VMINFP : VXForm_1<1098, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 208                       "vminfp $vD, $vA, $vB", VecFP,
 209                       []>;
 210 def VREFP  : VXForm_2<266, (ops VRRC:$vD, VRRC:$vB),
 211                       "vrefp $vD, $vB", VecFP,
 212                       []>;
 213 def VRFIM  : VXForm_2<714, (ops VRRC:$vD, VRRC:$vB),
 214                       "vrfim $vD, $vB", VecFP,
 215                       []>;
 216 def VRFIN  : VXForm_2<522, (ops VRRC:$vD, VRRC:$vB),
 217                       "vrfin $vD, $vB", VecFP,
 218                       []>;
 219 def VRFIP  : VXForm_2<650, (ops VRRC:$vD, VRRC:$vB),
 220                       "vrfip $vD, $vB", VecFP,
 221                       []>;
 222 def VRFIZ  : VXForm_2<586, (ops VRRC:$vD, VRRC:$vB),
 223                       "vrfiz $vD, $vB", VecFP,
 224                       []>;
 225 def VRSQRTEFP : VXForm_2<330, (ops VRRC:$vD, VRRC:$vB),
 226                          "vrsqrtefp $vD, $vB", VecFP,
 227                          [(set VRRC:$vD,(int_ppc_altivec_vrsqrtefp VRRC:$vB))]>;
 228 def VSUBCUW : VXForm_1<74, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 229                        "vsubcuw $vD, $vA, $vB", VecFP,
 230                        [(set VRRC:$vD,
 231                              (int_ppc_altivec_vsubcuw VRRC:$vA, VRRC:$vB))]>;
 232 def VSUBFP : VXForm_1<74, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 233                       "vsubfp $vD, $vA, $vB", VecFP,
 234                       [(set VRRC:$vD, (fsub VRRC:$vA, VRRC:$vB))]>;
 235
 236 def VSUBUBM : VXForm_1<1024, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 237                       "vsububm $vD, $vA, $vB", VecGeneral,
 238                       [(set VRRC:$vD, (sub (v16i8 VRRC:$vA), VRRC:$vB))]>;
 239 def VSUBUHM : VXForm_1<1088, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 240                       "vsubuhm $vD, $vA, $vB", VecGeneral,
 241                       [(set VRRC:$vD, (sub (v8i16 VRRC:$vA), VRRC:$vB))]>;
 242 def VSUBUWM : VXForm_1<1152, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 243                       "vsubuwm $vD, $vA, $vB", VecGeneral,
 244                       [(set VRRC:$vD, (sub (v4i32 VRRC:$vA), VRRC:$vB))]>;
 245
 246 def VSUBSBS : VXForm_1<1792, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 247                        "vsubsbs $vD, $vA, $vB", VecFP,
 248                        [(set VRRC:$vD,
 249                              (int_ppc_altivec_vsubsbs VRRC:$vA, VRRC:$vB))]>;
 250 def VSUBSHS : VXForm_1<1856, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 251                        "vsubshs $vD, $vA, $vB", VecFP,
 252                        [(set VRRC:$vD,
 253                              (int_ppc_altivec_vsubshs VRRC:$vA, VRRC:$vB))]>;
 254 def VSUBSWS : VXForm_1<1920, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 255                        "vsubsws $vD, $vA, $vB", VecFP,
 256                        [(set VRRC:$vD,
 257                              (int_ppc_altivec_vsubsws VRRC:$vA, VRRC:$vB))]>;
 258
 259 def VSUBUBS : VXForm_1<1536, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 260                        "vsububs $vD, $vA, $vB", VecFP,
 261                        [(set VRRC:$vD,
 262                              (int_ppc_altivec_vsububs VRRC:$vA, VRRC:$vB))]>;
 263 def VSUBUHS : VXForm_1<1600, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 264                        "vsubuhs $vD, $vA, $vB", VecFP,
 265                        [(set VRRC:$vD,
 266                              (int_ppc_altivec_vsubuhs VRRC:$vA, VRRC:$vB))]>;
 267 def VSUBUWS : VXForm_1<1664, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 268                        "vsubuws $vD, $vA, $vB", VecFP,
 269                        [(set VRRC:$vD,
 270                              (int_ppc_altivec_vsubuws VRRC:$vA, VRRC:$vB))]>;
 271
 272 def VNOR : VXForm_1<1284, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 273                     "vnor $vD, $vA, $vB", VecFP,
 274                     [(set VRRC:$vD, (vnot (or (v4i32 VRRC:$vA), VRRC:$vB)))]>;
 275 def VOR : VXForm_1<1156, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 276                       "vor $vD, $vA, $vB", VecFP,
 277                       [(set VRRC:$vD, (or (v4i32 VRRC:$vA), VRRC:$vB))]>;
 278 def VXOR : VXForm_1<1220, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 279                       "vxor $vD, $vA, $vB", VecFP,
 280                       [(set VRRC:$vD, (xor (v4i32 VRRC:$vA), VRRC:$vB))]>;
 281
 282 def VSPLTB : VXForm_1<524, (ops VRRC:$vD, u5imm:$UIMM, VRRC:$vB),
 283                       "vspltb $vD, $vB, $UIMM", VecPerm,
 284                       []>;
 285 def VSPLTH : VXForm_1<588, (ops VRRC:$vD, u5imm:$UIMM, VRRC:$vB),
 286                       "vsplth $vD, $vB, $UIMM", VecPerm,
 287                       []>;
 288 def VSPLTW : VXForm_1<652, (ops VRRC:$vD, u5imm:$UIMM, VRRC:$vB),
 289                       "vspltw $vD, $vB, $UIMM", VecPerm,
 290                       [(set VRRC:$vD, (vector_shuffle (v4f32 VRRC:$vB), (undef),
 291                                       VSPLT_shuffle_mask:$UIMM))]>;
 292
 293 def VSPLTISB : VXForm_3<780, (ops VRRC:$vD, s5imm:$SIMM),
 294                        "vspltisb $vD, $SIMM", VecPerm,
 295                        [(set VRRC:$vD, (v4f32 vecspltisb:$SIMM))]>;
 296 def VSPLTISH : VXForm_3<844, (ops VRRC:$vD, s5imm:$SIMM),
 297                        "vspltish $vD, $SIMM", VecPerm,
 298                        [(set VRRC:$vD, (v4f32 vecspltish:$SIMM))]>;
 299 def VSPLTISW : VXForm_3<908, (ops VRRC:$vD, s5imm:$SIMM),
 300                        "vspltisw $vD, $SIMM", VecPerm,
 301                        [(set VRRC:$vD, (v4f32 vecspltisw:$SIMM))]>;
 302
 303
 304 // Altivec Comparisons.
 305
 306 // f32 element comparisons.
 307 def VCMPBFP   : VXRForm_1<966, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 308                           "vcmpbfp $vD, $vA, $vB", VecFPCompare,
 309                           [(set VRRC:$vD,
 310                                 (int_ppc_altivec_vcmpbfp VRRC:$vA, VRRC:$vB))]>;
 311 def VCMPBFPo  : VXRForm_1<966, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 312                           "vcmpbfp. $vD, $vA, $vB", VecFPCompare,
 313                           [(set VRRC:$vD, (v4f32
 314                                 (PPCvcmp_o VRRC:$vA, VRRC:$vB, 966)))]>, isVDOT;
 315 def VCMPEQFP  : VXRForm_1<198, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 316                          "vcmpeqfp $vD, $vA, $vB", VecFPCompare,
 317                          [(set VRRC:$vD,
 318                                (int_ppc_altivec_vcmpeqfp VRRC:$vA, VRRC:$vB))]>;
 319 def VCMPEQFPo : VXRForm_1<198, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 320                          "vcmpeqfp. $vD, $vA, $vB", VecFPCompare,
 321                          [(set VRRC:$vD, (v4f32
 322                                 (PPCvcmp_o VRRC:$vA, VRRC:$vB, 198)))]>, isVDOT;
 323 def VCMPGEFP  : VXRForm_1<454, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 324                          "vcmpgefp $vD, $vA, $vB", VecFPCompare,
 325                          [(set VRRC:$vD,
 326                                (int_ppc_altivec_vcmpgefp VRRC:$vA, VRRC:$vB))]>;
 327 def VCMPGEFPo : VXRForm_1<454, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 328                          "vcmpgefp. $vD, $vA, $vB", VecFPCompare,
 329                          [(set VRRC:$vD, (v4f32
 330                                 (PPCvcmp_o VRRC:$vA, VRRC:$vB, 454)))]>, isVDOT;
 331 def VCMPGTFP  : VXRForm_1<710, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 332                          "vcmpgtfp $vD, $vA, $vB", VecFPCompare,
 333                          [(set VRRC:$vD,
 334                                (int_ppc_altivec_vcmpgtfp VRRC:$vA, VRRC:$vB))]>;
 335 def VCMPGTFPo : VXRForm_1<710, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 336                          "vcmpgtfp. $vD, $vA, $vB", VecFPCompare,
 337                          [(set VRRC:$vD, (v4f32
 338                                 (PPCvcmp_o VRRC:$vA, VRRC:$vB, 710)))]>, isVDOT;
 339
 340 // i8 element comparisons.
 341 def VCMPEQUB  : VXRForm_1<6, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 342                          "vcmpequb $vD, $vA, $vB", VecFPCompare,
 343                          [(set VRRC:$vD,
 344                                (int_ppc_altivec_vcmpequb VRRC:$vA, VRRC:$vB))]>;
 345 def VCMPEQUBo : VXRForm_1<6, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 346                          "vcmpequb. $vD, $vA, $vB", VecFPCompare,
 347                          [(set VRRC:$vD, (v16i8
 348                                 (PPCvcmp_o VRRC:$vA, VRRC:$vB, 6)))]>, isVDOT;
 349 def VCMPGTSB  : VXRForm_1<774, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 350                          "vcmpgtsb $vD, $vA, $vB", VecFPCompare,
 351                          [(set VRRC:$vD,
 352                                (int_ppc_altivec_vcmpgtsb VRRC:$vA, VRRC:$vB))]>;
 353 def VCMPGTSBo : VXRForm_1<774, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 354                          "vcmpgtsb. $vD, $vA, $vB", VecFPCompare,
 355                          [(set VRRC:$vD, (v16i8
 356                                 (PPCvcmp_o VRRC:$vA, VRRC:$vB, 774)))]>, isVDOT;
 357 def VCMPGTUB  : VXRForm_1<518, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 358                          "vcmpgtub $vD, $vA, $vB", VecFPCompare,
 359                          [(set VRRC:$vD,
 360                                (int_ppc_altivec_vcmpgtub VRRC:$vA, VRRC:$vB))]>;
 361 def VCMPGTUBo : VXRForm_1<518, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 362                          "vcmpgtub. $vD, $vA, $vB", VecFPCompare,
 363                          [(set VRRC:$vD, (v16i8
 364                                 (PPCvcmp_o VRRC:$vA, VRRC:$vB, 518)))]>, isVDOT;
 365
 366 // i16 element comparisons.
 367 def VCMPEQUH  : VXRForm_1<70, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 368                          "vcmpequh $vD, $vA, $vB", VecFPCompare,
 369                          [(set VRRC:$vD,
 370                                (int_ppc_altivec_vcmpequh VRRC:$vA, VRRC:$vB))]>;
 371 def VCMPEQUHo : VXRForm_1<70, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 372                          "vcmpequh. $vD, $vA, $vB", VecFPCompare,
 373                          [(set VRRC:$vD, (v8i16
 374                                 (PPCvcmp_o VRRC:$vA, VRRC:$vB, 70)))]>, isVDOT;
 375 def VCMPGTSH  : VXRForm_1<838, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 376                          "vcmpgtsh $vD, $vA, $vB", VecFPCompare,
 377                          [(set VRRC:$vD,
 378                                (int_ppc_altivec_vcmpgtsh VRRC:$vA, VRRC:$vB))]>;
 379 def VCMPGTSHo : VXRForm_1<838, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 380                          "vcmpgtsh. $vD, $vA, $vB", VecFPCompare,
 381                          [(set VRRC:$vD, (v8i16
 382                                 (PPCvcmp_o VRRC:$vA, VRRC:$vB, 838)))]>, isVDOT;
 383 def VCMPGTUH  : VXRForm_1<582, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 384                          "vcmpgtuh $vD, $vA, $vB", VecFPCompare,
 385                          [(set VRRC:$vD,
 386                                (int_ppc_altivec_vcmpgtuh VRRC:$vA, VRRC:$vB))]>;
 387 def VCMPGTUHo : VXRForm_1<582, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 388                          "vcmpgtuh. $vD, $vA, $vB", VecFPCompare,
 389                          [(set VRRC:$vD, (v8i16
 390                                 (PPCvcmp_o VRRC:$vA, VRRC:$vB, 582)))]>, isVDOT;
 391
 392 // i32 element comparisons.
 393 def VCMPEQUW  : VXRForm_1<134, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 394                          "vcmpequw $vD, $vA, $vB", VecFPCompare,
 395                          [(set VRRC:$vD,
 396                                (int_ppc_altivec_vcmpequw VRRC:$vA, VRRC:$vB))]>;
 397 def VCMPEQUWo : VXRForm_1<134, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 398                          "vcmpequw. $vD, $vA, $vB", VecFPCompare,
 399                          [(set VRRC:$vD, (v4i32
 400                                 (PPCvcmp_o VRRC:$vA, VRRC:$vB, 134)))]>, isVDOT;
 401 def VCMPGTSW  : VXRForm_1<902, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 402                          "vcmpgtsw $vD, $vA, $vB", VecFPCompare,
 403                          [(set VRRC:$vD,
 404                                (int_ppc_altivec_vcmpgtsw VRRC:$vA, VRRC:$vB))]>;
 405 def VCMPGTSWo : VXRForm_1<902, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 406                          "vcmpgtsw. $vD, $vA, $vB", VecFPCompare,
 407                          [(set VRRC:$vD, (v4i32
 408                                 (PPCvcmp_o VRRC:$vA, VRRC:$vB, 902)))]>, isVDOT;
 409 def VCMPGTUW  : VXRForm_1<646, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 410                          "vcmpgtuw $vD, $vA, $vB", VecFPCompare,
 411                          [(set VRRC:$vD,
 412                                (int_ppc_altivec_vcmpgtuw VRRC:$vA, VRRC:$vB))]>;
 413 def VCMPGTUWo : VXRForm_1<646, (ops VRRC:$vD, VRRC:$vA, VRRC:$vB),
 414                          "vcmpgtuw. $vD, $vA, $vB", VecFPCompare,
 415                          [(set VRRC:$vD, (v4i32
 416                                 (PPCvcmp_o VRRC:$vA, VRRC:$vB, 646)))]>, isVDOT;
 417
 418 def V_SET0 : VXForm_setzero<1220, (ops VRRC:$vD),
 419                       "vxor $vD, $vD, $vD", VecFP,
 420                       [(set VRRC:$vD, (v4f32 immAllZerosV))]>;
 421 }
 422
 423 //===----------------------------------------------------------------------===//
 424 // Additional Altivec Patterns
 425 //
 426
 427 // Undef/Zero.
 428 def : Pat<(v16i8 (undef)), (v16i8 (IMPLICIT_DEF_VRRC))>;
 429 def : Pat<(v8i16 (undef)), (v8i16 (IMPLICIT_DEF_VRRC))>;
 430 def : Pat<(v4i32 (undef)), (v4i32 (IMPLICIT_DEF_VRRC))>;
 431 def : Pat<(v16i8 immAllZerosV), (v16i8 (V_SET0))>;
 432 def : Pat<(v8i16 immAllZerosV), (v8i16 (V_SET0))>;
 433 def : Pat<(v4i32 immAllZerosV), (v4i32 (V_SET0))>;
 434
 435 // Loads.
 436 def : Pat<(v16i8 (load xoaddr:$src)), (v16i8 (LVX xoaddr:$src))>;
 437 def : Pat<(v8i16 (load xoaddr:$src)), (v8i16 (LVX xoaddr:$src))>;
 438 def : Pat<(v4i32 (load xoaddr:$src)), (v4i32 (LVX xoaddr:$src))>;
 439
 440 // Stores.
 441 def : Pat<(store (v16i8 VRRC:$rS), xoaddr:$dst),
 442           (STVX (v16i8 VRRC:$rS), xoaddr:$dst)>;
 443 def : Pat<(store (v8i16 VRRC:$rS), xoaddr:$dst),
 444           (STVX (v8i16 VRRC:$rS), xoaddr:$dst)>;
 445 def : Pat<(store (v4i32 VRRC:$rS), xoaddr:$dst),
 446           (STVX (v4i32 VRRC:$rS), xoaddr:$dst)>;
 447
 448 // Bit conversions.
 449 def : Pat<(v16i8 (bitconvert (v8i16 VRRC:$src))), (v16i8 VRRC:$src)>;
 450 def : Pat<(v16i8 (bitconvert (v4i32 VRRC:$src))), (v16i8 VRRC:$src)>;
 451 def : Pat<(v16i8 (bitconvert (v4f32 VRRC:$src))), (v16i8 VRRC:$src)>;
 452
 453 def : Pat<(v8i16 (bitconvert (v16i8 VRRC:$src))), (v8i16 VRRC:$src)>;
 454 def : Pat<(v8i16 (bitconvert (v4i32 VRRC:$src))), (v8i16 VRRC:$src)>;
 455 def : Pat<(v8i16 (bitconvert (v4f32 VRRC:$src))), (v8i16 VRRC:$src)>;
 456
 457 def : Pat<(v4i32 (bitconvert (v16i8 VRRC:$src))), (v4i32 VRRC:$src)>;
 458 def : Pat<(v4i32 (bitconvert (v8i16 VRRC:$src))), (v4i32 VRRC:$src)>;
 459 def : Pat<(v4i32 (bitconvert (v4f32 VRRC:$src))), (v4i32 VRRC:$src)>;
 460
 461 def : Pat<(v4f32 (bitconvert (v16i8 VRRC:$src))), (v4f32 VRRC:$src)>;
 462 def : Pat<(v4f32 (bitconvert (v8i16 VRRC:$src))), (v4f32 VRRC:$src)>;
 463 def : Pat<(v4f32 (bitconvert (v4i32 VRRC:$src))), (v4f32 VRRC:$src)>;
 464
 465 // Immediate vector formation with vsplti*.
 466 def : Pat<(v16i8 vecspltisb:$invec), (v16i8 (VSPLTISB vecspltisb:$invec))>;
 467 def : Pat<(v16i8 vecspltish:$invec), (v16i8 (VSPLTISH vecspltish:$invec))>;
 468 def : Pat<(v16i8 vecspltisw:$invec), (v16i8 (VSPLTISW vecspltisw:$invec))>;
 469
 470 def : Pat<(v8i16 vecspltisb:$invec), (v8i16 (VSPLTISB vecspltisb:$invec))>;
 471 def : Pat<(v8i16 vecspltish:$invec), (v8i16 (VSPLTISH vecspltish:$invec))>;
 472 def : Pat<(v8i16 vecspltisw:$invec), (v8i16 (VSPLTISW vecspltisw:$invec))>;
 473
 474 def : Pat<(v4i32 vecspltisb:$invec), (v4i32 (VSPLTISB vecspltisb:$invec))>;
 475 def : Pat<(v4i32 vecspltish:$invec), (v4i32 (VSPLTISH vecspltish:$invec))>;
 476 def : Pat<(v4i32 vecspltisw:$invec), (v4i32 (VSPLTISW vecspltisw:$invec))>;
 477
 478 // Logical Operations
 479 def : Pat<(v16i8 (and VRRC:$A, VRRC:$B)), (v16i8 (VAND VRRC:$A, VRRC:$B))>;
 480 def : Pat<(v8i16 (and VRRC:$A, VRRC:$B)), (v8i16 (VAND VRRC:$A, VRRC:$B))>;
 481 def : Pat<(v16i8 (or  VRRC:$A, VRRC:$B)), (v16i8 (VOR  VRRC:$A, VRRC:$B))>;
 482 def : Pat<(v8i16 (or  VRRC:$A, VRRC:$B)), (v8i16 (VOR  VRRC:$A, VRRC:$B))>;
 483 def : Pat<(v16i8 (xor VRRC:$A, VRRC:$B)), (v16i8 (VXOR VRRC:$A, VRRC:$B))>;
 484 def : Pat<(v8i16 (xor VRRC:$A, VRRC:$B)), (v8i16 (VXOR VRRC:$A, VRRC:$B))>;
 485 def : Pat<(v16i8 (vnot (or VRRC:$A, VRRC:$B))),(v16i8 (VNOR VRRC:$A, VRRC:$B))>;
 486 def : Pat<(v8i16 (vnot (or VRRC:$A, VRRC:$B))),(v8i16 (VNOR VRRC:$A, VRRC:$B))>;
 487 def : Pat<(v16i8 (and VRRC:$A, (vnot VRRC:$B))),
 488           (v16i8 (VANDC VRRC:$A, VRRC:$B))>;
 489 def : Pat<(v8i16 (and VRRC:$A, (vnot VRRC:$B))),
 490           (v8i16 (VANDC VRRC:$A, VRRC:$B))>;
 491
 492 def : Pat<(fmul VRRC:$vA, VRRC:$vB),
 493           (VMADDFP VRRC:$vA, VRRC:$vB, (V_SET0))>;
 494
 495 // Fused multiply add and multiply sub for packed float.  These are represented
 496 // separately from the real instructions above, for operations that must have
 497 // the additional precision, such as Newton-Rhapson (used by divide, sqrt)
 498 def : Pat<(PPCvmaddfp VRRC:$A, VRRC:$B, VRRC:$C),
 499           (VMADDFP VRRC:$A, VRRC:$B, VRRC:$C)>;
 500 def : Pat<(PPCvnmsubfp VRRC:$A, VRRC:$B, VRRC:$C),
 501           (VNMSUBFP VRRC:$A, VRRC:$B, VRRC:$C)>;
 502
 503 def : Pat<(int_ppc_altivec_vmaddfp VRRC:$A, VRRC:$B, VRRC:$C),
 504           (VMADDFP VRRC:$A, VRRC:$B, VRRC:$C)>;
 505 def : Pat<(int_ppc_altivec_vnmsubfp VRRC:$A, VRRC:$B, VRRC:$C),
 506           (VNMSUBFP VRRC:$A, VRRC:$B, VRRC:$C)>;
 507
 508 def : Pat<(vector_shuffle (v4i32 VRRC:$vB), (undef), VSPLT_shuffle_mask:$UIMM),
 509           (v4i32 (VSPLTW VSPLT_shuffle_mask:$UIMM, VRRC:$vB))>;
 510
 511 def : Pat<(PPCvperm (v4i32 VRRC:$vA), VRRC:$vB, VRRC:$vC),
 512           (v4i32 (VPERM VRRC:$vA, VRRC:$vB, VRRC:$vC))>;
 513
 514 def : Pat<(v4i32 (PPClve_x xoaddr:$src)),
 515           (v4i32 (LVEWX xoaddr:$src))>;
 516
 517