LLVM  15.0.0git
MSP430ISelLowering.cpp
Go to the documentation of this file.
1 //===-- MSP430ISelLowering.cpp - MSP430 DAG Lowering Implementation ------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 //
9 // This file implements the MSP430TargetLowering class.
10 //
11 //===----------------------------------------------------------------------===//
12 
13 #include "MSP430ISelLowering.h"
14 #include "MSP430.h"
15 #include "MSP430MachineFunctionInfo.h"
16 #include "MSP430Subtarget.h"
17 #include "MSP430TargetMachine.h"
18 #include "llvm/CodeGen/CallingConvLower.h"
19 #include "llvm/CodeGen/MachineFrameInfo.h"
20 #include "llvm/CodeGen/MachineFunction.h"
21 #include "llvm/CodeGen/MachineInstrBuilder.h"
22 #include "llvm/CodeGen/MachineRegisterInfo.h"
23 #include "llvm/CodeGen/TargetLoweringObjectFileImpl.h"
24 #include "llvm/CodeGen/ValueTypes.h"
25 #include "llvm/IR/CallingConv.h"
26 #include "llvm/IR/DerivedTypes.h"
27 #include "llvm/IR/Function.h"
28 #include "llvm/IR/GlobalAlias.h"
29 #include "llvm/IR/GlobalVariable.h"
30 #include "llvm/IR/Intrinsics.h"
31 #include "llvm/Support/CommandLine.h"
32 #include "llvm/Support/Debug.h"
33 #include "llvm/Support/ErrorHandling.h"
34 #include "llvm/Support/raw_ostream.h"
35 using namespace llvm;
36 
37 #define DEBUG_TYPE "msp430-lower"
38 
39 static cl::opt<bool>MSP430NoLegalImmediate(
40  "msp430-no-legal-immediate", cl::Hidden,
41  cl::desc("Enable non legal immediates (for testing purposes only)"),
42  cl::init(false));
43 
44 MSP430TargetLowering::MSP430TargetLowering(const TargetMachine &TM,
45  const MSP430Subtarget &STI)
46  : TargetLowering(TM) {
47 
48  // Set up the register classes.
49  addRegisterClass(MVT::i8, &MSP430::GR8RegClass);
50  addRegisterClass(MVT::i16, &MSP430::GR16RegClass);
51 
52  // Compute derived properties from the register classes
53  computeRegisterProperties(STI.getRegisterInfo());
54 
55  // Provide all sorts of operation actions
56  setStackPointerRegisterToSaveRestore(MSP430::SP);
57  setBooleanContents(ZeroOrOneBooleanContent);
58  setBooleanVectorContents(ZeroOrOneBooleanContent); // FIXME: Is this correct?
59 
60  // We have post-incremented loads / stores.
61  setIndexedLoadAction(ISD::POST_INC, MVT::i8, Legal);
62  setIndexedLoadAction(ISD::POST_INC, MVT::i16, Legal);
63 
64  for (MVT VT : MVT::integer_valuetypes()) {
65  setLoadExtAction(ISD::EXTLOAD, VT, MVT::i1, Promote);
66  setLoadExtAction(ISD::SEXTLOAD, VT, MVT::i1, Promote);
67  setLoadExtAction(ISD::ZEXTLOAD, VT, MVT::i1, Promote);
68  setLoadExtAction(ISD::SEXTLOAD, VT, MVT::i8, Expand);
69  setLoadExtAction(ISD::SEXTLOAD, VT, MVT::i16, Expand);
70  }
71 
72  // We don't have any truncstores
73  setTruncStoreAction(MVT::i16, MVT::i8, Expand);
74 
75  setOperationAction(ISD::SRA, MVT::i8, Custom);
76  setOperationAction(ISD::SHL, MVT::i8, Custom);
77  setOperationAction(ISD::SRL, MVT::i8, Custom);
78  setOperationAction(ISD::SRA, MVT::i16, Custom);
79  setOperationAction(ISD::SHL, MVT::i16, Custom);
80  setOperationAction(ISD::SRL, MVT::i16, Custom);
81  setOperationAction(ISD::ROTL, MVT::i8, Expand);
82  setOperationAction(ISD::ROTR, MVT::i8, Expand);
83  setOperationAction(ISD::ROTL, MVT::i16, Expand);
84  setOperationAction(ISD::ROTR, MVT::i16, Expand);
85  setOperationAction(ISD::GlobalAddress, MVT::i16, Custom);
86  setOperationAction(ISD::ExternalSymbol, MVT::i16, Custom);
87  setOperationAction(ISD::BlockAddress, MVT::i16, Custom);
88  setOperationAction(ISD::BR_JT, MVT::Other, Expand);
89  setOperationAction(ISD::BR_CC, MVT::i8, Custom);
90  setOperationAction(ISD::BR_CC, MVT::i16, Custom);
91  setOperationAction(ISD::BRCOND, MVT::Other, Expand);
92  setOperationAction(ISD::SETCC, MVT::i8, Custom);
93  setOperationAction(ISD::SETCC, MVT::i16, Custom);
94  setOperationAction(ISD::SELECT, MVT::i8, Expand);
95  setOperationAction(ISD::SELECT, MVT::i16, Expand);
96  setOperationAction(ISD::SELECT_CC, MVT::i8, Custom);
97  setOperationAction(ISD::SELECT_CC, MVT::i16, Custom);
98  setOperationAction(ISD::SIGN_EXTEND, MVT::i16, Custom);
99  setOperationAction(ISD::DYNAMIC_STACKALLOC, MVT::i8, Expand);
100  setOperationAction(ISD::DYNAMIC_STACKALLOC, MVT::i16, Expand);
101  setOperationAction(ISD::STACKSAVE, MVT::Other, Expand);
102  setOperationAction(ISD::STACKRESTORE, MVT::Other, Expand);
103 
104  setOperationAction(ISD::CTTZ, MVT::i8, Expand);
105  setOperationAction(ISD::CTTZ, MVT::i16, Expand);
106  setOperationAction(ISD::CTLZ, MVT::i8, Expand);
107  setOperationAction(ISD::CTLZ, MVT::i16, Expand);
108  setOperationAction(ISD::CTPOP, MVT::i8, Expand);
109  setOperationAction(ISD::CTPOP, MVT::i16, Expand);
110 
111  setOperationAction(ISD::SHL_PARTS, MVT::i8, Expand);
112  setOperationAction(ISD::SHL_PARTS, MVT::i16, Expand);
113  setOperationAction(ISD::SRL_PARTS, MVT::i8, Expand);
114  setOperationAction(ISD::SRL_PARTS, MVT::i16, Expand);
115  setOperationAction(ISD::SRA_PARTS, MVT::i8, Expand);
116  setOperationAction(ISD::SRA_PARTS, MVT::i16, Expand);
117 
118  setOperationAction(ISD::SIGN_EXTEND_INREG, MVT::i1, Expand);
119 
120  // FIXME: Implement efficiently multiplication by a constant
121  setOperationAction(ISD::MUL, MVT::i8, Promote);
122  setOperationAction(ISD::MULHS, MVT::i8, Promote);
123  setOperationAction(ISD::MULHU, MVT::i8, Promote);
124  setOperationAction(ISD::SMUL_LOHI, MVT::i8, Promote);
125  setOperationAction(ISD::UMUL_LOHI, MVT::i8, Promote);
126  setOperationAction(ISD::MUL, MVT::i16, LibCall);
127  setOperationAction(ISD::MULHS, MVT::i16, Expand);
128  setOperationAction(ISD::MULHU, MVT::i16, Expand);
129  setOperationAction(ISD::SMUL_LOHI, MVT::i16, Expand);
130  setOperationAction(ISD::UMUL_LOHI, MVT::i16, Expand);
131 
132  setOperationAction(ISD::UDIV, MVT::i8, Promote);
133  setOperationAction(ISD::UDIVREM, MVT::i8, Promote);
134  setOperationAction(ISD::UREM, MVT::i8, Promote);
135  setOperationAction(ISD::SDIV, MVT::i8, Promote);
136  setOperationAction(ISD::SDIVREM, MVT::i8, Promote);
137  setOperationAction(ISD::SREM, MVT::i8, Promote);
138  setOperationAction(ISD::UDIV, MVT::i16, LibCall);
139  setOperationAction(ISD::UDIVREM, MVT::i16, Expand);
140  setOperationAction(ISD::UREM, MVT::i16, LibCall);
141  setOperationAction(ISD::SDIV, MVT::i16, LibCall);
142  setOperationAction(ISD::SDIVREM, MVT::i16, Expand);
143  setOperationAction(ISD::SREM, MVT::i16, LibCall);
144 
145  // varargs support
146  setOperationAction(ISD::VASTART, MVT::Other, Custom);
147  setOperationAction(ISD::VAARG, MVT::Other, Expand);
148  setOperationAction(ISD::VAEND, MVT::Other, Expand);
149  setOperationAction(ISD::VACOPY, MVT::Other, Expand);
150  setOperationAction(ISD::JumpTable, MVT::i16, Custom);
151 
152  // EABI Libcalls - EABI Section 6.2
153  const struct {
154  const RTLIB::Libcall Op;
155  const char * const Name;
156  const ISD::CondCode Cond;
157  } LibraryCalls[] = {
158  // Floating point conversions - EABI Table 6
159  { RTLIB::FPROUND_F64_F32, "__mspabi_cvtdf", ISD::SETCC_INVALID },
160  { RTLIB::FPEXT_F32_F64, "__mspabi_cvtfd", ISD::SETCC_INVALID },
161  // The following is NOT implemented in libgcc
162  //{ RTLIB::FPTOSINT_F64_I16, "__mspabi_fixdi", ISD::SETCC_INVALID },
163  { RTLIB::FPTOSINT_F64_I32, "__mspabi_fixdli", ISD::SETCC_INVALID },
164  { RTLIB::FPTOSINT_F64_I64, "__mspabi_fixdlli", ISD::SETCC_INVALID },
165  // The following is NOT implemented in libgcc
166  //{ RTLIB::FPTOUINT_F64_I16, "__mspabi_fixdu", ISD::SETCC_INVALID },
167  { RTLIB::FPTOUINT_F64_I32, "__mspabi_fixdul", ISD::SETCC_INVALID },
168  { RTLIB::FPTOUINT_F64_I64, "__mspabi_fixdull", ISD::SETCC_INVALID },
169  // The following is NOT implemented in libgcc
170  //{ RTLIB::FPTOSINT_F32_I16, "__mspabi_fixfi", ISD::SETCC_INVALID },
171  { RTLIB::FPTOSINT_F32_I32, "__mspabi_fixfli", ISD::SETCC_INVALID },
172  { RTLIB::FPTOSINT_F32_I64, "__mspabi_fixflli", ISD::SETCC_INVALID },
173  // The following is NOT implemented in libgcc
174  //{ RTLIB::FPTOUINT_F32_I16, "__mspabi_fixfu", ISD::SETCC_INVALID },
175  { RTLIB::FPTOUINT_F32_I32, "__mspabi_fixful", ISD::SETCC_INVALID },
176  { RTLIB::FPTOUINT_F32_I64, "__mspabi_fixfull", ISD::SETCC_INVALID },
177  // TODO The following IS implemented in libgcc
178  //{ RTLIB::SINTTOFP_I16_F64, "__mspabi_fltid", ISD::SETCC_INVALID },
179  { RTLIB::SINTTOFP_I32_F64, "__mspabi_fltlid", ISD::SETCC_INVALID },
180  // TODO The following IS implemented in libgcc but is not in the EABI
181  { RTLIB::SINTTOFP_I64_F64, "__mspabi_fltllid", ISD::SETCC_INVALID },
182  // TODO The following IS implemented in libgcc
183  //{ RTLIB::UINTTOFP_I16_F64, "__mspabi_fltud", ISD::SETCC_INVALID },
184  { RTLIB::UINTTOFP_I32_F64, "__mspabi_fltuld", ISD::SETCC_INVALID },
185  // The following IS implemented in libgcc but is not in the EABI
186  { RTLIB::UINTTOFP_I64_F64, "__mspabi_fltulld", ISD::SETCC_INVALID },
187  // TODO The following IS implemented in libgcc
188  //{ RTLIB::SINTTOFP_I16_F32, "__mspabi_fltif", ISD::SETCC_INVALID },
189  { RTLIB::SINTTOFP_I32_F32, "__mspabi_fltlif", ISD::SETCC_INVALID },
190  // TODO The following IS implemented in libgcc but is not in the EABI
191  { RTLIB::SINTTOFP_I64_F32, "__mspabi_fltllif", ISD::SETCC_INVALID },
192  // TODO The following IS implemented in libgcc
193  //{ RTLIB::UINTTOFP_I16_F32, "__mspabi_fltuf", ISD::SETCC_INVALID },
194  { RTLIB::UINTTOFP_I32_F32, "__mspabi_fltulf", ISD::SETCC_INVALID },
195  // The following IS implemented in libgcc but is not in the EABI
196  { RTLIB::UINTTOFP_I64_F32, "__mspabi_fltullf", ISD::SETCC_INVALID },
197 
198  // Floating point comparisons - EABI Table 7
199  { RTLIB::OEQ_F64, "__mspabi_cmpd", ISD::SETEQ },
200  { RTLIB::UNE_F64, "__mspabi_cmpd", ISD::SETNE },
201  { RTLIB::OGE_F64, "__mspabi_cmpd", ISD::SETGE },
202  { RTLIB::OLT_F64, "__mspabi_cmpd", ISD::SETLT },
203  { RTLIB::OLE_F64, "__mspabi_cmpd", ISD::SETLE },
204  { RTLIB::OGT_F64, "__mspabi_cmpd", ISD::SETGT },
205  { RTLIB::OEQ_F32, "__mspabi_cmpf", ISD::SETEQ },
206  { RTLIB::UNE_F32, "__mspabi_cmpf", ISD::SETNE },
207  { RTLIB::OGE_F32, "__mspabi_cmpf", ISD::SETGE },
208  { RTLIB::OLT_F32, "__mspabi_cmpf", ISD::SETLT },
209  { RTLIB::OLE_F32, "__mspabi_cmpf", ISD::SETLE },
210  { RTLIB::OGT_F32, "__mspabi_cmpf", ISD::SETGT },
211 
212  // Floating point arithmetic - EABI Table 8
213  { RTLIB::ADD_F64, "__mspabi_addd", ISD::SETCC_INVALID },
214  { RTLIB::ADD_F32, "__mspabi_addf", ISD::SETCC_INVALID },
215  { RTLIB::DIV_F64, "__mspabi_divd", ISD::SETCC_INVALID },
216  { RTLIB::DIV_F32, "__mspabi_divf", ISD::SETCC_INVALID },
217  { RTLIB::MUL_F64, "__mspabi_mpyd", ISD::SETCC_INVALID },
218  { RTLIB::MUL_F32, "__mspabi_mpyf", ISD::SETCC_INVALID },
219  { RTLIB::SUB_F64, "__mspabi_subd", ISD::SETCC_INVALID },
220  { RTLIB::SUB_F32, "__mspabi_subf", ISD::SETCC_INVALID },
221  // The following are NOT implemented in libgcc
222  // { RTLIB::NEG_F64, "__mspabi_negd", ISD::SETCC_INVALID },
223  // { RTLIB::NEG_F32, "__mspabi_negf", ISD::SETCC_INVALID },
224 
225  // Universal Integer Operations - EABI Table 9
226  { RTLIB::SDIV_I16, "__mspabi_divi", ISD::SETCC_INVALID },
227  { RTLIB::SDIV_I32, "__mspabi_divli", ISD::SETCC_INVALID },
228  { RTLIB::SDIV_I64, "__mspabi_divlli", ISD::SETCC_INVALID },
229  { RTLIB::UDIV_I16, "__mspabi_divu", ISD::SETCC_INVALID },
230  { RTLIB::UDIV_I32, "__mspabi_divul", ISD::SETCC_INVALID },
231  { RTLIB::UDIV_I64, "__mspabi_divull", ISD::SETCC_INVALID },
232  { RTLIB::SREM_I16, "__mspabi_remi", ISD::SETCC_INVALID },
233  { RTLIB::SREM_I32, "__mspabi_remli", ISD::SETCC_INVALID },
234  { RTLIB::SREM_I64, "__mspabi_remlli", ISD::SETCC_INVALID },
235  { RTLIB::UREM_I16, "__mspabi_remu", ISD::SETCC_INVALID },
236  { RTLIB::UREM_I32, "__mspabi_remul", ISD::SETCC_INVALID },
237  { RTLIB::UREM_I64, "__mspabi_remull", ISD::SETCC_INVALID },
238 
239  // Bitwise Operations - EABI Table 10
240  // TODO: __mspabi_[srli/srai/slli] ARE implemented in libgcc
241  { RTLIB::SRL_I32, "__mspabi_srll", ISD::SETCC_INVALID },
242  { RTLIB::SRA_I32, "__mspabi_sral", ISD::SETCC_INVALID },
243  { RTLIB::SHL_I32, "__mspabi_slll", ISD::SETCC_INVALID },
244  // __mspabi_[srlll/srall/sllll/rlli/rlll] are NOT implemented in libgcc
245 
246  };
247 
248  for (const auto &LC : LibraryCalls) {
249  setLibcallName(LC.Op, LC.Name);
250  if (LC.Cond != ISD::SETCC_INVALID)
251  setCmpLibcallCC(LC.Op, LC.Cond);
252  }
253 
254  if (STI.hasHWMult16()) {
255  const struct {
256  const RTLIB::Libcall Op;
257  const char * const Name;
258  } LibraryCalls[] = {
259  // Integer Multiply - EABI Table 9
260  { RTLIB::MUL_I16, "__mspabi_mpyi_hw" },
261  { RTLIB::MUL_I32, "__mspabi_mpyl_hw" },
262  { RTLIB::MUL_I64, "__mspabi_mpyll_hw" },
263  // TODO The __mspabi_mpysl*_hw functions ARE implemented in libgcc
264  // TODO The __mspabi_mpyul*_hw functions ARE implemented in libgcc
265  };
266  for (const auto &LC : LibraryCalls) {
267  setLibcallName(LC.Op, LC.Name);
268  }
269  } else if (STI.hasHWMult32()) {
270  const struct {
271  const RTLIB::Libcall Op;
272  const char * const Name;
273  } LibraryCalls[] = {
274  // Integer Multiply - EABI Table 9
275  { RTLIB::MUL_I16, "__mspabi_mpyi_hw" },
276  { RTLIB::MUL_I32, "__mspabi_mpyl_hw32" },
277  { RTLIB::MUL_I64, "__mspabi_mpyll_hw32" },
278  // TODO The __mspabi_mpysl*_hw32 functions ARE implemented in libgcc
279  // TODO The __mspabi_mpyul*_hw32 functions ARE implemented in libgcc
280  };
281  for (const auto &LC : LibraryCalls) {
282  setLibcallName(LC.Op, LC.Name);
283  }
284  } else if (STI.hasHWMultF5()) {
285  const struct {
286  const RTLIB::Libcall Op;
287  const char * const Name;
288  } LibraryCalls[] = {
289  // Integer Multiply - EABI Table 9
290  { RTLIB::MUL_I16, "__mspabi_mpyi_f5hw" },
291  { RTLIB::MUL_I32, "__mspabi_mpyl_f5hw" },
292  { RTLIB::MUL_I64, "__mspabi_mpyll_f5hw" },
293  // TODO The __mspabi_mpysl*_f5hw functions ARE implemented in libgcc
294  // TODO The __mspabi_mpyul*_f5hw functions ARE implemented in libgcc
295  };
296  for (const auto &LC : LibraryCalls) {
297  setLibcallName(LC.Op, LC.Name);
298  }
299  } else { // NoHWMult
300  const struct {
301  const RTLIB::Libcall Op;
302  const char * const Name;
303  } LibraryCalls[] = {
304  // Integer Multiply - EABI Table 9
305  { RTLIB::MUL_I16, "__mspabi_mpyi" },
306  { RTLIB::MUL_I32, "__mspabi_mpyl" },
307  { RTLIB::MUL_I64, "__mspabi_mpyll" },
308  // The __mspabi_mpysl* functions are NOT implemented in libgcc
309  // The __mspabi_mpyul* functions are NOT implemented in libgcc
310  };
311  for (const auto &LC : LibraryCalls) {
312  setLibcallName(LC.Op, LC.Name);
313  }
314  setLibcallCallingConv(RTLIB::MUL_I64, CallingConv::MSP430_BUILTIN);
315  }
316 
317  // Several of the runtime library functions use a special calling conv
318  setLibcallCallingConv(RTLIB::UDIV_I64, CallingConv::MSP430_BUILTIN);
319  setLibcallCallingConv(RTLIB::UREM_I64, CallingConv::MSP430_BUILTIN);
320  setLibcallCallingConv(RTLIB::SDIV_I64, CallingConv::MSP430_BUILTIN);
321  setLibcallCallingConv(RTLIB::SREM_I64, CallingConv::MSP430_BUILTIN);
322  setLibcallCallingConv(RTLIB::ADD_F64, CallingConv::MSP430_BUILTIN);
323  setLibcallCallingConv(RTLIB::SUB_F64, CallingConv::MSP430_BUILTIN);
324  setLibcallCallingConv(RTLIB::MUL_F64, CallingConv::MSP430_BUILTIN);
325  setLibcallCallingConv(RTLIB::DIV_F64, CallingConv::MSP430_BUILTIN);
326  setLibcallCallingConv(RTLIB::OEQ_F64, CallingConv::MSP430_BUILTIN);
327  setLibcallCallingConv(RTLIB::UNE_F64, CallingConv::MSP430_BUILTIN);
328  setLibcallCallingConv(RTLIB::OGE_F64, CallingConv::MSP430_BUILTIN);
329  setLibcallCallingConv(RTLIB::OLT_F64, CallingConv::MSP430_BUILTIN);
330  setLibcallCallingConv(RTLIB::OLE_F64, CallingConv::MSP430_BUILTIN);
331  setLibcallCallingConv(RTLIB::OGT_F64, CallingConv::MSP430_BUILTIN);
332  // TODO: __mspabi_srall, __mspabi_srlll, __mspabi_sllll
333 
334  setMinFunctionAlignment(Align(2));
335  setPrefFunctionAlignment(Align(2));
336 }
337 
338 SDValue MSP430TargetLowering::LowerOperation(SDValue Op,
339  SelectionDAG &DAG) const {
340  switch (Op.getOpcode()) {
341  case ISD::SHL: // FALLTHROUGH
342  case ISD::SRL:
343  case ISD::SRA: return LowerShifts(Op, DAG);
344  case ISD::GlobalAddress: return LowerGlobalAddress(Op, DAG);
345  case ISD::BlockAddress: return LowerBlockAddress(Op, DAG);
346  case ISD::ExternalSymbol: return LowerExternalSymbol(Op, DAG);
347  case ISD::SETCC: return LowerSETCC(Op, DAG);
348  case ISD::BR_CC: return LowerBR_CC(Op, DAG);
349  case ISD::SELECT_CC: return LowerSELECT_CC(Op, DAG);
350  case ISD::SIGN_EXTEND: return LowerSIGN_EXTEND(Op, DAG);
351  case ISD::RETURNADDR: return LowerRETURNADDR(Op, DAG);
352  case ISD::FRAMEADDR: return LowerFRAMEADDR(Op, DAG);
353  case ISD::VASTART: return LowerVASTART(Op, DAG);
354  case ISD::JumpTable: return LowerJumpTable(Op, DAG);
355  default:
356  llvm_unreachable("unimplemented operand");
357  }
358 }
359 
360 // Define non profitable transforms into shifts
361 bool MSP430TargetLowering::shouldAvoidTransformToShift(EVT VT,
362  unsigned Amount) const {
363  return !(Amount == 8 || Amount == 9 || Amount<=2);
364 }
365 
366 // Implemented to verify test case assertions in
367 // tests/codegen/msp430/shift-amount-threshold-b.ll
368 bool MSP430TargetLowering::isLegalICmpImmediate(int64_t Immed) const {
369  if (MSP430NoLegalImmediate)
370  return Immed >= -32 && Immed < 32;
371  return TargetLowering::isLegalICmpImmediate(Immed);
372 }
373 
374 //===----------------------------------------------------------------------===//
375 // MSP430 Inline Assembly Support
376 //===----------------------------------------------------------------------===//
377 
378 /// getConstraintType - Given a constraint letter, return the type of
379 /// constraint it is for this target.
380 TargetLowering::ConstraintType
381 MSP430TargetLowering::getConstraintType(StringRef Constraint) const {
382  if (Constraint.size() == 1) {
383  switch (Constraint[0]) {
384  case 'r':
385  return C_RegisterClass;
386  default:
387  break;
388  }
389  }
390  return TargetLowering::getConstraintType(Constraint);
391 }
392 
393 std::pair<unsigned, const TargetRegisterClass *>
394 MSP430TargetLowering::getRegForInlineAsmConstraint(
395  const TargetRegisterInfo *TRI, StringRef Constraint, MVT VT) const {
396  if (Constraint.size() == 1) {
397  // GCC Constraint Letters
398  switch (Constraint[0]) {
399  default: break;
400  case 'r': // GENERAL_REGS
401  if (VT == MVT::i8)
402  return std::make_pair(0U, &MSP430::GR8RegClass);
403 
404  return std::make_pair(0U, &MSP430::GR16RegClass);
405  }
406  }
407 
408  return TargetLowering::getRegForInlineAsmConstraint(TRI, Constraint, VT);
409 }
410 
411 //===----------------------------------------------------------------------===//
412 // Calling Convention Implementation
413 //===----------------------------------------------------------------------===//
414 
415 #include "MSP430GenCallingConv.inc"
416 
417 /// For each argument in a function store the number of pieces it is composed
418 /// of.
419 template<typename ArgT>
420 static void ParseFunctionArgs(const SmallVectorImpl<ArgT> &Args,
421  SmallVectorImpl<unsigned> &Out) {
422  unsigned CurrentArgIndex;
423 
424  if (Args.empty())
425  return;
426 
427  CurrentArgIndex = Args[0].OrigArgIndex;
428  Out.push_back(0);
429 
430  for (auto &Arg : Args) {
431  if (CurrentArgIndex == Arg.OrigArgIndex) {
432  Out.back() += 1;
433  } else {
434  Out.push_back(1);
435  CurrentArgIndex = Arg.OrigArgIndex;
436  }
437  }
438 }
439 
440 static void AnalyzeVarArgs(CCState &State,
441  const SmallVectorImpl<ISD::OutputArg> &Outs) {
442  State.AnalyzeCallOperands(Outs, CC_MSP430_AssignStack);
443 }
444 
445 static void AnalyzeVarArgs(CCState &State,
446  const SmallVectorImpl<ISD::InputArg> &Ins) {
447  State.AnalyzeFormalArguments(Ins, CC_MSP430_AssignStack);
448 }
449 
450 /// Analyze incoming and outgoing function arguments. We need custom C++ code
451 /// to handle special constraints in the ABI like reversing the order of the
452 /// pieces of splitted arguments. In addition, all pieces of a certain argument
453 /// have to be passed either using registers or the stack but never mixing both.
454 template<typename ArgT>
455 static void AnalyzeArguments(CCState &State,
456  SmallVectorImpl<CCValAssign> &ArgLocs,
457  const SmallVectorImpl<ArgT> &Args) {
458  static const MCPhysReg CRegList[] = {
459  MSP430::R12, MSP430::R13, MSP430::R14, MSP430::R15
460  };
461  static const unsigned CNbRegs = array_lengthof(CRegList);
462  static const MCPhysReg BuiltinRegList[] = {
463  MSP430::R8, MSP430::R9, MSP430::R10, MSP430::R11,
464  MSP430::R12, MSP430::R13, MSP430::R14, MSP430::R15
465  };
466  static const unsigned BuiltinNbRegs = array_lengthof(BuiltinRegList);
467 
468  ArrayRef<MCPhysReg> RegList;
469  unsigned NbRegs;
470 
471  bool Builtin = (State.getCallingConv() == CallingConv::MSP430_BUILTIN);
472  if (Builtin) {
473  RegList = BuiltinRegList;
474  NbRegs = BuiltinNbRegs;
475  } else {
476  RegList = CRegList;
477  NbRegs = CNbRegs;
478  }
479 
480  if (State.isVarArg()) {
481  AnalyzeVarArgs(State, Args);
482  return;
483  }
484 
485  SmallVector<unsigned, 4> ArgsParts;
486  ParseFunctionArgs(Args, ArgsParts);
487 
488  if (Builtin) {
489  assert(ArgsParts.size() == 2 &&
490  "Builtin calling convention requires two arguments");
491  }
492 
493  unsigned RegsLeft = NbRegs;
494  bool UsedStack = false;
495  unsigned ValNo = 0;
496 
497  for (unsigned i = 0, e = ArgsParts.size(); i != e; i++) {
498  MVT ArgVT = Args[ValNo].VT;
499  ISD::ArgFlagsTy ArgFlags = Args[ValNo].Flags;
500  MVT LocVT = ArgVT;
501  CCValAssign::LocInfo LocInfo = CCValAssign::Full;
502 
503  // Promote i8 to i16
504  if (LocVT == MVT::i8) {
505  LocVT = MVT::i16;
506  if (ArgFlags.isSExt())
507  LocInfo = CCValAssign::SExt;
508  else if (ArgFlags.isZExt())
509  LocInfo = CCValAssign::ZExt;
510  else
511  LocInfo = CCValAssign::AExt;
512  }
513 
514  // Handle byval arguments
515  if (ArgFlags.isByVal()) {
516  State.HandleByVal(ValNo++, ArgVT, LocVT, LocInfo, 2, Align(2), ArgFlags);
517  continue;
518  }
519 
520  unsigned Parts = ArgsParts[i];
521 
522  if (Builtin) {
523  assert(Parts == 4 &&
524  "Builtin calling convention requires 64-bit arguments");
525  }
526 
527  if (!UsedStack && Parts == 2 && RegsLeft == 1) {
528  // Special case for 32-bit register split, see EABI section 3.3.3
529  unsigned Reg = State.AllocateReg(RegList);
530  State.addLoc(CCValAssign::getReg(ValNo++, ArgVT, Reg, LocVT, LocInfo));
531  RegsLeft -= 1;
532 
533  UsedStack = true;
534  CC_MSP430_AssignStack(ValNo++, ArgVT, LocVT, LocInfo, ArgFlags, State);
535  } else if (Parts <= RegsLeft) {
536  for (unsigned j = 0; j < Parts; j++) {
537  unsigned Reg = State.AllocateReg(RegList);
538  State.addLoc(CCValAssign::getReg(ValNo++, ArgVT, Reg, LocVT, LocInfo));
539  RegsLeft--;
540  }
541  } else {
542  UsedStack = true;
543  for (unsigned j = 0; j < Parts; j++)
544  CC_MSP430_AssignStack(ValNo++, ArgVT, LocVT, LocInfo, ArgFlags, State);
545  }
546  }
547 }
548 
549 static void AnalyzeRetResult(CCState &State,
550  const SmallVectorImpl<ISD::InputArg> &Ins) {
551  State.AnalyzeCallResult(Ins, RetCC_MSP430);
552 }
553 
554 static void AnalyzeRetResult(CCState &State,
555  const SmallVectorImpl<ISD::OutputArg> &Outs) {
556  State.AnalyzeReturn(Outs, RetCC_MSP430);
557 }
558 
559 template<typename ArgT>
560 static void AnalyzeReturnValues(CCState &State,
561  SmallVectorImpl<CCValAssign> &RVLocs,
562  const SmallVectorImpl<ArgT> &Args) {
563  AnalyzeRetResult(State, Args);
564 }
565 
566 SDValue MSP430TargetLowering::LowerFormalArguments(
567  SDValue Chain, CallingConv::ID CallConv, bool isVarArg,
568  const SmallVectorImpl<ISD::InputArg> &Ins, const SDLoc &dl,
569  SelectionDAG &DAG, SmallVectorImpl<SDValue> &InVals) const {
570 
571  switch (CallConv) {
572  default:
573  report_fatal_error("Unsupported calling convention");
574  case CallingConv::C:
575  case CallingConv::Fast:
576  return LowerCCCArguments(Chain, CallConv, isVarArg, Ins, dl, DAG, InVals);
577  case CallingConv::MSP430_INTR:
578  if (Ins.empty())
579  return Chain;
580  report_fatal_error("ISRs cannot have arguments");
581  }
582 }
583 
584 SDValue
585 MSP430TargetLowering::LowerCall(TargetLowering::CallLoweringInfo &CLI,
586  SmallVectorImpl<SDValue> &InVals) const {
587  SelectionDAG &DAG = CLI.DAG;
588  SDLoc &dl = CLI.DL;
589  SmallVectorImpl<ISD::OutputArg> &Outs = CLI.Outs;
590  SmallVectorImpl<SDValue> &OutVals = CLI.OutVals;
591  SmallVectorImpl<ISD::InputArg> &Ins = CLI.Ins;
592  SDValue Chain = CLI.Chain;
593  SDValue Callee = CLI.Callee;
594  bool &isTailCall = CLI.IsTailCall;
595  CallingConv::ID CallConv = CLI.CallConv;
596  bool isVarArg = CLI.IsVarArg;
597 
598  // MSP430 target does not yet support tail call optimization.
599  isTailCall = false;
600 
601  switch (CallConv) {
602  default:
603  report_fatal_error("Unsupported calling convention");
604  case CallingConv::MSP430_BUILTIN:
605  case CallingConv::Fast:
606  case CallingConv::C:
607  return LowerCCCCallTo(Chain, Callee, CallConv, isVarArg, isTailCall,
608  Outs, OutVals, Ins, dl, DAG, InVals);
609  case CallingConv::MSP430_INTR:
610  report_fatal_error("ISRs cannot be called directly");
611  }
612 }
613 
614 /// LowerCCCArguments - transform physical registers into virtual registers and
615 /// generate load operations for arguments places on the stack.
616 // FIXME: struct return stuff
617 SDValue MSP430TargetLowering::LowerCCCArguments(
618  SDValue Chain, CallingConv::ID CallConv, bool isVarArg,
619  const SmallVectorImpl<ISD::InputArg> &Ins, const SDLoc &dl,
620  SelectionDAG &DAG, SmallVectorImpl<SDValue> &InVals) const {
621  MachineFunction &MF = DAG.getMachineFunction();
622  MachineFrameInfo &MFI = MF.getFrameInfo();
623  MachineRegisterInfo &RegInfo = MF.getRegInfo();
624  MSP430MachineFunctionInfo *FuncInfo = MF.getInfo<MSP430MachineFunctionInfo>();
625 
626  // Assign locations to all of the incoming arguments.
627  SmallVector<CCValAssign, 16> ArgLocs;
628  CCState CCInfo(CallConv, isVarArg, DAG.getMachineFunction(), ArgLocs,
629  *DAG.getContext());
630  AnalyzeArguments(CCInfo, ArgLocs, Ins);
631 
632  // Create frame index for the start of the first vararg value
633  if (isVarArg) {
634  unsigned Offset = CCInfo.getNextStackOffset();
635  FuncInfo->setVarArgsFrameIndex(MFI.CreateFixedObject(1, Offset, true));
636  }
637 
638  for (unsigned i = 0, e = ArgLocs.size(); i != e; ++i) {
639  CCValAssign &VA = ArgLocs[i];
640  if (VA.isRegLoc()) {
641  // Arguments passed in registers
642  EVT RegVT = VA.getLocVT();
643  switch (RegVT.getSimpleVT().SimpleTy) {
644  default:
645  {
646 #ifndef NDEBUG
647  errs() << "LowerFormalArguments Unhandled argument type: "
648  << RegVT.getEVTString() << "\n";
649 #endif
650  llvm_unreachable(nullptr);
651  }
652  case MVT::i16:
653  Register VReg = RegInfo.createVirtualRegister(&MSP430::GR16RegClass);
654  RegInfo.addLiveIn(VA.getLocReg(), VReg);
655  SDValue ArgValue = DAG.getCopyFromReg(Chain, dl, VReg, RegVT);
656 
657  // If this is an 8-bit value, it is really passed promoted to 16
658  // bits. Insert an assert[sz]ext to capture this, then truncate to the
659  // right size.
660  if (VA.getLocInfo() == CCValAssign::SExt)
661  ArgValue = DAG.getNode(ISD::AssertSext, dl, RegVT, ArgValue,
662  DAG.getValueType(VA.getValVT()));
663  else if (VA.getLocInfo() == CCValAssign::ZExt)
664  ArgValue = DAG.getNode(ISD::AssertZext, dl, RegVT, ArgValue,
665  DAG.getValueType(VA.getValVT()));
666 
667  if (VA.getLocInfo() != CCValAssign::Full)
668  ArgValue = DAG.getNode(ISD::TRUNCATE, dl, VA.getValVT(), ArgValue);
669 
670  InVals.push_back(ArgValue);
671  }
672  } else {
673  // Only arguments passed on the stack should make it here.
674  assert(VA.isMemLoc());
675 
676  SDValue InVal;
677  ISD::ArgFlagsTy Flags = Ins[i].Flags;
678 
679  if (Flags.isByVal()) {
680  MVT PtrVT = VA.getLocVT();
681  int FI = MFI.CreateFixedObject(Flags.getByValSize(),
682  VA.getLocMemOffset(), true);
683  InVal = DAG.getFrameIndex(FI, PtrVT);
684  } else {
685  // Load the argument to a virtual register
686  unsigned ObjSize = VA.getLocVT().getSizeInBits()/8;
687  if (ObjSize > 2) {
688  errs() << "LowerFormalArguments Unhandled argument type: "
689  << EVT(VA.getLocVT()).getEVTString()
690  << "\n";
691  }
692  // Create the frame index object for this incoming parameter...
693  int FI = MFI.CreateFixedObject(ObjSize, VA.getLocMemOffset(), true);
694 
695  // Create the SelectionDAG nodes corresponding to a load
696  //from this parameter
697  SDValue FIN = DAG.getFrameIndex(FI, MVT::i16);
698  InVal = DAG.getLoad(
699  VA.getLocVT(), dl, Chain, FIN,
700  MachinePointerInfo::getFixedStack(DAG.getMachineFunction(), FI));
701  }
702 
703  InVals.push_back(InVal);
704  }
705  }
706 
707  for (unsigned i = 0, e = ArgLocs.size(); i != e; ++i) {
708  if (Ins[i].Flags.isSRet()) {
709  Register Reg = FuncInfo->getSRetReturnReg();
710  if (!Reg) {
711  Reg = MF.getRegInfo().createVirtualRegister(
712  getRegClassFor(MVT::i16));
713  FuncInfo->setSRetReturnReg(Reg);
714  }
715  SDValue Copy = DAG.getCopyToReg(DAG.getEntryNode(), dl, Reg, InVals[i]);
716  Chain = DAG.getNode(ISD::TokenFactor, dl, MVT::Other, Copy, Chain);
717  }
718  }
719 
720  return Chain;
721 }
722 
723 bool
724 MSP430TargetLowering::CanLowerReturn(CallingConv::ID CallConv,
725  MachineFunction &MF,
726  bool IsVarArg,
727  const SmallVectorImpl<ISD::OutputArg> &Outs,
728  LLVMContext &Context) const {
729  SmallVector<CCValAssign, 16> RVLocs;
730  CCState CCInfo(CallConv, IsVarArg, MF, RVLocs, Context);
731  return CCInfo.CheckReturn(Outs, RetCC_MSP430);
732 }
733 
734 SDValue
735 MSP430TargetLowering::LowerReturn(SDValue Chain, CallingConv::ID CallConv,
736  bool isVarArg,
737  const SmallVectorImpl<ISD::OutputArg> &Outs,
738  const SmallVectorImpl<SDValue> &OutVals,
739  const SDLoc &dl, SelectionDAG &DAG) const {
740 
741  MachineFunction &MF = DAG.getMachineFunction();
742 
743  // CCValAssign - represent the assignment of the return value to a location
744  SmallVector<CCValAssign, 16> RVLocs;
745 
746  // ISRs cannot return any value.
747  if (CallConv == CallingConv::MSP430_INTR && !Outs.empty())
748  report_fatal_error("ISRs cannot return any value");
749 
750  // CCState - Info about the registers and stack slot.
751  CCState CCInfo(CallConv, isVarArg, DAG.getMachineFunction(), RVLocs,
752  *DAG.getContext());
753 
754  // Analize return values.
755  AnalyzeReturnValues(CCInfo, RVLocs, Outs);
756 
757  SDValue Flag;
758  SmallVector<SDValue, 4> RetOps(1, Chain);
759 
760  // Copy the result values into the output registers.
761  for (unsigned i = 0; i != RVLocs.size(); ++i) {
762  CCValAssign &VA = RVLocs[i];
763  assert(VA.isRegLoc() && "Can only return in registers!");
764 
765  Chain = DAG.getCopyToReg(Chain, dl, VA.getLocReg(),
766  OutVals[i], Flag);
767 
768  // Guarantee that all emitted copies are stuck together,
769  // avoiding something bad.
770  Flag = Chain.getValue(1);
771  RetOps.push_back(DAG.getRegister(VA.getLocReg(), VA.getLocVT()));
772  }
773 
774  if (MF.getFunction().hasStructRetAttr()) {
775  MSP430MachineFunctionInfo *FuncInfo = MF.getInfo<MSP430MachineFunctionInfo>();
776  Register Reg = FuncInfo->getSRetReturnReg();
777 
778  if (!Reg)
779  llvm_unreachable("sret virtual register not created in entry block");
780 
781  MVT PtrVT = getFrameIndexTy(DAG.getDataLayout());
782  SDValue Val =
783  DAG.getCopyFromReg(Chain, dl, Reg, PtrVT);
784  unsigned R12 = MSP430::R12;
785 
786  Chain = DAG.getCopyToReg(Chain, dl, R12, Val, Flag);
787  Flag = Chain.getValue(1);
788  RetOps.push_back(DAG.getRegister(R12, PtrVT));
789  }
790 
791  unsigned Opc = (CallConv == CallingConv::MSP430_INTR ?
792  MSP430ISD::RETI_FLAG : MSP430ISD::RET_FLAG);
793 
794  RetOps[0] = Chain; // Update chain.
795 
796  // Add the flag if we have it.
797  if (Flag.getNode())
798  RetOps.push_back(Flag);
799 
800  return DAG.getNode(Opc, dl, MVT::Other, RetOps);
801 }
802 
803 /// LowerCCCCallTo - functions arguments are copied from virtual regs to
804 /// (physical regs)/(stack frame), CALLSEQ_START and CALLSEQ_END are emitted.
805 SDValue MSP430TargetLowering::LowerCCCCallTo(
806  SDValue Chain, SDValue Callee, CallingConv::ID CallConv, bool isVarArg,
807  bool isTailCall, const SmallVectorImpl<ISD::OutputArg> &Outs,
808  const SmallVectorImpl<SDValue> &OutVals,
809  const SmallVectorImpl<ISD::InputArg> &Ins, const SDLoc &dl,
810  SelectionDAG &DAG, SmallVectorImpl<SDValue> &InVals) const {
811  // Analyze operands of the call, assigning locations to each operand.
812  SmallVector<CCValAssign, 16> ArgLocs;
813  CCState CCInfo(CallConv, isVarArg, DAG.getMachineFunction(), ArgLocs,
814  *DAG.getContext());
815  AnalyzeArguments(CCInfo, ArgLocs, Outs);
816 
817  // Get a count of how many bytes are to be pushed on the stack.
818  unsigned NumBytes = CCInfo.getNextStackOffset();
819  MVT PtrVT = getFrameIndexTy(DAG.getDataLayout());
820 
821  Chain = DAG.getCALLSEQ_START(Chain, NumBytes, 0, dl);
822 
823  SmallVector<std::pair<unsigned, SDValue>, 4> RegsToPass;
824  SmallVector<SDValue, 12> MemOpChains;
825  SDValue StackPtr;
826 
827  // Walk the register/memloc assignments, inserting copies/loads.
828  for (unsigned i = 0, e = ArgLocs.size(); i != e; ++i) {
829  CCValAssign &VA = ArgLocs[i];
830 
831  SDValue Arg = OutVals[i];
832 
833  // Promote the value if needed.
834  switch (VA.getLocInfo()) {
835  default: llvm_unreachable("Unknown loc info!");
836  case CCValAssign::Full: break;
837  case CCValAssign::SExt:
838  Arg = DAG.getNode(ISD::SIGN_EXTEND, dl, VA.getLocVT(), Arg);
839  break;
840  case CCValAssign::ZExt:
841  Arg = DAG.getNode(ISD::ZERO_EXTEND, dl, VA.getLocVT(), Arg);
842  break;
843  case CCValAssign::AExt:
844  Arg = DAG.getNode(ISD::ANY_EXTEND, dl, VA.getLocVT(), Arg);
845  break;
846  }
847 
848  // Arguments that can be passed on register must be kept at RegsToPass
849  // vector
850  if (VA.isRegLoc()) {
851  RegsToPass.push_back(std::make_pair(VA.getLocReg(), Arg));
852  } else {
853  assert(VA.isMemLoc());
854 
855  if (!StackPtr.getNode())
856  StackPtr = DAG.getCopyFromReg(Chain, dl, MSP430::SP, PtrVT);
857 
858  SDValue PtrOff =
859  DAG.getNode(ISD::ADD, dl, PtrVT, StackPtr,
860  DAG.getIntPtrConstant(VA.getLocMemOffset(), dl));
861 
862  SDValue MemOp;
863  ISD::ArgFlagsTy Flags = Outs[i].Flags;
864 
865  if (Flags.isByVal()) {
866  SDValue SizeNode = DAG.getConstant(Flags.getByValSize(), dl, MVT::i16);
867  MemOp = DAG.getMemcpy(
868  Chain, dl, PtrOff, Arg, SizeNode, Flags.getNonZeroByValAlign(),
869  /*isVolatile*/ false,
870  /*AlwaysInline=*/true,
871  /*isTailCall=*/false, MachinePointerInfo(), MachinePointerInfo());
872  } else {
873  MemOp = DAG.getStore(Chain, dl, Arg, PtrOff, MachinePointerInfo());
874  }
875 
876  MemOpChains.push_back(MemOp);
877  }
878  }
879 
880  // Transform all store nodes into one single node because all store nodes are
881  // independent of each other.
882  if (!MemOpChains.empty())
883  Chain = DAG.getNode(ISD::TokenFactor, dl, MVT::Other, MemOpChains);
884 
885  // Build a sequence of copy-to-reg nodes chained together with token chain and
886  // flag operands which copy the outgoing args into registers. The InFlag in
887  // necessary since all emitted instructions must be stuck together.
888  SDValue InFlag;
889  for (unsigned i = 0, e = RegsToPass.size(); i != e; ++i) {
890  Chain = DAG.getCopyToReg(Chain, dl, RegsToPass[i].first,
891  RegsToPass[i].second, InFlag);
892  InFlag = Chain.getValue(1);
893  }
894 
895  // If the callee is a GlobalAddress node (quite common, every direct call is)
896  // turn it into a TargetGlobalAddress node so that legalize doesn't hack it.
897  // Likewise ExternalSymbol -> TargetExternalSymbol.
898  if (GlobalAddressSDNode *G = dyn_cast<GlobalAddressSDNode>(Callee))
899  Callee = DAG.getTargetGlobalAddress(G->getGlobal(), dl, MVT::i16);
900  else if (ExternalSymbolSDNode *E = dyn_cast<ExternalSymbolSDNode>(Callee))
901  Callee = DAG.getTargetExternalSymbol(E->getSymbol(), MVT::i16);
902 
903  // Returns a chain & a flag for retval copy to use.
904  SDVTList NodeTys = DAG.getVTList(MVT::Other, MVT::Glue);
905  SmallVector<SDValue, 8> Ops;
906  Ops.push_back(Chain);
907  Ops.push_back(Callee);
908 
909  // Add argument registers to the end of the list so that they are
910  // known live into the call.
911  for (unsigned i = 0, e = RegsToPass.size(); i != e; ++i)
912  Ops.push_back(DAG.getRegister(RegsToPass[i].first,
913  RegsToPass[i].second.getValueType()));
914 
915  if (InFlag.getNode())
916  Ops.push_back(InFlag);
917 
918  Chain = DAG.getNode(MSP430ISD::CALL, dl, NodeTys, Ops);
919  InFlag = Chain.getValue(1);
920 
921  // Create the CALLSEQ_END node.
922  Chain = DAG.getCALLSEQ_END(Chain, DAG.getConstant(NumBytes, dl, PtrVT, true),
923  DAG.getConstant(0, dl, PtrVT, true), InFlag, dl);
924  InFlag = Chain.getValue(1);
925 
926  // Handle result values, copying them out of physregs into vregs that we
927  // return.
928  return LowerCallResult(Chain, InFlag, CallConv, isVarArg, Ins, dl,
929  DAG, InVals);
930 }
931 
932 /// LowerCallResult - Lower the result values of a call into the
933 /// appropriate copies out of appropriate physical registers.
934 ///
935 SDValue MSP430TargetLowering::LowerCallResult(
936  SDValue Chain, SDValue InFlag, CallingConv::ID CallConv, bool isVarArg,
937  const SmallVectorImpl<ISD::InputArg> &Ins, const SDLoc &dl,
938  SelectionDAG &DAG, SmallVectorImpl<SDValue> &InVals) const {
939 
940  // Assign locations to each value returned by this call.
941  SmallVector<CCValAssign, 16> RVLocs;
942  CCState CCInfo(CallConv, isVarArg, DAG.getMachineFunction(), RVLocs,
943  *DAG.getContext());
944 
945  AnalyzeReturnValues(CCInfo, RVLocs, Ins);
946 
947  // Copy all of the result registers out of their specified physreg.
948  for (unsigned i = 0; i != RVLocs.size(); ++i) {
949  Chain = DAG.getCopyFromReg(Chain, dl, RVLocs[i].getLocReg(),
950  RVLocs[i].getValVT(), InFlag).getValue(1);
951  InFlag = Chain.getValue(2);
952  InVals.push_back(Chain.getValue(0));
953  }
954 
955  return Chain;
956 }
957 
958 SDValue MSP430TargetLowering::LowerShifts(SDValue Op,
959  SelectionDAG &DAG) const {
960  unsigned Opc = Op.getOpcode();
961  SDNode* N = Op.getNode();
962  EVT VT = Op.getValueType();
963  SDLoc dl(N);
964 
965  // Expand non-constant shifts to loops:
966  if (!isa<ConstantSDNode>(N->getOperand(1)))
967  return Op;
968 
969  uint64_t ShiftAmount = cast<ConstantSDNode>(N->getOperand(1))->getZExtValue();
970 
971  // Expand the stuff into sequence of shifts.
972  SDValue Victim = N->getOperand(0);
973 
974  if (ShiftAmount >= 8) {
975  assert(VT == MVT::i16 && "Can not shift i8 by 8 and more");
976  switch(Opc) {
977  default:
978  llvm_unreachable("Unknown shift");
979  case ISD::SHL:
980  // foo << (8 + N) => swpb(zext(foo)) << N
981  Victim = DAG.getZeroExtendInReg(Victim, dl, MVT::i8);
982  Victim = DAG.getNode(ISD::BSWAP, dl, VT, Victim);
983  break;
984  case ISD::SRA:
985  case ISD::SRL:
986  // foo >> (8 + N) => sxt(swpb(foo)) >> N
987  Victim = DAG.getNode(ISD::BSWAP, dl, VT, Victim);
988  Victim = (Opc == ISD::SRA)
989  ? DAG.getNode(ISD::SIGN_EXTEND_INREG, dl, VT, Victim,
990  DAG.getValueType(MVT::i8))
991  : DAG.getZeroExtendInReg(Victim, dl, MVT::i8);
992  break;
993  }
994  ShiftAmount -= 8;
995  }
996 
997  if (Opc == ISD::SRL && ShiftAmount) {
998  // Emit a special goodness here:
999  // srl A, 1 => clrc; rrc A
1000  Victim = DAG.getNode(MSP430ISD::RRCL, dl, VT, Victim);
1001  ShiftAmount -= 1;
1002  }
1003 
1004  while (ShiftAmount--)
1005  Victim = DAG.getNode((Opc == ISD::SHL ? MSP430ISD::RLA : MSP430ISD::RRA),
1006  dl, VT, Victim);
1007 
1008  return Victim;
1009 }
1010 
1011 SDValue MSP430TargetLowering::LowerGlobalAddress(SDValue Op,
1012  SelectionDAG &DAG) const {
1013  const GlobalValue *GV = cast<GlobalAddressSDNode>(Op)->getGlobal();
1014  int64_t Offset = cast<GlobalAddressSDNode>(Op)->getOffset();
1015  EVT PtrVT = Op.getValueType();
1016 
1017  // Create the TargetGlobalAddress node, folding in the constant offset.
1018  SDValue Result = DAG.getTargetGlobalAddress(GV, SDLoc(Op), PtrVT, Offset);
1019  return DAG.getNode(MSP430ISD::Wrapper, SDLoc(Op), PtrVT, Result);
1020 }
1021 
1022 SDValue MSP430TargetLowering::LowerExternalSymbol(SDValue Op,
1023  SelectionDAG &DAG) const {
1024  SDLoc dl(Op);
1025  const char *Sym = cast<ExternalSymbolSDNode>(Op)->getSymbol();
1026  EVT PtrVT = Op.getValueType();
1027  SDValue Result = DAG.getTargetExternalSymbol(Sym, PtrVT);
1028 
1029  return DAG.getNode(MSP430ISD::Wrapper, dl, PtrVT, Result);
1030 }
1031 
1032 SDValue MSP430TargetLowering::LowerBlockAddress(SDValue Op,
1033  SelectionDAG &DAG) const {
1034  SDLoc dl(Op);
1035  const BlockAddress *BA = cast<BlockAddressSDNode>(Op)->getBlockAddress();
1036  EVT PtrVT = Op.getValueType();
1037  SDValue Result = DAG.getTargetBlockAddress(BA, PtrVT);
1038 
1039  return DAG.getNode(MSP430ISD::Wrapper, dl, PtrVT, Result);
1040 }
1041 
1042 static SDValue EmitCMP(SDValue &LHS, SDValue &RHS, SDValue &TargetCC,
1043  ISD::CondCode CC, const SDLoc &dl, SelectionDAG &DAG) {
1044  // FIXME: Handle bittests someday
1045  assert(!LHS.getValueType().isFloatingPoint() && "We don't handle FP yet");
1046 
1047  // FIXME: Handle jump negative someday
1048  MSP430CC::CondCodes TCC = MSP430CC::COND_INVALID;
1049  switch (CC) {
1050  default: llvm_unreachable("Invalid integer condition!");
1051  case ISD::SETEQ:
1052  TCC = MSP430CC::COND_E; // aka COND_Z
1053  // Minor optimization: if LHS is a constant, swap operands, then the
1054  // constant can be folded into comparison.
1055  if (LHS.getOpcode() == ISD::Constant)
1056  std::swap(LHS, RHS);
1057  break;
1058  case ISD::SETNE:
1059  TCC = MSP430CC::COND_NE; // aka COND_NZ
1060  // Minor optimization: if LHS is a constant, swap operands, then the
1061  // constant can be folded into comparison.
1062  if (LHS.getOpcode() == ISD::Constant)
1063  std::swap(LHS, RHS);
1064  break;
1065  case ISD::SETULE:
1066  std::swap(LHS, RHS);
1067  LLVM_FALLTHROUGH;
1068  case ISD::SETUGE:
1069  // Turn lhs u>= rhs with lhs constant into rhs u< lhs+1, this allows us to
1070  // fold constant into instruction.
1071  if (const ConstantSDNode * C = dyn_cast<ConstantSDNode>(LHS)) {
1072  LHS = RHS;
1073  RHS = DAG.getConstant(C->getSExtValue() + 1, dl, C->getValueType(0));
1074  TCC = MSP430CC::COND_LO;
1075  break;
1076  }
1077  TCC = MSP430CC::COND_HS; // aka COND_C
1078  break;
1079  case ISD::SETUGT:
1080  std::swap(LHS, RHS);
1081  LLVM_FALLTHROUGH;
1082  case ISD::SETULT:
1083  // Turn lhs u< rhs with lhs constant into rhs u>= lhs+1, this allows us to
1084  // fold constant into instruction.
1085  if (const ConstantSDNode * C = dyn_cast<ConstantSDNode>(LHS)) {
1086  LHS = RHS;
1087  RHS = DAG.getConstant(C->getSExtValue() + 1, dl, C->getValueType(0));
1088  TCC = MSP430CC::COND_HS;
1089  break;
1090  }
1091  TCC = MSP430CC::COND_LO; // aka COND_NC
1092  break;
1093  case ISD::SETLE:
1094  std::swap(LHS, RHS);
1095  LLVM_FALLTHROUGH;
1096  case ISD::SETGE:
1097  // Turn lhs >= rhs with lhs constant into rhs < lhs+1, this allows us to
1098  // fold constant into instruction.
1099  if (const ConstantSDNode * C = dyn_cast<ConstantSDNode>(LHS)) {
1100  LHS = RHS;
1101  RHS = DAG.getConstant(C->getSExtValue() + 1, dl, C->getValueType(0));
1102  TCC = MSP430CC::COND_L;
1103  break;
1104  }
1105  TCC = MSP430CC::COND_GE;
1106  break;
1107  case ISD::SETGT:
1108  std::swap(LHS, RHS);
1109  LLVM_FALLTHROUGH;
1110  case ISD::SETLT:
1111  // Turn lhs < rhs with lhs constant into rhs >= lhs+1, this allows us to
1112  // fold constant into instruction.
1113  if (const ConstantSDNode * C = dyn_cast<ConstantSDNode>(LHS)) {
1114  LHS = RHS;
1115  RHS = DAG.getConstant(C->getSExtValue() + 1, dl, C->getValueType(0));
1116  TCC = MSP430CC::COND_GE;
1117  break;
1118  }
1119  TCC = MSP430CC::COND_L;
1120  break;
1121  }
1122 
1123  TargetCC = DAG.getConstant(TCC, dl, MVT::i8);
1124  return DAG.getNode(MSP430ISD::CMP, dl, MVT::Glue, LHS, RHS);
1125 }
1126 
1127 
1128 SDValue MSP430TargetLowering::LowerBR_CC(SDValue Op, SelectionDAG &DAG) const {
1129  SDValue Chain = Op.getOperand(0);
1130  ISD::CondCode CC = cast<CondCodeSDNode>(Op.getOperand(1))->get();
1131  SDValue LHS = Op.getOperand(2);
1132  SDValue RHS = Op.getOperand(3);
1133  SDValue Dest = Op.getOperand(4);
1134  SDLoc dl (Op);
1135 
1136  SDValue TargetCC;
1137  SDValue Flag = EmitCMP(LHS, RHS, TargetCC, CC, dl, DAG);
1138 
1139  return DAG.getNode(MSP430ISD::BR_CC, dl, Op.getValueType(),
1140  Chain, Dest, TargetCC, Flag);
1141 }
1142 
1143 SDValue MSP430TargetLowering::LowerSETCC(SDValue Op, SelectionDAG &DAG) const {
1144  SDValue LHS = Op.getOperand(0);
1145  SDValue RHS = Op.getOperand(1);
1146  SDLoc dl (Op);
1147 
1148  // If we are doing an AND and testing against zero, then the CMP
1149  // will not be generated. The AND (or BIT) will generate the condition codes,
1150  // but they are different from CMP.
1151  // FIXME: since we're doing a post-processing, use a pseudoinstr here, so
1152  // lowering & isel wouldn't diverge.
1153  bool andCC = false;
1154  if (ConstantSDNode *RHSC = dyn_cast<ConstantSDNode>(RHS)) {
1155  if (RHSC->isZero() && LHS.hasOneUse() &&
1156  (LHS.getOpcode() == ISD::AND ||
1157  (LHS.getOpcode() == ISD::TRUNCATE &&
1158  LHS.getOperand(0).getOpcode() == ISD::AND))) {
1159  andCC = true;
1160  }
1161  }
1162  ISD::CondCode CC = cast<CondCodeSDNode>(Op.getOperand(2))->get();
1163  SDValue TargetCC;
1164  SDValue Flag = EmitCMP(LHS, RHS, TargetCC, CC, dl, DAG);
1165 
1166  // Get the condition codes directly from the status register, if its easy.
1167  // Otherwise a branch will be generated. Note that the AND and BIT
1168  // instructions generate different flags than CMP, the carry bit can be used
1169  // for NE/EQ.
1170  bool Invert = false;
1171  bool Shift = false;
1172  bool Convert = true;
1173  switch (cast<ConstantSDNode>(TargetCC)->getZExtValue()) {
1174  default:
1175  Convert = false;
1176  break;
1177  case MSP430CC::COND_HS:
1178  // Res = SR & 1, no processing is required
1179  break;
1180  case MSP430CC::COND_LO:
1181  // Res = ~(SR & 1)
1182  Invert = true;
1183  break;
1184  case MSP430CC::COND_NE:
1185  if (andCC) {
1186  // C = ~Z, thus Res = SR & 1, no processing is required
1187  } else {
1188  // Res = ~((SR >> 1) & 1)
1189  Shift = true;
1190  Invert = true;
1191  }
1192  break;
1193  case MSP430CC::COND_E:
1194  Shift = true;
1195  // C = ~Z for AND instruction, thus we can put Res = ~(SR & 1), however,
1196  // Res = (SR >> 1) & 1 is 1 word shorter.
1197  break;
1198  }
1199  EVT VT = Op.getValueType();
1200  SDValue One = DAG.getConstant(1, dl, VT);
1201  if (Convert) {
1202  SDValue SR = DAG.getCopyFromReg(DAG.getEntryNode(), dl, MSP430::SR,
1203  MVT::i16, Flag);
1204  if (Shift)
1205  // FIXME: somewhere this is turned into a SRL, lower it MSP specific?
1206  SR = DAG.getNode(ISD::SRA, dl, MVT::i16, SR, One);
1207  SR = DAG.getNode(ISD::AND, dl, MVT::i16, SR, One);
1208  if (Invert)
1209  SR = DAG.getNode(ISD::XOR, dl, MVT::i16, SR, One);
1210  return SR;
1211  } else {
1212  SDValue Zero = DAG.getConstant(0, dl, VT);
1213  SDValue Ops[] = {One, Zero, TargetCC, Flag};
1214  return DAG.getNode(MSP430ISD::SELECT_CC, dl, Op.getValueType(), Ops);
1215  }
1216 }
1217 
1218 SDValue MSP430TargetLowering::LowerSELECT_CC(SDValue Op,
1219  SelectionDAG &DAG) const {
1220  SDValue LHS = Op.getOperand(0);
1221  SDValue RHS = Op.getOperand(1);
1222  SDValue TrueV = Op.getOperand(2);
1223  SDValue FalseV = Op.getOperand(3);
1224  ISD::CondCode CC = cast<CondCodeSDNode>(Op.getOperand(4))->get();
1225  SDLoc dl (Op);
1226 
1227  SDValue TargetCC;
1228  SDValue Flag = EmitCMP(LHS, RHS, TargetCC, CC, dl, DAG);
1229 
1230  SDValue Ops[] = {TrueV, FalseV, TargetCC, Flag};
1231 
1232  return DAG.getNode(MSP430ISD::SELECT_CC, dl, Op.getValueType(), Ops);
1233 }
1234 
1235 SDValue MSP430TargetLowering::LowerSIGN_EXTEND(SDValue Op,
1236  SelectionDAG &DAG) const {
1237  SDValue Val = Op.getOperand(0);
1238  EVT VT = Op.getValueType();
1239  SDLoc dl(Op);
1240 
1241  assert(VT == MVT::i16 && "Only support i16 for now!");
1242 
1243  return DAG.getNode(ISD::SIGN_EXTEND_INREG, dl, VT,
1244  DAG.getNode(ISD::ANY_EXTEND, dl, VT, Val),
1245  DAG.getValueType(Val.getValueType()));
1246 }
1247 
1248 SDValue
1249 MSP430TargetLowering::getReturnAddressFrameIndex(SelectionDAG &DAG) const {
1250  MachineFunction &MF = DAG.getMachineFunction();
1251  MSP430MachineFunctionInfo *FuncInfo = MF.getInfo<MSP430MachineFunctionInfo>();
1252  int ReturnAddrIndex = FuncInfo->getRAIndex();
1253  MVT PtrVT = getFrameIndexTy(MF.getDataLayout());
1254 
1255  if (ReturnAddrIndex == 0) {
1256  // Set up a frame object for the return address.
1257  uint64_t SlotSize = PtrVT.getStoreSize();
1258  ReturnAddrIndex = MF.getFrameInfo().CreateFixedObject(SlotSize, -SlotSize,
1259  true);
1260  FuncInfo->setRAIndex(ReturnAddrIndex);
1261  }
1262 
1263  return DAG.getFrameIndex(ReturnAddrIndex, PtrVT);
1264 }
1265 
1266 SDValue MSP430TargetLowering::LowerRETURNADDR(SDValue Op,
1267  SelectionDAG &DAG) const {
1268  MachineFrameInfo &MFI = DAG.getMachineFunction().getFrameInfo();
1269  MFI.setReturnAddressIsTaken(true);
1270 
1271  if (verifyReturnAddressArgumentIsConstant(Op, DAG))
1272  return SDValue();
1273 
1274  unsigned Depth = cast<ConstantSDNode>(Op.getOperand(0))->getZExtValue();
1275  SDLoc dl(Op);
1276  EVT PtrVT = Op.getValueType();
1277 
1278  if (Depth > 0) {
1279  SDValue FrameAddr = LowerFRAMEADDR(Op, DAG);
1280  SDValue Offset =
1281  DAG.getConstant(PtrVT.getStoreSize(), dl, MVT::i16);
1282  return DAG.getLoad(PtrVT, dl, DAG.getEntryNode(),
1283  DAG.getNode(ISD::ADD, dl, PtrVT, FrameAddr, Offset),
1284  MachinePointerInfo());
1285  }
1286 
1287  // Just load the return address.
1288  SDValue RetAddrFI = getReturnAddressFrameIndex(DAG);
1289  return DAG.getLoad(PtrVT, dl, DAG.getEntryNode(), RetAddrFI,
1290  MachinePointerInfo());
1291 }
1292 
1293 SDValue MSP430TargetLowering::LowerFRAMEADDR(SDValue Op,
1294  SelectionDAG &DAG) const {
1295  MachineFrameInfo &MFI = DAG.getMachineFunction().getFrameInfo();
1296  MFI.setFrameAddressIsTaken(true);
1297 
1298  EVT VT = Op.getValueType();
1299  SDLoc dl(Op); // FIXME probably not meaningful
1300  unsigned Depth = cast<ConstantSDNode>(Op.getOperand(0))->getZExtValue();
1301  SDValue FrameAddr = DAG.getCopyFromReg(DAG.getEntryNode(), dl,
1302  MSP430::R4, VT);
1303  while (Depth--)
1304  FrameAddr = DAG.getLoad(VT, dl, DAG.getEntryNode(), FrameAddr,
1305  MachinePointerInfo());
1306  return FrameAddr;
1307 }
1308 
1309 SDValue MSP430TargetLowering::LowerVASTART(SDValue Op,
1310  SelectionDAG &DAG) const {
1311  MachineFunction &MF = DAG.getMachineFunction();
1312  MSP430MachineFunctionInfo *FuncInfo = MF.getInfo<MSP430MachineFunctionInfo>();
1313 
1314  SDValue Ptr = Op.getOperand(1);
1315  EVT PtrVT = Ptr.getValueType();
1316 
1317  // Frame index of first vararg argument
1318  SDValue FrameIndex =
1319  DAG.getFrameIndex(FuncInfo->getVarArgsFrameIndex(), PtrVT);
1320  const Value *SV = cast<SrcValueSDNode>(Op.getOperand(2))->getValue();
1321 
1322  // Create a store of the frame index to the location operand
1323  return DAG.getStore(Op.getOperand(0), SDLoc(Op), FrameIndex, Ptr,
1324  MachinePointerInfo(SV));
1325 }
1326 
1327 SDValue MSP430TargetLowering::LowerJumpTable(SDValue Op,
1328  SelectionDAG &DAG) const {
1329  JumpTableSDNode *JT = cast<JumpTableSDNode>(Op);
1330  EVT PtrVT = Op.getValueType();
1331  SDValue Result = DAG.getTargetJumpTable(JT->getIndex(), PtrVT);
1332  return DAG.getNode(MSP430ISD::Wrapper, SDLoc(JT), PtrVT, Result);
1333 }
1334 
1335 /// getPostIndexedAddressParts - returns true by value, base pointer and
1336 /// offset pointer and addressing mode by reference if this node can be
1337 /// combined with a load / store to form a post-indexed load / store.
1338 bool MSP430TargetLowering::getPostIndexedAddressParts(SDNode *N, SDNode *Op,
1339  SDValue &Base,
1340  SDValue &Offset,
1341  ISD::MemIndexedMode &AM,
1342  SelectionDAG &DAG) const {
1343 
1344  LoadSDNode *LD = cast<LoadSDNode>(N);
1345  if (LD->getExtensionType() != ISD::NON_EXTLOAD)
1346  return false;
1347 
1348  EVT VT = LD->getMemoryVT();
1349  if (VT != MVT::i8 && VT != MVT::i16)
1350  return false;
1351 
1352  if (Op->getOpcode() != ISD::ADD)
1353  return false;
1354 
1355  if (ConstantSDNode *RHS = dyn_cast<ConstantSDNode>(Op->getOperand(1))) {
1356  uint64_t RHSC = RHS->getZExtValue();
1357  if ((VT == MVT::i16 && RHSC != 2) ||
1358  (VT == MVT::i8 && RHSC != 1))
1359  return false;
1360 
1361  Base = Op->getOperand(0);
1362  Offset = DAG.getConstant(RHSC, SDLoc(N), VT);
1363  AM = ISD::POST_INC;
1364  return true;
1365  }
1366 
1367  return false;
1368 }
1369 
1370 
1371 const char *MSP430TargetLowering::getTargetNodeName(unsigned Opcode) const {
1372  switch ((MSP430ISD::NodeType)Opcode) {
1373  case MSP430ISD::FIRST_NUMBER: break;
1374  case MSP430ISD::RET_FLAG: return "MSP430ISD::RET_FLAG";
1375  case MSP430ISD::RETI_FLAG: return "MSP430ISD::RETI_FLAG";
1376  case MSP430ISD::RRA: return "MSP430ISD::RRA";
1377  case MSP430ISD::RLA: return "MSP430ISD::RLA";
1378  case MSP430ISD::RRC: return "MSP430ISD::RRC";
1379  case MSP430ISD::RRCL: return "MSP430ISD::RRCL";
1380  case MSP430ISD::CALL: return "MSP430ISD::CALL";
1381  case MSP430ISD::Wrapper: return "MSP430ISD::Wrapper";
1382  case MSP430ISD::BR_CC: return "MSP430ISD::BR_CC";
1383  case MSP430ISD::CMP: return "MSP430ISD::CMP";
1384  case MSP430ISD::SETCC: return "MSP430ISD::SETCC";
1385  case MSP430ISD::SELECT_CC: return "MSP430ISD::SELECT_CC";
1386  case MSP430ISD::DADD: return "MSP430ISD::DADD";
1387  }
1388  return nullptr;
1389 }
1390 
1391 bool MSP430TargetLowering::isTruncateFree(Type *Ty1,
1392  Type *Ty2) const {
1393  if (!Ty1->isIntegerTy() || !Ty2->isIntegerTy())
1394  return false;
1395 
1396  return (Ty1->getPrimitiveSizeInBits().getFixedSize() >
1397  Ty2->getPrimitiveSizeInBits().getFixedSize());
1398 }
1399 
1400 bool MSP430TargetLowering::isTruncateFree(EVT VT1, EVT VT2) const {
1401  if (!VT1.isInteger() || !VT2.isInteger())
1402  return false;
1403 
1404  return (VT1.getFixedSizeInBits() > VT2.getFixedSizeInBits());
1405 }
1406 
1407 bool MSP430TargetLowering::isZExtFree(Type *Ty1, Type *Ty2) const {
1408  // MSP430 implicitly zero-extends 8-bit results in 16-bit registers.
1409  return false && Ty1->isIntegerTy(8) && Ty2->isIntegerTy(16);
1410 }
1411 
1412 bool MSP430TargetLowering::isZExtFree(EVT VT1, EVT VT2) const {
1413  // MSP430 implicitly zero-extends 8-bit results in 16-bit registers.
1414  return false && VT1 == MVT::i8 && VT2 == MVT::i16;
1415 }
1416 
1417 bool MSP430TargetLowering::isZExtFree(SDValue Val, EVT VT2) const {
1418  return isZExtFree(Val.getValueType(), VT2);
1419 }
1420 
1421 //===----------------------------------------------------------------------===//
1422 // Other Lowering Code
1423 //===----------------------------------------------------------------------===//
1424 
1425 MachineBasicBlock *
1426 MSP430TargetLowering::EmitShiftInstr(MachineInstr &MI,
1427  MachineBasicBlock *BB) const {
1428  MachineFunction *F = BB->getParent();
1429  MachineRegisterInfo &RI = F->getRegInfo();
1430  DebugLoc dl = MI.getDebugLoc();
1431  const TargetInstrInfo &TII = *F->getSubtarget().getInstrInfo();
1432 
1433  unsigned Opc;
1434  bool ClearCarry = false;
1435  const TargetRegisterClass * RC;
1436  switch (MI.getOpcode()) {
1437  default: llvm_unreachable("Invalid shift opcode!");
1438  case MSP430::Shl8:
1439  Opc = MSP430::ADD8rr;
1440  RC = &MSP430::GR8RegClass;
1441  break;
1442  case MSP430::Shl16:
1443  Opc = MSP430::ADD16rr;
1444  RC = &MSP430::GR16RegClass;
1445  break;
1446  case MSP430::Sra8:
1447  Opc = MSP430::RRA8r;
1448  RC = &MSP430::GR8RegClass;
1449  break;
1450  case MSP430::Sra16:
1451  Opc = MSP430::RRA16r;
1452  RC = &MSP430::GR16RegClass;
1453  break;
1454  case MSP430::Srl8:
1455  ClearCarry = true;
1456  Opc = MSP430::RRC8r;
1457  RC = &MSP430::GR8RegClass;
1458  break;
1459  case MSP430::Srl16:
1460  ClearCarry = true;
1461  Opc = MSP430::RRC16r;
1462  RC = &MSP430::GR16RegClass;
1463  break;
1464  case MSP430::Rrcl8:
1465  case MSP430::Rrcl16: {
1466  BuildMI(*BB, MI, dl, TII.get(MSP430::BIC16rc), MSP430::SR)
1467  .addReg(MSP430::SR).addImm(1);
1468  Register SrcReg = MI.getOperand(1).getReg();
1469  Register DstReg = MI.getOperand(0).getReg();
1470  unsigned RrcOpc = MI.getOpcode() == MSP430::Rrcl16
1471  ? MSP430::RRC16r : MSP430::RRC8r;
1472  BuildMI(*BB, MI, dl, TII.get(RrcOpc), DstReg)
1473  .addReg(SrcReg);
1474  MI.eraseFromParent(); // The pseudo instruction is gone now.
1475  return BB;
1476  }
1477  }
1478 
1479  const BasicBlock *LLVM_BB = BB->getBasicBlock();
1480  MachineFunction::iterator I = ++BB->getIterator();
1481 
1482  // Create loop block
1483  MachineBasicBlock *LoopBB = F->CreateMachineBasicBlock(LLVM_BB);
1484  MachineBasicBlock *RemBB = F->CreateMachineBasicBlock(LLVM_BB);
1485 
1486  F->insert(I, LoopBB);
1487  F->insert(I, RemBB);
1488 
1489  // Update machine-CFG edges by transferring all successors of the current
1490  // block to the block containing instructions after shift.
1491  RemBB->splice(RemBB->begin(), BB, std::next(MachineBasicBlock::iterator(MI)),
1492  BB->end());
1493  RemBB->transferSuccessorsAndUpdatePHIs(BB);
1494 
1495  // Add edges BB => LoopBB => RemBB, BB => RemBB, LoopBB => LoopBB
1496  BB->addSuccessor(LoopBB);
1497  BB->addSuccessor(RemBB);
1498  LoopBB->addSuccessor(RemBB);
1499  LoopBB->addSuccessor(LoopBB);
1500 
1501  Register ShiftAmtReg = RI.createVirtualRegister(&MSP430::GR8RegClass);
1502  Register ShiftAmtReg2 = RI.createVirtualRegister(&MSP430::GR8RegClass);
1503  Register ShiftReg = RI.createVirtualRegister(RC);
1504  Register ShiftReg2 = RI.createVirtualRegister(RC);
1505  Register ShiftAmtSrcReg = MI.getOperand(2).getReg();
1506  Register SrcReg = MI.getOperand(1).getReg();
1507  Register DstReg = MI.getOperand(0).getReg();
1508 
1509  // BB:
1510  // cmp 0, N
1511  // je RemBB
1512  BuildMI(BB, dl, TII.get(MSP430::CMP8ri))
1513  .addReg(ShiftAmtSrcReg).addImm(0);
1514  BuildMI(BB, dl, TII.get(MSP430::JCC))
1515  .addMBB(RemBB)
1516  .addImm(MSP430CC::COND_E);
1517 
1518  // LoopBB:
1519  // ShiftReg = phi [%SrcReg, BB], [%ShiftReg2, LoopBB]
1520  // ShiftAmt = phi [%N, BB], [%ShiftAmt2, LoopBB]
1521  // ShiftReg2 = shift ShiftReg
1522  // ShiftAmt2 = ShiftAmt - 1;
1523  BuildMI(LoopBB, dl, TII.get(MSP430::PHI), ShiftReg)
1524  .addReg(SrcReg).addMBB(BB)
1525  .addReg(ShiftReg2).addMBB(LoopBB);
1526  BuildMI(LoopBB, dl, TII.get(MSP430::PHI), ShiftAmtReg)
1527  .addReg(ShiftAmtSrcReg).addMBB(BB)
1528  .addReg(ShiftAmtReg2).addMBB(LoopBB);
1529  if (ClearCarry)
1530  BuildMI(LoopBB, dl, TII.get(MSP430::BIC16rc), MSP430::SR)
1531  .addReg(MSP430::SR).addImm(1);
1532  if (Opc == MSP430::ADD8rr || Opc == MSP430::ADD16rr)
1533  BuildMI(LoopBB, dl, TII.get(Opc), ShiftReg2)
1534  .addReg(ShiftReg)
1535  .addReg(ShiftReg);
1536  else
1537  BuildMI(LoopBB, dl, TII.get(Opc), ShiftReg2)
1538  .addReg(ShiftReg);
1539  BuildMI(LoopBB, dl, TII.get(MSP430::SUB8ri), ShiftAmtReg2)
1540  .addReg(ShiftAmtReg).addImm(1);
1541  BuildMI(LoopBB, dl, TII.get(MSP430::JCC))
1542  .addMBB(LoopBB)
1543  .addImm(MSP430CC::COND_NE);
1544 
1545  // RemBB:
1546  // DestReg = phi [%SrcReg, BB], [%ShiftReg, LoopBB]
1547  BuildMI(*RemBB, RemBB->begin(), dl, TII.get(MSP430::PHI), DstReg)
1548  .addReg(SrcReg).addMBB(BB)
1549  .addReg(ShiftReg2).addMBB(LoopBB);
1550 
1551  MI.eraseFromParent(); // The pseudo instruction is gone now.
1552  return RemBB;
1553 }
1554 
1555 MachineBasicBlock *
1556 MSP430TargetLowering::EmitInstrWithCustomInserter(MachineInstr &MI,
1557  MachineBasicBlock *BB) const {
1558  unsigned Opc = MI.getOpcode();
1559 
1560  if (Opc == MSP430::Shl8 || Opc == MSP430::Shl16 ||
1561  Opc == MSP430::Sra8 || Opc == MSP430::Sra16 ||
1562  Opc == MSP430::Srl8 || Opc == MSP430::Srl16 ||
1563  Opc == MSP430::Rrcl8 || Opc == MSP430::Rrcl16)
1564  return EmitShiftInstr(MI, BB);
1565 
1566  const TargetInstrInfo &TII = *BB->getParent()->getSubtarget().getInstrInfo();
1567  DebugLoc dl = MI.getDebugLoc();
1568 
1569  assert((Opc == MSP430::Select16 || Opc == MSP430::Select8) &&
1570  "Unexpected instr type to insert");
1571 
1572  // To "insert" a SELECT instruction, we actually have to insert the diamond
1573  // control-flow pattern. The incoming instruction knows the destination vreg
1574  // to set, the condition code register to branch on, the true/false values to
1575  // select between, and a branch opcode to use.
1576  const BasicBlock *LLVM_BB = BB->getBasicBlock();
1577  MachineFunction::iterator I = ++BB->getIterator();
1578 
1579  // thisMBB:
1580  // ...
1581  // TrueVal = ...
1582  // cmpTY ccX, r1, r2
1583  // jCC copy1MBB
1584  // fallthrough --> copy0MBB
1585  MachineBasicBlock *thisMBB = BB;
1586  MachineFunction *F = BB->getParent();
1587  MachineBasicBlock *copy0MBB = F->CreateMachineBasicBlock(LLVM_BB);
1588  MachineBasicBlock *copy1MBB = F->CreateMachineBasicBlock(LLVM_BB);
1589  F->insert(I, copy0MBB);
1590  F->insert(I, copy1MBB);
1591  // Update machine-CFG edges by transferring all successors of the current
1592  // block to the new block which will contain the Phi node for the select.
1593  copy1MBB->splice(copy1MBB->begin(), BB,
1594  std::next(MachineBasicBlock::iterator(MI)), BB->end());
1595  copy1MBB->transferSuccessorsAndUpdatePHIs(BB);
1596  // Next, add the true and fallthrough blocks as its successors.
1597  BB->addSuccessor(copy0MBB);
1598  BB->addSuccessor(copy1MBB);
1599 
1600  BuildMI(BB, dl, TII.get(MSP430::JCC))
1601  .addMBB(copy1MBB)
1602  .addImm(MI.getOperand(3).getImm());
1603 
1604  // copy0MBB:
1605  // %FalseValue = ...
1606  // # fallthrough to copy1MBB
1607  BB = copy0MBB;
1608 
1609  // Update machine-CFG edges
1610  BB->addSuccessor(copy1MBB);
1611 
1612  // copy1MBB:
1613  // %Result = phi [ %FalseValue, copy0MBB ], [ %TrueValue, thisMBB ]
1614  // ...
1615  BB = copy1MBB;
1616  BuildMI(*BB, BB->begin(), dl, TII.get(MSP430::PHI), MI.getOperand(0).getReg())
1617  .addReg(MI.getOperand(2).getReg())
1618  .addMBB(copy0MBB)
1619  .addReg(MI.getOperand(1).getReg())
1620  .addMBB(thisMBB);
1621 
1622  MI.eraseFromParent(); // The pseudo instruction is gone now.
1623  return BB;
1624 }
llvm::MSP430TargetLowering::LowerGlobalAddress
SDValue LowerGlobalAddress(SDValue Op, SelectionDAG &DAG) const
Definition: MSP430ISelLowering.cpp:1011
llvm::CCValAssign::getLocVT
MVT getLocVT() const
Definition: CallingConvLower.h:151
llvm::MachineRegisterInfo::addLiveIn
void addLiveIn(MCRegister Reg, Register vreg=Register())
addLiveIn - Add the specified register as a live-in.
Definition: MachineRegisterInfo.h:954
i
i
Definition: README.txt:29
llvm::ISD::ExternalSymbol
@ ExternalSymbol
Definition: ISDOpcodes.h:83
llvm::ISD::SETUGE
@ SETUGE
Definition: ISDOpcodes.h:1424
llvm::CCValAssign::ZExt
@ ZExt
Definition: CallingConvLower.h:36
llvm::MSP430ISD::RRC
@ RRC
Y = RRC X, rotate right via carry.
Definition: MSP430ISelLowering.h:36
ValueTypes.h
llvm::MSP430ISD::SETCC
@ SETCC
SetCC - Operand 0 is condition code, and operand 1 is the flag operand produced by a CMP instruction.
Definition: MSP430ISelLowering.h:54
llvm::ConstantSDNode
Definition: SelectionDAGNodes.h:1564
llvm::SelectionDAG::getCALLSEQ_START
SDValue getCALLSEQ_START(SDValue Chain, uint64_t InSize, uint64_t OutSize, const SDLoc &DL)
Return a new CALLSEQ_START node, that starts new call frame, in which InSize bytes are set up inside ...
Definition: SelectionDAG.h:943
llvm::ISD::SETLE
@ SETLE
Definition: ISDOpcodes.h:1435
llvm::MVT::getStoreSize
TypeSize getStoreSize() const
Return the number of bytes overwritten by a store of the specified value type.
Definition: MachineValueType.h:1101
llvm::ISD::MemIndexedMode
MemIndexedMode
MemIndexedMode enum - This enum defines the load / store indexed addressing modes.
Definition: ISDOpcodes.h:1360
MI
IRTranslator LLVM IR MI
Definition: IRTranslator.cpp:104
llvm::MachineInstrBuilder::addImm
const MachineInstrBuilder & addImm(int64_t Val) const
Add a new immediate operand.
Definition: MachineInstrBuilder.h:131
llvm
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:17
llvm::ISD::ArgFlagsTy::isSRet
bool isSRet() const
Definition: TargetCallingConv.h:82
llvm::ISD::JumpTable
@ JumpTable
Definition: ISDOpcodes.h:81
llvm::MSP430ISD::CALL
@ CALL
CALL - These operations represent an abstract call instruction, which includes a bunch of information...
Definition: MSP430ISelLowering.h:43
llvm::SDLoc
Wrapper class for IR location info (IR ordering and DebugLoc) to be passed into SDNode creation funct...
Definition: SelectionDAGNodes.h:1090
llvm::CCValAssign::Full
@ Full
Definition: CallingConvLower.h:34
llvm::TargetLoweringBase::Legal
@ Legal
Definition: TargetLowering.h:196
llvm::Value::hasOneUse
bool hasOneUse() const
Return true if there is exactly one use of this value.
Definition: Value.h:434
llvm::ISD::SETGT
@ SETGT
Definition: ISDOpcodes.h:1432
llvm::ISD::SETNE
@ SETNE
Definition: ISDOpcodes.h:1436
llvm::MachineRegisterInfo::createVirtualRegister
Register createVirtualRegister(const TargetRegisterClass *RegClass, StringRef Name="")
createVirtualRegister - Create and return a new virtual register in the function with the specified r...
Definition: MachineRegisterInfo.cpp:156
llvm::MachineFrameInfo::setReturnAddressIsTaken
void setReturnAddressIsTaken(bool s)
Definition: MachineFrameInfo.h:377
llvm::TargetLowering::ConstraintType
ConstraintType
Definition: TargetLowering.h:4419
llvm::ISD::BR_JT
@ BR_JT
BR_JT - Jumptable branch.
Definition: ISDOpcodes.h:991
MSP430TargetMachine.h
llvm::ISD::NON_EXTLOAD
@ NON_EXTLOAD
Definition: ISDOpcodes.h:1391
llvm::CCState
CCState - This class holds information needed while lowering arguments and return values.
Definition: CallingConvLower.h:189
llvm::SelectionDAG::getCopyToReg
SDValue getCopyToReg(SDValue Chain, const SDLoc &dl, unsigned Reg, SDValue N)
Definition: SelectionDAG.h:750
llvm::ISD::AssertSext
@ AssertSext
AssertSext, AssertZext - These nodes record if a register contains a value that has already been zero...
Definition: ISDOpcodes.h:61
llvm::EVT::getFixedSizeInBits
uint64_t getFixedSizeInBits() const
Return the size of the specified fixed width value type in bits.
Definition: ValueTypes.h:348
llvm::MachineRegisterInfo
MachineRegisterInfo - Keep track of information for virtual and physical registers,...
Definition: MachineRegisterInfo.h:50
llvm::TypeSize::getFixedSize
ScalarTy getFixedSize() const
Definition: TypeSize.h:444
llvm::HexagonISD::JT
@ JT
Definition: HexagonISelLowering.h:52
llvm::SDValue::getNode
SDNode * getNode() const
get the SDNode which holds the desired result
Definition: SelectionDAGNodes.h:151
llvm::ISD::BSWAP
@ BSWAP
Byte Swap and Counting operators.
Definition: ISDOpcodes.h:700
llvm::ISD::UDIV
@ UDIV
Definition: ISDOpcodes.h:243
llvm::ISD::DYNAMIC_STACKALLOC
@ DYNAMIC_STACKALLOC
DYNAMIC_STACKALLOC - Allocate some number of bytes on the stack aligned to a specified boundary.
Definition: ISDOpcodes.h:976
llvm::SelectionDAG::getValueType
SDValue getValueType(EVT)
Definition: SelectionDAG.cpp:1798
llvm::CCState::addLoc
void addLoc(const CCValAssign &V)
Definition: CallingConvLower.h:251
llvm::ARM_MB::LD
@ LD
Definition: ARMBaseInfo.h:72
llvm::SelectionDAG::getFrameIndex
SDValue getFrameIndex(int FI, EVT VT, bool isTarget=false)
Definition: SelectionDAG.cpp:1679
llvm::SmallVector< unsigned, 4 >
llvm::ISD::SETEQ
@ SETEQ
Definition: ISDOpcodes.h:1431
llvm::ISD::STACKRESTORE
@ STACKRESTORE
STACKRESTORE has two operands, an input chain and a pointer to restore to it returns an output chain.
Definition: ISDOpcodes.h:1057
llvm::CallingConv::MSP430_BUILTIN
@ MSP430_BUILTIN
Calling convention used for special MSP430 rtlib functions which have an "optimized" convention using...
Definition: CallingConv.h:227
llvm::SelectionDAG::getVTList
SDVTList getVTList(EVT VT)
Return an SDVTList that represents the list of values specified.
Definition: SelectionDAG.cpp:9121
ErrorHandling.h
llvm::X86Disassembler::Reg
Reg
All possible values of the reg field in the ModR/M byte.
Definition: X86DisassemblerDecoder.h:462
llvm::MSP430MachineFunctionInfo::setVarArgsFrameIndex
void setVarArgsFrameIndex(int Index)
Definition: MSP430MachineFunctionInfo.h:61
llvm::ISD::ANY_EXTEND
@ ANY_EXTEND
ANY_EXTEND - Used for integer types. The high bits are undefined.
Definition: ISDOpcodes.h:766
llvm::SDNode
Represents one node in the SelectionDAG.
Definition: SelectionDAGNodes.h:454
llvm::TargetLoweringBase::isLegalICmpImmediate
virtual bool isLegalICmpImmediate(int64_t) const
Return true if the specified immediate is legal icmp immediate, that is the target has icmp instructi...
Definition: TargetLowering.h:2552
llvm::cl::Hidden
@ Hidden
Definition: CommandLine.h:139
llvm::LoadSDNode
This class is used to represent ISD::LOAD nodes.
Definition: SelectionDAGNodes.h:2314
llvm::MVT::Glue
@ Glue
Definition: MachineValueType.h:270
llvm::MemOp
Definition: TargetLowering.h:111
R4
#define R4(n)
llvm::TargetRegisterInfo
TargetRegisterInfo base class - We assume that the target defines a static array of TargetRegisterDes...
Definition: TargetRegisterInfo.h:234
llvm::Depth
@ Depth
Definition: SIMachineScheduler.h:36
llvm::ISD::ArgFlagsTy::isZExt
bool isZExt() const
Definition: TargetCallingConv.h:73
Shift
bool Shift
Definition: README.txt:468
llvm::ISD::SETULE
@ SETULE
Definition: ISDOpcodes.h:1426
llvm::CCState::AnalyzeFormalArguments
void AnalyzeFormalArguments(const SmallVectorImpl< ISD::InputArg > &Ins, CCAssignFn Fn)
AnalyzeFormalArguments - Analyze an array of argument values, incorporating info about the formals in...
Definition: CallingConvLower.cpp:82
llvm::Type
The instances of the Type class are immutable: once they are created, they are never changed.
Definition: Type.h:45
llvm::RTLIB::Libcall
Libcall
RTLIB::Libcall enum - This enum defines all of the runtime library calls the backend can emit.
Definition: RuntimeLibcalls.h:30
llvm::ISD::SHL_PARTS
@ SHL_PARTS
SHL_PARTS/SRA_PARTS/SRL_PARTS - These operators are used for expanded integer shift operations.
Definition: ISDOpcodes.h:749
llvm::SelectionDAG::getZeroExtendInReg
SDValue getZeroExtendInReg(SDValue Op, const SDLoc &DL, EVT VT)
Return the expression required to zero extend the Op value assuming it was the smaller SrcTy value.
Definition: SelectionDAG.cpp:1388
llvm::MSP430TargetLowering::LowerSIGN_EXTEND
SDValue LowerSIGN_EXTEND(SDValue Op, SelectionDAG &DAG) const
Definition: MSP430ISelLowering.cpp:1235
EmitCMP
static SDValue EmitCMP(SDValue &LHS, SDValue &RHS, SDValue &TargetCC, ISD::CondCode CC, const SDLoc &dl, SelectionDAG &DAG)
Definition: MSP430ISelLowering.cpp:1042
llvm::MSP430TargetLowering::LowerVASTART
SDValue LowerVASTART(SDValue Op, SelectionDAG &DAG) const
Definition: MSP430ISelLowering.cpp:1309
MSP430Subtarget.h
llvm::SelectionDAG::getStore
SDValue getStore(SDValue Chain, const SDLoc &dl, SDValue Val, SDValue Ptr, MachinePointerInfo PtrInfo, Align Alignment, MachineMemOperand::Flags MMOFlags=MachineMemOperand::MONone, const AAMDNodes &AAInfo=AAMDNodes())
Helper function to build ISD::STORE nodes.
Definition: SelectionDAG.cpp:7817
llvm::ISD::SETCC
@ SETCC
SetCC operator - This evaluates to a true value iff the condition is true.
Definition: ISDOpcodes.h:736
llvm::TargetLoweringBase::setMinFunctionAlignment
void setMinFunctionAlignment(Align Alignment)
Set the target's minimum function alignment.
Definition: TargetLowering.h:2447
llvm::MSP430TargetLowering::isZExtFree
bool isZExtFree(Type *Ty1, Type *Ty2) const override
isZExtFree - Return true if any actual instruction that defines a value of type Ty1 implicit zero-ext...
Definition: MSP430ISelLowering.cpp:1407
llvm::TargetLoweringBase::setLibcallCallingConv
void setLibcallCallingConv(RTLIB::Libcall Call, CallingConv::ID CC)
Set the CallingConv that should be used for the specified libcall.
Definition: TargetLowering.h:3097
llvm::errs
raw_fd_ostream & errs()
This returns a reference to a raw_ostream for standard error.
Definition: raw_ostream.cpp:893
llvm::codeview::EncodedFramePtrReg::StackPtr
@ StackPtr
AnalyzeArguments
static void AnalyzeArguments(CCState &State, SmallVectorImpl< CCValAssign > &ArgLocs, const SmallVectorImpl< ArgT > &Args)
Analyze incoming and outgoing function arguments.
Definition: MSP430ISelLowering.cpp:455
llvm::ISD::VAEND
@ VAEND
VAEND, VASTART - VAEND and VASTART have three operands: an input chain, pointer, and a SRCVALUE.
Definition: ISDOpcodes.h:1086
llvm::ISD::EXTLOAD
@ EXTLOAD
Definition: ISDOpcodes.h:1391
RHS
Value * RHS
Definition: X86PartialReduction.cpp:76
llvm::MSP430Subtarget::hasHWMult32
bool hasHWMult32() const
Definition: MSP430Subtarget.h:60
TRI
unsigned const TargetRegisterInfo * TRI
Definition: MachineSink.cpp:1628
llvm::CCState::AnalyzeCallOperands
void AnalyzeCallOperands(const SmallVectorImpl< ISD::OutputArg > &Outs, CCAssignFn Fn)
AnalyzeCallOperands - Analyze the outgoing arguments to a call, incorporating info about the passed v...
Definition: CallingConvLower.cpp:123
llvm::SelectionDAG::getContext
LLVMContext * getContext() const
Definition: SelectionDAG.h:462
F
#define F(x, y, z)
Definition: MD5.cpp:55
llvm::ISD::BRCOND
@ BRCOND
BRCOND - Conditional branch.
Definition: ISDOpcodes.h:1001
MachineRegisterInfo.h
llvm::MSP430TargetLowering::shouldAvoidTransformToShift
bool shouldAvoidTransformToShift(EVT VT, unsigned Amount) const override
Return true if creating a shift of the type by the given amount is not profitable.
Definition: MSP430ISelLowering.cpp:361
llvm::SelectionDAG::getRegister
SDValue getRegister(unsigned Reg, EVT VT)
Definition: SelectionDAG.cpp:2061
llvm::BasicBlock
LLVM Basic Block Representation.
Definition: BasicBlock.h:55
llvm::TargetLoweringBase::setIndexedLoadAction
void setIndexedLoadAction(ArrayRef< unsigned > IdxModes, MVT VT, LegalizeAction Action)
Indicate that the specified indexed load does or does not work with the specified type and indicate w...
Definition: TargetLowering.h:2350
llvm::MSP430TargetLowering::MSP430TargetLowering
MSP430TargetLowering(const TargetMachine &TM, const MSP430Subtarget &STI)
Definition: MSP430ISelLowering.cpp:44
llvm::ISD::ROTL
@ ROTL
Definition: ISDOpcodes.h:694
Context
LLVMContext & Context
Definition: NVVMIntrRange.cpp:66
llvm::MSP430MachineFunctionInfo
MSP430MachineFunctionInfo - This class is derived from MachineFunction and contains private MSP430 ta...
Definition: MSP430MachineFunctionInfo.h:22
Arg
amdgpu Simplify well known AMD library false FunctionCallee Value * Arg
Definition: AMDGPULibCalls.cpp:186
llvm::MVT::integer_valuetypes
static auto integer_valuetypes()
Definition: MachineValueType.h:1461
llvm::MachineBasicBlock::addSuccessor
void addSuccessor(MachineBasicBlock *Succ, BranchProbability Prob=BranchProbability::getUnknown())
Add Succ as a successor of this MachineBasicBlock.
Definition: MachineBasicBlock.cpp:747
CommandLine.h
LHS
Value * LHS
Definition: X86PartialReduction.cpp:75
llvm::ISD::BR_CC
@ BR_CC
BR_CC - Conditional branch.
Definition: ISDOpcodes.h:1008
llvm::SelectionDAG::getLoad
SDValue getLoad(EVT VT, const SDLoc &dl, SDValue Chain, SDValue Ptr, MachinePointerInfo PtrInfo, MaybeAlign Alignment=MaybeAlign(), MachineMemOperand::Flags MMOFlags=MachineMemOperand::MONone, const AAMDNodes &AAInfo=AAMDNodes(), const MDNode *Ranges=nullptr)
Loads are not normal binary operators: their result type is not determined by their operands,...
Definition: SelectionDAG.cpp:7767
llvm::MSP430Subtarget::hasHWMultF5
bool hasHWMultF5() const
Definition: MSP430Subtarget.h:61
MSP430NoLegalImmediate
static cl::opt< bool > MSP430NoLegalImmediate("msp430-no-legal-immediate", cl::Hidden, cl::desc("Enable non legal immediates (for testing purposes only)"), cl::init(false))
llvm::MVT::i1
@ i1
Definition: MachineValueType.h:43
llvm::EVT::getStoreSize
TypeSize getStoreSize() const
Return the number of bytes overwritten by a store of the specified value type.
Definition: ValueTypes.h:362
llvm::TargetLowering::CallLoweringInfo::IsVarArg
bool IsVarArg
Definition: TargetLowering.h:4014
MSP430CC::COND_INVALID
@ COND_INVALID
Definition: MSP430.h:32
llvm::MachineFunction::getRegInfo
MachineRegisterInfo & getRegInfo()
getRegInfo - Return information about the registers currently in use.
Definition: MachineFunction.h:666
llvm::CCValAssign::AExt
@ AExt
Definition: CallingConvLower.h:37
llvm::ISD::GlobalAddress
@ GlobalAddress
Definition: ISDOpcodes.h:78
llvm::ISD::SELECT_CC
@ SELECT_CC
Select with condition operator - This selects between a true value and a false value (ops #2 and #3) ...
Definition: ISDOpcodes.h:728
llvm::ExternalSymbolSDNode
Definition: SelectionDAGNodes.h:2207
llvm::TargetInstrInfo
TargetInstrInfo - Interface to description of machine instruction set.
Definition: TargetInstrInfo.h:97
llvm::SDValue::getValueType
EVT getValueType() const
Return the ValueType of the referenced return value.
Definition: SelectionDAGNodes.h:1125
llvm::CCValAssign
CCValAssign - Represent assignment of one arg/retval to a location.
Definition: CallingConvLower.h:31
llvm::ISD::CTLZ
@ CTLZ
Definition: ISDOpcodes.h:702
llvm::MachineInstrBuilder::addMBB
const MachineInstrBuilder & addMBB(MachineBasicBlock *MBB, unsigned TargetFlags=0) const
Definition: MachineInstrBuilder.h:146
llvm::SelectionDAG
This is used to represent a portion of an LLVM function in a low-level Data Dependence DAG representa...
Definition: SelectionDAG.h:220
llvm::ISD::SELECT
@ SELECT
Select(COND, TRUEVAL, FALSEVAL).
Definition: ISDOpcodes.h:713
llvm::ISD::Constant
@ Constant
Definition: ISDOpcodes.h:76
llvm::ISD::ZERO_EXTEND
@ ZERO_EXTEND
ZERO_EXTEND - Used for integer types, zeroing the new bits.
Definition: ISDOpcodes.h:763
llvm::ISD::ArgFlagsTy::isByVal
bool isByVal() const
Definition: TargetCallingConv.h:85
llvm::SelectionDAG::getTargetBlockAddress
SDValue getTargetBlockAddress(const BlockAddress *BA, EVT VT, int64_t Offset=0, unsigned TargetFlags=0)
Definition: SelectionDAG.h:745
llvm::MSP430Subtarget::getRegisterInfo
const TargetRegisterInfo * getRegisterInfo() const override
Definition: MSP430Subtarget.h:67
llvm::ISD::SETGE
@ SETGE
Definition: ISDOpcodes.h:1433
E
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
llvm::CCValAssign::getLocReg
Register getLocReg() const
Definition: CallingConvLower.h:148
llvm::MachineFunction::getInfo
Ty * getInfo()
getInfo - Keep track of various per-function pieces of information for backends that would like to do...
Definition: MachineFunction.h:754
llvm::MSP430TargetLowering::LowerExternalSymbol
SDValue LowerExternalSymbol(SDValue Op, SelectionDAG &DAG) const
Definition: MSP430ISelLowering.cpp:1022
llvm::ISD::SIGN_EXTEND_INREG
@ SIGN_EXTEND_INREG
SIGN_EXTEND_INREG - This operator atomically performs a SHL/SRA pair to sign extend a small value in ...
Definition: ISDOpcodes.h:781
llvm::EVT
Extended Value Type.
Definition: ValueTypes.h:34
Intrinsics.h
C
(vector float) vec_cmpeq(*A, *B) C
Definition: README_ALTIVEC.txt:86
llvm::SelectionDAG::getConstant
SDValue getConstant(uint64_t Val, const SDLoc &DL, EVT VT, bool isTarget=false, bool isOpaque=false)
Create a ConstantSDNode wrapping a constant value.
Definition: SelectionDAG.cpp:1449
llvm::JumpTableSDNode
Definition: SelectionDAGNodes.h:1837
llvm::TargetLowering
This class defines information used to lower LLVM code to legal SelectionDAG operators that the targe...
Definition: TargetLowering.h:3412
llvm::MSP430TargetLowering::LowerSETCC
SDValue LowerSETCC(SDValue Op, SelectionDAG &DAG) const
Definition: MSP430ISelLowering.cpp:1143
MSP430ISelLowering.h
llvm::TargetRegisterClass
Definition: TargetRegisterInfo.h:45
llvm::CCState::AnalyzeReturn
void AnalyzeReturn(const SmallVectorImpl< ISD::OutputArg > &Outs, CCAssignFn Fn)
AnalyzeReturn - Analyze the returned values of a return, incorporating info about the result values i...
Definition: CallingConvLower.cpp:110
llvm::ISD::TRUNCATE
@ TRUNCATE
TRUNCATE - Completely drop the high bits.
Definition: ISDOpcodes.h:769
llvm::MVT::SimpleTy
SimpleValueType SimpleTy
Definition: MachineValueType.h:329
llvm::ISD::SRA
@ SRA
Definition: ISDOpcodes.h:692
AnalyzeReturnValues
static void AnalyzeReturnValues(CCState &State, SmallVectorImpl< CCValAssign > &RVLocs, const SmallVectorImpl< ArgT > &Args)
Definition: MSP430ISelLowering.cpp:560
llvm::ISD::UDIVREM
@ UDIVREM
Definition: ISDOpcodes.h:256
TII
const HexagonInstrInfo * TII
Definition: HexagonCopyToCombine.cpp:125
llvm::TargetLoweringBase::addRegisterClass
void addRegisterClass(MVT VT, const TargetRegisterClass *RC)
Add the specified register class as an available regclass for the specified value type.
Definition: TargetLowering.h:2284
llvm::EVT::isInteger
bool isInteger() const
Return true if this is an integer or a vector integer type.
Definition: ValueTypes.h:144
llvm::MCID::Flag
Flag
These should be considered private to the implementation of the MCInstrDesc class.
Definition: MCInstrDesc.h:147
AnalyzeRetResult
static void AnalyzeRetResult(CCState &State, const SmallVectorImpl< ISD::InputArg > &Ins)
Definition: MSP430ISelLowering.cpp:549
llvm::report_fatal_error
void report_fatal_error(Error Err, bool gen_crash_diag=true)
Report a serious error, calling any installed error handler.
Definition: Error.cpp:143
llvm::MSP430Subtarget
Definition: MSP430Subtarget.h:31
llvm::MSP430TargetLowering::EmitShiftInstr
MachineBasicBlock * EmitShiftInstr(MachineInstr &MI, MachineBasicBlock *BB) const
Definition: MSP430ISelLowering.cpp:1426
llvm::ISD::SETCC_INVALID
@ SETCC_INVALID
Definition: ISDOpcodes.h:1439
llvm::ISD::AND
@ AND
Bitwise operators - logical and, logical or, logical xor.
Definition: ISDOpcodes.h:666
llvm::CCValAssign::getLocInfo
LocInfo getLocInfo() const
Definition: CallingConvLower.h:153
Align
uint64_t Align
Definition: ELFObjHandler.cpp:81
llvm::CCValAssign::getLocMemOffset
unsigned getLocMemOffset() const
Definition: CallingConvLower.h:149
llvm::TargetLoweringBase::setBooleanVectorContents
void setBooleanVectorContents(BooleanContent Ty)
Specify how the target extends the result of a vector boolean value from a vector of i1 to a wider ty...
Definition: TargetLowering.h:2232
llvm::array_lengthof
constexpr size_t array_lengthof(T(&)[N])
Find the length of an array.
Definition: STLArrayExtras.h:29
llvm::MSP430Subtarget::hasHWMult16
bool hasHWMult16() const
Definition: MSP430Subtarget.h:59
llvm::CCValAssign::isRegLoc
bool isRegLoc() const
Definition: CallingConvLower.h:143
llvm::MSP430ISD::RRA
@ RRA
Y = R{R,L}A X, rotate right (left) arithmetically.
Definition: MSP430ISelLowering.h:33
llvm::CallingConv::ID
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
Definition: CallingConv.h:24
llvm::MachineBasicBlock
Definition: MachineBasicBlock.h:94
llvm::ISD::SETUGT
@ SETUGT
Definition: ISDOpcodes.h:1423
llvm::SelectionDAG::getTargetGlobalAddress
SDValue getTargetGlobalAddress(const GlobalValue *GV, const SDLoc &DL, EVT VT, int64_t offset=0, unsigned TargetFlags=0)
Definition: SelectionDAG.h:698
llvm::ISD::POST_INC
@ POST_INC
Definition: ISDOpcodes.h:1360
llvm::Type::isIntegerTy
bool isIntegerTy() const
True if this is an instance of IntegerType.
Definition: Type.h:191
llvm::ISD::BlockAddress
@ BlockAddress
Definition: ISDOpcodes.h:84
llvm::TargetLowering::CallLoweringInfo::Outs
SmallVector< ISD::OutputArg, 32 > Outs
Definition: TargetLowering.h:4037
G
const DataFlowGraph & G
Definition: RDFGraph.cpp:200
llvm::TargetLoweringBase::setOperationAction
void setOperationAction(unsigned Op, MVT VT, LegalizeAction Action)
Indicate that the specified operation does not work with the specified type and indicate what to do a...
Definition: TargetLowering.h:2301
llvm::cl::opt< bool >
llvm::CCValAssign::LocInfo
LocInfo
Definition: CallingConvLower.h:33
llvm::MSP430ISD::CMP
@ CMP
CMP - Compare instruction.
Definition: MSP430ISelLowering.h:50
llvm::TargetLoweringBase::getFrameIndexTy
MVT getFrameIndexTy(const DataLayout &DL) const
Return the type for frame index, which is determined by the alloca address space specified through th...
Definition: TargetLowering.h:367
llvm::GlobalValue
Definition: GlobalValue.h:44
llvm::MSP430ISD::SELECT_CC
@ SELECT_CC
SELECT_CC - Operand 0 and operand 1 are selection variable, operand 3 is condition code and operand 4...
Definition: MSP430ISelLowering.h:64
llvm::AMDGPU::Hwreg::Offset
Offset
Definition: SIDefines.h:416
llvm::CCValAssign::SExt
@ SExt
Definition: CallingConvLower.h:35
llvm::MachineInstr
Representation of each machine instruction.
Definition: MachineInstr.h:66
uint64_t
llvm::TargetLowering::verifyReturnAddressArgumentIsConstant
bool verifyReturnAddressArgumentIsConstant(SDValue Op, SelectionDAG &DAG) const
Definition: TargetLowering.cpp:6501
llvm::TargetLowering::CallLoweringInfo::Chain
SDValue Chain
Definition: TargetLowering.h:4010
llvm::SelectionDAG::getIntPtrConstant
SDValue getIntPtrConstant(uint64_t Val, const SDLoc &DL, bool isTarget=false)
Definition: SelectionDAG.cpp:1572
MSP430CC::CondCodes
CondCodes
Definition: MSP430.h:22
llvm::ISD::AssertZext
@ AssertZext
Definition: ISDOpcodes.h:62
llvm::TargetLoweringBase::Promote
@ Promote
Definition: TargetLowering.h:197
llvm::MSP430TargetLowering::LowerBlockAddress
SDValue LowerBlockAddress(SDValue Op, SelectionDAG &DAG) const
Definition: MSP430ISelLowering.cpp:1032
llvm::MachinePointerInfo
This class contains a discriminated union of information about pointers in memory operands,...
Definition: MachineMemOperand.h:39
llvm::LLVMContext
This is an important class for using LLVM in a threaded context.
Definition: LLVMContext.h:68
llvm::numbers::e
constexpr double e
Definition: MathExtras.h:57
llvm::SelectionDAG::getCopyFromReg
SDValue getCopyFromReg(SDValue Chain, const SDLoc &dl, unsigned Reg, EVT VT)
Definition: SelectionDAG.h:776
llvm::TargetLowering::CallLoweringInfo::CallConv
CallingConv::ID CallConv
Definition: TargetLowering.h:4031
llvm::codeview::FrameCookieKind::Copy
@ Copy
llvm::TargetLoweringBase::setStackPointerRegisterToSaveRestore
void setStackPointerRegisterToSaveRestore(Register R)
If set to a physical register, this specifies the register that llvm.savestack/llvm....
Definition: TargetLowering.h:2250
I
#define I(x, y, z)
Definition: MD5.cpp:58
llvm::MCPhysReg
uint16_t MCPhysReg
An unsigned integer type large enough to represent all physical registers, but not necessarily virtua...
Definition: MCRegister.h:21
llvm::SelectionDAG::getNode
SDValue getNode(unsigned Opcode, const SDLoc &DL, EVT VT, ArrayRef< SDUse > Ops)
Gets or creates the specified node.
Definition: SelectionDAG.cpp:8851
llvm::TargetLoweringBase::setPrefFunctionAlignment
void setPrefFunctionAlignment(Align Alignment)
Set the target's preferred function alignment.
Definition: TargetLowering.h:2453
llvm::cl::init
initializer< Ty > init(const Ty &Val)
Definition: CommandLine.h:432
llvm::TargetLowering::CallLoweringInfo::DL
SDLoc DL
Definition: TargetLowering.h:4035
llvm::Function::hasStructRetAttr
bool hasStructRetAttr() const
Determine if the function returns a structure through first or second pointer argument.
Definition: Function.h:645
MSP430CC::COND_LO
@ COND_LO
Definition: MSP430.h:26
llvm::CCState::getCallingConv
CallingConv::ID getCallingConv() const
Definition: CallingConvLower.h:257
llvm::MSP430MachineFunctionInfo::getVarArgsFrameIndex
int getVarArgsFrameIndex() const
Definition: MSP430MachineFunctionInfo.h:60
llvm::ISD::ZEXTLOAD
@ ZEXTLOAD
Definition: ISDOpcodes.h:1391
llvm::SDValue::getValue
SDValue getValue(unsigned R) const
Definition: SelectionDAGNodes.h:171
llvm::MVT::i8
@ i8
Definition: MachineValueType.h:46
llvm::TargetLowering::CallLoweringInfo
This structure contains all information that is necessary for lowering calls.
Definition: TargetLowering.h:4009
assert
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
llvm::TargetMachine
Primary interface to the complete machine description for the target machine.
Definition: TargetMachine.h:77
llvm::ISD::MULHS
@ MULHS
Definition: ISDOpcodes.h:638
llvm::MachineFrameInfo::CreateFixedObject
int CreateFixedObject(uint64_t Size, int64_t SPOffset, bool IsImmutable, bool isAliased=false)
Create a new object at a fixed location on the stack.
Definition: MachineFrameInfo.cpp:83
llvm::MVT::Other
@ Other
Definition: MachineValueType.h:42
llvm::MSP430TargetLowering::isTruncateFree
bool isTruncateFree(Type *Ty1, Type *Ty2) const override
isTruncateFree - Return true if it's free to truncate a value of type Ty1 to type Ty2.
Definition: MSP430ISelLowering.cpp:1391
llvm::MVT::getSizeInBits
TypeSize getSizeInBits() const
Returns the size of the specified MVT in bits.
Definition: MachineValueType.h:883
std::swap
void swap(llvm::BitVector &LHS, llvm::BitVector &RHS)
Implement std::swap in terms of BitVector swap.
Definition: BitVector.h:853
llvm::MachineFunction::getFrameInfo
MachineFrameInfo & getFrameInfo()
getFrameInfo - Return the frame info object for the current function.
Definition: MachineFunction.h:672
llvm::ISD::SETULT
@ SETULT
Definition: ISDOpcodes.h:1425
llvm::MSP430TargetLowering::isLegalICmpImmediate
bool isLegalICmpImmediate(int64_t) const override
Return true if the specified immediate is legal icmp immediate, that is the target has icmp instructi...
Definition: MSP430ISelLowering.cpp:368
llvm::MSP430TargetLowering::LowerBR_CC
SDValue LowerBR_CC(SDValue Op, SelectionDAG &DAG) const
Definition: MSP430ISelLowering.cpp:1128
llvm::ISD::CondCode
CondCode
ISD::CondCode enum - These are ordered carefully to make the bitfields below work out,...
Definition: ISDOpcodes.h:1411
llvm::MSP430ISD::RET_FLAG
@ RET_FLAG
Return with a flag operand. Operand 0 is the chain operand.
Definition: MSP430ISelLowering.h:27
llvm::MSP430TargetLowering::EmitInstrWithCustomInserter
MachineBasicBlock * EmitInstrWithCustomInserter(MachineInstr &MI, MachineBasicBlock *BB) const override
This method should be implemented by targets that mark instructions with the 'usesCustomInserter' fla...
Definition: MSP430ISelLowering.cpp:1556
llvm::ISD::RETURNADDR
@ RETURNADDR
Definition: ISDOpcodes.h:95
llvm::MVT
Machine Value Type.
Definition: MachineValueType.h:31
llvm::MachineInstrBuilder::addReg
const MachineInstrBuilder & addReg(Register RegNo, unsigned flags=0, unsigned SubReg=0) const
Add a new virtual register operand.
Definition: MachineInstrBuilder.h:97
llvm::MSP430TargetLowering::LowerFRAMEADDR
SDValue LowerFRAMEADDR(SDValue Op, SelectionDAG &DAG) const
Definition: MSP430ISelLowering.cpp:1293
llvm::ISD::SRA_PARTS
@ SRA_PARTS
Definition: ISDOpcodes.h:750
llvm::ISD::VASTART
@ VASTART
Definition: ISDOpcodes.h:1087
llvm::MSP430TargetLowering::LowerOperation
SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const override
LowerOperation - Provide custom lowering hooks for some operations.
Definition: MSP430ISelLowering.cpp:338
llvm::MachineFunction
Definition: MachineFunction.h:257
llvm::SelectionDAG::getCALLSEQ_END
SDValue getCALLSEQ_END(SDValue Chain, SDValue Op1, SDValue Op2, SDValue InGlue, const SDLoc &DL)
Return a new CALLSEQ_END node, which always must have a glue result (to ensure it's not CSE'd).
Definition: SelectionDAG.h:955
llvm::CallingConv::C
@ C
C - The default llvm calling convention, compatible with C.
Definition: CallingConv.h:34
MSP430CC::COND_L
@ COND_L
Definition: MSP430.h:28
llvm::TargetLowering::CallLoweringInfo::Ins
SmallVector< ISD::InputArg, 32 > Ins
Definition: TargetLowering.h:4039
llvm::MSP430MachineFunctionInfo::getRAIndex
int getRAIndex() const
Definition: MSP430MachineFunctionInfo.h:57
llvm::CallingConv::Fast
@ Fast
Fast - This calling convention attempts to make calls as fast as possible (e.g.
Definition: CallingConv.h:42
llvm::CCState::isVarArg
bool isVarArg() const
Definition: CallingConvLower.h:258
llvm::BlockAddress
The address of a basic block.
Definition: Constants.h:849
llvm::TargetLowering::CallLoweringInfo::DAG
SelectionDAG & DAG
Definition: TargetLowering.h:4034
llvm::ArrayRef
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition: APInt.h:32
MSP430CC::COND_NE
@ COND_NE
Definition: MSP430.h:24
llvm::CCState::AllocateReg
MCRegister AllocateReg(MCPhysReg Reg)
AllocateReg - Attempt to allocate one register.
Definition: CallingConvLower.h:349
Cond
SmallVector< MachineOperand, 4 > Cond
Definition: BasicBlockSections.cpp:137
llvm::StringRef
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:58
llvm::MachineBasicBlock::splice
void splice(iterator Where, MachineBasicBlock *Other, iterator From)
Take an instruction from MBB 'Other' at the position From, and insert it into this MBB right before '...
Definition: MachineBasicBlock.h:982
llvm_unreachable
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
Definition: ErrorHandling.h:143
llvm::ISD::SREM
@ SREM
Definition: ISDOpcodes.h:244
llvm::MSP430ISD::RLA
@ RLA
Definition: MSP430ISelLowering.h:33
llvm::ISD::UMUL_LOHI
@ UMUL_LOHI
Definition: ISDOpcodes.h:251
MSP430.h
llvm::ISD::ArgFlagsTy
Definition: TargetCallingConv.h:27
llvm::ISD::SMUL_LOHI
@ SMUL_LOHI
SMUL_LOHI/UMUL_LOHI - Multiply two integers of type iN, producing a signed/unsigned value of type i[2...
Definition: ISDOpcodes.h:250
llvm::TargetLowering::getRegForInlineAsmConstraint
virtual std::pair< unsigned, const TargetRegisterClass * > getRegForInlineAsmConstraint(const TargetRegisterInfo *TRI, StringRef Constraint, MVT VT) const
Given a physical register constraint (e.g.
Definition: TargetLowering.cpp:5103
llvm::TargetLoweringBase::setTruncStoreAction
void setTruncStoreAction(MVT ValVT, MVT MemVT, LegalizeAction Action)
Indicate that the specified truncating store does not work with the specified type and indicate what ...
Definition: TargetLowering.h:2340
llvm::TargetLoweringBase::setCmpLibcallCC
void setCmpLibcallCC(RTLIB::Libcall Call, ISD::CondCode CC)
Override the default CondCode to be used to test the result of the comparison libcall against zero.
Definition: TargetLowering.h:3086
LLVM_FALLTHROUGH
#define LLVM_FALLTHROUGH
LLVM_FALLTHROUGH - Mark fallthrough cases in switch statements.
Definition: Compiler.h:280
llvm::SDVTList
This represents a list of ValueType's that has been intern'd by a SelectionDAG.
Definition: SelectionDAGNodes.h:78
llvm::MSP430TargetLowering::getReturnAddressFrameIndex
SDValue getReturnAddressFrameIndex(SelectionDAG &DAG) const
Definition: MSP430ISelLowering.cpp:1249
llvm::ISD::SEXTLOAD
@ SEXTLOAD
Definition: ISDOpcodes.h:1391
llvm::MSP430MachineFunctionInfo::getSRetReturnReg
Register getSRetReturnReg() const
Definition: MSP430MachineFunctionInfo.h:54
llvm::TargetLowering::C_RegisterClass
@ C_RegisterClass
Definition: TargetLowering.h:4421
llvm::Register
Wrapper class representing virtual and physical registers.
Definition: Register.h:19
llvm::ISD::XOR
@ XOR
Definition: ISDOpcodes.h:668
llvm::SelectionDAG::getTargetJumpTable
SDValue getTargetJumpTable(int JTI, EVT VT, unsigned TargetFlags=0)
Definition: SelectionDAG.h:708
llvm::MSP430TargetLowering::getTargetNodeName
const char * getTargetNodeName(unsigned Opcode) const override
getTargetNodeName - This method returns the name of a target specific DAG node.
Definition: MSP430ISelLowering.cpp:1371
llvm::ISD::FRAMEADDR
@ FRAMEADDR
FRAMEADDR, RETURNADDR - These nodes represent llvm.frameaddress and llvm.returnaddress on the DAG.
Definition: ISDOpcodes.h:94
Callee
amdgpu Simplify well known AMD library false FunctionCallee Callee
Definition: AMDGPULibCalls.cpp:186
llvm::ISD::FrameIndex
@ FrameIndex
Definition: ISDOpcodes.h:80
llvm::EVT::getEVTString
std::string getEVTString() const
This function returns value type as a string, e.g. "i32".
Definition: ValueTypes.cpp:152
llvm::MSP430TargetLowering::getConstraintType
TargetLowering::ConstraintType getConstraintType(StringRef Constraint) const override
getConstraintType - Given a constraint letter, return the type of constraint it is for this target.
Definition: MSP430ISelLowering.cpp:381
CallingConv.h
llvm::StringRef::size
constexpr LLVM_NODISCARD size_t size() const
size - Get the string size.
Definition: StringRef.h:157
llvm::TargetLowering::CallLoweringInfo::IsTailCall
bool IsTailCall
Definition: TargetLowering.h:4025
j
return j(j<< 16)
llvm::ISD::SETLT
@ SETLT
Definition: ISDOpcodes.h:1434
llvm::CCState::AnalyzeCallResult
void AnalyzeCallResult(const SmallVectorImpl< ISD::InputArg > &Ins, CCAssignFn Fn)
AnalyzeCallResult - Analyze the return values of a call, incorporating info about the passed values i...
Definition: CallingConvLower.cpp:159
llvm::CCValAssign::isMemLoc
bool isMemLoc() const
Definition: CallingConvLower.h:144
llvm::MSP430ISD::Wrapper
@ Wrapper
Wrapper - A wrapper node for TargetConstantPool, TargetExternalSymbol, and TargetGlobalAddress.
Definition: MSP430ISelLowering.h:47
llvm::ISD::ArgFlagsTy::getByValSize
unsigned getByValSize() const
Definition: TargetCallingConv.h:169
llvm::MSP430ISD::RRCL
@ RRCL
Rotate right via carry, carry gets cleared beforehand by clrc.
Definition: MSP430ISelLowering.h:39
llvm::GraphProgram::Name
Name
Definition: GraphWriter.h:50
AnalyzeVarArgs
static void AnalyzeVarArgs(CCState &State, const SmallVectorImpl< ISD::OutputArg > &Outs)
Definition: MSP430ISelLowering.cpp:440
llvm::TargetLoweringBase::setLoadExtAction
void setLoadExtAction(unsigned ExtType, MVT ValVT, MVT MemVT, LegalizeAction Action)
Indicate that the specified load with extension does not work with the specified type and indicate wh...
Definition: TargetLowering.h:2318
llvm::GlobalAddressSDNode
Definition: SelectionDAGNodes.h:1734
llvm::MachineFunction::getFunction
Function & getFunction()
Return the LLVM function that this machine code represents.
Definition: MachineFunction.h:622
CallingConvLower.h
llvm::AMDGPU::SendMsg::Op
Op
Definition: SIDefines.h:348
llvm::ilist_iterator
Iterator for intrusive lists based on ilist_node.
Definition: ilist_iterator.h:57
MachineFrameInfo.h
llvm::SelectionDAG::getEntryNode
SDValue getEntryNode() const
Return the token chain corresponding to the entry of the function.
Definition: SelectionDAG.h:531
ParseFunctionArgs
static void ParseFunctionArgs(const SmallVectorImpl< ArgT > &Args, SmallVectorImpl< unsigned > &Out)
For each argument in a function store the number of pieces it is composed of.
Definition: MSP430ISelLowering.cpp:420
GlobalVariable.h
llvm::SelectionDAG::getDataLayout
const DataLayout & getDataLayout() const
Definition: SelectionDAG.h:452
llvm::ISD::ArgFlagsTy::isSExt
bool isSExt() const
Definition: TargetCallingConv.h:76
Function.h
llvm::TargetLoweringBase::Custom
@ Custom
Definition: TargetLowering.h:200
llvm::SelectionDAG::getTargetExternalSymbol
SDValue getTargetExternalSymbol(const char *Sym, EVT VT, unsigned TargetFlags=0)
Definition: SelectionDAG.cpp:1829
llvm::MSP430ISD::NodeType
NodeType
Definition: MSP430ISelLowering.h:23
llvm::SDValue
Unlike LLVM values, Selection DAG nodes may return multiple values as the result of a computation.
Definition: SelectionDAGNodes.h:137
llvm::ISD::SDIV
@ SDIV
Definition: ISDOpcodes.h:242
MSP430MachineFunctionInfo.h
llvm::TargetLoweringBase::ZeroOrOneBooleanContent
@ ZeroOrOneBooleanContent
Definition: TargetLowering.h:232
llvm::MSP430MachineFunctionInfo::setSRetReturnReg
void setSRetReturnReg(Register Reg)
Definition: MSP430MachineFunctionInfo.h:55
llvm::TargetLoweringBase::setLibcallName
void setLibcallName(RTLIB::Libcall Call, const char *Name)
Rename the default libcall routine name for the specified libcall.
Definition: TargetLowering.h:3071
llvm::CCState::HandleByVal
void HandleByVal(unsigned ValNo, MVT ValVT, MVT LocVT, CCValAssign::LocInfo LocInfo, int MinSize, Align MinAlign, ISD::ArgFlagsTy ArgFlags)
Allocate space on the stack large enough to pass an argument by value.
Definition: CallingConvLower.cpp:42
llvm::ISD::VACOPY
@ VACOPY
VACOPY - VACOPY has 5 operands: an input chain, a destination pointer, a source pointer,...
Definition: ISDOpcodes.h:1082
MSP430CC::COND_HS
@ COND_HS
Definition: MSP430.h:25
llvm::ISD::SRL_PARTS
@ SRL_PARTS
Definition: ISDOpcodes.h:751
GlobalAlias.h
llvm::ISD::ADD
@ ADD
Simple integer binary arithmetic operators.
Definition: ISDOpcodes.h:239
llvm::MSP430MachineFunctionInfo::setRAIndex
void setRAIndex(int Index)
Definition: MSP430MachineFunctionInfo.h:58
llvm::MSP430TargetLowering::getRegForInlineAsmConstraint
std::pair< unsigned, const TargetRegisterClass * > getRegForInlineAsmConstraint(const TargetRegisterInfo *TRI, StringRef Constraint, MVT VT) const override
Given a physical register constraint (e.g.
Definition: MSP430ISelLowering.cpp:394
llvm::TargetLoweringBase::setBooleanContents
void setBooleanContents(BooleanContent Ty)
Specify how the target extends the result of integer and floating point boolean values from i1 to a w...
Definition: TargetLowering.h:2218
llvm::MachineFrameInfo
The MachineFrameInfo class represents an abstract stack frame until prolog/epilog code is inserted.
Definition: MachineFrameInfo.h:105
llvm::ISD::SHL
@ SHL
Shift and rotation operations.
Definition: ISDOpcodes.h:691
llvm::MachinePointerInfo::getFixedStack
static MachinePointerInfo getFixedStack(MachineFunction &MF, int FI, int64_t Offset=0)
Return a MachinePointerInfo record that refers to the specified FrameIndex.
Definition: MachineOperand.cpp:1006
llvm::MachineBasicBlock::begin
iterator begin()
Definition: MachineBasicBlock.h:278
MachineInstrBuilder.h
llvm::ISD::ArgFlagsTy::getNonZeroByValAlign
Align getNonZeroByValAlign() const
Definition: TargetCallingConv.h:153
llvm::CCValAssign::getReg
static CCValAssign getReg(unsigned ValNo, MVT ValVT, unsigned RegNo, MVT LocVT, LocInfo HTP)
Definition: CallingConvLower.h:77
llvm::ISD::MUL
@ MUL
Definition: ISDOpcodes.h:241
llvm::ISD::UREM
@ UREM
Definition: ISDOpcodes.h:245
llvm::TargetLoweringBase::Expand
@ Expand
Definition: TargetLowering.h:198
llvm::CCValAssign::getValVT
MVT getValVT() const
Definition: CallingConvLower.h:141
llvm::BuildMI
MachineInstrBuilder BuildMI(MachineFunction &MF, const DebugLoc &DL, const MCInstrDesc &MCID)
Builder interface. Specify how to create the initial instruction itself.
Definition: MachineInstrBuilder.h:328
llvm::MSP430ISD::BR_CC
@ BR_CC
MSP430 conditional branches.
Definition: MSP430ISelLowering.h:60
N
#define N
llvm::TargetLoweringBase::computeRegisterProperties
void computeRegisterProperties(const TargetRegisterInfo *TRI)
Once all of the register classes are added, this allows us to compute derived properties we expose.
Definition: TargetLoweringBase.cpp:1277
llvm::MSP430TargetLowering::LowerJumpTable
SDValue LowerJumpTable(SDValue Op, SelectionDAG &DAG) const
Definition: MSP430ISelLowering.cpp:1327
llvm::ISD::SRL
@ SRL
Definition: ISDOpcodes.h:693
llvm::CallingConv::MSP430_INTR
@ MSP430_INTR
MSP430_INTR - Calling convention used for MSP430 interrupt routines.
Definition: CallingConv.h:121
llvm::MSP430TargetLowering::LowerShifts
SDValue LowerShifts(SDValue Op, SelectionDAG &DAG) const
Definition: MSP430ISelLowering.cpp:958
llvm::ISD::CTTZ
@ CTTZ
Definition: ISDOpcodes.h:701
llvm::TargetLoweringBase::getRegClassFor
virtual const TargetRegisterClass * getRegClassFor(MVT VT, bool isDivergent=false) const
Return the register class that should be used for the specified value type.
Definition: TargetLowering.h:891
llvm::MSP430TargetLowering::LowerSELECT_CC
SDValue LowerSELECT_CC(SDValue Op, SelectionDAG &DAG) const
Definition: MSP430ISelLowering.cpp:1218
llvm::MachineFunction::getDataLayout
const DataLayout & getDataLayout() const
Return the DataLayout attached to the Module associated to this MF.
Definition: MachineFunction.cpp:285
llvm::MipsISD::Ins
@ Ins
Definition: MipsISelLowering.h:160
llvm::SmallVectorImpl
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
Definition: APFloat.h:42
llvm::MSP430TargetLowering::LowerRETURNADDR
SDValue LowerRETURNADDR(SDValue Op, SelectionDAG &DAG) const
Definition: MSP430ISelLowering.cpp:1266
llvm::ISD::MULHU
@ MULHU
MULHU/MULHS - Multiply high - Multiply two integers of type iN, producing an unsigned/signed value of...
Definition: ISDOpcodes.h:637
llvm::TargetLowering::CallLoweringInfo::OutVals
SmallVector< SDValue, 32 > OutVals
Definition: TargetLowering.h:4038
llvm::MachineBasicBlock::transferSuccessorsAndUpdatePHIs
void transferSuccessorsAndUpdatePHIs(MachineBasicBlock *FromMBB)
Transfers all the successors, as in transferSuccessors, and update PHI operands in the successor bloc...
Definition: MachineBasicBlock.cpp:886
DerivedTypes.h
TM
const char LLVMTargetMachineRef TM
Definition: PassBuilderBindings.cpp:47
llvm::TargetLowering::CallLoweringInfo::Callee
SDValue Callee
Definition: TargetLowering.h:4032
llvm::MVT::i16
@ i16
Definition: MachineValueType.h:47
MSP430CC::COND_E
@ COND_E
Definition: MSP430.h:23
llvm::SelectionDAG::getMachineFunction
MachineFunction & getMachineFunction() const
Definition: SelectionDAG.h:449
BB
Common register allocation spilling lr str ldr sxth r3 ldr mla r4 can lr mov lr str ldr sxth r3 mla r4 and then merge mul and lr str ldr sxth r3 mla r4 It also increase the likelihood the store may become dead bb27 Successors according to LLVM BB
Definition: README.txt:39
llvm::ISD::VAARG
@ VAARG
VAARG - VAARG has four operands: an input chain, a pointer, a SRCVALUE, and the alignment.
Definition: ISDOpcodes.h:1077
llvm::ISD::SDIVREM
@ SDIVREM
SDIVREM/UDIVREM - Divide two integers and produce both a quotient and remainder result.
Definition: ISDOpcodes.h:255
llvm::MSP430ISD::RETI_FLAG
@ RETI_FLAG
Same as RET_FLAG, but used for returning from ISRs.
Definition: MSP430ISelLowering.h:30
llvm::DebugLoc
A debug info location.
Definition: DebugLoc.h:33
llvm::MachineFrameInfo::setFrameAddressIsTaken
void setFrameAddressIsTaken(bool T)
Definition: MachineFrameInfo.h:371
llvm::AMDGPU::HSAMD::Kernel::Key::Args
constexpr char Args[]
Key for Kernel::Metadata::mArgs.
Definition: AMDGPUMetadata.h:394
llvm::cl::desc
Definition: CommandLine.h:405
MSP430CC::COND_GE
@ COND_GE
Definition: MSP430.h:27
llvm::ISD::SIGN_EXTEND
@ SIGN_EXTEND
Conversion operators.
Definition: ISDOpcodes.h:760
raw_ostream.h
llvm::SelectionDAG::getMemcpy
SDValue getMemcpy(SDValue Chain, const SDLoc &dl, SDValue Dst, SDValue Src, SDValue Size, Align Alignment, bool isVol, bool AlwaysInline, bool isTailCall, MachinePointerInfo DstPtrInfo, MachinePointerInfo SrcPtrInfo, const AAMDNodes &AAInfo=AAMDNodes())
Definition: SelectionDAG.cpp:7111
MachineFunction.h
llvm::MSP430ISD::DADD
@ DADD
DADD - Decimal addition with carry TODO Nothing generates a node of this type yet.
Definition: MSP430ISelLowering.h:68
llvm::MachineInstrBundleIterator< MachineInstr >
llvm::ISD::STACKSAVE
@ STACKSAVE
STACKSAVE - STACKSAVE has one operand, an input chain.
Definition: ISDOpcodes.h:1053
llvm::Value
LLVM Value Representation.
Definition: Value.h:74
llvm::ISD::ROTR
@ ROTR
Definition: ISDOpcodes.h:695
Debug.h
llvm::TargetLowering::getConstraintType
virtual ConstraintType getConstraintType(StringRef Constraint) const
Given a constraint, return the type of constraint it is for this target.
Definition: TargetLowering.cpp:4964
llvm::ISD::CTPOP
@ CTPOP
Definition: ISDOpcodes.h:703
llvm::TargetLoweringBase::LibCall
@ LibCall
Definition: TargetLowering.h:199
llvm::ISD::TokenFactor
@ TokenFactor
TokenFactor - This node takes multiple tokens as input and produces a single token result.
Definition: ISDOpcodes.h:52
llvm::MSP430ISD::FIRST_NUMBER
@ FIRST_NUMBER
Definition: MSP430ISelLowering.h:24
llvm::sampleprof::Base
@ Base
Definition: Discriminator.h:58
llvm::Type::getPrimitiveSizeInBits
TypeSize getPrimitiveSizeInBits() const LLVM_READONLY
Return the basic size of this type if it is a primitive type.
Definition: Type.cpp:164
llvm::EVT::getSimpleVT
MVT getSimpleVT() const
Return the SimpleValueType held in the specified simple EVT.
Definition: ValueTypes.h:288
TargetLoweringObjectFileImpl.h
Generated on Wed Jul 6 2022 03:45:03 for LLVM by   doxygen 1.8.17