xref: /freebsd/contrib/llvm-project/llvm/lib/Target/SystemZ/SystemZISelDAGToDAG.cpp (revision 81ad626541db97eb356e2c1d4a20eb2a26a766ab)
10b57cec5SDimitry Andric //===-- SystemZISelDAGToDAG.cpp - A dag to dag inst selector for SystemZ --===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric //
90b57cec5SDimitry Andric // This file defines an instruction selector for the SystemZ target.
100b57cec5SDimitry Andric //
110b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
120b57cec5SDimitry Andric 
130b57cec5SDimitry Andric #include "SystemZTargetMachine.h"
140b57cec5SDimitry Andric #include "SystemZISelLowering.h"
150b57cec5SDimitry Andric #include "llvm/Analysis/AliasAnalysis.h"
160b57cec5SDimitry Andric #include "llvm/CodeGen/SelectionDAGISel.h"
170b57cec5SDimitry Andric #include "llvm/Support/Debug.h"
180b57cec5SDimitry Andric #include "llvm/Support/KnownBits.h"
190b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h"
200b57cec5SDimitry Andric 
210b57cec5SDimitry Andric using namespace llvm;
220b57cec5SDimitry Andric 
230b57cec5SDimitry Andric #define DEBUG_TYPE "systemz-isel"
240b57cec5SDimitry Andric 
250b57cec5SDimitry Andric namespace {
260b57cec5SDimitry Andric // Used to build addressing modes.
270b57cec5SDimitry Andric struct SystemZAddressingMode {
280b57cec5SDimitry Andric   // The shape of the address.
290b57cec5SDimitry Andric   enum AddrForm {
300b57cec5SDimitry Andric     // base+displacement
310b57cec5SDimitry Andric     FormBD,
320b57cec5SDimitry Andric 
330b57cec5SDimitry Andric     // base+displacement+index for load and store operands
340b57cec5SDimitry Andric     FormBDXNormal,
350b57cec5SDimitry Andric 
360b57cec5SDimitry Andric     // base+displacement+index for load address operands
370b57cec5SDimitry Andric     FormBDXLA,
380b57cec5SDimitry Andric 
390b57cec5SDimitry Andric     // base+displacement+index+ADJDYNALLOC
400b57cec5SDimitry Andric     FormBDXDynAlloc
410b57cec5SDimitry Andric   };
420b57cec5SDimitry Andric   AddrForm Form;
430b57cec5SDimitry Andric 
440b57cec5SDimitry Andric   // The type of displacement.  The enum names here correspond directly
450b57cec5SDimitry Andric   // to the definitions in SystemZOperand.td.  We could split them into
460b57cec5SDimitry Andric   // flags -- single/pair, 128-bit, etc. -- but it hardly seems worth it.
470b57cec5SDimitry Andric   enum DispRange {
480b57cec5SDimitry Andric     Disp12Only,
490b57cec5SDimitry Andric     Disp12Pair,
500b57cec5SDimitry Andric     Disp20Only,
510b57cec5SDimitry Andric     Disp20Only128,
520b57cec5SDimitry Andric     Disp20Pair
530b57cec5SDimitry Andric   };
540b57cec5SDimitry Andric   DispRange DR;
550b57cec5SDimitry Andric 
560b57cec5SDimitry Andric   // The parts of the address.  The address is equivalent to:
570b57cec5SDimitry Andric   //
580b57cec5SDimitry Andric   //     Base + Disp + Index + (IncludesDynAlloc ? ADJDYNALLOC : 0)
590b57cec5SDimitry Andric   SDValue Base;
600b57cec5SDimitry Andric   int64_t Disp;
610b57cec5SDimitry Andric   SDValue Index;
620b57cec5SDimitry Andric   bool IncludesDynAlloc;
630b57cec5SDimitry Andric 
640b57cec5SDimitry Andric   SystemZAddressingMode(AddrForm form, DispRange dr)
6504eeddc0SDimitry Andric       : Form(form), DR(dr), Disp(0), IncludesDynAlloc(false) {}
660b57cec5SDimitry Andric 
670b57cec5SDimitry Andric   // True if the address can have an index register.
680b57cec5SDimitry Andric   bool hasIndexField() { return Form != FormBD; }
690b57cec5SDimitry Andric 
700b57cec5SDimitry Andric   // True if the address can (and must) include ADJDYNALLOC.
710b57cec5SDimitry Andric   bool isDynAlloc() { return Form == FormBDXDynAlloc; }
720b57cec5SDimitry Andric 
730b57cec5SDimitry Andric   void dump(const llvm::SelectionDAG *DAG) {
740b57cec5SDimitry Andric     errs() << "SystemZAddressingMode " << this << '\n';
750b57cec5SDimitry Andric 
760b57cec5SDimitry Andric     errs() << " Base ";
770b57cec5SDimitry Andric     if (Base.getNode())
780b57cec5SDimitry Andric       Base.getNode()->dump(DAG);
790b57cec5SDimitry Andric     else
800b57cec5SDimitry Andric       errs() << "null\n";
810b57cec5SDimitry Andric 
820b57cec5SDimitry Andric     if (hasIndexField()) {
830b57cec5SDimitry Andric       errs() << " Index ";
840b57cec5SDimitry Andric       if (Index.getNode())
850b57cec5SDimitry Andric         Index.getNode()->dump(DAG);
860b57cec5SDimitry Andric       else
870b57cec5SDimitry Andric         errs() << "null\n";
880b57cec5SDimitry Andric     }
890b57cec5SDimitry Andric 
900b57cec5SDimitry Andric     errs() << " Disp " << Disp;
910b57cec5SDimitry Andric     if (IncludesDynAlloc)
920b57cec5SDimitry Andric       errs() << " + ADJDYNALLOC";
930b57cec5SDimitry Andric     errs() << '\n';
940b57cec5SDimitry Andric   }
950b57cec5SDimitry Andric };
960b57cec5SDimitry Andric 
970b57cec5SDimitry Andric // Return a mask with Count low bits set.
980b57cec5SDimitry Andric static uint64_t allOnes(unsigned int Count) {
990b57cec5SDimitry Andric   assert(Count <= 64);
1000b57cec5SDimitry Andric   if (Count > 63)
1010b57cec5SDimitry Andric     return UINT64_MAX;
1020b57cec5SDimitry Andric   return (uint64_t(1) << Count) - 1;
1030b57cec5SDimitry Andric }
1040b57cec5SDimitry Andric 
1050b57cec5SDimitry Andric // Represents operands 2 to 5 of the ROTATE AND ... SELECTED BITS operation
1060b57cec5SDimitry Andric // given by Opcode.  The operands are: Input (R2), Start (I3), End (I4) and
1070b57cec5SDimitry Andric // Rotate (I5).  The combined operand value is effectively:
1080b57cec5SDimitry Andric //
1090b57cec5SDimitry Andric //   (or (rotl Input, Rotate), ~Mask)
1100b57cec5SDimitry Andric //
1110b57cec5SDimitry Andric // for RNSBG and:
1120b57cec5SDimitry Andric //
1130b57cec5SDimitry Andric //   (and (rotl Input, Rotate), Mask)
1140b57cec5SDimitry Andric //
1150b57cec5SDimitry Andric // otherwise.  The output value has BitSize bits, although Input may be
1160b57cec5SDimitry Andric // narrower (in which case the upper bits are don't care), or wider (in which
1170b57cec5SDimitry Andric // case the result will be truncated as part of the operation).
1180b57cec5SDimitry Andric struct RxSBGOperands {
1190b57cec5SDimitry Andric   RxSBGOperands(unsigned Op, SDValue N)
1200b57cec5SDimitry Andric     : Opcode(Op), BitSize(N.getValueSizeInBits()),
1210b57cec5SDimitry Andric       Mask(allOnes(BitSize)), Input(N), Start(64 - BitSize), End(63),
1220b57cec5SDimitry Andric       Rotate(0) {}
1230b57cec5SDimitry Andric 
1240b57cec5SDimitry Andric   unsigned Opcode;
1250b57cec5SDimitry Andric   unsigned BitSize;
1260b57cec5SDimitry Andric   uint64_t Mask;
1270b57cec5SDimitry Andric   SDValue Input;
1280b57cec5SDimitry Andric   unsigned Start;
1290b57cec5SDimitry Andric   unsigned End;
1300b57cec5SDimitry Andric   unsigned Rotate;
1310b57cec5SDimitry Andric };
1320b57cec5SDimitry Andric 
1330b57cec5SDimitry Andric class SystemZDAGToDAGISel : public SelectionDAGISel {
1340b57cec5SDimitry Andric   const SystemZSubtarget *Subtarget;
1350b57cec5SDimitry Andric 
1360b57cec5SDimitry Andric   // Used by SystemZOperands.td to create integer constants.
1370b57cec5SDimitry Andric   inline SDValue getImm(const SDNode *Node, uint64_t Imm) const {
1380b57cec5SDimitry Andric     return CurDAG->getTargetConstant(Imm, SDLoc(Node), Node->getValueType(0));
1390b57cec5SDimitry Andric   }
1400b57cec5SDimitry Andric 
1410b57cec5SDimitry Andric   const SystemZTargetMachine &getTargetMachine() const {
1420b57cec5SDimitry Andric     return static_cast<const SystemZTargetMachine &>(TM);
1430b57cec5SDimitry Andric   }
1440b57cec5SDimitry Andric 
1450b57cec5SDimitry Andric   const SystemZInstrInfo *getInstrInfo() const {
1460b57cec5SDimitry Andric     return Subtarget->getInstrInfo();
1470b57cec5SDimitry Andric   }
1480b57cec5SDimitry Andric 
1490b57cec5SDimitry Andric   // Try to fold more of the base or index of AM into AM, where IsBase
1500b57cec5SDimitry Andric   // selects between the base and index.
1510b57cec5SDimitry Andric   bool expandAddress(SystemZAddressingMode &AM, bool IsBase) const;
1520b57cec5SDimitry Andric 
1530b57cec5SDimitry Andric   // Try to describe N in AM, returning true on success.
1540b57cec5SDimitry Andric   bool selectAddress(SDValue N, SystemZAddressingMode &AM) const;
1550b57cec5SDimitry Andric 
1560b57cec5SDimitry Andric   // Extract individual target operands from matched address AM.
1570b57cec5SDimitry Andric   void getAddressOperands(const SystemZAddressingMode &AM, EVT VT,
1580b57cec5SDimitry Andric                           SDValue &Base, SDValue &Disp) const;
1590b57cec5SDimitry Andric   void getAddressOperands(const SystemZAddressingMode &AM, EVT VT,
1600b57cec5SDimitry Andric                           SDValue &Base, SDValue &Disp, SDValue &Index) const;
1610b57cec5SDimitry Andric 
1620b57cec5SDimitry Andric   // Try to match Addr as a FormBD address with displacement type DR.
1630b57cec5SDimitry Andric   // Return true on success, storing the base and displacement in
1640b57cec5SDimitry Andric   // Base and Disp respectively.
1650b57cec5SDimitry Andric   bool selectBDAddr(SystemZAddressingMode::DispRange DR, SDValue Addr,
1660b57cec5SDimitry Andric                     SDValue &Base, SDValue &Disp) const;
1670b57cec5SDimitry Andric 
1680b57cec5SDimitry Andric   // Try to match Addr as a FormBDX address with displacement type DR.
1690b57cec5SDimitry Andric   // Return true on success and if the result had no index.  Store the
1700b57cec5SDimitry Andric   // base and displacement in Base and Disp respectively.
1710b57cec5SDimitry Andric   bool selectMVIAddr(SystemZAddressingMode::DispRange DR, SDValue Addr,
1720b57cec5SDimitry Andric                      SDValue &Base, SDValue &Disp) const;
1730b57cec5SDimitry Andric 
1740b57cec5SDimitry Andric   // Try to match Addr as a FormBDX* address of form Form with
1750b57cec5SDimitry Andric   // displacement type DR.  Return true on success, storing the base,
1760b57cec5SDimitry Andric   // displacement and index in Base, Disp and Index respectively.
1770b57cec5SDimitry Andric   bool selectBDXAddr(SystemZAddressingMode::AddrForm Form,
1780b57cec5SDimitry Andric                      SystemZAddressingMode::DispRange DR, SDValue Addr,
1790b57cec5SDimitry Andric                      SDValue &Base, SDValue &Disp, SDValue &Index) const;
1800b57cec5SDimitry Andric 
1810b57cec5SDimitry Andric   // PC-relative address matching routines used by SystemZOperands.td.
1820b57cec5SDimitry Andric   bool selectPCRelAddress(SDValue Addr, SDValue &Target) const {
1830b57cec5SDimitry Andric     if (SystemZISD::isPCREL(Addr.getOpcode())) {
1840b57cec5SDimitry Andric       Target = Addr.getOperand(0);
1850b57cec5SDimitry Andric       return true;
1860b57cec5SDimitry Andric     }
1870b57cec5SDimitry Andric     return false;
1880b57cec5SDimitry Andric   }
1890b57cec5SDimitry Andric 
1900b57cec5SDimitry Andric   // BD matching routines used by SystemZOperands.td.
1910b57cec5SDimitry Andric   bool selectBDAddr12Only(SDValue Addr, SDValue &Base, SDValue &Disp) const {
1920b57cec5SDimitry Andric     return selectBDAddr(SystemZAddressingMode::Disp12Only, Addr, Base, Disp);
1930b57cec5SDimitry Andric   }
1940b57cec5SDimitry Andric   bool selectBDAddr12Pair(SDValue Addr, SDValue &Base, SDValue &Disp) const {
1950b57cec5SDimitry Andric     return selectBDAddr(SystemZAddressingMode::Disp12Pair, Addr, Base, Disp);
1960b57cec5SDimitry Andric   }
1970b57cec5SDimitry Andric   bool selectBDAddr20Only(SDValue Addr, SDValue &Base, SDValue &Disp) const {
1980b57cec5SDimitry Andric     return selectBDAddr(SystemZAddressingMode::Disp20Only, Addr, Base, Disp);
1990b57cec5SDimitry Andric   }
2000b57cec5SDimitry Andric   bool selectBDAddr20Pair(SDValue Addr, SDValue &Base, SDValue &Disp) const {
2010b57cec5SDimitry Andric     return selectBDAddr(SystemZAddressingMode::Disp20Pair, Addr, Base, Disp);
2020b57cec5SDimitry Andric   }
2030b57cec5SDimitry Andric 
2040b57cec5SDimitry Andric   // MVI matching routines used by SystemZOperands.td.
2050b57cec5SDimitry Andric   bool selectMVIAddr12Pair(SDValue Addr, SDValue &Base, SDValue &Disp) const {
2060b57cec5SDimitry Andric     return selectMVIAddr(SystemZAddressingMode::Disp12Pair, Addr, Base, Disp);
2070b57cec5SDimitry Andric   }
2080b57cec5SDimitry Andric   bool selectMVIAddr20Pair(SDValue Addr, SDValue &Base, SDValue &Disp) const {
2090b57cec5SDimitry Andric     return selectMVIAddr(SystemZAddressingMode::Disp20Pair, Addr, Base, Disp);
2100b57cec5SDimitry Andric   }
2110b57cec5SDimitry Andric 
2120b57cec5SDimitry Andric   // BDX matching routines used by SystemZOperands.td.
2130b57cec5SDimitry Andric   bool selectBDXAddr12Only(SDValue Addr, SDValue &Base, SDValue &Disp,
2140b57cec5SDimitry Andric                            SDValue &Index) const {
2150b57cec5SDimitry Andric     return selectBDXAddr(SystemZAddressingMode::FormBDXNormal,
2160b57cec5SDimitry Andric                          SystemZAddressingMode::Disp12Only,
2170b57cec5SDimitry Andric                          Addr, Base, Disp, Index);
2180b57cec5SDimitry Andric   }
2190b57cec5SDimitry Andric   bool selectBDXAddr12Pair(SDValue Addr, SDValue &Base, SDValue &Disp,
2200b57cec5SDimitry Andric                            SDValue &Index) const {
2210b57cec5SDimitry Andric     return selectBDXAddr(SystemZAddressingMode::FormBDXNormal,
2220b57cec5SDimitry Andric                          SystemZAddressingMode::Disp12Pair,
2230b57cec5SDimitry Andric                          Addr, Base, Disp, Index);
2240b57cec5SDimitry Andric   }
2250b57cec5SDimitry Andric   bool selectDynAlloc12Only(SDValue Addr, SDValue &Base, SDValue &Disp,
2260b57cec5SDimitry Andric                             SDValue &Index) const {
2270b57cec5SDimitry Andric     return selectBDXAddr(SystemZAddressingMode::FormBDXDynAlloc,
2280b57cec5SDimitry Andric                          SystemZAddressingMode::Disp12Only,
2290b57cec5SDimitry Andric                          Addr, Base, Disp, Index);
2300b57cec5SDimitry Andric   }
2310b57cec5SDimitry Andric   bool selectBDXAddr20Only(SDValue Addr, SDValue &Base, SDValue &Disp,
2320b57cec5SDimitry Andric                            SDValue &Index) const {
2330b57cec5SDimitry Andric     return selectBDXAddr(SystemZAddressingMode::FormBDXNormal,
2340b57cec5SDimitry Andric                          SystemZAddressingMode::Disp20Only,
2350b57cec5SDimitry Andric                          Addr, Base, Disp, Index);
2360b57cec5SDimitry Andric   }
2370b57cec5SDimitry Andric   bool selectBDXAddr20Only128(SDValue Addr, SDValue &Base, SDValue &Disp,
2380b57cec5SDimitry Andric                               SDValue &Index) const {
2390b57cec5SDimitry Andric     return selectBDXAddr(SystemZAddressingMode::FormBDXNormal,
2400b57cec5SDimitry Andric                          SystemZAddressingMode::Disp20Only128,
2410b57cec5SDimitry Andric                          Addr, Base, Disp, Index);
2420b57cec5SDimitry Andric   }
2430b57cec5SDimitry Andric   bool selectBDXAddr20Pair(SDValue Addr, SDValue &Base, SDValue &Disp,
2440b57cec5SDimitry Andric                            SDValue &Index) const {
2450b57cec5SDimitry Andric     return selectBDXAddr(SystemZAddressingMode::FormBDXNormal,
2460b57cec5SDimitry Andric                          SystemZAddressingMode::Disp20Pair,
2470b57cec5SDimitry Andric                          Addr, Base, Disp, Index);
2480b57cec5SDimitry Andric   }
2490b57cec5SDimitry Andric   bool selectLAAddr12Pair(SDValue Addr, SDValue &Base, SDValue &Disp,
2500b57cec5SDimitry Andric                           SDValue &Index) const {
2510b57cec5SDimitry Andric     return selectBDXAddr(SystemZAddressingMode::FormBDXLA,
2520b57cec5SDimitry Andric                          SystemZAddressingMode::Disp12Pair,
2530b57cec5SDimitry Andric                          Addr, Base, Disp, Index);
2540b57cec5SDimitry Andric   }
2550b57cec5SDimitry Andric   bool selectLAAddr20Pair(SDValue Addr, SDValue &Base, SDValue &Disp,
2560b57cec5SDimitry Andric                           SDValue &Index) const {
2570b57cec5SDimitry Andric     return selectBDXAddr(SystemZAddressingMode::FormBDXLA,
2580b57cec5SDimitry Andric                          SystemZAddressingMode::Disp20Pair,
2590b57cec5SDimitry Andric                          Addr, Base, Disp, Index);
2600b57cec5SDimitry Andric   }
2610b57cec5SDimitry Andric 
2620b57cec5SDimitry Andric   // Try to match Addr as an address with a base, 12-bit displacement
2630b57cec5SDimitry Andric   // and index, where the index is element Elem of a vector.
2640b57cec5SDimitry Andric   // Return true on success, storing the base, displacement and vector
2650b57cec5SDimitry Andric   // in Base, Disp and Index respectively.
2660b57cec5SDimitry Andric   bool selectBDVAddr12Only(SDValue Addr, SDValue Elem, SDValue &Base,
2670b57cec5SDimitry Andric                            SDValue &Disp, SDValue &Index) const;
2680b57cec5SDimitry Andric 
2690b57cec5SDimitry Andric   // Check whether (or Op (and X InsertMask)) is effectively an insertion
2700b57cec5SDimitry Andric   // of X into bits InsertMask of some Y != Op.  Return true if so and
2710b57cec5SDimitry Andric   // set Op to that Y.
2720b57cec5SDimitry Andric   bool detectOrAndInsertion(SDValue &Op, uint64_t InsertMask) const;
2730b57cec5SDimitry Andric 
2740b57cec5SDimitry Andric   // Try to update RxSBG so that only the bits of RxSBG.Input in Mask are used.
2750b57cec5SDimitry Andric   // Return true on success.
2760b57cec5SDimitry Andric   bool refineRxSBGMask(RxSBGOperands &RxSBG, uint64_t Mask) const;
2770b57cec5SDimitry Andric 
2780b57cec5SDimitry Andric   // Try to fold some of RxSBG.Input into other fields of RxSBG.
2790b57cec5SDimitry Andric   // Return true on success.
2800b57cec5SDimitry Andric   bool expandRxSBG(RxSBGOperands &RxSBG) const;
2810b57cec5SDimitry Andric 
2820b57cec5SDimitry Andric   // Return an undefined value of type VT.
2830b57cec5SDimitry Andric   SDValue getUNDEF(const SDLoc &DL, EVT VT) const;
2840b57cec5SDimitry Andric 
2850b57cec5SDimitry Andric   // Convert N to VT, if it isn't already.
2860b57cec5SDimitry Andric   SDValue convertTo(const SDLoc &DL, EVT VT, SDValue N) const;
2870b57cec5SDimitry Andric 
2880b57cec5SDimitry Andric   // Try to implement AND or shift node N using RISBG with the zero flag set.
2890b57cec5SDimitry Andric   // Return the selected node on success, otherwise return null.
2900b57cec5SDimitry Andric   bool tryRISBGZero(SDNode *N);
2910b57cec5SDimitry Andric 
2920b57cec5SDimitry Andric   // Try to use RISBG or Opcode to implement OR or XOR node N.
2930b57cec5SDimitry Andric   // Return the selected node on success, otherwise return null.
2940b57cec5SDimitry Andric   bool tryRxSBG(SDNode *N, unsigned Opcode);
2950b57cec5SDimitry Andric 
2960b57cec5SDimitry Andric   // If Op0 is null, then Node is a constant that can be loaded using:
2970b57cec5SDimitry Andric   //
2980b57cec5SDimitry Andric   //   (Opcode UpperVal LowerVal)
2990b57cec5SDimitry Andric   //
3000b57cec5SDimitry Andric   // If Op0 is nonnull, then Node can be implemented using:
3010b57cec5SDimitry Andric   //
3020b57cec5SDimitry Andric   //   (Opcode (Opcode Op0 UpperVal) LowerVal)
3030b57cec5SDimitry Andric   void splitLargeImmediate(unsigned Opcode, SDNode *Node, SDValue Op0,
3040b57cec5SDimitry Andric                            uint64_t UpperVal, uint64_t LowerVal);
3050b57cec5SDimitry Andric 
3060b57cec5SDimitry Andric   void loadVectorConstant(const SystemZVectorConstantInfo &VCI,
3070b57cec5SDimitry Andric                           SDNode *Node);
3080b57cec5SDimitry Andric 
3090b57cec5SDimitry Andric   // Try to use gather instruction Opcode to implement vector insertion N.
3100b57cec5SDimitry Andric   bool tryGather(SDNode *N, unsigned Opcode);
3110b57cec5SDimitry Andric 
3120b57cec5SDimitry Andric   // Try to use scatter instruction Opcode to implement store Store.
3130b57cec5SDimitry Andric   bool tryScatter(StoreSDNode *Store, unsigned Opcode);
3140b57cec5SDimitry Andric 
3150b57cec5SDimitry Andric   // Change a chain of {load; op; store} of the same value into a simple op
3160b57cec5SDimitry Andric   // through memory of that value, if the uses of the modified value and its
3170b57cec5SDimitry Andric   // address are suitable.
3180b57cec5SDimitry Andric   bool tryFoldLoadStoreIntoMemOperand(SDNode *Node);
3190b57cec5SDimitry Andric 
3200b57cec5SDimitry Andric   // Return true if Load and Store are loads and stores of the same size
3210b57cec5SDimitry Andric   // and are guaranteed not to overlap.  Such operations can be implemented
3220b57cec5SDimitry Andric   // using block (SS-format) instructions.
3230b57cec5SDimitry Andric   //
3240b57cec5SDimitry Andric   // Partial overlap would lead to incorrect code, since the block operations
3250b57cec5SDimitry Andric   // are logically bytewise, even though they have a fast path for the
3260b57cec5SDimitry Andric   // non-overlapping case.  We also need to avoid full overlap (i.e. two
3270b57cec5SDimitry Andric   // addresses that might be equal at run time) because although that case
3280b57cec5SDimitry Andric   // would be handled correctly, it might be implemented by millicode.
3290b57cec5SDimitry Andric   bool canUseBlockOperation(StoreSDNode *Store, LoadSDNode *Load) const;
3300b57cec5SDimitry Andric 
3310b57cec5SDimitry Andric   // N is a (store (load Y), X) pattern.  Return true if it can use an MVC
3320b57cec5SDimitry Andric   // from Y to X.
3330b57cec5SDimitry Andric   bool storeLoadCanUseMVC(SDNode *N) const;
3340b57cec5SDimitry Andric 
3350b57cec5SDimitry Andric   // N is a (store (op (load A[0]), (load A[1])), X) pattern.  Return true
3360b57cec5SDimitry Andric   // if A[1 - I] == X and if N can use a block operation like NC from A[I]
3370b57cec5SDimitry Andric   // to X.
3380b57cec5SDimitry Andric   bool storeLoadCanUseBlockBinary(SDNode *N, unsigned I) const;
3390b57cec5SDimitry Andric 
340e8d8bef9SDimitry Andric   // Return true if N (a load or a store) fullfills the alignment
341e8d8bef9SDimitry Andric   // requirements for a PC-relative access.
342e8d8bef9SDimitry Andric   bool storeLoadIsAligned(SDNode *N) const;
343e8d8bef9SDimitry Andric 
3440b57cec5SDimitry Andric   // Try to expand a boolean SELECT_CCMASK using an IPM sequence.
3450b57cec5SDimitry Andric   SDValue expandSelectBoolean(SDNode *Node);
3460b57cec5SDimitry Andric 
3470b57cec5SDimitry Andric public:
3480b57cec5SDimitry Andric   SystemZDAGToDAGISel(SystemZTargetMachine &TM, CodeGenOpt::Level OptLevel)
3490b57cec5SDimitry Andric       : SelectionDAGISel(TM, OptLevel) {}
3500b57cec5SDimitry Andric 
3510b57cec5SDimitry Andric   bool runOnMachineFunction(MachineFunction &MF) override {
3528bcb0991SDimitry Andric     const Function &F = MF.getFunction();
353480093f4SDimitry Andric     if (F.getFnAttribute("fentry-call").getValueAsString() != "true") {
354480093f4SDimitry Andric       if (F.hasFnAttribute("mnop-mcount"))
3558bcb0991SDimitry Andric         report_fatal_error("mnop-mcount only supported with fentry-call");
356480093f4SDimitry Andric       if (F.hasFnAttribute("mrecord-mcount"))
357480093f4SDimitry Andric         report_fatal_error("mrecord-mcount only supported with fentry-call");
358480093f4SDimitry Andric     }
3598bcb0991SDimitry Andric 
3600b57cec5SDimitry Andric     Subtarget = &MF.getSubtarget<SystemZSubtarget>();
3610b57cec5SDimitry Andric     return SelectionDAGISel::runOnMachineFunction(MF);
3620b57cec5SDimitry Andric   }
3630b57cec5SDimitry Andric 
3640b57cec5SDimitry Andric   // Override MachineFunctionPass.
3650b57cec5SDimitry Andric   StringRef getPassName() const override {
3660b57cec5SDimitry Andric     return "SystemZ DAG->DAG Pattern Instruction Selection";
3670b57cec5SDimitry Andric   }
3680b57cec5SDimitry Andric 
3690b57cec5SDimitry Andric   // Override SelectionDAGISel.
3700b57cec5SDimitry Andric   void Select(SDNode *Node) override;
3710b57cec5SDimitry Andric   bool SelectInlineAsmMemoryOperand(const SDValue &Op, unsigned ConstraintID,
3720b57cec5SDimitry Andric                                     std::vector<SDValue> &OutOps) override;
3730b57cec5SDimitry Andric   bool IsProfitableToFold(SDValue N, SDNode *U, SDNode *Root) const override;
3740b57cec5SDimitry Andric   void PreprocessISelDAG() override;
3750b57cec5SDimitry Andric 
3760b57cec5SDimitry Andric   // Include the pieces autogenerated from the target description.
3770b57cec5SDimitry Andric   #include "SystemZGenDAGISel.inc"
3780b57cec5SDimitry Andric };
3790b57cec5SDimitry Andric } // end anonymous namespace
3800b57cec5SDimitry Andric 
3810b57cec5SDimitry Andric FunctionPass *llvm::createSystemZISelDag(SystemZTargetMachine &TM,
3820b57cec5SDimitry Andric                                          CodeGenOpt::Level OptLevel) {
3830b57cec5SDimitry Andric   return new SystemZDAGToDAGISel(TM, OptLevel);
3840b57cec5SDimitry Andric }
3850b57cec5SDimitry Andric 
3860b57cec5SDimitry Andric // Return true if Val should be selected as a displacement for an address
3870b57cec5SDimitry Andric // with range DR.  Here we're interested in the range of both the instruction
3880b57cec5SDimitry Andric // described by DR and of any pairing instruction.
3890b57cec5SDimitry Andric static bool selectDisp(SystemZAddressingMode::DispRange DR, int64_t Val) {
3900b57cec5SDimitry Andric   switch (DR) {
3910b57cec5SDimitry Andric   case SystemZAddressingMode::Disp12Only:
3920b57cec5SDimitry Andric     return isUInt<12>(Val);
3930b57cec5SDimitry Andric 
3940b57cec5SDimitry Andric   case SystemZAddressingMode::Disp12Pair:
3950b57cec5SDimitry Andric   case SystemZAddressingMode::Disp20Only:
3960b57cec5SDimitry Andric   case SystemZAddressingMode::Disp20Pair:
3970b57cec5SDimitry Andric     return isInt<20>(Val);
3980b57cec5SDimitry Andric 
3990b57cec5SDimitry Andric   case SystemZAddressingMode::Disp20Only128:
4000b57cec5SDimitry Andric     return isInt<20>(Val) && isInt<20>(Val + 8);
4010b57cec5SDimitry Andric   }
4020b57cec5SDimitry Andric   llvm_unreachable("Unhandled displacement range");
4030b57cec5SDimitry Andric }
4040b57cec5SDimitry Andric 
4050b57cec5SDimitry Andric // Change the base or index in AM to Value, where IsBase selects
4060b57cec5SDimitry Andric // between the base and index.
4070b57cec5SDimitry Andric static void changeComponent(SystemZAddressingMode &AM, bool IsBase,
4080b57cec5SDimitry Andric                             SDValue Value) {
4090b57cec5SDimitry Andric   if (IsBase)
4100b57cec5SDimitry Andric     AM.Base = Value;
4110b57cec5SDimitry Andric   else
4120b57cec5SDimitry Andric     AM.Index = Value;
4130b57cec5SDimitry Andric }
4140b57cec5SDimitry Andric 
4150b57cec5SDimitry Andric // The base or index of AM is equivalent to Value + ADJDYNALLOC,
4160b57cec5SDimitry Andric // where IsBase selects between the base and index.  Try to fold the
4170b57cec5SDimitry Andric // ADJDYNALLOC into AM.
4180b57cec5SDimitry Andric static bool expandAdjDynAlloc(SystemZAddressingMode &AM, bool IsBase,
4190b57cec5SDimitry Andric                               SDValue Value) {
4200b57cec5SDimitry Andric   if (AM.isDynAlloc() && !AM.IncludesDynAlloc) {
4210b57cec5SDimitry Andric     changeComponent(AM, IsBase, Value);
4220b57cec5SDimitry Andric     AM.IncludesDynAlloc = true;
4230b57cec5SDimitry Andric     return true;
4240b57cec5SDimitry Andric   }
4250b57cec5SDimitry Andric   return false;
4260b57cec5SDimitry Andric }
4270b57cec5SDimitry Andric 
4280b57cec5SDimitry Andric // The base of AM is equivalent to Base + Index.  Try to use Index as
4290b57cec5SDimitry Andric // the index register.
4300b57cec5SDimitry Andric static bool expandIndex(SystemZAddressingMode &AM, SDValue Base,
4310b57cec5SDimitry Andric                         SDValue Index) {
4320b57cec5SDimitry Andric   if (AM.hasIndexField() && !AM.Index.getNode()) {
4330b57cec5SDimitry Andric     AM.Base = Base;
4340b57cec5SDimitry Andric     AM.Index = Index;
4350b57cec5SDimitry Andric     return true;
4360b57cec5SDimitry Andric   }
4370b57cec5SDimitry Andric   return false;
4380b57cec5SDimitry Andric }
4390b57cec5SDimitry Andric 
4400b57cec5SDimitry Andric // The base or index of AM is equivalent to Op0 + Op1, where IsBase selects
4410b57cec5SDimitry Andric // between the base and index.  Try to fold Op1 into AM's displacement.
4420b57cec5SDimitry Andric static bool expandDisp(SystemZAddressingMode &AM, bool IsBase,
4430b57cec5SDimitry Andric                        SDValue Op0, uint64_t Op1) {
4440b57cec5SDimitry Andric   // First try adjusting the displacement.
4450b57cec5SDimitry Andric   int64_t TestDisp = AM.Disp + Op1;
4460b57cec5SDimitry Andric   if (selectDisp(AM.DR, TestDisp)) {
4470b57cec5SDimitry Andric     changeComponent(AM, IsBase, Op0);
4480b57cec5SDimitry Andric     AM.Disp = TestDisp;
4490b57cec5SDimitry Andric     return true;
4500b57cec5SDimitry Andric   }
4510b57cec5SDimitry Andric 
4520b57cec5SDimitry Andric   // We could consider forcing the displacement into a register and
4530b57cec5SDimitry Andric   // using it as an index, but it would need to be carefully tuned.
4540b57cec5SDimitry Andric   return false;
4550b57cec5SDimitry Andric }
4560b57cec5SDimitry Andric 
4570b57cec5SDimitry Andric bool SystemZDAGToDAGISel::expandAddress(SystemZAddressingMode &AM,
4580b57cec5SDimitry Andric                                         bool IsBase) const {
4590b57cec5SDimitry Andric   SDValue N = IsBase ? AM.Base : AM.Index;
4600b57cec5SDimitry Andric   unsigned Opcode = N.getOpcode();
4610b57cec5SDimitry Andric   if (Opcode == ISD::TRUNCATE) {
4620b57cec5SDimitry Andric     N = N.getOperand(0);
4630b57cec5SDimitry Andric     Opcode = N.getOpcode();
4640b57cec5SDimitry Andric   }
4650b57cec5SDimitry Andric   if (Opcode == ISD::ADD || CurDAG->isBaseWithConstantOffset(N)) {
4660b57cec5SDimitry Andric     SDValue Op0 = N.getOperand(0);
4670b57cec5SDimitry Andric     SDValue Op1 = N.getOperand(1);
4680b57cec5SDimitry Andric 
4690b57cec5SDimitry Andric     unsigned Op0Code = Op0->getOpcode();
4700b57cec5SDimitry Andric     unsigned Op1Code = Op1->getOpcode();
4710b57cec5SDimitry Andric 
4720b57cec5SDimitry Andric     if (Op0Code == SystemZISD::ADJDYNALLOC)
4730b57cec5SDimitry Andric       return expandAdjDynAlloc(AM, IsBase, Op1);
4740b57cec5SDimitry Andric     if (Op1Code == SystemZISD::ADJDYNALLOC)
4750b57cec5SDimitry Andric       return expandAdjDynAlloc(AM, IsBase, Op0);
4760b57cec5SDimitry Andric 
4770b57cec5SDimitry Andric     if (Op0Code == ISD::Constant)
4780b57cec5SDimitry Andric       return expandDisp(AM, IsBase, Op1,
4790b57cec5SDimitry Andric                         cast<ConstantSDNode>(Op0)->getSExtValue());
4800b57cec5SDimitry Andric     if (Op1Code == ISD::Constant)
4810b57cec5SDimitry Andric       return expandDisp(AM, IsBase, Op0,
4820b57cec5SDimitry Andric                         cast<ConstantSDNode>(Op1)->getSExtValue());
4830b57cec5SDimitry Andric 
4840b57cec5SDimitry Andric     if (IsBase && expandIndex(AM, Op0, Op1))
4850b57cec5SDimitry Andric       return true;
4860b57cec5SDimitry Andric   }
4870b57cec5SDimitry Andric   if (Opcode == SystemZISD::PCREL_OFFSET) {
4880b57cec5SDimitry Andric     SDValue Full = N.getOperand(0);
4890b57cec5SDimitry Andric     SDValue Base = N.getOperand(1);
4900b57cec5SDimitry Andric     SDValue Anchor = Base.getOperand(0);
4910b57cec5SDimitry Andric     uint64_t Offset = (cast<GlobalAddressSDNode>(Full)->getOffset() -
4920b57cec5SDimitry Andric                        cast<GlobalAddressSDNode>(Anchor)->getOffset());
4930b57cec5SDimitry Andric     return expandDisp(AM, IsBase, Base, Offset);
4940b57cec5SDimitry Andric   }
4950b57cec5SDimitry Andric   return false;
4960b57cec5SDimitry Andric }
4970b57cec5SDimitry Andric 
4980b57cec5SDimitry Andric // Return true if an instruction with displacement range DR should be
4990b57cec5SDimitry Andric // used for displacement value Val.  selectDisp(DR, Val) must already hold.
5000b57cec5SDimitry Andric static bool isValidDisp(SystemZAddressingMode::DispRange DR, int64_t Val) {
5010b57cec5SDimitry Andric   assert(selectDisp(DR, Val) && "Invalid displacement");
5020b57cec5SDimitry Andric   switch (DR) {
5030b57cec5SDimitry Andric   case SystemZAddressingMode::Disp12Only:
5040b57cec5SDimitry Andric   case SystemZAddressingMode::Disp20Only:
5050b57cec5SDimitry Andric   case SystemZAddressingMode::Disp20Only128:
5060b57cec5SDimitry Andric     return true;
5070b57cec5SDimitry Andric 
5080b57cec5SDimitry Andric   case SystemZAddressingMode::Disp12Pair:
5090b57cec5SDimitry Andric     // Use the other instruction if the displacement is too large.
5100b57cec5SDimitry Andric     return isUInt<12>(Val);
5110b57cec5SDimitry Andric 
5120b57cec5SDimitry Andric   case SystemZAddressingMode::Disp20Pair:
5130b57cec5SDimitry Andric     // Use the other instruction if the displacement is small enough.
5140b57cec5SDimitry Andric     return !isUInt<12>(Val);
5150b57cec5SDimitry Andric   }
5160b57cec5SDimitry Andric   llvm_unreachable("Unhandled displacement range");
5170b57cec5SDimitry Andric }
5180b57cec5SDimitry Andric 
5190b57cec5SDimitry Andric // Return true if Base + Disp + Index should be performed by LA(Y).
5200b57cec5SDimitry Andric static bool shouldUseLA(SDNode *Base, int64_t Disp, SDNode *Index) {
5210b57cec5SDimitry Andric   // Don't use LA(Y) for constants.
5220b57cec5SDimitry Andric   if (!Base)
5230b57cec5SDimitry Andric     return false;
5240b57cec5SDimitry Andric 
5250b57cec5SDimitry Andric   // Always use LA(Y) for frame addresses, since we know that the destination
5260b57cec5SDimitry Andric   // register is almost always (perhaps always) going to be different from
5270b57cec5SDimitry Andric   // the frame register.
5280b57cec5SDimitry Andric   if (Base->getOpcode() == ISD::FrameIndex)
5290b57cec5SDimitry Andric     return true;
5300b57cec5SDimitry Andric 
5310b57cec5SDimitry Andric   if (Disp) {
5320b57cec5SDimitry Andric     // Always use LA(Y) if there is a base, displacement and index.
5330b57cec5SDimitry Andric     if (Index)
5340b57cec5SDimitry Andric       return true;
5350b57cec5SDimitry Andric 
5360b57cec5SDimitry Andric     // Always use LA if the displacement is small enough.  It should always
5370b57cec5SDimitry Andric     // be no worse than AGHI (and better if it avoids a move).
5380b57cec5SDimitry Andric     if (isUInt<12>(Disp))
5390b57cec5SDimitry Andric       return true;
5400b57cec5SDimitry Andric 
5410b57cec5SDimitry Andric     // For similar reasons, always use LAY if the constant is too big for AGHI.
5420b57cec5SDimitry Andric     // LAY should be no worse than AGFI.
5430b57cec5SDimitry Andric     if (!isInt<16>(Disp))
5440b57cec5SDimitry Andric       return true;
5450b57cec5SDimitry Andric   } else {
5460b57cec5SDimitry Andric     // Don't use LA for plain registers.
5470b57cec5SDimitry Andric     if (!Index)
5480b57cec5SDimitry Andric       return false;
5490b57cec5SDimitry Andric 
5500b57cec5SDimitry Andric     // Don't use LA for plain addition if the index operand is only used
5510b57cec5SDimitry Andric     // once.  It should be a natural two-operand addition in that case.
5520b57cec5SDimitry Andric     if (Index->hasOneUse())
5530b57cec5SDimitry Andric       return false;
5540b57cec5SDimitry Andric 
5550b57cec5SDimitry Andric     // Prefer addition if the second operation is sign-extended, in the
5560b57cec5SDimitry Andric     // hope of using AGF.
5570b57cec5SDimitry Andric     unsigned IndexOpcode = Index->getOpcode();
5580b57cec5SDimitry Andric     if (IndexOpcode == ISD::SIGN_EXTEND ||
5590b57cec5SDimitry Andric         IndexOpcode == ISD::SIGN_EXTEND_INREG)
5600b57cec5SDimitry Andric       return false;
5610b57cec5SDimitry Andric   }
5620b57cec5SDimitry Andric 
5630b57cec5SDimitry Andric   // Don't use LA for two-operand addition if either operand is only
5640b57cec5SDimitry Andric   // used once.  The addition instructions are better in that case.
5650b57cec5SDimitry Andric   if (Base->hasOneUse())
5660b57cec5SDimitry Andric     return false;
5670b57cec5SDimitry Andric 
5680b57cec5SDimitry Andric   return true;
5690b57cec5SDimitry Andric }
5700b57cec5SDimitry Andric 
5710b57cec5SDimitry Andric // Return true if Addr is suitable for AM, updating AM if so.
5720b57cec5SDimitry Andric bool SystemZDAGToDAGISel::selectAddress(SDValue Addr,
5730b57cec5SDimitry Andric                                         SystemZAddressingMode &AM) const {
5740b57cec5SDimitry Andric   // Start out assuming that the address will need to be loaded separately,
5750b57cec5SDimitry Andric   // then try to extend it as much as we can.
5760b57cec5SDimitry Andric   AM.Base = Addr;
5770b57cec5SDimitry Andric 
5780b57cec5SDimitry Andric   // First try treating the address as a constant.
5790b57cec5SDimitry Andric   if (Addr.getOpcode() == ISD::Constant &&
5800b57cec5SDimitry Andric       expandDisp(AM, true, SDValue(),
5810b57cec5SDimitry Andric                  cast<ConstantSDNode>(Addr)->getSExtValue()))
5820b57cec5SDimitry Andric     ;
5830b57cec5SDimitry Andric   // Also see if it's a bare ADJDYNALLOC.
5840b57cec5SDimitry Andric   else if (Addr.getOpcode() == SystemZISD::ADJDYNALLOC &&
5850b57cec5SDimitry Andric            expandAdjDynAlloc(AM, true, SDValue()))
5860b57cec5SDimitry Andric     ;
5870b57cec5SDimitry Andric   else
5880b57cec5SDimitry Andric     // Otherwise try expanding each component.
5890b57cec5SDimitry Andric     while (expandAddress(AM, true) ||
5900b57cec5SDimitry Andric            (AM.Index.getNode() && expandAddress(AM, false)))
5910b57cec5SDimitry Andric       continue;
5920b57cec5SDimitry Andric 
5930b57cec5SDimitry Andric   // Reject cases where it isn't profitable to use LA(Y).
5940b57cec5SDimitry Andric   if (AM.Form == SystemZAddressingMode::FormBDXLA &&
5950b57cec5SDimitry Andric       !shouldUseLA(AM.Base.getNode(), AM.Disp, AM.Index.getNode()))
5960b57cec5SDimitry Andric     return false;
5970b57cec5SDimitry Andric 
5980b57cec5SDimitry Andric   // Reject cases where the other instruction in a pair should be used.
5990b57cec5SDimitry Andric   if (!isValidDisp(AM.DR, AM.Disp))
6000b57cec5SDimitry Andric     return false;
6010b57cec5SDimitry Andric 
6020b57cec5SDimitry Andric   // Make sure that ADJDYNALLOC is included where necessary.
6030b57cec5SDimitry Andric   if (AM.isDynAlloc() && !AM.IncludesDynAlloc)
6040b57cec5SDimitry Andric     return false;
6050b57cec5SDimitry Andric 
6060b57cec5SDimitry Andric   LLVM_DEBUG(AM.dump(CurDAG));
6070b57cec5SDimitry Andric   return true;
6080b57cec5SDimitry Andric }
6090b57cec5SDimitry Andric 
6100b57cec5SDimitry Andric // Insert a node into the DAG at least before Pos.  This will reposition
6110b57cec5SDimitry Andric // the node as needed, and will assign it a node ID that is <= Pos's ID.
6120b57cec5SDimitry Andric // Note that this does *not* preserve the uniqueness of node IDs!
6130b57cec5SDimitry Andric // The selection DAG must no longer depend on their uniqueness when this
6140b57cec5SDimitry Andric // function is used.
6150b57cec5SDimitry Andric static void insertDAGNode(SelectionDAG *DAG, SDNode *Pos, SDValue N) {
6160b57cec5SDimitry Andric   if (N->getNodeId() == -1 ||
6170b57cec5SDimitry Andric       (SelectionDAGISel::getUninvalidatedNodeId(N.getNode()) >
6180b57cec5SDimitry Andric        SelectionDAGISel::getUninvalidatedNodeId(Pos))) {
6190b57cec5SDimitry Andric     DAG->RepositionNode(Pos->getIterator(), N.getNode());
6200b57cec5SDimitry Andric     // Mark Node as invalid for pruning as after this it may be a successor to a
6210b57cec5SDimitry Andric     // selected node but otherwise be in the same position of Pos.
6220b57cec5SDimitry Andric     // Conservatively mark it with the same -abs(Id) to assure node id
6230b57cec5SDimitry Andric     // invariant is preserved.
6240b57cec5SDimitry Andric     N->setNodeId(Pos->getNodeId());
6250b57cec5SDimitry Andric     SelectionDAGISel::InvalidateNodeId(N.getNode());
6260b57cec5SDimitry Andric   }
6270b57cec5SDimitry Andric }
6280b57cec5SDimitry Andric 
6290b57cec5SDimitry Andric void SystemZDAGToDAGISel::getAddressOperands(const SystemZAddressingMode &AM,
6300b57cec5SDimitry Andric                                              EVT VT, SDValue &Base,
6310b57cec5SDimitry Andric                                              SDValue &Disp) const {
6320b57cec5SDimitry Andric   Base = AM.Base;
6330b57cec5SDimitry Andric   if (!Base.getNode())
6340b57cec5SDimitry Andric     // Register 0 means "no base".  This is mostly useful for shifts.
6350b57cec5SDimitry Andric     Base = CurDAG->getRegister(0, VT);
6360b57cec5SDimitry Andric   else if (Base.getOpcode() == ISD::FrameIndex) {
6370b57cec5SDimitry Andric     // Lower a FrameIndex to a TargetFrameIndex.
6380b57cec5SDimitry Andric     int64_t FrameIndex = cast<FrameIndexSDNode>(Base)->getIndex();
6390b57cec5SDimitry Andric     Base = CurDAG->getTargetFrameIndex(FrameIndex, VT);
6400b57cec5SDimitry Andric   } else if (Base.getValueType() != VT) {
6410b57cec5SDimitry Andric     // Truncate values from i64 to i32, for shifts.
6420b57cec5SDimitry Andric     assert(VT == MVT::i32 && Base.getValueType() == MVT::i64 &&
6430b57cec5SDimitry Andric            "Unexpected truncation");
6440b57cec5SDimitry Andric     SDLoc DL(Base);
6450b57cec5SDimitry Andric     SDValue Trunc = CurDAG->getNode(ISD::TRUNCATE, DL, VT, Base);
6460b57cec5SDimitry Andric     insertDAGNode(CurDAG, Base.getNode(), Trunc);
6470b57cec5SDimitry Andric     Base = Trunc;
6480b57cec5SDimitry Andric   }
6490b57cec5SDimitry Andric 
6500b57cec5SDimitry Andric   // Lower the displacement to a TargetConstant.
6510b57cec5SDimitry Andric   Disp = CurDAG->getTargetConstant(AM.Disp, SDLoc(Base), VT);
6520b57cec5SDimitry Andric }
6530b57cec5SDimitry Andric 
6540b57cec5SDimitry Andric void SystemZDAGToDAGISel::getAddressOperands(const SystemZAddressingMode &AM,
6550b57cec5SDimitry Andric                                              EVT VT, SDValue &Base,
6560b57cec5SDimitry Andric                                              SDValue &Disp,
6570b57cec5SDimitry Andric                                              SDValue &Index) const {
6580b57cec5SDimitry Andric   getAddressOperands(AM, VT, Base, Disp);
6590b57cec5SDimitry Andric 
6600b57cec5SDimitry Andric   Index = AM.Index;
6610b57cec5SDimitry Andric   if (!Index.getNode())
6620b57cec5SDimitry Andric     // Register 0 means "no index".
6630b57cec5SDimitry Andric     Index = CurDAG->getRegister(0, VT);
6640b57cec5SDimitry Andric }
6650b57cec5SDimitry Andric 
6660b57cec5SDimitry Andric bool SystemZDAGToDAGISel::selectBDAddr(SystemZAddressingMode::DispRange DR,
6670b57cec5SDimitry Andric                                        SDValue Addr, SDValue &Base,
6680b57cec5SDimitry Andric                                        SDValue &Disp) const {
6690b57cec5SDimitry Andric   SystemZAddressingMode AM(SystemZAddressingMode::FormBD, DR);
6700b57cec5SDimitry Andric   if (!selectAddress(Addr, AM))
6710b57cec5SDimitry Andric     return false;
6720b57cec5SDimitry Andric 
6730b57cec5SDimitry Andric   getAddressOperands(AM, Addr.getValueType(), Base, Disp);
6740b57cec5SDimitry Andric   return true;
6750b57cec5SDimitry Andric }
6760b57cec5SDimitry Andric 
6770b57cec5SDimitry Andric bool SystemZDAGToDAGISel::selectMVIAddr(SystemZAddressingMode::DispRange DR,
6780b57cec5SDimitry Andric                                         SDValue Addr, SDValue &Base,
6790b57cec5SDimitry Andric                                         SDValue &Disp) const {
6800b57cec5SDimitry Andric   SystemZAddressingMode AM(SystemZAddressingMode::FormBDXNormal, DR);
6810b57cec5SDimitry Andric   if (!selectAddress(Addr, AM) || AM.Index.getNode())
6820b57cec5SDimitry Andric     return false;
6830b57cec5SDimitry Andric 
6840b57cec5SDimitry Andric   getAddressOperands(AM, Addr.getValueType(), Base, Disp);
6850b57cec5SDimitry Andric   return true;
6860b57cec5SDimitry Andric }
6870b57cec5SDimitry Andric 
6880b57cec5SDimitry Andric bool SystemZDAGToDAGISel::selectBDXAddr(SystemZAddressingMode::AddrForm Form,
6890b57cec5SDimitry Andric                                         SystemZAddressingMode::DispRange DR,
6900b57cec5SDimitry Andric                                         SDValue Addr, SDValue &Base,
6910b57cec5SDimitry Andric                                         SDValue &Disp, SDValue &Index) const {
6920b57cec5SDimitry Andric   SystemZAddressingMode AM(Form, DR);
6930b57cec5SDimitry Andric   if (!selectAddress(Addr, AM))
6940b57cec5SDimitry Andric     return false;
6950b57cec5SDimitry Andric 
6960b57cec5SDimitry Andric   getAddressOperands(AM, Addr.getValueType(), Base, Disp, Index);
6970b57cec5SDimitry Andric   return true;
6980b57cec5SDimitry Andric }
6990b57cec5SDimitry Andric 
7000b57cec5SDimitry Andric bool SystemZDAGToDAGISel::selectBDVAddr12Only(SDValue Addr, SDValue Elem,
7010b57cec5SDimitry Andric                                               SDValue &Base,
7020b57cec5SDimitry Andric                                               SDValue &Disp,
7030b57cec5SDimitry Andric                                               SDValue &Index) const {
7040b57cec5SDimitry Andric   SDValue Regs[2];
7050b57cec5SDimitry Andric   if (selectBDXAddr12Only(Addr, Regs[0], Disp, Regs[1]) &&
7060b57cec5SDimitry Andric       Regs[0].getNode() && Regs[1].getNode()) {
7070b57cec5SDimitry Andric     for (unsigned int I = 0; I < 2; ++I) {
7080b57cec5SDimitry Andric       Base = Regs[I];
7090b57cec5SDimitry Andric       Index = Regs[1 - I];
7100b57cec5SDimitry Andric       // We can't tell here whether the index vector has the right type
7110b57cec5SDimitry Andric       // for the access; the caller needs to do that instead.
7120b57cec5SDimitry Andric       if (Index.getOpcode() == ISD::ZERO_EXTEND)
7130b57cec5SDimitry Andric         Index = Index.getOperand(0);
7140b57cec5SDimitry Andric       if (Index.getOpcode() == ISD::EXTRACT_VECTOR_ELT &&
7150b57cec5SDimitry Andric           Index.getOperand(1) == Elem) {
7160b57cec5SDimitry Andric         Index = Index.getOperand(0);
7170b57cec5SDimitry Andric         return true;
7180b57cec5SDimitry Andric       }
7190b57cec5SDimitry Andric     }
7200b57cec5SDimitry Andric   }
7210b57cec5SDimitry Andric   return false;
7220b57cec5SDimitry Andric }
7230b57cec5SDimitry Andric 
7240b57cec5SDimitry Andric bool SystemZDAGToDAGISel::detectOrAndInsertion(SDValue &Op,
7250b57cec5SDimitry Andric                                                uint64_t InsertMask) const {
7260b57cec5SDimitry Andric   // We're only interested in cases where the insertion is into some operand
7270b57cec5SDimitry Andric   // of Op, rather than into Op itself.  The only useful case is an AND.
7280b57cec5SDimitry Andric   if (Op.getOpcode() != ISD::AND)
7290b57cec5SDimitry Andric     return false;
7300b57cec5SDimitry Andric 
7310b57cec5SDimitry Andric   // We need a constant mask.
7320b57cec5SDimitry Andric   auto *MaskNode = dyn_cast<ConstantSDNode>(Op.getOperand(1).getNode());
7330b57cec5SDimitry Andric   if (!MaskNode)
7340b57cec5SDimitry Andric     return false;
7350b57cec5SDimitry Andric 
7360b57cec5SDimitry Andric   // It's not an insertion of Op.getOperand(0) if the two masks overlap.
7370b57cec5SDimitry Andric   uint64_t AndMask = MaskNode->getZExtValue();
7380b57cec5SDimitry Andric   if (InsertMask & AndMask)
7390b57cec5SDimitry Andric     return false;
7400b57cec5SDimitry Andric 
7410b57cec5SDimitry Andric   // It's only an insertion if all bits are covered or are known to be zero.
7420b57cec5SDimitry Andric   // The inner check covers all cases but is more expensive.
7430b57cec5SDimitry Andric   uint64_t Used = allOnes(Op.getValueSizeInBits());
7440b57cec5SDimitry Andric   if (Used != (AndMask | InsertMask)) {
7450b57cec5SDimitry Andric     KnownBits Known = CurDAG->computeKnownBits(Op.getOperand(0));
7460b57cec5SDimitry Andric     if (Used != (AndMask | InsertMask | Known.Zero.getZExtValue()))
7470b57cec5SDimitry Andric       return false;
7480b57cec5SDimitry Andric   }
7490b57cec5SDimitry Andric 
7500b57cec5SDimitry Andric   Op = Op.getOperand(0);
7510b57cec5SDimitry Andric   return true;
7520b57cec5SDimitry Andric }
7530b57cec5SDimitry Andric 
7540b57cec5SDimitry Andric bool SystemZDAGToDAGISel::refineRxSBGMask(RxSBGOperands &RxSBG,
7550b57cec5SDimitry Andric                                           uint64_t Mask) const {
7560b57cec5SDimitry Andric   const SystemZInstrInfo *TII = getInstrInfo();
7570b57cec5SDimitry Andric   if (RxSBG.Rotate != 0)
7580b57cec5SDimitry Andric     Mask = (Mask << RxSBG.Rotate) | (Mask >> (64 - RxSBG.Rotate));
7590b57cec5SDimitry Andric   Mask &= RxSBG.Mask;
7600b57cec5SDimitry Andric   if (TII->isRxSBGMask(Mask, RxSBG.BitSize, RxSBG.Start, RxSBG.End)) {
7610b57cec5SDimitry Andric     RxSBG.Mask = Mask;
7620b57cec5SDimitry Andric     return true;
7630b57cec5SDimitry Andric   }
7640b57cec5SDimitry Andric   return false;
7650b57cec5SDimitry Andric }
7660b57cec5SDimitry Andric 
7670b57cec5SDimitry Andric // Return true if any bits of (RxSBG.Input & Mask) are significant.
7680b57cec5SDimitry Andric static bool maskMatters(RxSBGOperands &RxSBG, uint64_t Mask) {
7690b57cec5SDimitry Andric   // Rotate the mask in the same way as RxSBG.Input is rotated.
7700b57cec5SDimitry Andric   if (RxSBG.Rotate != 0)
7710b57cec5SDimitry Andric     Mask = ((Mask << RxSBG.Rotate) | (Mask >> (64 - RxSBG.Rotate)));
7720b57cec5SDimitry Andric   return (Mask & RxSBG.Mask) != 0;
7730b57cec5SDimitry Andric }
7740b57cec5SDimitry Andric 
7750b57cec5SDimitry Andric bool SystemZDAGToDAGISel::expandRxSBG(RxSBGOperands &RxSBG) const {
7760b57cec5SDimitry Andric   SDValue N = RxSBG.Input;
7770b57cec5SDimitry Andric   unsigned Opcode = N.getOpcode();
7780b57cec5SDimitry Andric   switch (Opcode) {
7790b57cec5SDimitry Andric   case ISD::TRUNCATE: {
7800b57cec5SDimitry Andric     if (RxSBG.Opcode == SystemZ::RNSBG)
7810b57cec5SDimitry Andric       return false;
7820b57cec5SDimitry Andric     uint64_t BitSize = N.getValueSizeInBits();
7830b57cec5SDimitry Andric     uint64_t Mask = allOnes(BitSize);
7840b57cec5SDimitry Andric     if (!refineRxSBGMask(RxSBG, Mask))
7850b57cec5SDimitry Andric       return false;
7860b57cec5SDimitry Andric     RxSBG.Input = N.getOperand(0);
7870b57cec5SDimitry Andric     return true;
7880b57cec5SDimitry Andric   }
7890b57cec5SDimitry Andric   case ISD::AND: {
7900b57cec5SDimitry Andric     if (RxSBG.Opcode == SystemZ::RNSBG)
7910b57cec5SDimitry Andric       return false;
7920b57cec5SDimitry Andric 
7930b57cec5SDimitry Andric     auto *MaskNode = dyn_cast<ConstantSDNode>(N.getOperand(1).getNode());
7940b57cec5SDimitry Andric     if (!MaskNode)
7950b57cec5SDimitry Andric       return false;
7960b57cec5SDimitry Andric 
7970b57cec5SDimitry Andric     SDValue Input = N.getOperand(0);
7980b57cec5SDimitry Andric     uint64_t Mask = MaskNode->getZExtValue();
7990b57cec5SDimitry Andric     if (!refineRxSBGMask(RxSBG, Mask)) {
8000b57cec5SDimitry Andric       // If some bits of Input are already known zeros, those bits will have
8010b57cec5SDimitry Andric       // been removed from the mask.  See if adding them back in makes the
8020b57cec5SDimitry Andric       // mask suitable.
8030b57cec5SDimitry Andric       KnownBits Known = CurDAG->computeKnownBits(Input);
8040b57cec5SDimitry Andric       Mask |= Known.Zero.getZExtValue();
8050b57cec5SDimitry Andric       if (!refineRxSBGMask(RxSBG, Mask))
8060b57cec5SDimitry Andric         return false;
8070b57cec5SDimitry Andric     }
8080b57cec5SDimitry Andric     RxSBG.Input = Input;
8090b57cec5SDimitry Andric     return true;
8100b57cec5SDimitry Andric   }
8110b57cec5SDimitry Andric 
8120b57cec5SDimitry Andric   case ISD::OR: {
8130b57cec5SDimitry Andric     if (RxSBG.Opcode != SystemZ::RNSBG)
8140b57cec5SDimitry Andric       return false;
8150b57cec5SDimitry Andric 
8160b57cec5SDimitry Andric     auto *MaskNode = dyn_cast<ConstantSDNode>(N.getOperand(1).getNode());
8170b57cec5SDimitry Andric     if (!MaskNode)
8180b57cec5SDimitry Andric       return false;
8190b57cec5SDimitry Andric 
8200b57cec5SDimitry Andric     SDValue Input = N.getOperand(0);
8210b57cec5SDimitry Andric     uint64_t Mask = ~MaskNode->getZExtValue();
8220b57cec5SDimitry Andric     if (!refineRxSBGMask(RxSBG, Mask)) {
8230b57cec5SDimitry Andric       // If some bits of Input are already known ones, those bits will have
8240b57cec5SDimitry Andric       // been removed from the mask.  See if adding them back in makes the
8250b57cec5SDimitry Andric       // mask suitable.
8260b57cec5SDimitry Andric       KnownBits Known = CurDAG->computeKnownBits(Input);
8270b57cec5SDimitry Andric       Mask &= ~Known.One.getZExtValue();
8280b57cec5SDimitry Andric       if (!refineRxSBGMask(RxSBG, Mask))
8290b57cec5SDimitry Andric         return false;
8300b57cec5SDimitry Andric     }
8310b57cec5SDimitry Andric     RxSBG.Input = Input;
8320b57cec5SDimitry Andric     return true;
8330b57cec5SDimitry Andric   }
8340b57cec5SDimitry Andric 
8350b57cec5SDimitry Andric   case ISD::ROTL: {
8360b57cec5SDimitry Andric     // Any 64-bit rotate left can be merged into the RxSBG.
8370b57cec5SDimitry Andric     if (RxSBG.BitSize != 64 || N.getValueType() != MVT::i64)
8380b57cec5SDimitry Andric       return false;
8390b57cec5SDimitry Andric     auto *CountNode = dyn_cast<ConstantSDNode>(N.getOperand(1).getNode());
8400b57cec5SDimitry Andric     if (!CountNode)
8410b57cec5SDimitry Andric       return false;
8420b57cec5SDimitry Andric 
8430b57cec5SDimitry Andric     RxSBG.Rotate = (RxSBG.Rotate + CountNode->getZExtValue()) & 63;
8440b57cec5SDimitry Andric     RxSBG.Input = N.getOperand(0);
8450b57cec5SDimitry Andric     return true;
8460b57cec5SDimitry Andric   }
8470b57cec5SDimitry Andric 
8480b57cec5SDimitry Andric   case ISD::ANY_EXTEND:
8490b57cec5SDimitry Andric     // Bits above the extended operand are don't-care.
8500b57cec5SDimitry Andric     RxSBG.Input = N.getOperand(0);
8510b57cec5SDimitry Andric     return true;
8520b57cec5SDimitry Andric 
8530b57cec5SDimitry Andric   case ISD::ZERO_EXTEND:
8540b57cec5SDimitry Andric     if (RxSBG.Opcode != SystemZ::RNSBG) {
8550b57cec5SDimitry Andric       // Restrict the mask to the extended operand.
8560b57cec5SDimitry Andric       unsigned InnerBitSize = N.getOperand(0).getValueSizeInBits();
8570b57cec5SDimitry Andric       if (!refineRxSBGMask(RxSBG, allOnes(InnerBitSize)))
8580b57cec5SDimitry Andric         return false;
8590b57cec5SDimitry Andric 
8600b57cec5SDimitry Andric       RxSBG.Input = N.getOperand(0);
8610b57cec5SDimitry Andric       return true;
8620b57cec5SDimitry Andric     }
8630b57cec5SDimitry Andric     LLVM_FALLTHROUGH;
8640b57cec5SDimitry Andric 
8650b57cec5SDimitry Andric   case ISD::SIGN_EXTEND: {
8660b57cec5SDimitry Andric     // Check that the extension bits are don't-care (i.e. are masked out
8670b57cec5SDimitry Andric     // by the final mask).
8680b57cec5SDimitry Andric     unsigned BitSize = N.getValueSizeInBits();
8690b57cec5SDimitry Andric     unsigned InnerBitSize = N.getOperand(0).getValueSizeInBits();
8700b57cec5SDimitry Andric     if (maskMatters(RxSBG, allOnes(BitSize) - allOnes(InnerBitSize))) {
8710b57cec5SDimitry Andric       // In the case where only the sign bit is active, increase Rotate with
8720b57cec5SDimitry Andric       // the extension width.
8730b57cec5SDimitry Andric       if (RxSBG.Mask == 1 && RxSBG.Rotate == 1)
8740b57cec5SDimitry Andric         RxSBG.Rotate += (BitSize - InnerBitSize);
8750b57cec5SDimitry Andric       else
8760b57cec5SDimitry Andric         return false;
8770b57cec5SDimitry Andric     }
8780b57cec5SDimitry Andric 
8790b57cec5SDimitry Andric     RxSBG.Input = N.getOperand(0);
8800b57cec5SDimitry Andric     return true;
8810b57cec5SDimitry Andric   }
8820b57cec5SDimitry Andric 
8830b57cec5SDimitry Andric   case ISD::SHL: {
8840b57cec5SDimitry Andric     auto *CountNode = dyn_cast<ConstantSDNode>(N.getOperand(1).getNode());
8850b57cec5SDimitry Andric     if (!CountNode)
8860b57cec5SDimitry Andric       return false;
8870b57cec5SDimitry Andric 
8880b57cec5SDimitry Andric     uint64_t Count = CountNode->getZExtValue();
8890b57cec5SDimitry Andric     unsigned BitSize = N.getValueSizeInBits();
8900b57cec5SDimitry Andric     if (Count < 1 || Count >= BitSize)
8910b57cec5SDimitry Andric       return false;
8920b57cec5SDimitry Andric 
8930b57cec5SDimitry Andric     if (RxSBG.Opcode == SystemZ::RNSBG) {
8940b57cec5SDimitry Andric       // Treat (shl X, count) as (rotl X, size-count) as long as the bottom
8950b57cec5SDimitry Andric       // count bits from RxSBG.Input are ignored.
8960b57cec5SDimitry Andric       if (maskMatters(RxSBG, allOnes(Count)))
8970b57cec5SDimitry Andric         return false;
8980b57cec5SDimitry Andric     } else {
8990b57cec5SDimitry Andric       // Treat (shl X, count) as (and (rotl X, count), ~0<<count).
9000b57cec5SDimitry Andric       if (!refineRxSBGMask(RxSBG, allOnes(BitSize - Count) << Count))
9010b57cec5SDimitry Andric         return false;
9020b57cec5SDimitry Andric     }
9030b57cec5SDimitry Andric 
9040b57cec5SDimitry Andric     RxSBG.Rotate = (RxSBG.Rotate + Count) & 63;
9050b57cec5SDimitry Andric     RxSBG.Input = N.getOperand(0);
9060b57cec5SDimitry Andric     return true;
9070b57cec5SDimitry Andric   }
9080b57cec5SDimitry Andric 
9090b57cec5SDimitry Andric   case ISD::SRL:
9100b57cec5SDimitry Andric   case ISD::SRA: {
9110b57cec5SDimitry Andric     auto *CountNode = dyn_cast<ConstantSDNode>(N.getOperand(1).getNode());
9120b57cec5SDimitry Andric     if (!CountNode)
9130b57cec5SDimitry Andric       return false;
9140b57cec5SDimitry Andric 
9150b57cec5SDimitry Andric     uint64_t Count = CountNode->getZExtValue();
9160b57cec5SDimitry Andric     unsigned BitSize = N.getValueSizeInBits();
9170b57cec5SDimitry Andric     if (Count < 1 || Count >= BitSize)
9180b57cec5SDimitry Andric       return false;
9190b57cec5SDimitry Andric 
9200b57cec5SDimitry Andric     if (RxSBG.Opcode == SystemZ::RNSBG || Opcode == ISD::SRA) {
9210b57cec5SDimitry Andric       // Treat (srl|sra X, count) as (rotl X, size-count) as long as the top
9220b57cec5SDimitry Andric       // count bits from RxSBG.Input are ignored.
9230b57cec5SDimitry Andric       if (maskMatters(RxSBG, allOnes(Count) << (BitSize - Count)))
9240b57cec5SDimitry Andric         return false;
9250b57cec5SDimitry Andric     } else {
9260b57cec5SDimitry Andric       // Treat (srl X, count), mask) as (and (rotl X, size-count), ~0>>count),
9270b57cec5SDimitry Andric       // which is similar to SLL above.
9280b57cec5SDimitry Andric       if (!refineRxSBGMask(RxSBG, allOnes(BitSize - Count)))
9290b57cec5SDimitry Andric         return false;
9300b57cec5SDimitry Andric     }
9310b57cec5SDimitry Andric 
9320b57cec5SDimitry Andric     RxSBG.Rotate = (RxSBG.Rotate - Count) & 63;
9330b57cec5SDimitry Andric     RxSBG.Input = N.getOperand(0);
9340b57cec5SDimitry Andric     return true;
9350b57cec5SDimitry Andric   }
9360b57cec5SDimitry Andric   default:
9370b57cec5SDimitry Andric     return false;
9380b57cec5SDimitry Andric   }
9390b57cec5SDimitry Andric }
9400b57cec5SDimitry Andric 
9410b57cec5SDimitry Andric SDValue SystemZDAGToDAGISel::getUNDEF(const SDLoc &DL, EVT VT) const {
9420b57cec5SDimitry Andric   SDNode *N = CurDAG->getMachineNode(TargetOpcode::IMPLICIT_DEF, DL, VT);
9430b57cec5SDimitry Andric   return SDValue(N, 0);
9440b57cec5SDimitry Andric }
9450b57cec5SDimitry Andric 
9460b57cec5SDimitry Andric SDValue SystemZDAGToDAGISel::convertTo(const SDLoc &DL, EVT VT,
9470b57cec5SDimitry Andric                                        SDValue N) const {
9480b57cec5SDimitry Andric   if (N.getValueType() == MVT::i32 && VT == MVT::i64)
9490b57cec5SDimitry Andric     return CurDAG->getTargetInsertSubreg(SystemZ::subreg_l32,
9500b57cec5SDimitry Andric                                          DL, VT, getUNDEF(DL, MVT::i64), N);
9510b57cec5SDimitry Andric   if (N.getValueType() == MVT::i64 && VT == MVT::i32)
9520b57cec5SDimitry Andric     return CurDAG->getTargetExtractSubreg(SystemZ::subreg_l32, DL, VT, N);
9530b57cec5SDimitry Andric   assert(N.getValueType() == VT && "Unexpected value types");
9540b57cec5SDimitry Andric   return N;
9550b57cec5SDimitry Andric }
9560b57cec5SDimitry Andric 
9570b57cec5SDimitry Andric bool SystemZDAGToDAGISel::tryRISBGZero(SDNode *N) {
9580b57cec5SDimitry Andric   SDLoc DL(N);
9590b57cec5SDimitry Andric   EVT VT = N->getValueType(0);
9600b57cec5SDimitry Andric   if (!VT.isInteger() || VT.getSizeInBits() > 64)
9610b57cec5SDimitry Andric     return false;
9620b57cec5SDimitry Andric   RxSBGOperands RISBG(SystemZ::RISBG, SDValue(N, 0));
9630b57cec5SDimitry Andric   unsigned Count = 0;
9640b57cec5SDimitry Andric   while (expandRxSBG(RISBG))
9650b57cec5SDimitry Andric     // The widening or narrowing is expected to be free.
9660b57cec5SDimitry Andric     // Counting widening or narrowing as a saved operation will result in
9670b57cec5SDimitry Andric     // preferring an R*SBG over a simple shift/logical instruction.
9680b57cec5SDimitry Andric     if (RISBG.Input.getOpcode() != ISD::ANY_EXTEND &&
9690b57cec5SDimitry Andric         RISBG.Input.getOpcode() != ISD::TRUNCATE)
9700b57cec5SDimitry Andric       Count += 1;
971*81ad6265SDimitry Andric   if (Count == 0 || isa<ConstantSDNode>(RISBG.Input))
9720b57cec5SDimitry Andric     return false;
9730b57cec5SDimitry Andric 
9740b57cec5SDimitry Andric   // Prefer to use normal shift instructions over RISBG, since they can handle
9750b57cec5SDimitry Andric   // all cases and are sometimes shorter.
9760b57cec5SDimitry Andric   if (Count == 1 && N->getOpcode() != ISD::AND)
9770b57cec5SDimitry Andric     return false;
9780b57cec5SDimitry Andric 
9790b57cec5SDimitry Andric   // Prefer register extensions like LLC over RISBG.  Also prefer to start
9800b57cec5SDimitry Andric   // out with normal ANDs if one instruction would be enough.  We can convert
9810b57cec5SDimitry Andric   // these ANDs into an RISBG later if a three-address instruction is useful.
9820b57cec5SDimitry Andric   if (RISBG.Rotate == 0) {
9830b57cec5SDimitry Andric     bool PreferAnd = false;
9840b57cec5SDimitry Andric     // Prefer AND for any 32-bit and-immediate operation.
9850b57cec5SDimitry Andric     if (VT == MVT::i32)
9860b57cec5SDimitry Andric       PreferAnd = true;
9870b57cec5SDimitry Andric     // As well as for any 64-bit operation that can be implemented via LLC(R),
9880b57cec5SDimitry Andric     // LLH(R), LLGT(R), or one of the and-immediate instructions.
9890b57cec5SDimitry Andric     else if (RISBG.Mask == 0xff ||
9900b57cec5SDimitry Andric              RISBG.Mask == 0xffff ||
9910b57cec5SDimitry Andric              RISBG.Mask == 0x7fffffff ||
9920b57cec5SDimitry Andric              SystemZ::isImmLF(~RISBG.Mask) ||
9930b57cec5SDimitry Andric              SystemZ::isImmHF(~RISBG.Mask))
9940b57cec5SDimitry Andric      PreferAnd = true;
9950b57cec5SDimitry Andric     // And likewise for the LLZRGF instruction, which doesn't have a register
9960b57cec5SDimitry Andric     // to register version.
9970b57cec5SDimitry Andric     else if (auto *Load = dyn_cast<LoadSDNode>(RISBG.Input)) {
9980b57cec5SDimitry Andric       if (Load->getMemoryVT() == MVT::i32 &&
9990b57cec5SDimitry Andric           (Load->getExtensionType() == ISD::EXTLOAD ||
10000b57cec5SDimitry Andric            Load->getExtensionType() == ISD::ZEXTLOAD) &&
10010b57cec5SDimitry Andric           RISBG.Mask == 0xffffff00 &&
10020b57cec5SDimitry Andric           Subtarget->hasLoadAndZeroRightmostByte())
10030b57cec5SDimitry Andric       PreferAnd = true;
10040b57cec5SDimitry Andric     }
10050b57cec5SDimitry Andric     if (PreferAnd) {
10060b57cec5SDimitry Andric       // Replace the current node with an AND.  Note that the current node
10070b57cec5SDimitry Andric       // might already be that same AND, in which case it is already CSE'd
10080b57cec5SDimitry Andric       // with it, and we must not call ReplaceNode.
10090b57cec5SDimitry Andric       SDValue In = convertTo(DL, VT, RISBG.Input);
10100b57cec5SDimitry Andric       SDValue Mask = CurDAG->getConstant(RISBG.Mask, DL, VT);
10110b57cec5SDimitry Andric       SDValue New = CurDAG->getNode(ISD::AND, DL, VT, In, Mask);
10120b57cec5SDimitry Andric       if (N != New.getNode()) {
10130b57cec5SDimitry Andric         insertDAGNode(CurDAG, N, Mask);
10140b57cec5SDimitry Andric         insertDAGNode(CurDAG, N, New);
10150b57cec5SDimitry Andric         ReplaceNode(N, New.getNode());
10160b57cec5SDimitry Andric         N = New.getNode();
10170b57cec5SDimitry Andric       }
10180b57cec5SDimitry Andric       // Now, select the machine opcode to implement this operation.
10190b57cec5SDimitry Andric       if (!N->isMachineOpcode())
10200b57cec5SDimitry Andric         SelectCode(N);
10210b57cec5SDimitry Andric       return true;
10220b57cec5SDimitry Andric     }
10230b57cec5SDimitry Andric   }
10240b57cec5SDimitry Andric 
10250b57cec5SDimitry Andric   unsigned Opcode = SystemZ::RISBG;
10260b57cec5SDimitry Andric   // Prefer RISBGN if available, since it does not clobber CC.
10270b57cec5SDimitry Andric   if (Subtarget->hasMiscellaneousExtensions())
10280b57cec5SDimitry Andric     Opcode = SystemZ::RISBGN;
10290b57cec5SDimitry Andric   EVT OpcodeVT = MVT::i64;
10300b57cec5SDimitry Andric   if (VT == MVT::i32 && Subtarget->hasHighWord() &&
10310b57cec5SDimitry Andric       // We can only use the 32-bit instructions if all source bits are
10320b57cec5SDimitry Andric       // in the low 32 bits without wrapping, both after rotation (because
10330b57cec5SDimitry Andric       // of the smaller range for Start and End) and before rotation
10340b57cec5SDimitry Andric       // (because the input value is truncated).
10350b57cec5SDimitry Andric       RISBG.Start >= 32 && RISBG.End >= RISBG.Start &&
10360b57cec5SDimitry Andric       ((RISBG.Start + RISBG.Rotate) & 63) >= 32 &&
10370b57cec5SDimitry Andric       ((RISBG.End + RISBG.Rotate) & 63) >=
10380b57cec5SDimitry Andric       ((RISBG.Start + RISBG.Rotate) & 63)) {
10390b57cec5SDimitry Andric     Opcode = SystemZ::RISBMux;
10400b57cec5SDimitry Andric     OpcodeVT = MVT::i32;
10410b57cec5SDimitry Andric     RISBG.Start &= 31;
10420b57cec5SDimitry Andric     RISBG.End &= 31;
10430b57cec5SDimitry Andric   }
10440b57cec5SDimitry Andric   SDValue Ops[5] = {
10450b57cec5SDimitry Andric     getUNDEF(DL, OpcodeVT),
10460b57cec5SDimitry Andric     convertTo(DL, OpcodeVT, RISBG.Input),
10470b57cec5SDimitry Andric     CurDAG->getTargetConstant(RISBG.Start, DL, MVT::i32),
10480b57cec5SDimitry Andric     CurDAG->getTargetConstant(RISBG.End | 128, DL, MVT::i32),
10490b57cec5SDimitry Andric     CurDAG->getTargetConstant(RISBG.Rotate, DL, MVT::i32)
10500b57cec5SDimitry Andric   };
10510b57cec5SDimitry Andric   SDValue New = convertTo(
10520b57cec5SDimitry Andric       DL, VT, SDValue(CurDAG->getMachineNode(Opcode, DL, OpcodeVT, Ops), 0));
10530b57cec5SDimitry Andric   ReplaceNode(N, New.getNode());
10540b57cec5SDimitry Andric   return true;
10550b57cec5SDimitry Andric }
10560b57cec5SDimitry Andric 
10570b57cec5SDimitry Andric bool SystemZDAGToDAGISel::tryRxSBG(SDNode *N, unsigned Opcode) {
10580b57cec5SDimitry Andric   SDLoc DL(N);
10590b57cec5SDimitry Andric   EVT VT = N->getValueType(0);
10600b57cec5SDimitry Andric   if (!VT.isInteger() || VT.getSizeInBits() > 64)
10610b57cec5SDimitry Andric     return false;
10620b57cec5SDimitry Andric   // Try treating each operand of N as the second operand of the RxSBG
10630b57cec5SDimitry Andric   // and see which goes deepest.
10640b57cec5SDimitry Andric   RxSBGOperands RxSBG[] = {
10650b57cec5SDimitry Andric     RxSBGOperands(Opcode, N->getOperand(0)),
10660b57cec5SDimitry Andric     RxSBGOperands(Opcode, N->getOperand(1))
10670b57cec5SDimitry Andric   };
10680b57cec5SDimitry Andric   unsigned Count[] = { 0, 0 };
10690b57cec5SDimitry Andric   for (unsigned I = 0; I < 2; ++I)
10700b57cec5SDimitry Andric     while (expandRxSBG(RxSBG[I]))
10710b57cec5SDimitry Andric       // The widening or narrowing is expected to be free.
10720b57cec5SDimitry Andric       // Counting widening or narrowing as a saved operation will result in
10730b57cec5SDimitry Andric       // preferring an R*SBG over a simple shift/logical instruction.
10740b57cec5SDimitry Andric       if (RxSBG[I].Input.getOpcode() != ISD::ANY_EXTEND &&
10750b57cec5SDimitry Andric           RxSBG[I].Input.getOpcode() != ISD::TRUNCATE)
10760b57cec5SDimitry Andric         Count[I] += 1;
10770b57cec5SDimitry Andric 
10780b57cec5SDimitry Andric   // Do nothing if neither operand is suitable.
10790b57cec5SDimitry Andric   if (Count[0] == 0 && Count[1] == 0)
10800b57cec5SDimitry Andric     return false;
10810b57cec5SDimitry Andric 
10820b57cec5SDimitry Andric   // Pick the deepest second operand.
10830b57cec5SDimitry Andric   unsigned I = Count[0] > Count[1] ? 0 : 1;
10840b57cec5SDimitry Andric   SDValue Op0 = N->getOperand(I ^ 1);
10850b57cec5SDimitry Andric 
10860b57cec5SDimitry Andric   // Prefer IC for character insertions from memory.
10870b57cec5SDimitry Andric   if (Opcode == SystemZ::ROSBG && (RxSBG[I].Mask & 0xff) == 0)
10880b57cec5SDimitry Andric     if (auto *Load = dyn_cast<LoadSDNode>(Op0.getNode()))
10890b57cec5SDimitry Andric       if (Load->getMemoryVT() == MVT::i8)
10900b57cec5SDimitry Andric         return false;
10910b57cec5SDimitry Andric 
10920b57cec5SDimitry Andric   // See whether we can avoid an AND in the first operand by converting
10930b57cec5SDimitry Andric   // ROSBG to RISBG.
10940b57cec5SDimitry Andric   if (Opcode == SystemZ::ROSBG && detectOrAndInsertion(Op0, RxSBG[I].Mask)) {
10950b57cec5SDimitry Andric     Opcode = SystemZ::RISBG;
10960b57cec5SDimitry Andric     // Prefer RISBGN if available, since it does not clobber CC.
10970b57cec5SDimitry Andric     if (Subtarget->hasMiscellaneousExtensions())
10980b57cec5SDimitry Andric       Opcode = SystemZ::RISBGN;
10990b57cec5SDimitry Andric   }
11000b57cec5SDimitry Andric 
11010b57cec5SDimitry Andric   SDValue Ops[5] = {
11020b57cec5SDimitry Andric     convertTo(DL, MVT::i64, Op0),
11030b57cec5SDimitry Andric     convertTo(DL, MVT::i64, RxSBG[I].Input),
11040b57cec5SDimitry Andric     CurDAG->getTargetConstant(RxSBG[I].Start, DL, MVT::i32),
11050b57cec5SDimitry Andric     CurDAG->getTargetConstant(RxSBG[I].End, DL, MVT::i32),
11060b57cec5SDimitry Andric     CurDAG->getTargetConstant(RxSBG[I].Rotate, DL, MVT::i32)
11070b57cec5SDimitry Andric   };
11080b57cec5SDimitry Andric   SDValue New = convertTo(
11090b57cec5SDimitry Andric       DL, VT, SDValue(CurDAG->getMachineNode(Opcode, DL, MVT::i64, Ops), 0));
11100b57cec5SDimitry Andric   ReplaceNode(N, New.getNode());
11110b57cec5SDimitry Andric   return true;
11120b57cec5SDimitry Andric }
11130b57cec5SDimitry Andric 
11140b57cec5SDimitry Andric void SystemZDAGToDAGISel::splitLargeImmediate(unsigned Opcode, SDNode *Node,
11150b57cec5SDimitry Andric                                               SDValue Op0, uint64_t UpperVal,
11160b57cec5SDimitry Andric                                               uint64_t LowerVal) {
11170b57cec5SDimitry Andric   EVT VT = Node->getValueType(0);
11180b57cec5SDimitry Andric   SDLoc DL(Node);
11190b57cec5SDimitry Andric   SDValue Upper = CurDAG->getConstant(UpperVal, DL, VT);
11200b57cec5SDimitry Andric   if (Op0.getNode())
11210b57cec5SDimitry Andric     Upper = CurDAG->getNode(Opcode, DL, VT, Op0, Upper);
11220b57cec5SDimitry Andric 
11230b57cec5SDimitry Andric   {
11240b57cec5SDimitry Andric     // When we haven't passed in Op0, Upper will be a constant. In order to
11250b57cec5SDimitry Andric     // prevent folding back to the large immediate in `Or = getNode(...)` we run
11260b57cec5SDimitry Andric     // SelectCode first and end up with an opaque machine node. This means that
11270b57cec5SDimitry Andric     // we need to use a handle to keep track of Upper in case it gets CSE'd by
11280b57cec5SDimitry Andric     // SelectCode.
11290b57cec5SDimitry Andric     //
11300b57cec5SDimitry Andric     // Note that in the case where Op0 is passed in we could just call
11310b57cec5SDimitry Andric     // SelectCode(Upper) later, along with the SelectCode(Or), and avoid needing
11320b57cec5SDimitry Andric     // the handle at all, but it's fine to do it here.
11330b57cec5SDimitry Andric     //
11340b57cec5SDimitry Andric     // TODO: This is a pretty hacky way to do this. Can we do something that
11350b57cec5SDimitry Andric     // doesn't require a two paragraph explanation?
11360b57cec5SDimitry Andric     HandleSDNode Handle(Upper);
11370b57cec5SDimitry Andric     SelectCode(Upper.getNode());
11380b57cec5SDimitry Andric     Upper = Handle.getValue();
11390b57cec5SDimitry Andric   }
11400b57cec5SDimitry Andric 
11410b57cec5SDimitry Andric   SDValue Lower = CurDAG->getConstant(LowerVal, DL, VT);
11420b57cec5SDimitry Andric   SDValue Or = CurDAG->getNode(Opcode, DL, VT, Upper, Lower);
11430b57cec5SDimitry Andric 
11440b57cec5SDimitry Andric   ReplaceNode(Node, Or.getNode());
11450b57cec5SDimitry Andric 
11460b57cec5SDimitry Andric   SelectCode(Or.getNode());
11470b57cec5SDimitry Andric }
11480b57cec5SDimitry Andric 
11490b57cec5SDimitry Andric void SystemZDAGToDAGISel::loadVectorConstant(
11500b57cec5SDimitry Andric     const SystemZVectorConstantInfo &VCI, SDNode *Node) {
11510b57cec5SDimitry Andric   assert((VCI.Opcode == SystemZISD::BYTE_MASK ||
11520b57cec5SDimitry Andric           VCI.Opcode == SystemZISD::REPLICATE ||
11530b57cec5SDimitry Andric           VCI.Opcode == SystemZISD::ROTATE_MASK) &&
11540b57cec5SDimitry Andric          "Bad opcode!");
11550b57cec5SDimitry Andric   assert(VCI.VecVT.getSizeInBits() == 128 && "Expected a vector type");
11560b57cec5SDimitry Andric   EVT VT = Node->getValueType(0);
11570b57cec5SDimitry Andric   SDLoc DL(Node);
11580b57cec5SDimitry Andric   SmallVector<SDValue, 2> Ops;
11590b57cec5SDimitry Andric   for (unsigned OpVal : VCI.OpVals)
11608bcb0991SDimitry Andric     Ops.push_back(CurDAG->getTargetConstant(OpVal, DL, MVT::i32));
11610b57cec5SDimitry Andric   SDValue Op = CurDAG->getNode(VCI.Opcode, DL, VCI.VecVT, Ops);
11620b57cec5SDimitry Andric 
11630b57cec5SDimitry Andric   if (VCI.VecVT == VT.getSimpleVT())
11640b57cec5SDimitry Andric     ReplaceNode(Node, Op.getNode());
11650b57cec5SDimitry Andric   else if (VT.getSizeInBits() == 128) {
11660b57cec5SDimitry Andric     SDValue BitCast = CurDAG->getNode(ISD::BITCAST, DL, VT, Op);
11670b57cec5SDimitry Andric     ReplaceNode(Node, BitCast.getNode());
11680b57cec5SDimitry Andric     SelectCode(BitCast.getNode());
11690b57cec5SDimitry Andric   } else { // float or double
11700b57cec5SDimitry Andric     unsigned SubRegIdx =
11710b57cec5SDimitry Andric         (VT.getSizeInBits() == 32 ? SystemZ::subreg_h32 : SystemZ::subreg_h64);
11720b57cec5SDimitry Andric     ReplaceNode(
11730b57cec5SDimitry Andric         Node, CurDAG->getTargetExtractSubreg(SubRegIdx, DL, VT, Op).getNode());
11740b57cec5SDimitry Andric   }
11750b57cec5SDimitry Andric   SelectCode(Op.getNode());
11760b57cec5SDimitry Andric }
11770b57cec5SDimitry Andric 
11780b57cec5SDimitry Andric bool SystemZDAGToDAGISel::tryGather(SDNode *N, unsigned Opcode) {
11790b57cec5SDimitry Andric   SDValue ElemV = N->getOperand(2);
11800b57cec5SDimitry Andric   auto *ElemN = dyn_cast<ConstantSDNode>(ElemV);
11810b57cec5SDimitry Andric   if (!ElemN)
11820b57cec5SDimitry Andric     return false;
11830b57cec5SDimitry Andric 
11840b57cec5SDimitry Andric   unsigned Elem = ElemN->getZExtValue();
11850b57cec5SDimitry Andric   EVT VT = N->getValueType(0);
11860b57cec5SDimitry Andric   if (Elem >= VT.getVectorNumElements())
11870b57cec5SDimitry Andric     return false;
11880b57cec5SDimitry Andric 
11890b57cec5SDimitry Andric   auto *Load = dyn_cast<LoadSDNode>(N->getOperand(1));
11900b57cec5SDimitry Andric   if (!Load || !Load->hasNUsesOfValue(1, 0))
11910b57cec5SDimitry Andric     return false;
11920b57cec5SDimitry Andric   if (Load->getMemoryVT().getSizeInBits() !=
11930b57cec5SDimitry Andric       Load->getValueType(0).getSizeInBits())
11940b57cec5SDimitry Andric     return false;
11950b57cec5SDimitry Andric 
11960b57cec5SDimitry Andric   SDValue Base, Disp, Index;
11970b57cec5SDimitry Andric   if (!selectBDVAddr12Only(Load->getBasePtr(), ElemV, Base, Disp, Index) ||
11980b57cec5SDimitry Andric       Index.getValueType() != VT.changeVectorElementTypeToInteger())
11990b57cec5SDimitry Andric     return false;
12000b57cec5SDimitry Andric 
12010b57cec5SDimitry Andric   SDLoc DL(Load);
12020b57cec5SDimitry Andric   SDValue Ops[] = {
12030b57cec5SDimitry Andric     N->getOperand(0), Base, Disp, Index,
12040b57cec5SDimitry Andric     CurDAG->getTargetConstant(Elem, DL, MVT::i32), Load->getChain()
12050b57cec5SDimitry Andric   };
12060b57cec5SDimitry Andric   SDNode *Res = CurDAG->getMachineNode(Opcode, DL, VT, MVT::Other, Ops);
12070b57cec5SDimitry Andric   ReplaceUses(SDValue(Load, 1), SDValue(Res, 1));
12080b57cec5SDimitry Andric   ReplaceNode(N, Res);
12090b57cec5SDimitry Andric   return true;
12100b57cec5SDimitry Andric }
12110b57cec5SDimitry Andric 
12120b57cec5SDimitry Andric bool SystemZDAGToDAGISel::tryScatter(StoreSDNode *Store, unsigned Opcode) {
12130b57cec5SDimitry Andric   SDValue Value = Store->getValue();
12140b57cec5SDimitry Andric   if (Value.getOpcode() != ISD::EXTRACT_VECTOR_ELT)
12150b57cec5SDimitry Andric     return false;
12160b57cec5SDimitry Andric   if (Store->getMemoryVT().getSizeInBits() != Value.getValueSizeInBits())
12170b57cec5SDimitry Andric     return false;
12180b57cec5SDimitry Andric 
12190b57cec5SDimitry Andric   SDValue ElemV = Value.getOperand(1);
12200b57cec5SDimitry Andric   auto *ElemN = dyn_cast<ConstantSDNode>(ElemV);
12210b57cec5SDimitry Andric   if (!ElemN)
12220b57cec5SDimitry Andric     return false;
12230b57cec5SDimitry Andric 
12240b57cec5SDimitry Andric   SDValue Vec = Value.getOperand(0);
12250b57cec5SDimitry Andric   EVT VT = Vec.getValueType();
12260b57cec5SDimitry Andric   unsigned Elem = ElemN->getZExtValue();
12270b57cec5SDimitry Andric   if (Elem >= VT.getVectorNumElements())
12280b57cec5SDimitry Andric     return false;
12290b57cec5SDimitry Andric 
12300b57cec5SDimitry Andric   SDValue Base, Disp, Index;
12310b57cec5SDimitry Andric   if (!selectBDVAddr12Only(Store->getBasePtr(), ElemV, Base, Disp, Index) ||
12320b57cec5SDimitry Andric       Index.getValueType() != VT.changeVectorElementTypeToInteger())
12330b57cec5SDimitry Andric     return false;
12340b57cec5SDimitry Andric 
12350b57cec5SDimitry Andric   SDLoc DL(Store);
12360b57cec5SDimitry Andric   SDValue Ops[] = {
12370b57cec5SDimitry Andric     Vec, Base, Disp, Index, CurDAG->getTargetConstant(Elem, DL, MVT::i32),
12380b57cec5SDimitry Andric     Store->getChain()
12390b57cec5SDimitry Andric   };
12400b57cec5SDimitry Andric   ReplaceNode(Store, CurDAG->getMachineNode(Opcode, DL, MVT::Other, Ops));
12410b57cec5SDimitry Andric   return true;
12420b57cec5SDimitry Andric }
12430b57cec5SDimitry Andric 
12440b57cec5SDimitry Andric // Check whether or not the chain ending in StoreNode is suitable for doing
12450b57cec5SDimitry Andric // the {load; op; store} to modify transformation.
12460b57cec5SDimitry Andric static bool isFusableLoadOpStorePattern(StoreSDNode *StoreNode,
12470b57cec5SDimitry Andric                                         SDValue StoredVal, SelectionDAG *CurDAG,
12480b57cec5SDimitry Andric                                         LoadSDNode *&LoadNode,
12490b57cec5SDimitry Andric                                         SDValue &InputChain) {
12500b57cec5SDimitry Andric   // Is the stored value result 0 of the operation?
12510b57cec5SDimitry Andric   if (StoredVal.getResNo() != 0)
12520b57cec5SDimitry Andric     return false;
12530b57cec5SDimitry Andric 
12540b57cec5SDimitry Andric   // Are there other uses of the loaded value than the operation?
12550b57cec5SDimitry Andric   if (!StoredVal.getNode()->hasNUsesOfValue(1, 0))
12560b57cec5SDimitry Andric     return false;
12570b57cec5SDimitry Andric 
12580b57cec5SDimitry Andric   // Is the store non-extending and non-indexed?
12590b57cec5SDimitry Andric   if (!ISD::isNormalStore(StoreNode) || StoreNode->isNonTemporal())
12600b57cec5SDimitry Andric     return false;
12610b57cec5SDimitry Andric 
12620b57cec5SDimitry Andric   SDValue Load = StoredVal->getOperand(0);
12630b57cec5SDimitry Andric   // Is the stored value a non-extending and non-indexed load?
12640b57cec5SDimitry Andric   if (!ISD::isNormalLoad(Load.getNode()))
12650b57cec5SDimitry Andric     return false;
12660b57cec5SDimitry Andric 
12670b57cec5SDimitry Andric   // Return LoadNode by reference.
12680b57cec5SDimitry Andric   LoadNode = cast<LoadSDNode>(Load);
12690b57cec5SDimitry Andric 
12700b57cec5SDimitry Andric   // Is store the only read of the loaded value?
12710b57cec5SDimitry Andric   if (!Load.hasOneUse())
12720b57cec5SDimitry Andric     return false;
12730b57cec5SDimitry Andric 
12740b57cec5SDimitry Andric   // Is the address of the store the same as the load?
12750b57cec5SDimitry Andric   if (LoadNode->getBasePtr() != StoreNode->getBasePtr() ||
12760b57cec5SDimitry Andric       LoadNode->getOffset() != StoreNode->getOffset())
12770b57cec5SDimitry Andric     return false;
12780b57cec5SDimitry Andric 
12790b57cec5SDimitry Andric   // Check if the chain is produced by the load or is a TokenFactor with
12800b57cec5SDimitry Andric   // the load output chain as an operand. Return InputChain by reference.
12810b57cec5SDimitry Andric   SDValue Chain = StoreNode->getChain();
12820b57cec5SDimitry Andric 
12830b57cec5SDimitry Andric   bool ChainCheck = false;
12840b57cec5SDimitry Andric   if (Chain == Load.getValue(1)) {
12850b57cec5SDimitry Andric     ChainCheck = true;
12860b57cec5SDimitry Andric     InputChain = LoadNode->getChain();
12870b57cec5SDimitry Andric   } else if (Chain.getOpcode() == ISD::TokenFactor) {
12880b57cec5SDimitry Andric     SmallVector<SDValue, 4> ChainOps;
12890b57cec5SDimitry Andric     SmallVector<const SDNode *, 4> LoopWorklist;
12900b57cec5SDimitry Andric     SmallPtrSet<const SDNode *, 16> Visited;
12910b57cec5SDimitry Andric     const unsigned int Max = 1024;
12920b57cec5SDimitry Andric     for (unsigned i = 0, e = Chain.getNumOperands(); i != e; ++i) {
12930b57cec5SDimitry Andric       SDValue Op = Chain.getOperand(i);
12940b57cec5SDimitry Andric       if (Op == Load.getValue(1)) {
12950b57cec5SDimitry Andric         ChainCheck = true;
12960b57cec5SDimitry Andric         // Drop Load, but keep its chain. No cycle check necessary.
12970b57cec5SDimitry Andric         ChainOps.push_back(Load.getOperand(0));
12980b57cec5SDimitry Andric         continue;
12990b57cec5SDimitry Andric       }
13000b57cec5SDimitry Andric       LoopWorklist.push_back(Op.getNode());
13010b57cec5SDimitry Andric       ChainOps.push_back(Op);
13020b57cec5SDimitry Andric     }
13030b57cec5SDimitry Andric 
13040b57cec5SDimitry Andric     if (ChainCheck) {
13050b57cec5SDimitry Andric       // Add the other operand of StoredVal to worklist.
13060b57cec5SDimitry Andric       for (SDValue Op : StoredVal->ops())
13070b57cec5SDimitry Andric         if (Op.getNode() != LoadNode)
13080b57cec5SDimitry Andric           LoopWorklist.push_back(Op.getNode());
13090b57cec5SDimitry Andric 
13100b57cec5SDimitry Andric       // Check if Load is reachable from any of the nodes in the worklist.
13110b57cec5SDimitry Andric       if (SDNode::hasPredecessorHelper(Load.getNode(), Visited, LoopWorklist, Max,
13120b57cec5SDimitry Andric                                        true))
13130b57cec5SDimitry Andric         return false;
13140b57cec5SDimitry Andric 
13150b57cec5SDimitry Andric       // Make a new TokenFactor with all the other input chains except
13160b57cec5SDimitry Andric       // for the load.
13170b57cec5SDimitry Andric       InputChain = CurDAG->getNode(ISD::TokenFactor, SDLoc(Chain),
13180b57cec5SDimitry Andric                                    MVT::Other, ChainOps);
13190b57cec5SDimitry Andric     }
13200b57cec5SDimitry Andric   }
13210b57cec5SDimitry Andric   if (!ChainCheck)
13220b57cec5SDimitry Andric     return false;
13230b57cec5SDimitry Andric 
13240b57cec5SDimitry Andric   return true;
13250b57cec5SDimitry Andric }
13260b57cec5SDimitry Andric 
13270b57cec5SDimitry Andric // Change a chain of {load; op; store} of the same value into a simple op
13280b57cec5SDimitry Andric // through memory of that value, if the uses of the modified value and its
13290b57cec5SDimitry Andric // address are suitable.
13300b57cec5SDimitry Andric //
13310b57cec5SDimitry Andric // The tablegen pattern memory operand pattern is currently not able to match
13320b57cec5SDimitry Andric // the case where the CC on the original operation are used.
13330b57cec5SDimitry Andric //
13340b57cec5SDimitry Andric // See the equivalent routine in X86ISelDAGToDAG for further comments.
13350b57cec5SDimitry Andric bool SystemZDAGToDAGISel::tryFoldLoadStoreIntoMemOperand(SDNode *Node) {
13360b57cec5SDimitry Andric   StoreSDNode *StoreNode = cast<StoreSDNode>(Node);
13370b57cec5SDimitry Andric   SDValue StoredVal = StoreNode->getOperand(1);
13380b57cec5SDimitry Andric   unsigned Opc = StoredVal->getOpcode();
13390b57cec5SDimitry Andric   SDLoc DL(StoreNode);
13400b57cec5SDimitry Andric 
13410b57cec5SDimitry Andric   // Before we try to select anything, make sure this is memory operand size
13420b57cec5SDimitry Andric   // and opcode we can handle. Note that this must match the code below that
13430b57cec5SDimitry Andric   // actually lowers the opcodes.
13440b57cec5SDimitry Andric   EVT MemVT = StoreNode->getMemoryVT();
13450b57cec5SDimitry Andric   unsigned NewOpc = 0;
13460b57cec5SDimitry Andric   bool NegateOperand = false;
13470b57cec5SDimitry Andric   switch (Opc) {
13480b57cec5SDimitry Andric   default:
13490b57cec5SDimitry Andric     return false;
13500b57cec5SDimitry Andric   case SystemZISD::SSUBO:
13510b57cec5SDimitry Andric     NegateOperand = true;
13520b57cec5SDimitry Andric     LLVM_FALLTHROUGH;
13530b57cec5SDimitry Andric   case SystemZISD::SADDO:
13540b57cec5SDimitry Andric     if (MemVT == MVT::i32)
13550b57cec5SDimitry Andric       NewOpc = SystemZ::ASI;
13560b57cec5SDimitry Andric     else if (MemVT == MVT::i64)
13570b57cec5SDimitry Andric       NewOpc = SystemZ::AGSI;
13580b57cec5SDimitry Andric     else
13590b57cec5SDimitry Andric       return false;
13600b57cec5SDimitry Andric     break;
13610b57cec5SDimitry Andric   case SystemZISD::USUBO:
13620b57cec5SDimitry Andric     NegateOperand = true;
13630b57cec5SDimitry Andric     LLVM_FALLTHROUGH;
13640b57cec5SDimitry Andric   case SystemZISD::UADDO:
13650b57cec5SDimitry Andric     if (MemVT == MVT::i32)
13660b57cec5SDimitry Andric       NewOpc = SystemZ::ALSI;
13670b57cec5SDimitry Andric     else if (MemVT == MVT::i64)
13680b57cec5SDimitry Andric       NewOpc = SystemZ::ALGSI;
13690b57cec5SDimitry Andric     else
13700b57cec5SDimitry Andric       return false;
13710b57cec5SDimitry Andric     break;
13720b57cec5SDimitry Andric   }
13730b57cec5SDimitry Andric 
13740b57cec5SDimitry Andric   LoadSDNode *LoadNode = nullptr;
13750b57cec5SDimitry Andric   SDValue InputChain;
13760b57cec5SDimitry Andric   if (!isFusableLoadOpStorePattern(StoreNode, StoredVal, CurDAG, LoadNode,
13770b57cec5SDimitry Andric                                    InputChain))
13780b57cec5SDimitry Andric     return false;
13790b57cec5SDimitry Andric 
13800b57cec5SDimitry Andric   SDValue Operand = StoredVal.getOperand(1);
13810b57cec5SDimitry Andric   auto *OperandC = dyn_cast<ConstantSDNode>(Operand);
13820b57cec5SDimitry Andric   if (!OperandC)
13830b57cec5SDimitry Andric     return false;
13840b57cec5SDimitry Andric   auto OperandV = OperandC->getAPIntValue();
13850b57cec5SDimitry Andric   if (NegateOperand)
13860b57cec5SDimitry Andric     OperandV = -OperandV;
13870b57cec5SDimitry Andric   if (OperandV.getMinSignedBits() > 8)
13880b57cec5SDimitry Andric     return false;
13890b57cec5SDimitry Andric   Operand = CurDAG->getTargetConstant(OperandV, DL, MemVT);
13900b57cec5SDimitry Andric 
13910b57cec5SDimitry Andric   SDValue Base, Disp;
13920b57cec5SDimitry Andric   if (!selectBDAddr20Only(StoreNode->getBasePtr(), Base, Disp))
13930b57cec5SDimitry Andric     return false;
13940b57cec5SDimitry Andric 
13950b57cec5SDimitry Andric   SDValue Ops[] = { Base, Disp, Operand, InputChain };
13960b57cec5SDimitry Andric   MachineSDNode *Result =
13970b57cec5SDimitry Andric     CurDAG->getMachineNode(NewOpc, DL, MVT::i32, MVT::Other, Ops);
13980b57cec5SDimitry Andric   CurDAG->setNodeMemRefs(
13990b57cec5SDimitry Andric       Result, {StoreNode->getMemOperand(), LoadNode->getMemOperand()});
14000b57cec5SDimitry Andric 
14010b57cec5SDimitry Andric   ReplaceUses(SDValue(StoreNode, 0), SDValue(Result, 1));
14020b57cec5SDimitry Andric   ReplaceUses(SDValue(StoredVal.getNode(), 1), SDValue(Result, 0));
14030b57cec5SDimitry Andric   CurDAG->RemoveDeadNode(Node);
14040b57cec5SDimitry Andric   return true;
14050b57cec5SDimitry Andric }
14060b57cec5SDimitry Andric 
14070b57cec5SDimitry Andric bool SystemZDAGToDAGISel::canUseBlockOperation(StoreSDNode *Store,
14080b57cec5SDimitry Andric                                                LoadSDNode *Load) const {
14090b57cec5SDimitry Andric   // Check that the two memory operands have the same size.
14100b57cec5SDimitry Andric   if (Load->getMemoryVT() != Store->getMemoryVT())
14110b57cec5SDimitry Andric     return false;
14120b57cec5SDimitry Andric 
14130b57cec5SDimitry Andric   // Volatility stops an access from being decomposed.
14140b57cec5SDimitry Andric   if (Load->isVolatile() || Store->isVolatile())
14150b57cec5SDimitry Andric     return false;
14160b57cec5SDimitry Andric 
14170b57cec5SDimitry Andric   // There's no chance of overlap if the load is invariant.
14180b57cec5SDimitry Andric   if (Load->isInvariant() && Load->isDereferenceable())
14190b57cec5SDimitry Andric     return true;
14200b57cec5SDimitry Andric 
14210b57cec5SDimitry Andric   // Otherwise we need to check whether there's an alias.
14220b57cec5SDimitry Andric   const Value *V1 = Load->getMemOperand()->getValue();
14230b57cec5SDimitry Andric   const Value *V2 = Store->getMemOperand()->getValue();
14240b57cec5SDimitry Andric   if (!V1 || !V2)
14250b57cec5SDimitry Andric     return false;
14260b57cec5SDimitry Andric 
14270b57cec5SDimitry Andric   // Reject equality.
14280b57cec5SDimitry Andric   uint64_t Size = Load->getMemoryVT().getStoreSize();
14290b57cec5SDimitry Andric   int64_t End1 = Load->getSrcValueOffset() + Size;
14300b57cec5SDimitry Andric   int64_t End2 = Store->getSrcValueOffset() + Size;
14310b57cec5SDimitry Andric   if (V1 == V2 && End1 == End2)
14320b57cec5SDimitry Andric     return false;
14330b57cec5SDimitry Andric 
1434fe6060f1SDimitry Andric   return AA->isNoAlias(MemoryLocation(V1, End1, Load->getAAInfo()),
14350b57cec5SDimitry Andric                        MemoryLocation(V2, End2, Store->getAAInfo()));
14360b57cec5SDimitry Andric }
14370b57cec5SDimitry Andric 
14380b57cec5SDimitry Andric bool SystemZDAGToDAGISel::storeLoadCanUseMVC(SDNode *N) const {
14390b57cec5SDimitry Andric   auto *Store = cast<StoreSDNode>(N);
14400b57cec5SDimitry Andric   auto *Load = cast<LoadSDNode>(Store->getValue());
14410b57cec5SDimitry Andric 
14420b57cec5SDimitry Andric   // Prefer not to use MVC if either address can use ... RELATIVE LONG
14430b57cec5SDimitry Andric   // instructions.
14440b57cec5SDimitry Andric   uint64_t Size = Load->getMemoryVT().getStoreSize();
14450b57cec5SDimitry Andric   if (Size > 1 && Size <= 8) {
14460b57cec5SDimitry Andric     // Prefer LHRL, LRL and LGRL.
14470b57cec5SDimitry Andric     if (SystemZISD::isPCREL(Load->getBasePtr().getOpcode()))
14480b57cec5SDimitry Andric       return false;
14490b57cec5SDimitry Andric     // Prefer STHRL, STRL and STGRL.
14500b57cec5SDimitry Andric     if (SystemZISD::isPCREL(Store->getBasePtr().getOpcode()))
14510b57cec5SDimitry Andric       return false;
14520b57cec5SDimitry Andric   }
14530b57cec5SDimitry Andric 
14540b57cec5SDimitry Andric   return canUseBlockOperation(Store, Load);
14550b57cec5SDimitry Andric }
14560b57cec5SDimitry Andric 
14570b57cec5SDimitry Andric bool SystemZDAGToDAGISel::storeLoadCanUseBlockBinary(SDNode *N,
14580b57cec5SDimitry Andric                                                      unsigned I) const {
14590b57cec5SDimitry Andric   auto *StoreA = cast<StoreSDNode>(N);
14600b57cec5SDimitry Andric   auto *LoadA = cast<LoadSDNode>(StoreA->getValue().getOperand(1 - I));
14610b57cec5SDimitry Andric   auto *LoadB = cast<LoadSDNode>(StoreA->getValue().getOperand(I));
14625ffd83dbSDimitry Andric   return !LoadA->isVolatile() && LoadA->getMemoryVT() == LoadB->getMemoryVT() &&
14635ffd83dbSDimitry Andric          canUseBlockOperation(StoreA, LoadB);
14640b57cec5SDimitry Andric }
14650b57cec5SDimitry Andric 
1466e8d8bef9SDimitry Andric bool SystemZDAGToDAGISel::storeLoadIsAligned(SDNode *N) const {
1467e8d8bef9SDimitry Andric 
1468e8d8bef9SDimitry Andric   auto *MemAccess = cast<LSBaseSDNode>(N);
1469e8d8bef9SDimitry Andric   TypeSize StoreSize = MemAccess->getMemoryVT().getStoreSize();
1470e8d8bef9SDimitry Andric   SDValue BasePtr = MemAccess->getBasePtr();
1471e8d8bef9SDimitry Andric   MachineMemOperand *MMO = MemAccess->getMemOperand();
1472e8d8bef9SDimitry Andric   assert(MMO && "Expected a memory operand.");
1473e8d8bef9SDimitry Andric 
1474e8d8bef9SDimitry Andric   // The memory access must have a proper alignment and no index register.
1475*81ad6265SDimitry Andric   if (MemAccess->getAlign().value() < StoreSize ||
1476e8d8bef9SDimitry Andric       !MemAccess->getOffset().isUndef())
1477e8d8bef9SDimitry Andric     return false;
1478e8d8bef9SDimitry Andric 
1479e8d8bef9SDimitry Andric   // The MMO must not have an unaligned offset.
1480e8d8bef9SDimitry Andric   if (MMO->getOffset() % StoreSize != 0)
1481e8d8bef9SDimitry Andric     return false;
1482e8d8bef9SDimitry Andric 
1483e8d8bef9SDimitry Andric   // An access to GOT or the Constant Pool is aligned.
1484e8d8bef9SDimitry Andric   if (const PseudoSourceValue *PSV = MMO->getPseudoValue())
1485e8d8bef9SDimitry Andric     if ((PSV->isGOT() || PSV->isConstantPool()))
1486e8d8bef9SDimitry Andric       return true;
1487e8d8bef9SDimitry Andric 
1488e8d8bef9SDimitry Andric   // Check the alignment of a Global Address.
1489e8d8bef9SDimitry Andric   if (BasePtr.getNumOperands())
1490e8d8bef9SDimitry Andric     if (GlobalAddressSDNode *GA =
1491e8d8bef9SDimitry Andric         dyn_cast<GlobalAddressSDNode>(BasePtr.getOperand(0))) {
1492e8d8bef9SDimitry Andric       // The immediate offset must be aligned.
1493e8d8bef9SDimitry Andric       if (GA->getOffset() % StoreSize != 0)
1494e8d8bef9SDimitry Andric         return false;
1495e8d8bef9SDimitry Andric 
1496e8d8bef9SDimitry Andric       // The alignment of the symbol itself must be at least the store size.
1497e8d8bef9SDimitry Andric       const GlobalValue *GV = GA->getGlobal();
1498e8d8bef9SDimitry Andric       const DataLayout &DL = GV->getParent()->getDataLayout();
1499e8d8bef9SDimitry Andric       if (GV->getPointerAlignment(DL).value() < StoreSize)
1500e8d8bef9SDimitry Andric         return false;
1501e8d8bef9SDimitry Andric     }
1502e8d8bef9SDimitry Andric 
1503e8d8bef9SDimitry Andric   return true;
1504e8d8bef9SDimitry Andric }
1505e8d8bef9SDimitry Andric 
15060b57cec5SDimitry Andric void SystemZDAGToDAGISel::Select(SDNode *Node) {
15070b57cec5SDimitry Andric   // If we have a custom node, we already have selected!
15080b57cec5SDimitry Andric   if (Node->isMachineOpcode()) {
15090b57cec5SDimitry Andric     LLVM_DEBUG(errs() << "== "; Node->dump(CurDAG); errs() << "\n");
15100b57cec5SDimitry Andric     Node->setNodeId(-1);
15110b57cec5SDimitry Andric     return;
15120b57cec5SDimitry Andric   }
15130b57cec5SDimitry Andric 
15140b57cec5SDimitry Andric   unsigned Opcode = Node->getOpcode();
15150b57cec5SDimitry Andric   switch (Opcode) {
15160b57cec5SDimitry Andric   case ISD::OR:
15170b57cec5SDimitry Andric     if (Node->getOperand(1).getOpcode() != ISD::Constant)
15180b57cec5SDimitry Andric       if (tryRxSBG(Node, SystemZ::ROSBG))
15190b57cec5SDimitry Andric         return;
15200b57cec5SDimitry Andric     goto or_xor;
15210b57cec5SDimitry Andric 
15220b57cec5SDimitry Andric   case ISD::XOR:
15230b57cec5SDimitry Andric     if (Node->getOperand(1).getOpcode() != ISD::Constant)
15240b57cec5SDimitry Andric       if (tryRxSBG(Node, SystemZ::RXSBG))
15250b57cec5SDimitry Andric         return;
15260b57cec5SDimitry Andric     // Fall through.
15270b57cec5SDimitry Andric   or_xor:
15280b57cec5SDimitry Andric     // If this is a 64-bit operation in which both 32-bit halves are nonzero,
15290b57cec5SDimitry Andric     // split the operation into two.  If both operands here happen to be
15300b57cec5SDimitry Andric     // constant, leave this to common code to optimize.
15310b57cec5SDimitry Andric     if (Node->getValueType(0) == MVT::i64 &&
15320b57cec5SDimitry Andric         Node->getOperand(0).getOpcode() != ISD::Constant)
15330b57cec5SDimitry Andric       if (auto *Op1 = dyn_cast<ConstantSDNode>(Node->getOperand(1))) {
15340b57cec5SDimitry Andric         uint64_t Val = Op1->getZExtValue();
15350b57cec5SDimitry Andric         // Don't split the operation if we can match one of the combined
15360b57cec5SDimitry Andric         // logical operations provided by miscellaneous-extensions-3.
15370b57cec5SDimitry Andric         if (Subtarget->hasMiscellaneousExtensions3()) {
15380b57cec5SDimitry Andric           unsigned ChildOpcode = Node->getOperand(0).getOpcode();
15390b57cec5SDimitry Andric           // Check whether this expression matches NAND/NOR/NXOR.
15400b57cec5SDimitry Andric           if (Val == (uint64_t)-1 && Opcode == ISD::XOR)
15410b57cec5SDimitry Andric             if (ChildOpcode == ISD::AND || ChildOpcode == ISD::OR ||
15420b57cec5SDimitry Andric                 ChildOpcode == ISD::XOR)
15430b57cec5SDimitry Andric               break;
1544480093f4SDimitry Andric           // Check whether this expression matches OR-with-complement
1545480093f4SDimitry Andric           // (or matches an alternate pattern for NXOR).
1546480093f4SDimitry Andric           if (ChildOpcode == ISD::XOR) {
15470b57cec5SDimitry Andric             auto Op0 = Node->getOperand(0);
15480b57cec5SDimitry Andric             if (auto *Op0Op1 = dyn_cast<ConstantSDNode>(Op0->getOperand(1)))
15490b57cec5SDimitry Andric               if (Op0Op1->getZExtValue() == (uint64_t)-1)
15500b57cec5SDimitry Andric                 break;
15510b57cec5SDimitry Andric           }
15520b57cec5SDimitry Andric         }
15530b57cec5SDimitry Andric         if (!SystemZ::isImmLF(Val) && !SystemZ::isImmHF(Val)) {
15540b57cec5SDimitry Andric           splitLargeImmediate(Opcode, Node, Node->getOperand(0),
15550b57cec5SDimitry Andric                               Val - uint32_t(Val), uint32_t(Val));
15560b57cec5SDimitry Andric           return;
15570b57cec5SDimitry Andric         }
15580b57cec5SDimitry Andric       }
15590b57cec5SDimitry Andric     break;
15600b57cec5SDimitry Andric 
15610b57cec5SDimitry Andric   case ISD::AND:
15620b57cec5SDimitry Andric     if (Node->getOperand(1).getOpcode() != ISD::Constant)
15630b57cec5SDimitry Andric       if (tryRxSBG(Node, SystemZ::RNSBG))
15640b57cec5SDimitry Andric         return;
15650b57cec5SDimitry Andric     LLVM_FALLTHROUGH;
15660b57cec5SDimitry Andric   case ISD::ROTL:
15670b57cec5SDimitry Andric   case ISD::SHL:
15680b57cec5SDimitry Andric   case ISD::SRL:
15690b57cec5SDimitry Andric   case ISD::ZERO_EXTEND:
15700b57cec5SDimitry Andric     if (tryRISBGZero(Node))
15710b57cec5SDimitry Andric       return;
15720b57cec5SDimitry Andric     break;
15730b57cec5SDimitry Andric 
15740b57cec5SDimitry Andric   case ISD::Constant:
15750b57cec5SDimitry Andric     // If this is a 64-bit constant that is out of the range of LLILF,
15760b57cec5SDimitry Andric     // LLIHF and LGFI, split it into two 32-bit pieces.
15770b57cec5SDimitry Andric     if (Node->getValueType(0) == MVT::i64) {
15780b57cec5SDimitry Andric       uint64_t Val = cast<ConstantSDNode>(Node)->getZExtValue();
15790b57cec5SDimitry Andric       if (!SystemZ::isImmLF(Val) && !SystemZ::isImmHF(Val) && !isInt<32>(Val)) {
15800b57cec5SDimitry Andric         splitLargeImmediate(ISD::OR, Node, SDValue(), Val - uint32_t(Val),
15810b57cec5SDimitry Andric                             uint32_t(Val));
15820b57cec5SDimitry Andric         return;
15830b57cec5SDimitry Andric       }
15840b57cec5SDimitry Andric     }
15850b57cec5SDimitry Andric     break;
15860b57cec5SDimitry Andric 
15870b57cec5SDimitry Andric   case SystemZISD::SELECT_CCMASK: {
15880b57cec5SDimitry Andric     SDValue Op0 = Node->getOperand(0);
15890b57cec5SDimitry Andric     SDValue Op1 = Node->getOperand(1);
15900b57cec5SDimitry Andric     // Prefer to put any load first, so that it can be matched as a
15910b57cec5SDimitry Andric     // conditional load.  Likewise for constants in range for LOCHI.
15920b57cec5SDimitry Andric     if ((Op1.getOpcode() == ISD::LOAD && Op0.getOpcode() != ISD::LOAD) ||
15930b57cec5SDimitry Andric         (Subtarget->hasLoadStoreOnCond2() &&
15940b57cec5SDimitry Andric          Node->getValueType(0).isInteger() &&
15950b57cec5SDimitry Andric          Op1.getOpcode() == ISD::Constant &&
15960b57cec5SDimitry Andric          isInt<16>(cast<ConstantSDNode>(Op1)->getSExtValue()) &&
15970b57cec5SDimitry Andric          !(Op0.getOpcode() == ISD::Constant &&
15980b57cec5SDimitry Andric            isInt<16>(cast<ConstantSDNode>(Op0)->getSExtValue())))) {
15990b57cec5SDimitry Andric       SDValue CCValid = Node->getOperand(2);
16000b57cec5SDimitry Andric       SDValue CCMask = Node->getOperand(3);
16010b57cec5SDimitry Andric       uint64_t ConstCCValid =
16020b57cec5SDimitry Andric         cast<ConstantSDNode>(CCValid.getNode())->getZExtValue();
16030b57cec5SDimitry Andric       uint64_t ConstCCMask =
16040b57cec5SDimitry Andric         cast<ConstantSDNode>(CCMask.getNode())->getZExtValue();
16050b57cec5SDimitry Andric       // Invert the condition.
16068bcb0991SDimitry Andric       CCMask = CurDAG->getTargetConstant(ConstCCValid ^ ConstCCMask,
16078bcb0991SDimitry Andric                                          SDLoc(Node), CCMask.getValueType());
16080b57cec5SDimitry Andric       SDValue Op4 = Node->getOperand(4);
16090b57cec5SDimitry Andric       SDNode *UpdatedNode =
16100b57cec5SDimitry Andric         CurDAG->UpdateNodeOperands(Node, Op1, Op0, CCValid, CCMask, Op4);
16110b57cec5SDimitry Andric       if (UpdatedNode != Node) {
16120b57cec5SDimitry Andric         // In case this node already exists then replace Node with it.
16130b57cec5SDimitry Andric         ReplaceNode(Node, UpdatedNode);
16140b57cec5SDimitry Andric         Node = UpdatedNode;
16150b57cec5SDimitry Andric       }
16160b57cec5SDimitry Andric     }
16170b57cec5SDimitry Andric     break;
16180b57cec5SDimitry Andric   }
16190b57cec5SDimitry Andric 
16200b57cec5SDimitry Andric   case ISD::INSERT_VECTOR_ELT: {
16210b57cec5SDimitry Andric     EVT VT = Node->getValueType(0);
16220b57cec5SDimitry Andric     unsigned ElemBitSize = VT.getScalarSizeInBits();
16230b57cec5SDimitry Andric     if (ElemBitSize == 32) {
16240b57cec5SDimitry Andric       if (tryGather(Node, SystemZ::VGEF))
16250b57cec5SDimitry Andric         return;
16260b57cec5SDimitry Andric     } else if (ElemBitSize == 64) {
16270b57cec5SDimitry Andric       if (tryGather(Node, SystemZ::VGEG))
16280b57cec5SDimitry Andric         return;
16290b57cec5SDimitry Andric     }
16300b57cec5SDimitry Andric     break;
16310b57cec5SDimitry Andric   }
16320b57cec5SDimitry Andric 
16330b57cec5SDimitry Andric   case ISD::BUILD_VECTOR: {
16340b57cec5SDimitry Andric     auto *BVN = cast<BuildVectorSDNode>(Node);
16350b57cec5SDimitry Andric     SystemZVectorConstantInfo VCI(BVN);
16360b57cec5SDimitry Andric     if (VCI.isVectorConstantLegal(*Subtarget)) {
16370b57cec5SDimitry Andric       loadVectorConstant(VCI, Node);
16380b57cec5SDimitry Andric       return;
16390b57cec5SDimitry Andric     }
16400b57cec5SDimitry Andric     break;
16410b57cec5SDimitry Andric   }
16420b57cec5SDimitry Andric 
16430b57cec5SDimitry Andric   case ISD::ConstantFP: {
16440b57cec5SDimitry Andric     APFloat Imm = cast<ConstantFPSDNode>(Node)->getValueAPF();
16450b57cec5SDimitry Andric     if (Imm.isZero() || Imm.isNegZero())
16460b57cec5SDimitry Andric       break;
16470b57cec5SDimitry Andric     SystemZVectorConstantInfo VCI(Imm);
16480b57cec5SDimitry Andric     bool Success = VCI.isVectorConstantLegal(*Subtarget); (void)Success;
16490b57cec5SDimitry Andric     assert(Success && "Expected legal FP immediate");
16500b57cec5SDimitry Andric     loadVectorConstant(VCI, Node);
16510b57cec5SDimitry Andric     return;
16520b57cec5SDimitry Andric   }
16530b57cec5SDimitry Andric 
16540b57cec5SDimitry Andric   case ISD::STORE: {
16550b57cec5SDimitry Andric     if (tryFoldLoadStoreIntoMemOperand(Node))
16560b57cec5SDimitry Andric       return;
16570b57cec5SDimitry Andric     auto *Store = cast<StoreSDNode>(Node);
16580b57cec5SDimitry Andric     unsigned ElemBitSize = Store->getValue().getValueSizeInBits();
16590b57cec5SDimitry Andric     if (ElemBitSize == 32) {
16600b57cec5SDimitry Andric       if (tryScatter(Store, SystemZ::VSCEF))
16610b57cec5SDimitry Andric         return;
16620b57cec5SDimitry Andric     } else if (ElemBitSize == 64) {
16630b57cec5SDimitry Andric       if (tryScatter(Store, SystemZ::VSCEG))
16640b57cec5SDimitry Andric         return;
16650b57cec5SDimitry Andric     }
16660b57cec5SDimitry Andric     break;
16670b57cec5SDimitry Andric   }
16680b57cec5SDimitry Andric   }
16690b57cec5SDimitry Andric 
16700b57cec5SDimitry Andric   SelectCode(Node);
16710b57cec5SDimitry Andric }
16720b57cec5SDimitry Andric 
16730b57cec5SDimitry Andric bool SystemZDAGToDAGISel::
16740b57cec5SDimitry Andric SelectInlineAsmMemoryOperand(const SDValue &Op,
16750b57cec5SDimitry Andric                              unsigned ConstraintID,
16760b57cec5SDimitry Andric                              std::vector<SDValue> &OutOps) {
16770b57cec5SDimitry Andric   SystemZAddressingMode::AddrForm Form;
16780b57cec5SDimitry Andric   SystemZAddressingMode::DispRange DispRange;
16790b57cec5SDimitry Andric   SDValue Base, Disp, Index;
16800b57cec5SDimitry Andric 
16810b57cec5SDimitry Andric   switch(ConstraintID) {
16820b57cec5SDimitry Andric   default:
16830b57cec5SDimitry Andric     llvm_unreachable("Unexpected asm memory constraint");
16840b57cec5SDimitry Andric   case InlineAsm::Constraint_i:
16850b57cec5SDimitry Andric   case InlineAsm::Constraint_Q:
1686*81ad6265SDimitry Andric   case InlineAsm::Constraint_ZQ:
16870b57cec5SDimitry Andric     // Accept an address with a short displacement, but no index.
16880b57cec5SDimitry Andric     Form = SystemZAddressingMode::FormBD;
16890b57cec5SDimitry Andric     DispRange = SystemZAddressingMode::Disp12Only;
16900b57cec5SDimitry Andric     break;
16910b57cec5SDimitry Andric   case InlineAsm::Constraint_R:
1692*81ad6265SDimitry Andric   case InlineAsm::Constraint_ZR:
16930b57cec5SDimitry Andric     // Accept an address with a short displacement and an index.
16940b57cec5SDimitry Andric     Form = SystemZAddressingMode::FormBDXNormal;
16950b57cec5SDimitry Andric     DispRange = SystemZAddressingMode::Disp12Only;
16960b57cec5SDimitry Andric     break;
16970b57cec5SDimitry Andric   case InlineAsm::Constraint_S:
1698*81ad6265SDimitry Andric   case InlineAsm::Constraint_ZS:
16990b57cec5SDimitry Andric     // Accept an address with a long displacement, but no index.
17000b57cec5SDimitry Andric     Form = SystemZAddressingMode::FormBD;
17010b57cec5SDimitry Andric     DispRange = SystemZAddressingMode::Disp20Only;
17020b57cec5SDimitry Andric     break;
17030b57cec5SDimitry Andric   case InlineAsm::Constraint_T:
17040b57cec5SDimitry Andric   case InlineAsm::Constraint_m:
17050b57cec5SDimitry Andric   case InlineAsm::Constraint_o:
1706*81ad6265SDimitry Andric   case InlineAsm::Constraint_p:
1707*81ad6265SDimitry Andric   case InlineAsm::Constraint_ZT:
17080b57cec5SDimitry Andric     // Accept an address with a long displacement and an index.
17090b57cec5SDimitry Andric     // m works the same as T, as this is the most general case.
17100b57cec5SDimitry Andric     // We don't really have any special handling of "offsettable"
17110b57cec5SDimitry Andric     // memory addresses, so just treat o the same as m.
17120b57cec5SDimitry Andric     Form = SystemZAddressingMode::FormBDXNormal;
17130b57cec5SDimitry Andric     DispRange = SystemZAddressingMode::Disp20Only;
17140b57cec5SDimitry Andric     break;
17150b57cec5SDimitry Andric   }
17160b57cec5SDimitry Andric 
17170b57cec5SDimitry Andric   if (selectBDXAddr(Form, DispRange, Op, Base, Disp, Index)) {
17180b57cec5SDimitry Andric     const TargetRegisterClass *TRC =
17190b57cec5SDimitry Andric       Subtarget->getRegisterInfo()->getPointerRegClass(*MF);
17200b57cec5SDimitry Andric     SDLoc DL(Base);
17210b57cec5SDimitry Andric     SDValue RC = CurDAG->getTargetConstant(TRC->getID(), DL, MVT::i32);
17220b57cec5SDimitry Andric 
17230b57cec5SDimitry Andric     // Make sure that the base address doesn't go into %r0.
17240b57cec5SDimitry Andric     // If it's a TargetFrameIndex or a fixed register, we shouldn't do anything.
17250b57cec5SDimitry Andric     if (Base.getOpcode() != ISD::TargetFrameIndex &&
17260b57cec5SDimitry Andric         Base.getOpcode() != ISD::Register) {
17270b57cec5SDimitry Andric       Base =
17280b57cec5SDimitry Andric         SDValue(CurDAG->getMachineNode(TargetOpcode::COPY_TO_REGCLASS,
17290b57cec5SDimitry Andric                                        DL, Base.getValueType(),
17300b57cec5SDimitry Andric                                        Base, RC), 0);
17310b57cec5SDimitry Andric     }
17320b57cec5SDimitry Andric 
17330b57cec5SDimitry Andric     // Make sure that the index register isn't assigned to %r0 either.
17340b57cec5SDimitry Andric     if (Index.getOpcode() != ISD::Register) {
17350b57cec5SDimitry Andric       Index =
17360b57cec5SDimitry Andric         SDValue(CurDAG->getMachineNode(TargetOpcode::COPY_TO_REGCLASS,
17370b57cec5SDimitry Andric                                        DL, Index.getValueType(),
17380b57cec5SDimitry Andric                                        Index, RC), 0);
17390b57cec5SDimitry Andric     }
17400b57cec5SDimitry Andric 
17410b57cec5SDimitry Andric     OutOps.push_back(Base);
17420b57cec5SDimitry Andric     OutOps.push_back(Disp);
17430b57cec5SDimitry Andric     OutOps.push_back(Index);
17440b57cec5SDimitry Andric     return false;
17450b57cec5SDimitry Andric   }
17460b57cec5SDimitry Andric 
17470b57cec5SDimitry Andric   return true;
17480b57cec5SDimitry Andric }
17490b57cec5SDimitry Andric 
17500b57cec5SDimitry Andric // IsProfitableToFold - Returns true if is profitable to fold the specific
17510b57cec5SDimitry Andric // operand node N of U during instruction selection that starts at Root.
17520b57cec5SDimitry Andric bool
17530b57cec5SDimitry Andric SystemZDAGToDAGISel::IsProfitableToFold(SDValue N, SDNode *U,
17540b57cec5SDimitry Andric                                         SDNode *Root) const {
17550b57cec5SDimitry Andric   // We want to avoid folding a LOAD into an ICMP node if as a result
17560b57cec5SDimitry Andric   // we would be forced to spill the condition code into a GPR.
17570b57cec5SDimitry Andric   if (N.getOpcode() == ISD::LOAD && U->getOpcode() == SystemZISD::ICMP) {
17580b57cec5SDimitry Andric     if (!N.hasOneUse() || !U->hasOneUse())
17590b57cec5SDimitry Andric       return false;
17600b57cec5SDimitry Andric 
17610b57cec5SDimitry Andric     // The user of the CC value will usually be a CopyToReg into the
17620b57cec5SDimitry Andric     // physical CC register, which in turn is glued and chained to the
17630b57cec5SDimitry Andric     // actual instruction that uses the CC value.  Bail out if we have
17640b57cec5SDimitry Andric     // anything else than that.
17650b57cec5SDimitry Andric     SDNode *CCUser = *U->use_begin();
17660b57cec5SDimitry Andric     SDNode *CCRegUser = nullptr;
17670b57cec5SDimitry Andric     if (CCUser->getOpcode() == ISD::CopyToReg ||
17680b57cec5SDimitry Andric         cast<RegisterSDNode>(CCUser->getOperand(1))->getReg() == SystemZ::CC) {
17690b57cec5SDimitry Andric       for (auto *U : CCUser->uses()) {
17700b57cec5SDimitry Andric         if (CCRegUser == nullptr)
17710b57cec5SDimitry Andric           CCRegUser = U;
17720b57cec5SDimitry Andric         else if (CCRegUser != U)
17730b57cec5SDimitry Andric           return false;
17740b57cec5SDimitry Andric       }
17750b57cec5SDimitry Andric     }
17760b57cec5SDimitry Andric     if (CCRegUser == nullptr)
17770b57cec5SDimitry Andric       return false;
17780b57cec5SDimitry Andric 
17790b57cec5SDimitry Andric     // If the actual instruction is a branch, the only thing that remains to be
17800b57cec5SDimitry Andric     // checked is whether the CCUser chain is a predecessor of the load.
17810b57cec5SDimitry Andric     if (CCRegUser->isMachineOpcode() &&
17820b57cec5SDimitry Andric         CCRegUser->getMachineOpcode() == SystemZ::BRC)
17830b57cec5SDimitry Andric       return !N->isPredecessorOf(CCUser->getOperand(0).getNode());
17840b57cec5SDimitry Andric 
17850b57cec5SDimitry Andric     // Otherwise, the instruction may have multiple operands, and we need to
17860b57cec5SDimitry Andric     // verify that none of them are a predecessor of the load.  This is exactly
17870b57cec5SDimitry Andric     // the same check that would be done by common code if the CC setter were
17880b57cec5SDimitry Andric     // glued to the CC user, so simply invoke that check here.
17890b57cec5SDimitry Andric     if (!IsLegalToFold(N, U, CCRegUser, OptLevel, false))
17900b57cec5SDimitry Andric       return false;
17910b57cec5SDimitry Andric   }
17920b57cec5SDimitry Andric 
17930b57cec5SDimitry Andric   return true;
17940b57cec5SDimitry Andric }
17950b57cec5SDimitry Andric 
17960b57cec5SDimitry Andric namespace {
17970b57cec5SDimitry Andric // Represents a sequence for extracting a 0/1 value from an IPM result:
17980b57cec5SDimitry Andric // (((X ^ XORValue) + AddValue) >> Bit)
17990b57cec5SDimitry Andric struct IPMConversion {
18000b57cec5SDimitry Andric   IPMConversion(unsigned xorValue, int64_t addValue, unsigned bit)
18010b57cec5SDimitry Andric     : XORValue(xorValue), AddValue(addValue), Bit(bit) {}
18020b57cec5SDimitry Andric 
18030b57cec5SDimitry Andric   int64_t XORValue;
18040b57cec5SDimitry Andric   int64_t AddValue;
18050b57cec5SDimitry Andric   unsigned Bit;
18060b57cec5SDimitry Andric };
18070b57cec5SDimitry Andric } // end anonymous namespace
18080b57cec5SDimitry Andric 
18090b57cec5SDimitry Andric // Return a sequence for getting a 1 from an IPM result when CC has a
18100b57cec5SDimitry Andric // value in CCMask and a 0 when CC has a value in CCValid & ~CCMask.
18110b57cec5SDimitry Andric // The handling of CC values outside CCValid doesn't matter.
18120b57cec5SDimitry Andric static IPMConversion getIPMConversion(unsigned CCValid, unsigned CCMask) {
18130b57cec5SDimitry Andric   // Deal with cases where the result can be taken directly from a bit
18140b57cec5SDimitry Andric   // of the IPM result.
18150b57cec5SDimitry Andric   if (CCMask == (CCValid & (SystemZ::CCMASK_1 | SystemZ::CCMASK_3)))
18160b57cec5SDimitry Andric     return IPMConversion(0, 0, SystemZ::IPM_CC);
18170b57cec5SDimitry Andric   if (CCMask == (CCValid & (SystemZ::CCMASK_2 | SystemZ::CCMASK_3)))
18180b57cec5SDimitry Andric     return IPMConversion(0, 0, SystemZ::IPM_CC + 1);
18190b57cec5SDimitry Andric 
18200b57cec5SDimitry Andric   // Deal with cases where we can add a value to force the sign bit
18210b57cec5SDimitry Andric   // to contain the right value.  Putting the bit in 31 means we can
18220b57cec5SDimitry Andric   // use SRL rather than RISBG(L), and also makes it easier to get a
18230b57cec5SDimitry Andric   // 0/-1 value, so it has priority over the other tests below.
18240b57cec5SDimitry Andric   //
18250b57cec5SDimitry Andric   // These sequences rely on the fact that the upper two bits of the
18260b57cec5SDimitry Andric   // IPM result are zero.
18270b57cec5SDimitry Andric   uint64_t TopBit = uint64_t(1) << 31;
18280b57cec5SDimitry Andric   if (CCMask == (CCValid & SystemZ::CCMASK_0))
18290b57cec5SDimitry Andric     return IPMConversion(0, -(1 << SystemZ::IPM_CC), 31);
18300b57cec5SDimitry Andric   if (CCMask == (CCValid & (SystemZ::CCMASK_0 | SystemZ::CCMASK_1)))
18310b57cec5SDimitry Andric     return IPMConversion(0, -(2 << SystemZ::IPM_CC), 31);
18320b57cec5SDimitry Andric   if (CCMask == (CCValid & (SystemZ::CCMASK_0
18330b57cec5SDimitry Andric                             | SystemZ::CCMASK_1
18340b57cec5SDimitry Andric                             | SystemZ::CCMASK_2)))
18350b57cec5SDimitry Andric     return IPMConversion(0, -(3 << SystemZ::IPM_CC), 31);
18360b57cec5SDimitry Andric   if (CCMask == (CCValid & SystemZ::CCMASK_3))
18370b57cec5SDimitry Andric     return IPMConversion(0, TopBit - (3 << SystemZ::IPM_CC), 31);
18380b57cec5SDimitry Andric   if (CCMask == (CCValid & (SystemZ::CCMASK_1
18390b57cec5SDimitry Andric                             | SystemZ::CCMASK_2
18400b57cec5SDimitry Andric                             | SystemZ::CCMASK_3)))
18410b57cec5SDimitry Andric     return IPMConversion(0, TopBit - (1 << SystemZ::IPM_CC), 31);
18420b57cec5SDimitry Andric 
18430b57cec5SDimitry Andric   // Next try inverting the value and testing a bit.  0/1 could be
18440b57cec5SDimitry Andric   // handled this way too, but we dealt with that case above.
18450b57cec5SDimitry Andric   if (CCMask == (CCValid & (SystemZ::CCMASK_0 | SystemZ::CCMASK_2)))
18460b57cec5SDimitry Andric     return IPMConversion(-1, 0, SystemZ::IPM_CC);
18470b57cec5SDimitry Andric 
18480b57cec5SDimitry Andric   // Handle cases where adding a value forces a non-sign bit to contain
18490b57cec5SDimitry Andric   // the right value.
18500b57cec5SDimitry Andric   if (CCMask == (CCValid & (SystemZ::CCMASK_1 | SystemZ::CCMASK_2)))
18510b57cec5SDimitry Andric     return IPMConversion(0, 1 << SystemZ::IPM_CC, SystemZ::IPM_CC + 1);
18520b57cec5SDimitry Andric   if (CCMask == (CCValid & (SystemZ::CCMASK_0 | SystemZ::CCMASK_3)))
18530b57cec5SDimitry Andric     return IPMConversion(0, -(1 << SystemZ::IPM_CC), SystemZ::IPM_CC + 1);
18540b57cec5SDimitry Andric 
18550b57cec5SDimitry Andric   // The remaining cases are 1, 2, 0/1/3 and 0/2/3.  All these are
18560b57cec5SDimitry Andric   // can be done by inverting the low CC bit and applying one of the
18570b57cec5SDimitry Andric   // sign-based extractions above.
18580b57cec5SDimitry Andric   if (CCMask == (CCValid & SystemZ::CCMASK_1))
18590b57cec5SDimitry Andric     return IPMConversion(1 << SystemZ::IPM_CC, -(1 << SystemZ::IPM_CC), 31);
18600b57cec5SDimitry Andric   if (CCMask == (CCValid & SystemZ::CCMASK_2))
18610b57cec5SDimitry Andric     return IPMConversion(1 << SystemZ::IPM_CC,
18620b57cec5SDimitry Andric                          TopBit - (3 << SystemZ::IPM_CC), 31);
18630b57cec5SDimitry Andric   if (CCMask == (CCValid & (SystemZ::CCMASK_0
18640b57cec5SDimitry Andric                             | SystemZ::CCMASK_1
18650b57cec5SDimitry Andric                             | SystemZ::CCMASK_3)))
18660b57cec5SDimitry Andric     return IPMConversion(1 << SystemZ::IPM_CC, -(3 << SystemZ::IPM_CC), 31);
18670b57cec5SDimitry Andric   if (CCMask == (CCValid & (SystemZ::CCMASK_0
18680b57cec5SDimitry Andric                             | SystemZ::CCMASK_2
18690b57cec5SDimitry Andric                             | SystemZ::CCMASK_3)))
18700b57cec5SDimitry Andric     return IPMConversion(1 << SystemZ::IPM_CC,
18710b57cec5SDimitry Andric                          TopBit - (1 << SystemZ::IPM_CC), 31);
18720b57cec5SDimitry Andric 
18730b57cec5SDimitry Andric   llvm_unreachable("Unexpected CC combination");
18740b57cec5SDimitry Andric }
18750b57cec5SDimitry Andric 
18760b57cec5SDimitry Andric SDValue SystemZDAGToDAGISel::expandSelectBoolean(SDNode *Node) {
18770b57cec5SDimitry Andric   auto *TrueOp = dyn_cast<ConstantSDNode>(Node->getOperand(0));
18780b57cec5SDimitry Andric   auto *FalseOp = dyn_cast<ConstantSDNode>(Node->getOperand(1));
18790b57cec5SDimitry Andric   if (!TrueOp || !FalseOp)
18800b57cec5SDimitry Andric     return SDValue();
18810b57cec5SDimitry Andric   if (FalseOp->getZExtValue() != 0)
18820b57cec5SDimitry Andric     return SDValue();
18830b57cec5SDimitry Andric   if (TrueOp->getSExtValue() != 1 && TrueOp->getSExtValue() != -1)
18840b57cec5SDimitry Andric     return SDValue();
18850b57cec5SDimitry Andric 
18860b57cec5SDimitry Andric   auto *CCValidOp = dyn_cast<ConstantSDNode>(Node->getOperand(2));
18870b57cec5SDimitry Andric   auto *CCMaskOp = dyn_cast<ConstantSDNode>(Node->getOperand(3));
18880b57cec5SDimitry Andric   if (!CCValidOp || !CCMaskOp)
18890b57cec5SDimitry Andric     return SDValue();
18900b57cec5SDimitry Andric   int CCValid = CCValidOp->getZExtValue();
18910b57cec5SDimitry Andric   int CCMask = CCMaskOp->getZExtValue();
18920b57cec5SDimitry Andric 
18930b57cec5SDimitry Andric   SDLoc DL(Node);
18940b57cec5SDimitry Andric   SDValue CCReg = Node->getOperand(4);
18950b57cec5SDimitry Andric   IPMConversion IPM = getIPMConversion(CCValid, CCMask);
18960b57cec5SDimitry Andric   SDValue Result = CurDAG->getNode(SystemZISD::IPM, DL, MVT::i32, CCReg);
18970b57cec5SDimitry Andric 
18980b57cec5SDimitry Andric   if (IPM.XORValue)
18990b57cec5SDimitry Andric     Result = CurDAG->getNode(ISD::XOR, DL, MVT::i32, Result,
19000b57cec5SDimitry Andric                              CurDAG->getConstant(IPM.XORValue, DL, MVT::i32));
19010b57cec5SDimitry Andric 
19020b57cec5SDimitry Andric   if (IPM.AddValue)
19030b57cec5SDimitry Andric     Result = CurDAG->getNode(ISD::ADD, DL, MVT::i32, Result,
19040b57cec5SDimitry Andric                              CurDAG->getConstant(IPM.AddValue, DL, MVT::i32));
19050b57cec5SDimitry Andric 
19060b57cec5SDimitry Andric   EVT VT = Node->getValueType(0);
19070b57cec5SDimitry Andric   if (VT == MVT::i32 && IPM.Bit == 31) {
19080b57cec5SDimitry Andric     unsigned ShiftOp = TrueOp->getSExtValue() == 1 ? ISD::SRL : ISD::SRA;
19090b57cec5SDimitry Andric     Result = CurDAG->getNode(ShiftOp, DL, MVT::i32, Result,
19100b57cec5SDimitry Andric                              CurDAG->getConstant(IPM.Bit, DL, MVT::i32));
19110b57cec5SDimitry Andric   } else {
19120b57cec5SDimitry Andric     if (VT != MVT::i32)
19130b57cec5SDimitry Andric       Result = CurDAG->getNode(ISD::ANY_EXTEND, DL, VT, Result);
19140b57cec5SDimitry Andric 
19150b57cec5SDimitry Andric     if (TrueOp->getSExtValue() == 1) {
19160b57cec5SDimitry Andric       // The SHR/AND sequence should get optimized to an RISBG.
19170b57cec5SDimitry Andric       Result = CurDAG->getNode(ISD::SRL, DL, VT, Result,
19180b57cec5SDimitry Andric                                CurDAG->getConstant(IPM.Bit, DL, MVT::i32));
19190b57cec5SDimitry Andric       Result = CurDAG->getNode(ISD::AND, DL, VT, Result,
19200b57cec5SDimitry Andric                                CurDAG->getConstant(1, DL, VT));
19210b57cec5SDimitry Andric     } else {
19220b57cec5SDimitry Andric       // Sign-extend from IPM.Bit using a pair of shifts.
19230b57cec5SDimitry Andric       int ShlAmt = VT.getSizeInBits() - 1 - IPM.Bit;
19240b57cec5SDimitry Andric       int SraAmt = VT.getSizeInBits() - 1;
19250b57cec5SDimitry Andric       Result = CurDAG->getNode(ISD::SHL, DL, VT, Result,
19260b57cec5SDimitry Andric                                CurDAG->getConstant(ShlAmt, DL, MVT::i32));
19270b57cec5SDimitry Andric       Result = CurDAG->getNode(ISD::SRA, DL, VT, Result,
19280b57cec5SDimitry Andric                                CurDAG->getConstant(SraAmt, DL, MVT::i32));
19290b57cec5SDimitry Andric     }
19300b57cec5SDimitry Andric   }
19310b57cec5SDimitry Andric 
19320b57cec5SDimitry Andric   return Result;
19330b57cec5SDimitry Andric }
19340b57cec5SDimitry Andric 
19350b57cec5SDimitry Andric void SystemZDAGToDAGISel::PreprocessISelDAG() {
19360b57cec5SDimitry Andric   // If we have conditional immediate loads, we always prefer
19370b57cec5SDimitry Andric   // using those over an IPM sequence.
19380b57cec5SDimitry Andric   if (Subtarget->hasLoadStoreOnCond2())
19390b57cec5SDimitry Andric     return;
19400b57cec5SDimitry Andric 
19410b57cec5SDimitry Andric   bool MadeChange = false;
19420b57cec5SDimitry Andric 
19430b57cec5SDimitry Andric   for (SelectionDAG::allnodes_iterator I = CurDAG->allnodes_begin(),
19440b57cec5SDimitry Andric                                        E = CurDAG->allnodes_end();
19450b57cec5SDimitry Andric        I != E;) {
19460b57cec5SDimitry Andric     SDNode *N = &*I++;
19470b57cec5SDimitry Andric     if (N->use_empty())
19480b57cec5SDimitry Andric       continue;
19490b57cec5SDimitry Andric 
19500b57cec5SDimitry Andric     SDValue Res;
19510b57cec5SDimitry Andric     switch (N->getOpcode()) {
19520b57cec5SDimitry Andric     default: break;
19530b57cec5SDimitry Andric     case SystemZISD::SELECT_CCMASK:
19540b57cec5SDimitry Andric       Res = expandSelectBoolean(N);
19550b57cec5SDimitry Andric       break;
19560b57cec5SDimitry Andric     }
19570b57cec5SDimitry Andric 
19580b57cec5SDimitry Andric     if (Res) {
19590b57cec5SDimitry Andric       LLVM_DEBUG(dbgs() << "SystemZ DAG preprocessing replacing:\nOld:    ");
19600b57cec5SDimitry Andric       LLVM_DEBUG(N->dump(CurDAG));
19610b57cec5SDimitry Andric       LLVM_DEBUG(dbgs() << "\nNew: ");
19620b57cec5SDimitry Andric       LLVM_DEBUG(Res.getNode()->dump(CurDAG));
19630b57cec5SDimitry Andric       LLVM_DEBUG(dbgs() << "\n");
19640b57cec5SDimitry Andric 
19650b57cec5SDimitry Andric       CurDAG->ReplaceAllUsesOfValueWith(SDValue(N, 0), Res);
19660b57cec5SDimitry Andric       MadeChange = true;
19670b57cec5SDimitry Andric     }
19680b57cec5SDimitry Andric   }
19690b57cec5SDimitry Andric 
19700b57cec5SDimitry Andric   if (MadeChange)
19710b57cec5SDimitry Andric     CurDAG->RemoveDeadNodes();
19720b57cec5SDimitry Andric }
1973