2013-03-15 02:27:31 +08:00
|
|
|
//===-- 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.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2014-08-14 00:26:38 +08:00
|
|
|
#ifndef LLVM_LIB_TARGET_MIPS_MIPSSEISELDAGTODAG_H
|
|
|
|
#define LLVM_LIB_TARGET_MIPS_MIPSSEISELDAGTODAG_H
|
2013-03-15 02:27:31 +08:00
|
|
|
|
|
|
|
#include "MipsISelDAGToDAG.h"
|
|
|
|
|
|
|
|
namespace llvm {
|
|
|
|
|
|
|
|
class MipsSEDAGToDAGISel : public MipsDAGToDAGISel {
|
|
|
|
|
|
|
|
public:
|
[mips] SelectionDAGISel subclasses now follow the optimization level.
Summary:
It was recently discovered that, for Mips's SelectionDAGISel subclasses,
all optimization levels caused SelectionDAGISel to behave like -O2.
This change adds the necessary plumbing to initialize the optimization level.
Reviewers: andrew.w.kaylor
Subscribers: andrew.w.kaylor, sdardis, dean, llvm-commits, vradosavljevic, petarj, qcolombet, probinson, dsanders
Differential Revision: https://reviews.llvm.org/D14900
llvm-svn: 275410
2016-07-14 21:25:22 +08:00
|
|
|
explicit MipsSEDAGToDAGISel(MipsTargetMachine &TM, CodeGenOpt::Level OL)
|
|
|
|
: MipsDAGToDAGISel(TM, OL) {}
|
2013-03-15 02:27:31 +08:00
|
|
|
|
|
|
|
private:
|
2013-04-10 03:46:01 +08:00
|
|
|
|
2014-04-29 15:58:02 +08:00
|
|
|
bool runOnMachineFunction(MachineFunction &MF) override;
|
2013-04-10 03:46:01 +08:00
|
|
|
|
2017-01-04 17:34:37 +08:00
|
|
|
void getAnalysisUsage(AnalysisUsage &AU) const override;
|
|
|
|
|
2013-05-04 02:37:49 +08:00
|
|
|
void addDSPCtrlRegOperands(bool IsDef, MachineInstr &MI,
|
|
|
|
MachineFunction &MF);
|
|
|
|
|
2013-08-28 18:26:24 +08:00
|
|
|
unsigned getMSACtrlReg(const SDValue RegIdx) const;
|
|
|
|
|
2013-03-15 02:33:23 +08:00
|
|
|
bool replaceUsesWithZeroReg(MachineRegisterInfo *MRI, const MachineInstr&);
|
2013-03-15 02:27:31 +08:00
|
|
|
|
2016-06-12 23:39:02 +08:00
|
|
|
std::pair<SDNode *, SDNode *> selectMULT(SDNode *N, unsigned Opc,
|
|
|
|
const SDLoc &dl, EVT Ty, bool HasLo,
|
|
|
|
bool HasHi);
|
2013-03-15 02:27:31 +08:00
|
|
|
|
2017-07-13 19:28:05 +08:00
|
|
|
void selectAddE(SDNode *Node, const SDLoc &DL) const;
|
2013-03-15 02:39:25 +08:00
|
|
|
|
2014-03-03 22:31:21 +08:00
|
|
|
bool selectAddrFrameIndex(SDValue Addr, SDValue &Base, SDValue &Offset) const;
|
|
|
|
bool selectAddrFrameIndexOffset(SDValue Addr, SDValue &Base, SDValue &Offset,
|
2016-08-01 14:46:20 +08:00
|
|
|
unsigned OffsetBits,
|
|
|
|
unsigned ShiftAmount) const;
|
2014-03-03 22:31:21 +08:00
|
|
|
|
2014-04-29 15:58:02 +08:00
|
|
|
bool selectAddrRegImm(SDValue Addr, SDValue &Base,
|
|
|
|
SDValue &Offset) const override;
|
2013-03-15 02:27:31 +08:00
|
|
|
|
2014-04-29 15:58:02 +08:00
|
|
|
bool selectAddrDefault(SDValue Addr, SDValue &Base,
|
|
|
|
SDValue &Offset) const override;
|
2013-03-15 02:27:31 +08:00
|
|
|
|
2014-04-29 15:58:02 +08:00
|
|
|
bool selectIntAddr(SDValue Addr, SDValue &Base,
|
|
|
|
SDValue &Offset) const override;
|
2013-03-15 02:27:31 +08:00
|
|
|
|
2015-03-24 19:26:34 +08:00
|
|
|
bool selectAddrRegImm9(SDValue Addr, SDValue &Base,
|
|
|
|
SDValue &Offset) const;
|
|
|
|
|
2016-07-11 15:41:56 +08:00
|
|
|
bool selectAddrRegImm11(SDValue Addr, SDValue &Base,
|
|
|
|
SDValue &Offset) const;
|
|
|
|
|
2014-04-29 15:58:02 +08:00
|
|
|
bool selectAddrRegImm12(SDValue Addr, SDValue &Base,
|
|
|
|
SDValue &Offset) const;
|
2013-08-14 04:19:16 +08:00
|
|
|
|
2015-03-24 19:26:34 +08:00
|
|
|
bool selectAddrRegImm16(SDValue Addr, SDValue &Base,
|
|
|
|
SDValue &Offset) const;
|
|
|
|
|
2016-07-11 15:41:56 +08:00
|
|
|
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;
|
2013-08-14 04:19:16 +08:00
|
|
|
|
2015-02-04 23:43:17 +08:00
|
|
|
bool selectIntAddrLSL2MM(SDValue Addr, SDValue &Base,
|
|
|
|
SDValue &Offset) const override;
|
|
|
|
|
2016-08-01 14:46:20 +08:00
|
|
|
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;
|
2014-03-03 22:31:21 +08:00
|
|
|
|
2013-09-24 21:33:07 +08:00
|
|
|
/// \brief Select constant vector splats.
|
[mips] Correct and improve special-case shuffle instructions.
Summary:
The documentation writes vectors highest-index first whereas LLVM-IR writes
them lowest-index first. As a result, instructions defined in terms of
left_half() and right_half() had the halves reversed.
In addition to correcting them, they have been improved to allow shuffles
that use the same operand twice or in reverse order. For example, ilvev
used to accept masks of the form:
<0, n, 2, n+2, 4, n+4, ...>
but now accepts:
<0, 0, 2, 2, 4, 4, ...>
<n, n, n+2, n+2, n+4, n+4, ...>
<0, n, 2, n+2, 4, n+4, ...>
<n, 0, n+2, 2, n+4, 4, ...>
One further improvement is that splati.[bhwd] is now the preferred instruction
for splat-like operations. The other special shuffles are no longer used
for splats. This lead to the discovery that <0, 0, ...> would not cause
splati.[hwd] to be selected and this has also been fixed.
This fixes the enc-3des test from the test-suite on Mips64r6 with MSA.
Reviewers: vkalintiris
Reviewed By: vkalintiris
Subscribers: llvm-commits
Differential Revision: http://reviews.llvm.org/D9660
llvm-svn: 237689
2015-05-19 20:24:52 +08:00
|
|
|
bool selectVSplat(SDNode *N, APInt &Imm,
|
|
|
|
unsigned MinSizeInBits) const override;
|
2013-09-24 21:33:07 +08:00
|
|
|
/// \brief Select constant vector splats whose value fits in a given integer.
|
2014-04-29 15:58:02 +08:00
|
|
|
bool selectVSplatCommon(SDValue N, SDValue &Imm, bool Signed,
|
2013-09-24 21:33:07 +08:00
|
|
|
unsigned ImmBitSize) const;
|
2013-09-27 19:48:57 +08:00
|
|
|
/// \brief Select constant vector splats whose value fits in a uimm1.
|
2014-04-29 15:58:02 +08:00
|
|
|
bool selectVSplatUimm1(SDValue N, SDValue &Imm) const override;
|
2013-09-27 19:48:57 +08:00
|
|
|
/// \brief Select constant vector splats whose value fits in a uimm2.
|
2014-04-29 15:58:02 +08:00
|
|
|
bool selectVSplatUimm2(SDValue N, SDValue &Imm) const override;
|
2013-09-24 21:33:07 +08:00
|
|
|
/// \brief Select constant vector splats whose value fits in a uimm3.
|
2014-04-29 15:58:02 +08:00
|
|
|
bool selectVSplatUimm3(SDValue N, SDValue &Imm) const override;
|
2013-09-24 21:33:07 +08:00
|
|
|
/// \brief Select constant vector splats whose value fits in a uimm4.
|
2014-04-29 15:58:02 +08:00
|
|
|
bool selectVSplatUimm4(SDValue N, SDValue &Imm) const override;
|
2013-09-24 21:33:07 +08:00
|
|
|
/// \brief Select constant vector splats whose value fits in a uimm5.
|
2014-04-29 15:58:02 +08:00
|
|
|
bool selectVSplatUimm5(SDValue N, SDValue &Imm) const override;
|
2013-09-24 21:33:07 +08:00
|
|
|
/// \brief Select constant vector splats whose value fits in a uimm6.
|
2014-04-29 15:58:02 +08:00
|
|
|
bool selectVSplatUimm6(SDValue N, SDValue &Imm) const override;
|
2013-09-24 21:33:07 +08:00
|
|
|
/// \brief Select constant vector splats whose value fits in a uimm8.
|
2014-04-29 15:58:02 +08:00
|
|
|
bool selectVSplatUimm8(SDValue N, SDValue &Imm) const override;
|
2013-09-24 21:33:07 +08:00
|
|
|
/// \brief Select constant vector splats whose value fits in a simm5.
|
2014-04-29 15:58:02 +08:00
|
|
|
bool selectVSplatSimm5(SDValue N, SDValue &Imm) const override;
|
2013-09-24 21:33:07 +08:00
|
|
|
/// \brief Select constant vector splats whose value is a power of 2.
|
2014-04-29 15:58:02 +08:00
|
|
|
bool selectVSplatUimmPow2(SDValue N, SDValue &Imm) const override;
|
2013-11-12 18:45:18 +08:00
|
|
|
/// \brief Select constant vector splats whose value is the inverse of a
|
|
|
|
/// power of 2.
|
2014-04-29 15:58:02 +08:00
|
|
|
bool selectVSplatUimmInvPow2(SDValue N, SDValue &Imm) const override;
|
2013-10-30 22:45:14 +08:00
|
|
|
/// \brief Select constant vector splats whose value is a run of set bits
|
|
|
|
/// ending at the most significant bit
|
2014-04-29 15:58:02 +08:00
|
|
|
bool selectVSplatMaskL(SDValue N, SDValue &Imm) const override;
|
2013-10-30 22:45:14 +08:00
|
|
|
/// \brief Select constant vector splats whose value is a run of set bits
|
|
|
|
/// starting at bit zero.
|
2014-04-29 15:58:02 +08:00
|
|
|
bool selectVSplatMaskR(SDValue N, SDValue &Imm) const override;
|
2013-09-24 21:33:07 +08:00
|
|
|
|
2016-05-14 07:55:59 +08:00
|
|
|
bool trySelect(SDNode *Node) override;
|
2013-03-15 02:27:31 +08:00
|
|
|
|
2014-04-29 15:58:02 +08:00
|
|
|
void processFunctionAfterISel(MachineFunction &MF) override;
|
2013-03-15 02:27:31 +08:00
|
|
|
|
|
|
|
// Insert instructions to initialize the global base register in the
|
|
|
|
// first MBB of the function.
|
2013-03-15 02:33:23 +08:00
|
|
|
void initGlobalBaseReg(MachineFunction &MF);
|
2015-03-24 19:26:34 +08:00
|
|
|
|
|
|
|
bool SelectInlineAsmMemoryOperand(const SDValue &Op,
|
|
|
|
unsigned ConstraintID,
|
|
|
|
std::vector<SDValue> &OutOps) override;
|
2013-03-15 02:27:31 +08:00
|
|
|
};
|
|
|
|
|
[mips] SelectionDAGISel subclasses now follow the optimization level.
Summary:
It was recently discovered that, for Mips's SelectionDAGISel subclasses,
all optimization levels caused SelectionDAGISel to behave like -O2.
This change adds the necessary plumbing to initialize the optimization level.
Reviewers: andrew.w.kaylor
Subscribers: andrew.w.kaylor, sdardis, dean, llvm-commits, vradosavljevic, petarj, qcolombet, probinson, dsanders
Differential Revision: https://reviews.llvm.org/D14900
llvm-svn: 275410
2016-07-14 21:25:22 +08:00
|
|
|
FunctionPass *createMipsSEISelDag(MipsTargetMachine &TM,
|
|
|
|
CodeGenOpt::Level OptLevel);
|
2015-06-23 17:49:53 +08:00
|
|
|
}
|
2013-03-15 02:27:31 +08:00
|
|
|
|
|
|
|
#endif
|