blob: 51d2df3a300885a35ba5aed76e3aceb57eb8e038 [file] [log] [blame]
Anton Korobeynikov4403b932009-07-16 13:27:25 +00001//==-- SystemZISelLowering.h - SystemZ DAG Lowering Interface ----*- C++ -*-==//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file defines the interfaces that SystemZ uses to lower LLVM code into a
11// selection DAG.
12//
13//===----------------------------------------------------------------------===//
14
15#ifndef LLVM_TARGET_SystemZ_ISELLOWERING_H
16#define LLVM_TARGET_SystemZ_ISELLOWERING_H
17
18#include "SystemZ.h"
Anton Korobeynikov656ac6f2009-07-16 13:51:53 +000019#include "SystemZRegisterInfo.h"
Anton Korobeynikov4403b932009-07-16 13:27:25 +000020#include "llvm/CodeGen/SelectionDAG.h"
21#include "llvm/Target/TargetLowering.h"
22
23namespace llvm {
24 namespace SystemZISD {
25 enum {
Anton Korobeynikov87a24e32009-07-16 13:28:59 +000026 FIRST_NUMBER = ISD::BUILTIN_OP_END,
27
28 /// Return with a flag operand. Operand 0 is the chain operand.
Anton Korobeynikovba249e42009-07-16 13:50:21 +000029 RET_FLAG,
30
Dan Gohman98ca4f22009-08-05 01:29:28 +000031 /// CALL - These operations represent an abstract call
Anton Korobeynikovba249e42009-07-16 13:50:21 +000032 /// instruction, which includes a bunch of information.
Anton Korobeynikov4ec3e5f2009-07-16 13:52:31 +000033 CALL,
34
Anton Korobeynikovbad769f2009-07-16 13:57:27 +000035 /// PCRelativeWrapper - PC relative address
36 PCRelativeWrapper,
37
Anton Korobeynikov7d1e39b2009-07-16 13:52:51 +000038 /// CMP, UCMP - Compare instruction
Anton Korobeynikov4ec3e5f2009-07-16 13:52:31 +000039 CMP,
40 UCMP,
Anton Korobeynikov7d1e39b2009-07-16 13:52:51 +000041
42 /// BRCOND - Conditional branch. Operand 0 is chain operand, operand 1 is
43 /// the block to branch if condition is true, operand 2 is condition code
44 /// and operand 3 is the flag operand produced by a CMP instruction.
45 BRCOND,
46
47 /// SELECT - Operands 0 and 1 are selection variables, operand 2 is
48 /// condition code and operand 3 is the flag operand.
49 SELECT
Anton Korobeynikov4403b932009-07-16 13:27:25 +000050 };
51 }
52
53 class SystemZSubtarget;
54 class SystemZTargetMachine;
55
56 class SystemZTargetLowering : public TargetLowering {
57 public:
58 explicit SystemZTargetLowering(SystemZTargetMachine &TM);
59
60 /// LowerOperation - Provide custom lowering hooks for some operations.
Dan Gohmand858e902010-04-17 15:26:15 +000061 virtual SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const;
Anton Korobeynikov4403b932009-07-16 13:27:25 +000062
63 /// getTargetNodeName - This method returns the name of a target specific
64 /// DAG node.
65 virtual const char *getTargetNodeName(unsigned Opcode) const;
66
Anton Korobeynikov7df84622009-07-16 14:36:52 +000067 /// getFunctionAlignment - Return the Log2 alignment of this function.
68 virtual unsigned getFunctionAlignment(const Function *F) const {
69 return 1;
70 }
71
Anton Korobeynikov3c2734c2009-08-21 18:15:41 +000072 std::pair<unsigned, const TargetRegisterClass*>
73 getRegForInlineAsmConstraint(const std::string &Constraint, EVT VT) const;
74 TargetLowering::ConstraintType
75 getConstraintType(const std::string &Constraint) const;
76
Dan Gohmand858e902010-04-17 15:26:15 +000077 SDValue LowerBR_CC(SDValue Op, SelectionDAG &DAG) const;
78 SDValue LowerSELECT_CC(SDValue Op, SelectionDAG &DAG) const;
79 SDValue LowerGlobalAddress(SDValue Op, SelectionDAG &DAG) const;
80 SDValue LowerJumpTable(SDValue Op, SelectionDAG &DAG) const;
81 SDValue LowerConstantPool(SDValue Op, SelectionDAG &DAG) const;
Anton Korobeynikovba249e42009-07-16 13:50:21 +000082
Anton Korobeynikov4ec3e5f2009-07-16 13:52:31 +000083 SDValue EmitCmp(SDValue LHS, SDValue RHS,
84 ISD::CondCode CC, SDValue &SystemZCC,
Dan Gohmand858e902010-04-17 15:26:15 +000085 SelectionDAG &DAG) const;
Anton Korobeynikov4ec3e5f2009-07-16 13:52:31 +000086
Anton Korobeynikov7d1e39b2009-07-16 13:52:51 +000087
88 MachineBasicBlock* EmitInstrWithCustomInserter(MachineInstr *MI,
Dan Gohmanaf1d8ca2010-05-01 00:01:06 +000089 MachineBasicBlock *BB) const;
Anton Korobeynikov7d1e39b2009-07-16 13:52:51 +000090
Evan Chengeb2f9692009-10-27 19:56:55 +000091 /// isFPImmLegal - Returns true if the target can instruction select the
92 /// specified FP immediate natively. If false, the legalizer will
93 /// materialize the FP immediate as a load from a constant pool.
Evan Chenga1eaa3c2009-10-28 01:43:28 +000094 virtual bool isFPImmLegal(const APFloat &Imm, EVT VT) const;
Evan Chengeb2f9692009-10-27 19:56:55 +000095
Anton Korobeynikov4403b932009-07-16 13:27:25 +000096 private:
Dan Gohman98ca4f22009-08-05 01:29:28 +000097 SDValue LowerCCCCallTo(SDValue Chain, SDValue Callee,
Sandeep Patel65c3c8f2009-09-02 08:44:58 +000098 CallingConv::ID CallConv, bool isVarArg,
Dan Gohman98ca4f22009-08-05 01:29:28 +000099 bool isTailCall,
100 const SmallVectorImpl<ISD::OutputArg> &Outs,
Dan Gohmanc9403652010-07-07 15:54:55 +0000101 const SmallVectorImpl<SDValue> &OutVals,
Dan Gohman98ca4f22009-08-05 01:29:28 +0000102 const SmallVectorImpl<ISD::InputArg> &Ins,
103 DebugLoc dl, SelectionDAG &DAG,
Dan Gohmand858e902010-04-17 15:26:15 +0000104 SmallVectorImpl<SDValue> &InVals) const;
Dan Gohman98ca4f22009-08-05 01:29:28 +0000105
106 SDValue LowerCCCArguments(SDValue Chain,
Sandeep Patel65c3c8f2009-09-02 08:44:58 +0000107 CallingConv::ID CallConv,
Dan Gohman98ca4f22009-08-05 01:29:28 +0000108 bool isVarArg,
109 const SmallVectorImpl<ISD::InputArg> &Ins,
110 DebugLoc dl,
111 SelectionDAG &DAG,
Dan Gohmand858e902010-04-17 15:26:15 +0000112 SmallVectorImpl<SDValue> &InVals) const;
Dan Gohman98ca4f22009-08-05 01:29:28 +0000113
114 SDValue LowerCallResult(SDValue Chain, SDValue InFlag,
Sandeep Patel65c3c8f2009-09-02 08:44:58 +0000115 CallingConv::ID CallConv, bool isVarArg,
Dan Gohman98ca4f22009-08-05 01:29:28 +0000116 const SmallVectorImpl<ISD::InputArg> &Ins,
117 DebugLoc dl, SelectionDAG &DAG,
Dan Gohmand858e902010-04-17 15:26:15 +0000118 SmallVectorImpl<SDValue> &InVals) const;
Dan Gohman98ca4f22009-08-05 01:29:28 +0000119
120 virtual SDValue
121 LowerFormalArguments(SDValue Chain,
Sandeep Patel65c3c8f2009-09-02 08:44:58 +0000122 CallingConv::ID CallConv, bool isVarArg,
Dan Gohman98ca4f22009-08-05 01:29:28 +0000123 const SmallVectorImpl<ISD::InputArg> &Ins,
124 DebugLoc dl, SelectionDAG &DAG,
Dan Gohmand858e902010-04-17 15:26:15 +0000125 SmallVectorImpl<SDValue> &InVals) const;
Dan Gohman98ca4f22009-08-05 01:29:28 +0000126 virtual SDValue
Evan Cheng022d9e12010-02-02 23:55:14 +0000127 LowerCall(SDValue Chain, SDValue Callee,
Evan Cheng0c439eb2010-01-27 00:07:07 +0000128 CallingConv::ID CallConv, bool isVarArg, bool &isTailCall,
Dan Gohman98ca4f22009-08-05 01:29:28 +0000129 const SmallVectorImpl<ISD::OutputArg> &Outs,
Dan Gohmanc9403652010-07-07 15:54:55 +0000130 const SmallVectorImpl<SDValue> &OutVals,
Dan Gohman98ca4f22009-08-05 01:29:28 +0000131 const SmallVectorImpl<ISD::InputArg> &Ins,
132 DebugLoc dl, SelectionDAG &DAG,
Dan Gohmand858e902010-04-17 15:26:15 +0000133 SmallVectorImpl<SDValue> &InVals) const;
Dan Gohman98ca4f22009-08-05 01:29:28 +0000134
135 virtual SDValue
136 LowerReturn(SDValue Chain,
Sandeep Patel65c3c8f2009-09-02 08:44:58 +0000137 CallingConv::ID CallConv, bool isVarArg,
Dan Gohman98ca4f22009-08-05 01:29:28 +0000138 const SmallVectorImpl<ISD::OutputArg> &Outs,
Dan Gohmanc9403652010-07-07 15:54:55 +0000139 const SmallVectorImpl<SDValue> &OutVals,
Dan Gohmand858e902010-04-17 15:26:15 +0000140 DebugLoc dl, SelectionDAG &DAG) const;
Dan Gohman98ca4f22009-08-05 01:29:28 +0000141
Anton Korobeynikov4403b932009-07-16 13:27:25 +0000142 const SystemZSubtarget &Subtarget;
143 const SystemZTargetMachine &TM;
Anton Korobeynikov656ac6f2009-07-16 13:51:53 +0000144 const SystemZRegisterInfo *RegInfo;
Anton Korobeynikov4403b932009-07-16 13:27:25 +0000145 };
146} // namespace llvm
147
148#endif // LLVM_TARGET_SystemZ_ISELLOWERING_H