2005-01-07 07:46:03 +00:00
|
|
|
//===-- llvm/CodeGen/SelectionDAGISel.h - Common Base Class------*- C++ -*-===//
|
2005-04-21 20:39:54 +00:00
|
|
|
//
|
2005-01-07 07:46:03 +00:00
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file was developed by the LLVM research group and is distributed under
|
|
|
|
// the University of Illinois Open Source License. See LICENSE.TXT for details.
|
2005-04-21 20:39:54 +00:00
|
|
|
//
|
2005-01-07 07:46:03 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This file implements the SelectionDAGISel class, which is used as the common
|
|
|
|
// base class for SelectionDAG-based instruction selectors.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#ifndef LLVM_CODEGEN_SELECTIONDAG_ISEL_H
|
|
|
|
#define LLVM_CODEGEN_SELECTIONDAG_ISEL_H
|
|
|
|
|
|
|
|
#include "llvm/Pass.h"
|
2006-03-27 01:32:24 +00:00
|
|
|
#include "llvm/Constant.h"
|
2006-08-07 22:16:08 +00:00
|
|
|
#include "llvm/CodeGen/SelectionDAG.h"
|
2006-03-27 01:32:24 +00:00
|
|
|
#include "llvm/CodeGen/SelectionDAGNodes.h"
|
2005-01-07 07:46:03 +00:00
|
|
|
|
|
|
|
namespace llvm {
|
|
|
|
class SelectionDAGLowering;
|
2005-01-13 17:58:35 +00:00
|
|
|
class SDOperand;
|
2005-01-07 07:46:03 +00:00
|
|
|
class SSARegMap;
|
|
|
|
class MachineBasicBlock;
|
|
|
|
class MachineFunction;
|
|
|
|
class MachineInstr;
|
|
|
|
class TargetLowering;
|
|
|
|
class FunctionLoweringInfo;
|
2006-03-06 00:20:29 +00:00
|
|
|
class HazardRecognizer;
|
2005-01-07 07:46:03 +00:00
|
|
|
|
|
|
|
/// SelectionDAGISel - This is the common base class used for SelectionDAG-based
|
|
|
|
/// pattern-matching instruction selectors.
|
|
|
|
class SelectionDAGISel : public FunctionPass {
|
|
|
|
public:
|
|
|
|
TargetLowering &TLI;
|
|
|
|
SSARegMap *RegMap;
|
|
|
|
SelectionDAG *CurDAG;
|
|
|
|
MachineBasicBlock *BB;
|
2006-08-07 22:16:08 +00:00
|
|
|
std::vector<SDNode*> TopOrder;
|
|
|
|
unsigned DAGSize;
|
2005-01-07 07:46:03 +00:00
|
|
|
|
2006-08-07 22:16:08 +00:00
|
|
|
SelectionDAGISel(TargetLowering &tli) : TLI(tli), DAGSize(0), JT(0,0,0,0) {}
|
2006-08-01 19:14:14 +00:00
|
|
|
|
|
|
|
TargetLowering &getTargetLowering() { return TLI; }
|
2005-01-07 07:46:03 +00:00
|
|
|
|
2005-08-17 06:46:50 +00:00
|
|
|
virtual void getAnalysisUsage(AnalysisUsage &AU) const;
|
2005-01-07 07:46:03 +00:00
|
|
|
|
|
|
|
virtual bool runOnFunction(Function &Fn);
|
|
|
|
|
|
|
|
unsigned MakeReg(MVT::ValueType VT);
|
|
|
|
|
2005-05-13 07:23:03 +00:00
|
|
|
virtual void EmitFunctionEntryCode(Function &Fn, MachineFunction &MF) {}
|
2005-01-07 07:46:03 +00:00
|
|
|
virtual void InstructionSelectBasicBlock(SelectionDAG &SD) = 0;
|
2006-08-07 22:16:08 +00:00
|
|
|
virtual void SelectRootInit() {
|
|
|
|
DAGSize = CurDAG->AssignTopologicalOrder(TopOrder);
|
|
|
|
}
|
2005-04-21 20:39:54 +00:00
|
|
|
|
2006-02-24 02:12:52 +00:00
|
|
|
/// SelectInlineAsmMemoryOperand - Select the specified address as a target
|
|
|
|
/// addressing mode, according to the specified constraint code. If this does
|
|
|
|
/// not match or is not implemented, return true. The resultant operands
|
|
|
|
/// (which will appear in the machine instruction) should be added to the
|
|
|
|
/// OutOps vector.
|
|
|
|
virtual bool SelectInlineAsmMemoryOperand(const SDOperand &Op,
|
|
|
|
char ConstraintCode,
|
|
|
|
std::vector<SDOperand> &OutOps,
|
|
|
|
SelectionDAG &DAG) {
|
|
|
|
return true;
|
|
|
|
}
|
2006-07-27 06:36:49 +00:00
|
|
|
|
2006-07-28 01:03:48 +00:00
|
|
|
/// CanBeFoldedBy - Returns true if the specific operand node N of U can be
|
2006-10-14 08:30:53 +00:00
|
|
|
/// folded during instruction selection that starts at Root?
|
|
|
|
virtual bool CanBeFoldedBy(SDNode *N, SDNode *U, SDNode *Root) { return true;}
|
2006-02-24 02:12:52 +00:00
|
|
|
|
2006-08-01 18:29:48 +00:00
|
|
|
/// CreateTargetHazardRecognizer - Return a newly allocated hazard recognizer
|
|
|
|
/// to use for this target when scheduling the DAG.
|
|
|
|
virtual HazardRecognizer *CreateTargetHazardRecognizer();
|
|
|
|
|
2006-03-27 01:32:24 +00:00
|
|
|
/// CaseBlock - This structure is used to communicate between SDLowering and
|
|
|
|
/// SDISel for the code generation of additional basic blocks needed by multi-
|
|
|
|
/// case switch statements.
|
|
|
|
struct CaseBlock {
|
2006-10-24 17:03:35 +00:00
|
|
|
CaseBlock(ISD::CondCode cc, Value *cmplhs, Value *cmprhs,
|
2006-10-24 17:57:59 +00:00
|
|
|
MachineBasicBlock *truebb, MachineBasicBlock *falsebb,
|
|
|
|
MachineBasicBlock *me)
|
|
|
|
: CC(cc), CmpLHS(cmplhs), CmpRHS(cmprhs),
|
|
|
|
TrueBB(truebb), FalseBB(falsebb), ThisBB(me) {}
|
2006-03-27 01:32:24 +00:00
|
|
|
// CC - the condition code to use for the case block's setcc node
|
|
|
|
ISD::CondCode CC;
|
Turn conditions like x<Y|z==q into multiple blocks.
This compiles Regression/CodeGen/X86/or-branch.ll into:
_foo:
subl $12, %esp
call L_bar$stub
movl 20(%esp), %eax
movl 16(%esp), %ecx
cmpl $5, %eax
jl LBB1_1 #cond_true
LBB1_3: #entry
testl %ecx, %ecx
jne LBB1_2 #UnifiedReturnBlock
LBB1_1: #cond_true
call L_bar$stub
addl $12, %esp
ret
LBB1_2: #UnifiedReturnBlock
addl $12, %esp
ret
instead of:
_foo:
subl $12, %esp
call L_bar$stub
movl 20(%esp), %eax
movl 16(%esp), %ecx
cmpl $4, %eax
setg %al
testl %ecx, %ecx
setne %cl
testb %cl, %al
jne LBB1_2 #UnifiedReturnBlock
LBB1_1: #cond_true
call L_bar$stub
addl $12, %esp
ret
LBB1_2: #UnifiedReturnBlock
addl $12, %esp
ret
And on ppc to:
cmpwi cr0, r29, 5
blt cr0, LBB1_1 ;cond_true
LBB1_3: ;entry
cmplwi cr0, r30, 0
bne cr0, LBB1_2 ;UnifiedReturnBlock
instead of:
cmpwi cr7, r4, 4
mfcr r2
addic r4, r3, -1
subfe r30, r4, r3
rlwinm r29, r2, 30, 31, 31
and r2, r29, r30
cmplwi cr0, r2, 0
bne cr0, LBB1_2 ;UnifiedReturnBlock
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@31230 91177308-0d34-0410-b5e6-96231b3b80d8
2006-10-27 21:36:01 +00:00
|
|
|
// CmpLHS/CmpRHS - The LHS/RHS of the comparison to emit.
|
2006-10-24 17:03:35 +00:00
|
|
|
Value *CmpLHS, *CmpRHS;
|
2006-10-24 17:57:59 +00:00
|
|
|
// TrueBB/FalseBB - the block to branch to if the setcc is true/false.
|
|
|
|
MachineBasicBlock *TrueBB, *FalseBB;
|
2006-10-24 17:03:35 +00:00
|
|
|
// ThisBB - the block into which to emit the code for the setcc and branches
|
2006-03-27 01:32:24 +00:00
|
|
|
MachineBasicBlock *ThisBB;
|
|
|
|
};
|
2006-04-22 18:53:45 +00:00
|
|
|
struct JumpTable {
|
2006-04-23 06:26:20 +00:00
|
|
|
JumpTable(unsigned R, unsigned J, MachineBasicBlock *M,
|
|
|
|
MachineBasicBlock *D) : Reg(R), JTI(J), MBB(M), Default(D) {}
|
2006-04-22 18:53:45 +00:00
|
|
|
// Reg - the virtual register containing the index of the jump table entry
|
|
|
|
// to jump to.
|
|
|
|
unsigned Reg;
|
|
|
|
// JTI - the JumpTableIndex for this jump table in the function.
|
|
|
|
unsigned JTI;
|
|
|
|
// MBB - the MBB into which to emit the code for the indirect jump.
|
|
|
|
MachineBasicBlock *MBB;
|
2006-04-23 06:26:20 +00:00
|
|
|
// Default - the MBB of the default bb, which is a successor of the range
|
|
|
|
// check MBB. This is when updating PHI nodes in successors.
|
|
|
|
MachineBasicBlock *Default;
|
2006-04-22 18:53:45 +00:00
|
|
|
};
|
2006-03-27 01:32:24 +00:00
|
|
|
|
2005-08-18 18:44:33 +00:00
|
|
|
protected:
|
|
|
|
/// Pick a safe ordering and emit instructions for each target node in the
|
|
|
|
/// graph.
|
2006-01-21 02:32:06 +00:00
|
|
|
void ScheduleAndEmitDAG(SelectionDAG &DAG);
|
2005-08-18 18:44:33 +00:00
|
|
|
|
2006-02-24 02:12:52 +00:00
|
|
|
/// SelectInlineAsmMemoryOperands - Calls to this are automatically generated
|
|
|
|
/// by tblgen. Others should not call it.
|
|
|
|
void SelectInlineAsmMemoryOperands(std::vector<SDOperand> &Ops,
|
|
|
|
SelectionDAG &DAG);
|
2006-07-27 06:36:49 +00:00
|
|
|
|
2006-10-11 03:58:02 +00:00
|
|
|
// Calls to these predicates are generated by tblgen.
|
|
|
|
bool CheckAndMask(SDOperand LHS, ConstantSDNode *RHS, int64_t DesiredMaskS);
|
|
|
|
bool CheckOrMask(SDOperand LHS, ConstantSDNode *RHS, int64_t DesiredMaskS);
|
|
|
|
|
2005-01-17 17:14:43 +00:00
|
|
|
private:
|
2005-01-07 07:46:03 +00:00
|
|
|
void SelectBasicBlock(BasicBlock *BB, MachineFunction &MF,
|
|
|
|
FunctionLoweringInfo &FuncInfo);
|
2005-04-21 20:39:54 +00:00
|
|
|
|
2005-01-07 07:46:03 +00:00
|
|
|
void BuildSelectionDAG(SelectionDAG &DAG, BasicBlock *LLVMBB,
|
|
|
|
std::vector<std::pair<MachineInstr*, unsigned> > &PHINodesToUpdate,
|
|
|
|
FunctionLoweringInfo &FuncInfo);
|
2006-03-27 01:32:24 +00:00
|
|
|
void CodeGenAndEmitDAG(SelectionDAG &DAG);
|
2005-01-17 17:14:43 +00:00
|
|
|
void LowerArguments(BasicBlock *BB, SelectionDAGLowering &SDL,
|
|
|
|
std::vector<SDOperand> &UnorderedChains);
|
2006-03-27 01:32:24 +00:00
|
|
|
|
|
|
|
/// SwitchCases - Vector of CaseBlock structures used to communicate
|
|
|
|
/// SwitchInst code generation information.
|
|
|
|
std::vector<CaseBlock> SwitchCases;
|
2006-04-22 18:53:45 +00:00
|
|
|
|
|
|
|
/// JT - Record which holds necessary information for emitting a jump table
|
|
|
|
JumpTable JT;
|
2005-01-07 07:46:03 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
#endif /* LLVM_CODEGEN_SELECTIONDAG_ISEL_H */
|