|  | //===-- ARMSelectionDAGInfo.cpp - ARM SelectionDAG Info -------------------===// | 
|  | // | 
|  | //                     The LLVM Compiler Infrastructure | 
|  | // | 
|  | // This file is distributed under the University of Illinois Open Source | 
|  | // License. See LICENSE.TXT for details. | 
|  | // | 
|  | //===----------------------------------------------------------------------===// | 
|  | // | 
|  | // This file implements the ARMSelectionDAGInfo class. | 
|  | // | 
|  | //===----------------------------------------------------------------------===// | 
|  |  | 
|  | #include "ARMTargetMachine.h" | 
|  | #include "llvm/CodeGen/SelectionDAG.h" | 
|  | #include "llvm/IR/DerivedTypes.h" | 
|  | using namespace llvm; | 
|  |  | 
|  | #define DEBUG_TYPE "arm-selectiondag-info" | 
|  |  | 
|  | // Emit, if possible, a specialized version of the given Libcall. Typically this | 
|  | // means selecting the appropriately aligned version, but we also convert memset | 
|  | // of 0 into memclr. | 
|  | SDValue ARMSelectionDAGInfo::EmitSpecializedLibcall( | 
|  | SelectionDAG &DAG, const SDLoc &dl, SDValue Chain, SDValue Dst, SDValue Src, | 
|  | SDValue Size, unsigned Align, RTLIB::Libcall LC) const { | 
|  | const ARMSubtarget &Subtarget = | 
|  | DAG.getMachineFunction().getSubtarget<ARMSubtarget>(); | 
|  | const ARMTargetLowering *TLI = Subtarget.getTargetLowering(); | 
|  |  | 
|  | // Only use a specialized AEABI function if the default version of this | 
|  | // Libcall is an AEABI function. | 
|  | if (std::strncmp(TLI->getLibcallName(LC), "__aeabi", 7) != 0) | 
|  | return SDValue(); | 
|  |  | 
|  | // Translate RTLIB::Libcall to AEABILibcall. We only do this in order to be | 
|  | // able to translate memset to memclr and use the value to index the function | 
|  | // name array. | 
|  | enum { | 
|  | AEABI_MEMCPY = 0, | 
|  | AEABI_MEMMOVE, | 
|  | AEABI_MEMSET, | 
|  | AEABI_MEMCLR | 
|  | } AEABILibcall; | 
|  | switch (LC) { | 
|  | case RTLIB::MEMCPY: | 
|  | AEABILibcall = AEABI_MEMCPY; | 
|  | break; | 
|  | case RTLIB::MEMMOVE: | 
|  | AEABILibcall = AEABI_MEMMOVE; | 
|  | break; | 
|  | case RTLIB::MEMSET: | 
|  | AEABILibcall = AEABI_MEMSET; | 
|  | if (ConstantSDNode *ConstantSrc = dyn_cast<ConstantSDNode>(Src)) | 
|  | if (ConstantSrc->getZExtValue() == 0) | 
|  | AEABILibcall = AEABI_MEMCLR; | 
|  | break; | 
|  | default: | 
|  | return SDValue(); | 
|  | } | 
|  |  | 
|  | // Choose the most-aligned libcall variant that we can | 
|  | enum { | 
|  | ALIGN1 = 0, | 
|  | ALIGN4, | 
|  | ALIGN8 | 
|  | } AlignVariant; | 
|  | if ((Align & 7) == 0) | 
|  | AlignVariant = ALIGN8; | 
|  | else if ((Align & 3) == 0) | 
|  | AlignVariant = ALIGN4; | 
|  | else | 
|  | AlignVariant = ALIGN1; | 
|  |  | 
|  | TargetLowering::ArgListTy Args; | 
|  | TargetLowering::ArgListEntry Entry; | 
|  | Entry.Ty = DAG.getDataLayout().getIntPtrType(*DAG.getContext()); | 
|  | Entry.Node = Dst; | 
|  | Args.push_back(Entry); | 
|  | if (AEABILibcall == AEABI_MEMCLR) { | 
|  | Entry.Node = Size; | 
|  | Args.push_back(Entry); | 
|  | } else if (AEABILibcall == AEABI_MEMSET) { | 
|  | // Adjust parameters for memset, EABI uses format (ptr, size, value), | 
|  | // GNU library uses (ptr, value, size) | 
|  | // See RTABI section 4.3.4 | 
|  | Entry.Node = Size; | 
|  | Args.push_back(Entry); | 
|  |  | 
|  | // Extend or truncate the argument to be an i32 value for the call. | 
|  | if (Src.getValueType().bitsGT(MVT::i32)) | 
|  | Src = DAG.getNode(ISD::TRUNCATE, dl, MVT::i32, Src); | 
|  | else if (Src.getValueType().bitsLT(MVT::i32)) | 
|  | Src = DAG.getNode(ISD::ZERO_EXTEND, dl, MVT::i32, Src); | 
|  |  | 
|  | Entry.Node = Src; | 
|  | Entry.Ty = Type::getInt32Ty(*DAG.getContext()); | 
|  | Entry.IsSExt = false; | 
|  | Args.push_back(Entry); | 
|  | } else { | 
|  | Entry.Node = Src; | 
|  | Args.push_back(Entry); | 
|  |  | 
|  | Entry.Node = Size; | 
|  | Args.push_back(Entry); | 
|  | } | 
|  |  | 
|  | char const *FunctionNames[4][3] = { | 
|  | { "__aeabi_memcpy",  "__aeabi_memcpy4",  "__aeabi_memcpy8"  }, | 
|  | { "__aeabi_memmove", "__aeabi_memmove4", "__aeabi_memmove8" }, | 
|  | { "__aeabi_memset",  "__aeabi_memset4",  "__aeabi_memset8"  }, | 
|  | { "__aeabi_memclr",  "__aeabi_memclr4",  "__aeabi_memclr8"  } | 
|  | }; | 
|  | TargetLowering::CallLoweringInfo CLI(DAG); | 
|  | CLI.setDebugLoc(dl) | 
|  | .setChain(Chain) | 
|  | .setLibCallee( | 
|  | TLI->getLibcallCallingConv(LC), Type::getVoidTy(*DAG.getContext()), | 
|  | DAG.getExternalSymbol(FunctionNames[AEABILibcall][AlignVariant], | 
|  | TLI->getPointerTy(DAG.getDataLayout())), | 
|  | std::move(Args)) | 
|  | .setDiscardResult(); | 
|  | std::pair<SDValue,SDValue> CallResult = TLI->LowerCallTo(CLI); | 
|  |  | 
|  | return CallResult.second; | 
|  | } | 
|  |  | 
|  | SDValue ARMSelectionDAGInfo::EmitTargetCodeForMemcpy( | 
|  | SelectionDAG &DAG, const SDLoc &dl, SDValue Chain, SDValue Dst, SDValue Src, | 
|  | SDValue Size, unsigned Align, bool isVolatile, bool AlwaysInline, | 
|  | MachinePointerInfo DstPtrInfo, MachinePointerInfo SrcPtrInfo) const { | 
|  | const ARMSubtarget &Subtarget = | 
|  | DAG.getMachineFunction().getSubtarget<ARMSubtarget>(); | 
|  | // Do repeated 4-byte loads and stores. To be improved. | 
|  | // This requires 4-byte alignment. | 
|  | if ((Align & 3) != 0) | 
|  | return SDValue(); | 
|  | // This requires the copy size to be a constant, preferably | 
|  | // within a subtarget-specific limit. | 
|  | ConstantSDNode *ConstantSize = dyn_cast<ConstantSDNode>(Size); | 
|  | if (!ConstantSize) | 
|  | return EmitSpecializedLibcall(DAG, dl, Chain, Dst, Src, Size, Align, | 
|  | RTLIB::MEMCPY); | 
|  | uint64_t SizeVal = ConstantSize->getZExtValue(); | 
|  | if (!AlwaysInline && SizeVal > Subtarget.getMaxInlineSizeThreshold()) | 
|  | return EmitSpecializedLibcall(DAG, dl, Chain, Dst, Src, Size, Align, | 
|  | RTLIB::MEMCPY); | 
|  |  | 
|  | unsigned BytesLeft = SizeVal & 3; | 
|  | unsigned NumMemOps = SizeVal >> 2; | 
|  | unsigned EmittedNumMemOps = 0; | 
|  | EVT VT = MVT::i32; | 
|  | unsigned VTSize = 4; | 
|  | unsigned i = 0; | 
|  | // Emit a maximum of 4 loads in Thumb1 since we have fewer registers | 
|  | const unsigned MaxLoadsInLDM = Subtarget.isThumb1Only() ? 4 : 6; | 
|  | SDValue TFOps[6]; | 
|  | SDValue Loads[6]; | 
|  | uint64_t SrcOff = 0, DstOff = 0; | 
|  |  | 
|  | // FIXME: We should invent a VMEMCPY pseudo-instruction that lowers to | 
|  | // VLDM/VSTM and make this code emit it when appropriate. This would reduce | 
|  | // pressure on the general purpose registers. However this seems harder to map | 
|  | // onto the register allocator's view of the world. | 
|  |  | 
|  | // The number of MEMCPY pseudo-instructions to emit. We use up to | 
|  | // MaxLoadsInLDM registers per mcopy, which will get lowered into ldm/stm | 
|  | // later on. This is a lower bound on the number of MEMCPY operations we must | 
|  | // emit. | 
|  | unsigned NumMEMCPYs = (NumMemOps + MaxLoadsInLDM - 1) / MaxLoadsInLDM; | 
|  |  | 
|  | // Code size optimisation: do not inline memcpy if expansion results in | 
|  | // more instructions than the libary call. | 
|  | if (NumMEMCPYs > 1 && DAG.getMachineFunction().getFunction()->optForMinSize()) { | 
|  | return SDValue(); | 
|  | } | 
|  |  | 
|  | SDVTList VTs = DAG.getVTList(MVT::i32, MVT::i32, MVT::Other, MVT::Glue); | 
|  |  | 
|  | for (unsigned I = 0; I != NumMEMCPYs; ++I) { | 
|  | // Evenly distribute registers among MEMCPY operations to reduce register | 
|  | // pressure. | 
|  | unsigned NextEmittedNumMemOps = NumMemOps * (I + 1) / NumMEMCPYs; | 
|  | unsigned NumRegs = NextEmittedNumMemOps - EmittedNumMemOps; | 
|  |  | 
|  | Dst = DAG.getNode(ARMISD::MEMCPY, dl, VTs, Chain, Dst, Src, | 
|  | DAG.getConstant(NumRegs, dl, MVT::i32)); | 
|  | Src = Dst.getValue(1); | 
|  | Chain = Dst.getValue(2); | 
|  |  | 
|  | DstPtrInfo = DstPtrInfo.getWithOffset(NumRegs * VTSize); | 
|  | SrcPtrInfo = SrcPtrInfo.getWithOffset(NumRegs * VTSize); | 
|  |  | 
|  | EmittedNumMemOps = NextEmittedNumMemOps; | 
|  | } | 
|  |  | 
|  | if (BytesLeft == 0) | 
|  | return Chain; | 
|  |  | 
|  | // Issue loads / stores for the trailing (1 - 3) bytes. | 
|  | auto getRemainingValueType = [](unsigned BytesLeft) { | 
|  | return (BytesLeft >= 2) ? MVT::i16 : MVT::i8; | 
|  | }; | 
|  | auto getRemainingSize = [](unsigned BytesLeft) { | 
|  | return (BytesLeft >= 2) ? 2 : 1; | 
|  | }; | 
|  |  | 
|  | unsigned BytesLeftSave = BytesLeft; | 
|  | i = 0; | 
|  | while (BytesLeft) { | 
|  | VT = getRemainingValueType(BytesLeft); | 
|  | VTSize = getRemainingSize(BytesLeft); | 
|  | Loads[i] = DAG.getLoad(VT, dl, Chain, | 
|  | DAG.getNode(ISD::ADD, dl, MVT::i32, Src, | 
|  | DAG.getConstant(SrcOff, dl, MVT::i32)), | 
|  | SrcPtrInfo.getWithOffset(SrcOff)); | 
|  | TFOps[i] = Loads[i].getValue(1); | 
|  | ++i; | 
|  | SrcOff += VTSize; | 
|  | BytesLeft -= VTSize; | 
|  | } | 
|  | Chain = DAG.getNode(ISD::TokenFactor, dl, MVT::Other, | 
|  | makeArrayRef(TFOps, i)); | 
|  |  | 
|  | i = 0; | 
|  | BytesLeft = BytesLeftSave; | 
|  | while (BytesLeft) { | 
|  | VT = getRemainingValueType(BytesLeft); | 
|  | VTSize = getRemainingSize(BytesLeft); | 
|  | TFOps[i] = DAG.getStore(Chain, dl, Loads[i], | 
|  | DAG.getNode(ISD::ADD, dl, MVT::i32, Dst, | 
|  | DAG.getConstant(DstOff, dl, MVT::i32)), | 
|  | DstPtrInfo.getWithOffset(DstOff)); | 
|  | ++i; | 
|  | DstOff += VTSize; | 
|  | BytesLeft -= VTSize; | 
|  | } | 
|  | return DAG.getNode(ISD::TokenFactor, dl, MVT::Other, | 
|  | makeArrayRef(TFOps, i)); | 
|  | } | 
|  |  | 
|  | SDValue ARMSelectionDAGInfo::EmitTargetCodeForMemmove( | 
|  | SelectionDAG &DAG, const SDLoc &dl, SDValue Chain, SDValue Dst, SDValue Src, | 
|  | SDValue Size, unsigned Align, bool isVolatile, | 
|  | MachinePointerInfo DstPtrInfo, MachinePointerInfo SrcPtrInfo) const { | 
|  | return EmitSpecializedLibcall(DAG, dl, Chain, Dst, Src, Size, Align, | 
|  | RTLIB::MEMMOVE); | 
|  | } | 
|  |  | 
|  | SDValue ARMSelectionDAGInfo::EmitTargetCodeForMemset( | 
|  | SelectionDAG &DAG, const SDLoc &dl, SDValue Chain, SDValue Dst, SDValue Src, | 
|  | SDValue Size, unsigned Align, bool isVolatile, | 
|  | MachinePointerInfo DstPtrInfo) const { | 
|  | return EmitSpecializedLibcall(DAG, dl, Chain, Dst, Src, Size, Align, | 
|  | RTLIB::MEMSET); | 
|  | } |