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