XtensaISelLowering.h

Go to the documentation of this file.

//===- XtensaISelLowering.h - Xtensa DAG Lowering Interface -----*- C++ -*-===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
//
// This file defines the interfaces that Xtensa uses to lower LLVM code into a
// selection DAG.
//
//===----------------------------------------------------------------------===//
 
#ifndef LLVM_LIB_TARGET_XTENSA_XTENSAISELLOWERING_H
#define LLVM_LIB_TARGET_XTENSA_XTENSAISELLOWERING_H
 
#include "llvm/CodeGen/CallingConvLower.h"
#include "llvm/CodeGen/SelectionDAG.h"
#include "llvm/CodeGen/TargetLowering.h"
 
namespace llvm {
 
namespace XtensaISD {
enum {
  FIRST_NUMBER = ISD::BUILTIN_OP_END,
  BR_JT,
 
  // Calls a function.  Operand 0 is the chain operand and operand 1
  // is the target address.  The arguments start at operand 2.
  // There is an optional glue operand at the end.
  CALL,
  // Call with rotation window by 8 registers
  CALLW8,
 
  // Extract unsigned immediate. Operand 0 is value, operand 1
  // is bit position of the field [0..31], operand 2 is bit size
  // of the field [1..16]
  EXTUI,
 
  MOVSP,
 
  // Wraps a TargetGlobalAddress that should be loaded using PC-relative
  // accesses.  Operand 0 is the address.
  PCREL_WRAPPER,
  RET,
  RETW,
 
  RUR,
 
  // Select with condition operator - This selects between a true value and
  // a false value (ops #2 and #3) based on the boolean result of comparing
  // the lhs and rhs (ops #0 and #1) of a conditional expression with the
  // condition code in op #4
  SELECT_CC,
  // Select with condition operator - This selects between a true value and
  // a false value (ops #2 and #3) based on the boolean result of comparing
  // f32 operands lhs and rhs (ops #0 and #1) of a conditional expression
  // with the condition code in op #4 and boolean branch kind in op #5
  SELECT_CC_FP,
 
  // SRCL(R) performs shift left(right) of the concatenation of 2 registers
  // and returns high(low) 32-bit part of 64-bit result
  SRCL,
  // Shift Right Combined
  SRCR,
 
  // Floating point unordered compare conditions
  CMPUEQ,
  CMPULE,
  CMPULT,
  CMPUO,
  // Floating point compare conditions
  CMPOEQ,
  CMPOLE,
  CMPOLT,
  // FP multipy-add/sub
  MADD,
  MSUB,
  // FP move
  MOVS,
};
}
 
class XtensaSubtarget;
 
class XtensaTargetLowering : public TargetLowering {
public:
  explicit XtensaTargetLowering(const TargetMachine &TM,
                                const XtensaSubtarget &STI);
 
  MVT getScalarShiftAmountTy(const DataLayout &, EVT LHSTy) const override {
    return LHSTy.getSizeInBits() <= 32 ? MVT::i32 : MVT::i64;
  }
 
  MVT getRegisterTypeForCallingConv(LLVMContext &Context, CallingConv::ID CC,
                                    EVT VT) const override;
 
  EVT getSetCCResultType(const DataLayout &, LLVMContext &,
                         EVT VT) const override {
    if (!VT.isVector())
      return MVT::i32;
    return VT.changeVectorElementTypeToInteger();
  }
 
  bool isOffsetFoldingLegal(const GlobalAddressSDNode *GA) const override;
 
  const char *getTargetNodeName(unsigned Opcode) const override;
 
  bool isFPImmLegal(const APFloat &Imm, EVT VT,
                    bool ForCodeSize) const override;
 
  std::pair<unsigned, const TargetRegisterClass *>
  getRegForInlineAsmConstraint(const TargetRegisterInfo *TRI,
                               StringRef Constraint, MVT VT) const override;
 
  TargetLowering::ConstraintType
  getConstraintType(StringRef Constraint) const override;
 
  TargetLowering::ConstraintWeight
  getSingleConstraintMatchWeight(AsmOperandInfo &Info,
                                 const char *Constraint) const override;
 
  void LowerAsmOperandForConstraint(SDValue Op, StringRef Constraint,
                                    std::vector<SDValue> &Ops,
                                    SelectionDAG &DAG) const override;
 
  SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const override;
 
  SDValue LowerFormalArguments(SDValue Chain, CallingConv::ID CallConv,
                               bool isVarArg,
                               const SmallVectorImpl<ISD::InputArg> &Ins,
                               const SDLoc &DL, SelectionDAG &DAG,
                               SmallVectorImpl<SDValue> &InVals) const override;
 
  SDValue LowerCall(CallLoweringInfo &CLI,
                    SmallVectorImpl<SDValue> &InVals) const override;
 
  bool CanLowerReturn(CallingConv::ID CallConv, MachineFunction &MF,
                      bool isVarArg,
                      const SmallVectorImpl<ISD::OutputArg> &Outs,
                      LLVMContext &Context, const Type *RetTy) const override;
 
  SDValue LowerReturn(SDValue Chain, CallingConv::ID CallConv, bool IsVarArg,
                      const SmallVectorImpl<ISD::OutputArg> &Outs,
                      const SmallVectorImpl<SDValue> &OutVals, const SDLoc &DL,
                      SelectionDAG &DAG) const override;
 
  bool shouldInsertFencesForAtomic(const Instruction *I) const override {
    return true;
  }
 
  AtomicExpansionKind shouldExpandAtomicRMWInIR(AtomicRMWInst *) const override;
 
  bool decomposeMulByConstant(LLVMContext &Context, EVT VT,
                              SDValue C) const override;
 
  const XtensaSubtarget &getSubtarget() const { return Subtarget; }
 
  MachineBasicBlock *
  EmitInstrWithCustomInserter(MachineInstr &MI,
                              MachineBasicBlock *BB) const override;
 
private:
  const XtensaSubtarget &Subtarget;
 
  SDValue LowerBR_JT(SDValue Op, SelectionDAG &DAG) const;
 
  SDValue LowerImmediate(SDValue Op, SelectionDAG &DAG) const;
 
  SDValue LowerGlobalAddress(SDValue Op, SelectionDAG &DAG) const;
 
  SDValue LowerGlobalTLSAddress(SDValue Op, SelectionDAG &DAG) const;
 
  SDValue LowerBlockAddress(SDValue Op, SelectionDAG &DAG) const;
 
  SDValue LowerJumpTable(SDValue Op, SelectionDAG &DAG) const;
 
  SDValue LowerConstantPool(SDValue Op, SelectionDAG &DAG) const;
 
  SDValue LowerCTPOP(SDValue Op, SelectionDAG &DAG) const;
 
  SDValue LowerSELECT_CC(SDValue Op, SelectionDAG &DAG) const;
 
  SDValue LowerRETURNADDR(SDValue Op, SelectionDAG &DAG) const;
 
  SDValue LowerDYNAMIC_STACKALLOC(SDValue Op, SelectionDAG &DAG) const;
 
  SDValue LowerSTACKSAVE(SDValue Op, SelectionDAG &DAG) const;
 
  SDValue LowerSTACKRESTORE(SDValue Op, SelectionDAG &DAG) const;
 
  SDValue LowerVASTART(SDValue Op, SelectionDAG &DAG) const;
 
  SDValue LowerVAARG(SDValue Op, SelectionDAG &DAG) const;
 
  SDValue LowerVACOPY(SDValue Op, SelectionDAG &DAG) const;
 
  SDValue LowerFRAMEADDR(SDValue Op, SelectionDAG &DAG) const;
 
  SDValue LowerShiftLeftParts(SDValue Op, SelectionDAG &DAG) const;
 
  SDValue LowerShiftRightParts(SDValue Op, SelectionDAG &DAG, bool IsSRA) const;
 
  SDValue getAddrPCRel(SDValue Op, SelectionDAG &DAG) const;
 
  CCAssignFn *CCAssignFnForCall(CallingConv::ID CC, bool IsVarArg) const;
 
  MachineBasicBlock *emitSelectCC(MachineInstr &MI,
                                  MachineBasicBlock *BB) const;
};
 
} // end namespace llvm
 
#endif /* LLVM_LIB_TARGET_XTENSA_XTENSAISELLOWERING_H */