1193323Sed//===- CallingConvEmitter.cpp - Generate calling conventions --------------===// 2193323Sed// 3193323Sed// The LLVM Compiler Infrastructure 4193323Sed// 5193323Sed// This file is distributed under the University of Illinois Open Source 6193323Sed// License. See LICENSE.TXT for details. 7193323Sed// 8193323Sed//===----------------------------------------------------------------------===// 9193323Sed// 10193323Sed// This tablegen backend is responsible for emitting descriptions of the calling 11193323Sed// conventions supported by this target. 12193323Sed// 13193323Sed//===----------------------------------------------------------------------===// 14193323Sed 15193323Sed#include "CodeGenTarget.h" 16243830Sdim#include "llvm/TableGen/Error.h" 17226633Sdim#include "llvm/TableGen/Record.h" 18239462Sdim#include "llvm/TableGen/TableGenBackend.h" 19239462Sdim#include <cassert> 20193323Sedusing namespace llvm; 21193323Sed 22239462Sdimnamespace { 23239462Sdimclass CallingConvEmitter { 24239462Sdim RecordKeeper &Records; 25239462Sdimpublic: 26239462Sdim explicit CallingConvEmitter(RecordKeeper &R) : Records(R) {} 27239462Sdim 28239462Sdim void run(raw_ostream &o); 29239462Sdim 30239462Sdimprivate: 31239462Sdim void EmitCallingConv(Record *CC, raw_ostream &O); 32239462Sdim void EmitAction(Record *Action, unsigned Indent, raw_ostream &O); 33239462Sdim unsigned Counter; 34239462Sdim}; 35239462Sdim} // End anonymous namespace 36239462Sdim 37195340Sedvoid CallingConvEmitter::run(raw_ostream &O) { 38277320Sdim std::vector<Record*> CCs = Records.getAllDerivedDefinitions("CallingConv"); 39193323Sed 40277320Sdim // Emit prototypes for all of the non-custom CC's so that they can forward ref 41277320Sdim // each other. 42193323Sed for (unsigned i = 0, e = CCs.size(); i != e; ++i) { 43277320Sdim if (!CCs[i]->getValueAsBit("Custom")) { 44277320Sdim O << "static bool " << CCs[i]->getName() 45277320Sdim << "(unsigned ValNo, MVT ValVT,\n" 46277320Sdim << std::string(CCs[i]->getName().size() + 13, ' ') 47277320Sdim << "MVT LocVT, CCValAssign::LocInfo LocInfo,\n" 48277320Sdim << std::string(CCs[i]->getName().size() + 13, ' ') 49277320Sdim << "ISD::ArgFlagsTy ArgFlags, CCState &State);\n"; 50277320Sdim } 51193323Sed } 52277320Sdim 53277320Sdim // Emit each non-custom calling convention description in full. 54277320Sdim for (unsigned i = 0, e = CCs.size(); i != e; ++i) { 55277320Sdim if (!CCs[i]->getValueAsBit("Custom")) 56277320Sdim EmitCallingConv(CCs[i], O); 57277320Sdim } 58193323Sed} 59193323Sed 60193323Sed 61195340Sedvoid CallingConvEmitter::EmitCallingConv(Record *CC, raw_ostream &O) { 62193323Sed ListInit *CCActions = CC->getValueAsListInit("Actions"); 63193323Sed Counter = 0; 64193323Sed 65193323Sed O << "\n\nstatic bool " << CC->getName() 66218893Sdim << "(unsigned ValNo, MVT ValVT,\n" 67193323Sed << std::string(CC->getName().size()+13, ' ') 68218893Sdim << "MVT LocVT, CCValAssign::LocInfo LocInfo,\n" 69193323Sed << std::string(CC->getName().size()+13, ' ') 70193323Sed << "ISD::ArgFlagsTy ArgFlags, CCState &State) {\n"; 71193323Sed // Emit all of the actions, in order. 72288943Sdim for (unsigned i = 0, e = CCActions->size(); i != e; ++i) { 73193323Sed O << "\n"; 74193323Sed EmitAction(CCActions->getElementAsRecord(i), 2, O); 75193323Sed } 76193323Sed 77193323Sed O << "\n return true; // CC didn't match.\n"; 78193323Sed O << "}\n"; 79193323Sed} 80193323Sed 81193323Sedvoid CallingConvEmitter::EmitAction(Record *Action, 82195340Sed unsigned Indent, raw_ostream &O) { 83193323Sed std::string IndentStr = std::string(Indent, ' '); 84193323Sed 85193323Sed if (Action->isSubClassOf("CCPredicateAction")) { 86193323Sed O << IndentStr << "if ("; 87193323Sed 88193323Sed if (Action->isSubClassOf("CCIfType")) { 89193323Sed ListInit *VTs = Action->getValueAsListInit("VTs"); 90288943Sdim for (unsigned i = 0, e = VTs->size(); i != e; ++i) { 91193323Sed Record *VT = VTs->getElementAsRecord(i); 92193323Sed if (i != 0) O << " ||\n " << IndentStr; 93193323Sed O << "LocVT == " << getEnumName(getValueType(VT)); 94193323Sed } 95193323Sed 96193323Sed } else if (Action->isSubClassOf("CCIf")) { 97193323Sed O << Action->getValueAsString("Predicate"); 98193323Sed } else { 99193323Sed Action->dump(); 100243830Sdim PrintFatalError("Unknown CCPredicateAction!"); 101193323Sed } 102193323Sed 103193323Sed O << ") {\n"; 104193323Sed EmitAction(Action->getValueAsDef("SubAction"), Indent+2, O); 105193323Sed O << IndentStr << "}\n"; 106193323Sed } else { 107193323Sed if (Action->isSubClassOf("CCDelegateTo")) { 108193323Sed Record *CC = Action->getValueAsDef("CC"); 109193323Sed O << IndentStr << "if (!" << CC->getName() 110193323Sed << "(ValNo, ValVT, LocVT, LocInfo, ArgFlags, State))\n" 111193323Sed << IndentStr << " return false;\n"; 112193323Sed } else if (Action->isSubClassOf("CCAssignToReg")) { 113193323Sed ListInit *RegList = Action->getValueAsListInit("RegList"); 114288943Sdim if (RegList->size() == 1) { 115193323Sed O << IndentStr << "if (unsigned Reg = State.AllocateReg("; 116193323Sed O << getQualifiedName(RegList->getElementAsRecord(0)) << ")) {\n"; 117193323Sed } else { 118276479Sdim O << IndentStr << "static const MCPhysReg RegList" << ++Counter 119193323Sed << "[] = {\n"; 120193323Sed O << IndentStr << " "; 121288943Sdim for (unsigned i = 0, e = RegList->size(); i != e; ++i) { 122193323Sed if (i != 0) O << ", "; 123193323Sed O << getQualifiedName(RegList->getElementAsRecord(i)); 124193323Sed } 125193323Sed O << "\n" << IndentStr << "};\n"; 126193323Sed O << IndentStr << "if (unsigned Reg = State.AllocateReg(RegList" 127288943Sdim << Counter << ")) {\n"; 128193323Sed } 129193323Sed O << IndentStr << " State.addLoc(CCValAssign::getReg(ValNo, ValVT, " 130193323Sed << "Reg, LocVT, LocInfo));\n"; 131193323Sed O << IndentStr << " return false;\n"; 132193323Sed O << IndentStr << "}\n"; 133193323Sed } else if (Action->isSubClassOf("CCAssignToRegWithShadow")) { 134193323Sed ListInit *RegList = Action->getValueAsListInit("RegList"); 135193323Sed ListInit *ShadowRegList = Action->getValueAsListInit("ShadowRegList"); 136288943Sdim if (!ShadowRegList->empty() && ShadowRegList->size() != RegList->size()) 137243830Sdim PrintFatalError("Invalid length of list of shadowed registers"); 138193323Sed 139288943Sdim if (RegList->size() == 1) { 140193323Sed O << IndentStr << "if (unsigned Reg = State.AllocateReg("; 141193323Sed O << getQualifiedName(RegList->getElementAsRecord(0)); 142193323Sed O << ", " << getQualifiedName(ShadowRegList->getElementAsRecord(0)); 143193323Sed O << ")) {\n"; 144193323Sed } else { 145193323Sed unsigned RegListNumber = ++Counter; 146193323Sed unsigned ShadowRegListNumber = ++Counter; 147193323Sed 148276479Sdim O << IndentStr << "static const MCPhysReg RegList" << RegListNumber 149193323Sed << "[] = {\n"; 150193323Sed O << IndentStr << " "; 151288943Sdim for (unsigned i = 0, e = RegList->size(); i != e; ++i) { 152193323Sed if (i != 0) O << ", "; 153193323Sed O << getQualifiedName(RegList->getElementAsRecord(i)); 154193323Sed } 155193323Sed O << "\n" << IndentStr << "};\n"; 156193323Sed 157276479Sdim O << IndentStr << "static const MCPhysReg RegList" 158193323Sed << ShadowRegListNumber << "[] = {\n"; 159193323Sed O << IndentStr << " "; 160288943Sdim for (unsigned i = 0, e = ShadowRegList->size(); i != e; ++i) { 161193323Sed if (i != 0) O << ", "; 162193323Sed O << getQualifiedName(ShadowRegList->getElementAsRecord(i)); 163193323Sed } 164193323Sed O << "\n" << IndentStr << "};\n"; 165193323Sed 166193323Sed O << IndentStr << "if (unsigned Reg = State.AllocateReg(RegList" 167193323Sed << RegListNumber << ", " << "RegList" << ShadowRegListNumber 168288943Sdim << ")) {\n"; 169193323Sed } 170193323Sed O << IndentStr << " State.addLoc(CCValAssign::getReg(ValNo, ValVT, " 171193323Sed << "Reg, LocVT, LocInfo));\n"; 172193323Sed O << IndentStr << " return false;\n"; 173193323Sed O << IndentStr << "}\n"; 174193323Sed } else if (Action->isSubClassOf("CCAssignToStack")) { 175193323Sed int Size = Action->getValueAsInt("Size"); 176193323Sed int Align = Action->getValueAsInt("Align"); 177193323Sed 178193323Sed O << IndentStr << "unsigned Offset" << ++Counter 179193323Sed << " = State.AllocateStack("; 180193323Sed if (Size) 181193323Sed O << Size << ", "; 182193323Sed else 183280031Sdim O << "\n" << IndentStr 184296417Sdim << " State.getMachineFunction().getDataLayout()." 185296417Sdim "getTypeAllocSize(EVT(LocVT).getTypeForEVT(State.getContext()))," 186280031Sdim " "; 187193323Sed if (Align) 188193323Sed O << Align; 189193323Sed else 190280031Sdim O << "\n" << IndentStr 191296417Sdim << " State.getMachineFunction().getDataLayout()." 192296417Sdim "getABITypeAlignment(EVT(LocVT).getTypeForEVT(State.getContext()" 193280031Sdim "))"; 194193323Sed O << ");\n" << IndentStr 195193323Sed << "State.addLoc(CCValAssign::getMem(ValNo, ValVT, Offset" 196193323Sed << Counter << ", LocVT, LocInfo));\n"; 197193323Sed O << IndentStr << "return false;\n"; 198276479Sdim } else if (Action->isSubClassOf("CCAssignToStackWithShadow")) { 199276479Sdim int Size = Action->getValueAsInt("Size"); 200276479Sdim int Align = Action->getValueAsInt("Align"); 201276479Sdim ListInit *ShadowRegList = Action->getValueAsListInit("ShadowRegList"); 202276479Sdim 203276479Sdim unsigned ShadowRegListNumber = ++Counter; 204276479Sdim 205276479Sdim O << IndentStr << "static const MCPhysReg ShadowRegList" 206276479Sdim << ShadowRegListNumber << "[] = {\n"; 207276479Sdim O << IndentStr << " "; 208288943Sdim for (unsigned i = 0, e = ShadowRegList->size(); i != e; ++i) { 209276479Sdim if (i != 0) O << ", "; 210276479Sdim O << getQualifiedName(ShadowRegList->getElementAsRecord(i)); 211276479Sdim } 212276479Sdim O << "\n" << IndentStr << "};\n"; 213276479Sdim 214276479Sdim O << IndentStr << "unsigned Offset" << ++Counter 215276479Sdim << " = State.AllocateStack(" 216276479Sdim << Size << ", " << Align << ", " 217288943Sdim << "ShadowRegList" << ShadowRegListNumber << ");\n"; 218276479Sdim O << IndentStr << "State.addLoc(CCValAssign::getMem(ValNo, ValVT, Offset" 219276479Sdim << Counter << ", LocVT, LocInfo));\n"; 220276479Sdim O << IndentStr << "return false;\n"; 221193323Sed } else if (Action->isSubClassOf("CCPromoteToType")) { 222193323Sed Record *DestTy = Action->getValueAsDef("DestTy"); 223276479Sdim MVT::SimpleValueType DestVT = getValueType(DestTy); 224276479Sdim O << IndentStr << "LocVT = " << getEnumName(DestVT) <<";\n"; 225276479Sdim if (MVT(DestVT).isFloatingPoint()) { 226276479Sdim O << IndentStr << "LocInfo = CCValAssign::FPExt;\n"; 227276479Sdim } else { 228276479Sdim O << IndentStr << "if (ArgFlags.isSExt())\n" 229276479Sdim << IndentStr << IndentStr << "LocInfo = CCValAssign::SExt;\n" 230276479Sdim << IndentStr << "else if (ArgFlags.isZExt())\n" 231276479Sdim << IndentStr << IndentStr << "LocInfo = CCValAssign::ZExt;\n" 232276479Sdim << IndentStr << "else\n" 233276479Sdim << IndentStr << IndentStr << "LocInfo = CCValAssign::AExt;\n"; 234276479Sdim } 235277320Sdim } else if (Action->isSubClassOf("CCPromoteToUpperBitsInType")) { 236277320Sdim Record *DestTy = Action->getValueAsDef("DestTy"); 237277320Sdim MVT::SimpleValueType DestVT = getValueType(DestTy); 238277320Sdim O << IndentStr << "LocVT = " << getEnumName(DestVT) << ";\n"; 239277320Sdim if (MVT(DestVT).isFloatingPoint()) { 240277320Sdim PrintFatalError("CCPromoteToUpperBitsInType does not handle floating " 241277320Sdim "point"); 242277320Sdim } else { 243277320Sdim O << IndentStr << "if (ArgFlags.isSExt())\n" 244277320Sdim << IndentStr << IndentStr << "LocInfo = CCValAssign::SExtUpper;\n" 245277320Sdim << IndentStr << "else if (ArgFlags.isZExt())\n" 246277320Sdim << IndentStr << IndentStr << "LocInfo = CCValAssign::ZExtUpper;\n" 247277320Sdim << IndentStr << "else\n" 248277320Sdim << IndentStr << IndentStr << "LocInfo = CCValAssign::AExtUpper;\n"; 249277320Sdim } 250193323Sed } else if (Action->isSubClassOf("CCBitConvertToType")) { 251193323Sed Record *DestTy = Action->getValueAsDef("DestTy"); 252193323Sed O << IndentStr << "LocVT = " << getEnumName(getValueType(DestTy)) <<";\n"; 253193323Sed O << IndentStr << "LocInfo = CCValAssign::BCvt;\n"; 254198090Srdivacky } else if (Action->isSubClassOf("CCPassIndirect")) { 255198090Srdivacky Record *DestTy = Action->getValueAsDef("DestTy"); 256198090Srdivacky O << IndentStr << "LocVT = " << getEnumName(getValueType(DestTy)) <<";\n"; 257198090Srdivacky O << IndentStr << "LocInfo = CCValAssign::Indirect;\n"; 258193323Sed } else if (Action->isSubClassOf("CCPassByVal")) { 259193323Sed int Size = Action->getValueAsInt("Size"); 260193323Sed int Align = Action->getValueAsInt("Align"); 261193323Sed O << IndentStr 262193323Sed << "State.HandleByVal(ValNo, ValVT, LocVT, LocInfo, " 263193323Sed << Size << ", " << Align << ", ArgFlags);\n"; 264193323Sed O << IndentStr << "return false;\n"; 265193323Sed } else if (Action->isSubClassOf("CCCustom")) { 266193323Sed O << IndentStr 267193323Sed << "if (" << Action->getValueAsString("FuncName") << "(ValNo, ValVT, " 268193323Sed << "LocVT, LocInfo, ArgFlags, State))\n"; 269193323Sed O << IndentStr << IndentStr << "return false;\n"; 270193323Sed } else { 271193323Sed Action->dump(); 272243830Sdim PrintFatalError("Unknown CCAction!"); 273193323Sed } 274193323Sed } 275193323Sed} 276239462Sdim 277239462Sdimnamespace llvm { 278239462Sdim 279239462Sdimvoid EmitCallingConv(RecordKeeper &RK, raw_ostream &OS) { 280239462Sdim emitSourceFileHeader("Calling Convention Implementation Fragment", OS); 281239462Sdim CallingConvEmitter(RK).run(OS); 282239462Sdim} 283239462Sdim 284239462Sdim} // End llvm namespace 285