mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-25 20:23:11 +01:00
c43ce3d9fa
For multiprecision arithmetic on MIPS, rather than using ISD::ADDE / ISD::ADDC,
get SelectionDAG to break down the operation into ISD::ADDs and ISD::SETCCs.
For MIPS, only the DSP ASE has a carry flag, so in the general case it is not
useful to directly support ISD::{ADDE, ADDC, SUBE, SUBC} nodes.
Also improve the generation code in such cases for targets with
TargetLoweringBase::ZeroOrOneBooleanContent by directly using the result of the
comparison node rather than using it in selects. Similarly for ISD::SUBE /
ISD::SUBC.
Address optimization breakage by moving the generation of MIPS specific integer
multiply-accumulate nodes to before legalization.
This revolves PR32713 and PR33424.
Thanks to Simonas Kazlauskas and Pirama Arumuga Nainar for reporting the issue!
Reviewers: slthakur
Differential Revision: https://reviews.llvm.org/D33494
The previous version of this patch was too aggressive in producing fused
integer multiple-addition instructions.
llvm-svn: 307906
148 lines
6.0 KiB
C++
148 lines
6.0 KiB
C++
//===-- MipsSEISelDAGToDAG.h - A Dag to Dag Inst Selector for MipsSE -----===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is distributed under the University of Illinois Open Source
|
|
// License. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// Subclass of MipsDAGToDAGISel specialized for mips32/64.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#ifndef LLVM_LIB_TARGET_MIPS_MIPSSEISELDAGTODAG_H
|
|
#define LLVM_LIB_TARGET_MIPS_MIPSSEISELDAGTODAG_H
|
|
|
|
#include "MipsISelDAGToDAG.h"
|
|
|
|
namespace llvm {
|
|
|
|
class MipsSEDAGToDAGISel : public MipsDAGToDAGISel {
|
|
|
|
public:
|
|
explicit MipsSEDAGToDAGISel(MipsTargetMachine &TM, CodeGenOpt::Level OL)
|
|
: MipsDAGToDAGISel(TM, OL) {}
|
|
|
|
private:
|
|
|
|
bool runOnMachineFunction(MachineFunction &MF) override;
|
|
|
|
void getAnalysisUsage(AnalysisUsage &AU) const override;
|
|
|
|
void addDSPCtrlRegOperands(bool IsDef, MachineInstr &MI,
|
|
MachineFunction &MF);
|
|
|
|
unsigned getMSACtrlReg(const SDValue RegIdx) const;
|
|
|
|
bool replaceUsesWithZeroReg(MachineRegisterInfo *MRI, const MachineInstr&);
|
|
|
|
std::pair<SDNode *, SDNode *> selectMULT(SDNode *N, unsigned Opc,
|
|
const SDLoc &dl, EVT Ty, bool HasLo,
|
|
bool HasHi);
|
|
|
|
void selectAddE(SDNode *Node, const SDLoc &DL) const;
|
|
|
|
bool selectAddrFrameIndex(SDValue Addr, SDValue &Base, SDValue &Offset) const;
|
|
bool selectAddrFrameIndexOffset(SDValue Addr, SDValue &Base, SDValue &Offset,
|
|
unsigned OffsetBits,
|
|
unsigned ShiftAmount) const;
|
|
|
|
bool selectAddrRegImm(SDValue Addr, SDValue &Base,
|
|
SDValue &Offset) const override;
|
|
|
|
bool selectAddrDefault(SDValue Addr, SDValue &Base,
|
|
SDValue &Offset) const override;
|
|
|
|
bool selectIntAddr(SDValue Addr, SDValue &Base,
|
|
SDValue &Offset) const override;
|
|
|
|
bool selectAddrRegImm9(SDValue Addr, SDValue &Base,
|
|
SDValue &Offset) const;
|
|
|
|
bool selectAddrRegImm11(SDValue Addr, SDValue &Base,
|
|
SDValue &Offset) const;
|
|
|
|
bool selectAddrRegImm12(SDValue Addr, SDValue &Base,
|
|
SDValue &Offset) const;
|
|
|
|
bool selectAddrRegImm16(SDValue Addr, SDValue &Base,
|
|
SDValue &Offset) const;
|
|
|
|
bool selectIntAddr11MM(SDValue Addr, SDValue &Base,
|
|
SDValue &Offset) const override;
|
|
|
|
bool selectIntAddr12MM(SDValue Addr, SDValue &Base,
|
|
SDValue &Offset) const override;
|
|
|
|
bool selectIntAddr16MM(SDValue Addr, SDValue &Base,
|
|
SDValue &Offset) const override;
|
|
|
|
bool selectIntAddrLSL2MM(SDValue Addr, SDValue &Base,
|
|
SDValue &Offset) const override;
|
|
|
|
bool selectIntAddrSImm10(SDValue Addr, SDValue &Base,
|
|
SDValue &Offset) const override;
|
|
|
|
bool selectIntAddrSImm10Lsl1(SDValue Addr, SDValue &Base,
|
|
SDValue &Offset) const override;
|
|
|
|
bool selectIntAddrSImm10Lsl2(SDValue Addr, SDValue &Base,
|
|
SDValue &Offset) const override;
|
|
|
|
bool selectIntAddrSImm10Lsl3(SDValue Addr, SDValue &Base,
|
|
SDValue &Offset) const override;
|
|
|
|
/// \brief Select constant vector splats.
|
|
bool selectVSplat(SDNode *N, APInt &Imm,
|
|
unsigned MinSizeInBits) const override;
|
|
/// \brief Select constant vector splats whose value fits in a given integer.
|
|
bool selectVSplatCommon(SDValue N, SDValue &Imm, bool Signed,
|
|
unsigned ImmBitSize) const;
|
|
/// \brief Select constant vector splats whose value fits in a uimm1.
|
|
bool selectVSplatUimm1(SDValue N, SDValue &Imm) const override;
|
|
/// \brief Select constant vector splats whose value fits in a uimm2.
|
|
bool selectVSplatUimm2(SDValue N, SDValue &Imm) const override;
|
|
/// \brief Select constant vector splats whose value fits in a uimm3.
|
|
bool selectVSplatUimm3(SDValue N, SDValue &Imm) const override;
|
|
/// \brief Select constant vector splats whose value fits in a uimm4.
|
|
bool selectVSplatUimm4(SDValue N, SDValue &Imm) const override;
|
|
/// \brief Select constant vector splats whose value fits in a uimm5.
|
|
bool selectVSplatUimm5(SDValue N, SDValue &Imm) const override;
|
|
/// \brief Select constant vector splats whose value fits in a uimm6.
|
|
bool selectVSplatUimm6(SDValue N, SDValue &Imm) const override;
|
|
/// \brief Select constant vector splats whose value fits in a uimm8.
|
|
bool selectVSplatUimm8(SDValue N, SDValue &Imm) const override;
|
|
/// \brief Select constant vector splats whose value fits in a simm5.
|
|
bool selectVSplatSimm5(SDValue N, SDValue &Imm) const override;
|
|
/// \brief Select constant vector splats whose value is a power of 2.
|
|
bool selectVSplatUimmPow2(SDValue N, SDValue &Imm) const override;
|
|
/// \brief Select constant vector splats whose value is the inverse of a
|
|
/// power of 2.
|
|
bool selectVSplatUimmInvPow2(SDValue N, SDValue &Imm) const override;
|
|
/// \brief Select constant vector splats whose value is a run of set bits
|
|
/// ending at the most significant bit
|
|
bool selectVSplatMaskL(SDValue N, SDValue &Imm) const override;
|
|
/// \brief Select constant vector splats whose value is a run of set bits
|
|
/// starting at bit zero.
|
|
bool selectVSplatMaskR(SDValue N, SDValue &Imm) const override;
|
|
|
|
bool trySelect(SDNode *Node) override;
|
|
|
|
void processFunctionAfterISel(MachineFunction &MF) override;
|
|
|
|
// Insert instructions to initialize the global base register in the
|
|
// first MBB of the function.
|
|
void initGlobalBaseReg(MachineFunction &MF);
|
|
|
|
bool SelectInlineAsmMemoryOperand(const SDValue &Op,
|
|
unsigned ConstraintID,
|
|
std::vector<SDValue> &OutOps) override;
|
|
};
|
|
|
|
FunctionPass *createMipsSEISelDag(MipsTargetMachine &TM,
|
|
CodeGenOpt::Level OptLevel);
|
|
}
|
|
|
|
#endif
|