change OperandsSignature to use SmallVector<char> instead of std::vector<string>
[oota-llvm.git] / utils / TableGen / FastISelEmitter.cpp
1 //===- FastISelEmitter.cpp - Generate an instruction selector -------------===//
2 //
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 // This tablegen backend emits code for use by the "fast" instruction
11 // selection algorithm. See the comments at the top of
12 // lib/CodeGen/SelectionDAG/FastISel.cpp for background.
13 //
14 // This file scans through the target's tablegen instruction-info files
15 // and extracts instructions with obvious-looking patterns, and it emits
16 // code to look up these instructions by type and operator.
17 //
18 //===----------------------------------------------------------------------===//
19
20 #include "FastISelEmitter.h"
21 #include "Record.h"
22 #include "llvm/Support/Debug.h"
23 #include "llvm/ADT/SmallString.h"
24 #include "llvm/ADT/VectorExtras.h"
25 using namespace llvm;
26
27 namespace {
28
29 /// InstructionMemo - This class holds additional information about an
30 /// instruction needed to emit code for it.
31 ///
32 struct InstructionMemo {
33   std::string Name;
34   const CodeGenRegisterClass *RC;
35   std::string SubRegNo;
36   std::vector<std::string>* PhysRegs;
37 };
38
39 /// OperandsSignature - This class holds a description of a list of operand
40 /// types. It has utility methods for emitting text based on the operands.
41 ///
42 struct OperandsSignature {
43   SmallVector<char, 3> Operands;
44
45   bool operator<(const OperandsSignature &O) const {
46     return Operands < O.Operands;
47   }
48
49   bool empty() const { return Operands.empty(); }
50
51   /// initialize - Examine the given pattern and initialize the contents
52   /// of the Operands array accordingly. Return true if all the operands
53   /// are supported, false otherwise.
54   ///
55   bool initialize(TreePatternNode *InstPatNode, const CodeGenTarget &Target,
56                   MVT::SimpleValueType VT) {
57
58     if (!InstPatNode->isLeaf()) {
59       if (InstPatNode->getOperator()->getName() == "imm") {
60         Operands.push_back('i');
61         return true;
62       }
63       if (InstPatNode->getOperator()->getName() == "fpimm") {
64         Operands.push_back('f');
65         return true;
66       }
67     }
68
69     const CodeGenRegisterClass *DstRC = 0;
70
71     for (unsigned i = 0, e = InstPatNode->getNumChildren(); i != e; ++i) {
72       TreePatternNode *Op = InstPatNode->getChild(i);
73
74       // For now, filter out any operand with a predicate.
75       // For now, filter out any operand with multiple values.
76       if (!Op->getPredicateFns().empty() || Op->getNumTypes() != 1)
77         return false;
78
79       if (!Op->isLeaf()) {
80         if (Op->getOperator()->getName() == "imm") {
81           Operands.push_back('i');
82           continue;
83         }
84         if (Op->getOperator()->getName() == "fpimm") {
85           Operands.push_back('f');
86           continue;
87         }
88         // For now, ignore other non-leaf nodes.
89         return false;
90       }
91       
92       assert(Op->hasTypeSet(0) && "Type infererence not done?");
93
94       // For now, all the operands must have the same type (if they aren't
95       // immediates).  Note that this causes us to reject variable sized shifts
96       // on X86.
97       if (Op->getType(0) != VT)
98         return false;
99
100       DefInit *OpDI = dynamic_cast<DefInit*>(Op->getLeafValue());
101       if (!OpDI)
102         return false;
103       Record *OpLeafRec = OpDI->getDef();
104       // For now, the only other thing we accept is register operands.
105
106       const CodeGenRegisterClass *RC = 0;
107       if (OpLeafRec->isSubClassOf("RegisterClass"))
108         RC = &Target.getRegisterClass(OpLeafRec);
109       else if (OpLeafRec->isSubClassOf("Register"))
110         RC = Target.getRegisterClassForRegister(OpLeafRec);
111       else
112         return false;
113
114       // For now, this needs to be a register class of some sort.
115       if (!RC)
116         return false;
117
118       // For now, all the operands must have the same register class or be
119       // a strict subclass of the destination.
120       if (DstRC) {
121         if (DstRC != RC && !DstRC->hasSubClass(RC))
122           return false;
123       } else
124         DstRC = RC;
125       Operands.push_back('r');
126     }
127     return true;
128   }
129
130   void PrintParameters(raw_ostream &OS) const {
131     for (unsigned i = 0, e = Operands.size(); i != e; ++i) {
132       if (Operands[i] == 'r') {
133         OS << "unsigned Op" << i << ", bool Op" << i << "IsKill";
134       } else if (Operands[i] == 'i') {
135         OS << "uint64_t imm" << i;
136       } else if (Operands[i] == 'f') {
137         OS << "ConstantFP *f" << i;
138       } else {
139         assert("Unknown operand kind!");
140         abort();
141       }
142       if (i + 1 != e)
143         OS << ", ";
144     }
145   }
146
147   void PrintArguments(raw_ostream &OS,
148                       const std::vector<std::string>& PR) const {
149     assert(PR.size() == Operands.size());
150     bool PrintedArg = false;
151     for (unsigned i = 0, e = Operands.size(); i != e; ++i) {
152       if (PR[i] != "")
153         // Implicit physical register operand.
154         continue;
155
156       if (PrintedArg)
157         OS << ", ";
158       if (Operands[i] == 'r') {
159         OS << "Op" << i << ", Op" << i << "IsKill";
160         PrintedArg = true;
161       } else if (Operands[i] == 'i') {
162         OS << "imm" << i;
163         PrintedArg = true;
164       } else if (Operands[i] == 'f') {
165         OS << "f" << i;
166         PrintedArg = true;
167       } else {
168         assert("Unknown operand kind!");
169         abort();
170       }
171     }
172   }
173
174   void PrintArguments(raw_ostream &OS) const {
175     for (unsigned i = 0, e = Operands.size(); i != e; ++i) {
176       if (Operands[i] == 'r') {
177         OS << "Op" << i << ", Op" << i << "IsKill";
178       } else if (Operands[i] == 'i') {
179         OS << "imm" << i;
180       } else if (Operands[i] == 'f') {
181         OS << "f" << i;
182       } else {
183         assert("Unknown operand kind!");
184         abort();
185       }
186       if (i + 1 != e)
187         OS << ", ";
188     }
189   }
190
191
192   void PrintManglingSuffix(raw_ostream &OS,
193                            const std::vector<std::string>& PR) const {
194     for (unsigned i = 0, e = Operands.size(); i != e; ++i) {
195       if (PR[i] != "")
196         // Implicit physical register operand. e.g. Instruction::Mul expect to
197         // select to a binary op. On x86, mul may take a single operand with
198         // the other operand being implicit. We must emit something that looks
199         // like a binary instruction except for the very inner FastEmitInst_*
200         // call.
201         continue;
202       OS << Operands[i];
203     }
204   }
205
206   void PrintManglingSuffix(raw_ostream &OS) const {
207     for (unsigned i = 0, e = Operands.size(); i != e; ++i) {
208       OS << Operands[i];
209     }
210   }
211 };
212
213 class FastISelMap {
214   typedef std::map<std::string, InstructionMemo> PredMap;
215   typedef std::map<MVT::SimpleValueType, PredMap> RetPredMap;
216   typedef std::map<MVT::SimpleValueType, RetPredMap> TypeRetPredMap;
217   typedef std::map<std::string, TypeRetPredMap> OpcodeTypeRetPredMap;
218   typedef std::map<OperandsSignature, OpcodeTypeRetPredMap>
219             OperandsOpcodeTypeRetPredMap;
220
221   OperandsOpcodeTypeRetPredMap SimplePatterns;
222
223   std::string InstNS;
224
225 public:
226   explicit FastISelMap(std::string InstNS);
227
228   void CollectPatterns(CodeGenDAGPatterns &CGP);
229   void PrintFunctionDefinitions(raw_ostream &OS);
230 };
231
232 }
233
234 static std::string getOpcodeName(Record *Op, CodeGenDAGPatterns &CGP) {
235   return CGP.getSDNodeInfo(Op).getEnumName();
236 }
237
238 static std::string getLegalCName(std::string OpName) {
239   std::string::size_type pos = OpName.find("::");
240   if (pos != std::string::npos)
241     OpName.replace(pos, 2, "_");
242   return OpName;
243 }
244
245 FastISelMap::FastISelMap(std::string instns)
246   : InstNS(instns) {
247 }
248
249 void FastISelMap::CollectPatterns(CodeGenDAGPatterns &CGP) {
250   const CodeGenTarget &Target = CGP.getTargetInfo();
251
252   // Determine the target's namespace name.
253   InstNS = Target.getInstNamespace() + "::";
254   assert(InstNS.size() > 2 && "Can't determine target-specific namespace!");
255
256   // Scan through all the patterns and record the simple ones.
257   for (CodeGenDAGPatterns::ptm_iterator I = CGP.ptm_begin(),
258        E = CGP.ptm_end(); I != E; ++I) {
259     const PatternToMatch &Pattern = *I;
260
261     // For now, just look at Instructions, so that we don't have to worry
262     // about emitting multiple instructions for a pattern.
263     TreePatternNode *Dst = Pattern.getDstPattern();
264     if (Dst->isLeaf()) continue;
265     Record *Op = Dst->getOperator();
266     if (!Op->isSubClassOf("Instruction"))
267       continue;
268     CodeGenInstruction &II = CGP.getTargetInfo().getInstruction(Op);
269     if (II.Operands.empty())
270       continue;
271
272     // For now, ignore multi-instruction patterns.
273     bool MultiInsts = false;
274     for (unsigned i = 0, e = Dst->getNumChildren(); i != e; ++i) {
275       TreePatternNode *ChildOp = Dst->getChild(i);
276       if (ChildOp->isLeaf())
277         continue;
278       if (ChildOp->getOperator()->isSubClassOf("Instruction")) {
279         MultiInsts = true;
280         break;
281       }
282     }
283     if (MultiInsts)
284       continue;
285
286     // For now, ignore instructions where the first operand is not an
287     // output register.
288     const CodeGenRegisterClass *DstRC = 0;
289     std::string SubRegNo;
290     if (Op->getName() != "EXTRACT_SUBREG") {
291       Record *Op0Rec = II.Operands[0].Rec;
292       if (!Op0Rec->isSubClassOf("RegisterClass"))
293         continue;
294       DstRC = &Target.getRegisterClass(Op0Rec);
295       if (!DstRC)
296         continue;
297     } else {
298       // If this isn't a leaf, then continue since the register classes are
299       // a bit too complicated for now.
300       if (!Dst->getChild(1)->isLeaf()) continue;
301
302       DefInit *SR = dynamic_cast<DefInit*>(Dst->getChild(1)->getLeafValue());
303       if (SR)
304         SubRegNo = getQualifiedName(SR->getDef());
305       else
306         SubRegNo = Dst->getChild(1)->getLeafValue()->getAsString();
307     }
308
309     // Inspect the pattern.
310     TreePatternNode *InstPatNode = Pattern.getSrcPattern();
311     if (!InstPatNode) continue;
312     if (InstPatNode->isLeaf()) continue;
313
314     // Ignore multiple result nodes for now.
315     if (InstPatNode->getNumTypes() > 1) continue;
316
317     Record *InstPatOp = InstPatNode->getOperator();
318     std::string OpcodeName = getOpcodeName(InstPatOp, CGP);
319     MVT::SimpleValueType RetVT = MVT::isVoid;
320     if (InstPatNode->getNumTypes()) RetVT = InstPatNode->getType(0);
321     MVT::SimpleValueType VT = RetVT;
322     if (InstPatNode->getNumChildren()) {
323       assert(InstPatNode->getChild(0)->getNumTypes() == 1);
324       VT = InstPatNode->getChild(0)->getType(0);
325     }
326     
327     // For now, filter out instructions which just set a register to
328     // an Operand or an immediate, like MOV32ri.
329     if (InstPatOp->isSubClassOf("Operand"))
330       continue;
331
332     // For now, filter out any instructions with predicates.
333     if (!InstPatNode->getPredicateFns().empty())
334       continue;
335
336     // Check all the operands.
337     OperandsSignature Operands;
338     if (!Operands.initialize(InstPatNode, Target, VT))
339       continue;
340
341     std::vector<std::string>* PhysRegInputs = new std::vector<std::string>();
342     if (!InstPatNode->isLeaf() &&
343         (InstPatNode->getOperator()->getName() == "imm" ||
344          InstPatNode->getOperator()->getName() == "fpimmm"))
345       PhysRegInputs->push_back("");
346     else if (!InstPatNode->isLeaf()) {
347       for (unsigned i = 0, e = InstPatNode->getNumChildren(); i != e; ++i) {
348         TreePatternNode *Op = InstPatNode->getChild(i);
349         if (!Op->isLeaf()) {
350           PhysRegInputs->push_back("");
351           continue;
352         }
353
354         DefInit *OpDI = dynamic_cast<DefInit*>(Op->getLeafValue());
355         Record *OpLeafRec = OpDI->getDef();
356         std::string PhysReg;
357         if (OpLeafRec->isSubClassOf("Register")) {
358           PhysReg += static_cast<StringInit*>(OpLeafRec->getValue( \
359                      "Namespace")->getValue())->getValue();
360           PhysReg += "::";
361
362           std::vector<CodeGenRegister> Regs = Target.getRegisters();
363           for (unsigned i = 0; i < Regs.size(); ++i) {
364             if (Regs[i].TheDef == OpLeafRec) {
365               PhysReg += Regs[i].getName();
366               break;
367             }
368           }
369         }
370
371         PhysRegInputs->push_back(PhysReg);
372       }
373     } else
374       PhysRegInputs->push_back("");
375
376     // Get the predicate that guards this pattern.
377     std::string PredicateCheck = Pattern.getPredicateCheck();
378
379     // Ok, we found a pattern that we can handle. Remember it.
380     InstructionMemo Memo = {
381       Pattern.getDstPattern()->getOperator()->getName(),
382       DstRC,
383       SubRegNo,
384       PhysRegInputs
385     };
386     if (SimplePatterns[Operands][OpcodeName][VT][RetVT]
387             .count(PredicateCheck))
388       throw TGError(Pattern.getSrcRecord()->getLoc(), "Duplicate record!");
389
390     SimplePatterns[Operands][OpcodeName][VT][RetVT][PredicateCheck] = Memo;
391   }
392 }
393
394 void FastISelMap::PrintFunctionDefinitions(raw_ostream &OS) {
395   // Now emit code for all the patterns that we collected.
396   for (OperandsOpcodeTypeRetPredMap::const_iterator OI = SimplePatterns.begin(),
397        OE = SimplePatterns.end(); OI != OE; ++OI) {
398     const OperandsSignature &Operands = OI->first;
399     const OpcodeTypeRetPredMap &OTM = OI->second;
400
401     for (OpcodeTypeRetPredMap::const_iterator I = OTM.begin(), E = OTM.end();
402          I != E; ++I) {
403       const std::string &Opcode = I->first;
404       const TypeRetPredMap &TM = I->second;
405
406       OS << "// FastEmit functions for " << Opcode << ".\n";
407       OS << "\n";
408
409       // Emit one function for each opcode,type pair.
410       for (TypeRetPredMap::const_iterator TI = TM.begin(), TE = TM.end();
411            TI != TE; ++TI) {
412         MVT::SimpleValueType VT = TI->first;
413         const RetPredMap &RM = TI->second;
414         if (RM.size() != 1) {
415           for (RetPredMap::const_iterator RI = RM.begin(), RE = RM.end();
416                RI != RE; ++RI) {
417             MVT::SimpleValueType RetVT = RI->first;
418             const PredMap &PM = RI->second;
419             bool HasPred = false;
420
421             OS << "unsigned FastEmit_"
422                << getLegalCName(Opcode)
423                << "_" << getLegalCName(getName(VT))
424                << "_" << getLegalCName(getName(RetVT)) << "_";
425             Operands.PrintManglingSuffix(OS);
426             OS << "(";
427             Operands.PrintParameters(OS);
428             OS << ") {\n";
429
430             // Emit code for each possible instruction. There may be
431             // multiple if there are subtarget concerns.
432             for (PredMap::const_iterator PI = PM.begin(), PE = PM.end();
433                  PI != PE; ++PI) {
434               std::string PredicateCheck = PI->first;
435               const InstructionMemo &Memo = PI->second;
436
437               if (PredicateCheck.empty()) {
438                 assert(!HasPred &&
439                        "Multiple instructions match, at least one has "
440                        "a predicate and at least one doesn't!");
441               } else {
442                 OS << "  if (" + PredicateCheck + ") {\n";
443                 OS << "  ";
444                 HasPred = true;
445               }
446
447               for (unsigned i = 0; i < Memo.PhysRegs->size(); ++i) {
448                 if ((*Memo.PhysRegs)[i] != "")
449                   OS << "  BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, "
450                      << "TII.get(TargetOpcode::COPY), "
451                      << (*Memo.PhysRegs)[i] << ").addReg(Op" << i << ");\n";
452               }
453
454               OS << "  return FastEmitInst_";
455               if (Memo.SubRegNo.empty()) {
456                 Operands.PrintManglingSuffix(OS, *Memo.PhysRegs);
457                 OS << "(" << InstNS << Memo.Name << ", ";
458                 OS << InstNS << Memo.RC->getName() << "RegisterClass";
459                 if (!Operands.empty())
460                   OS << ", ";
461                 Operands.PrintArguments(OS, *Memo.PhysRegs);
462                 OS << ");\n";
463               } else {
464                 OS << "extractsubreg(" << getName(RetVT);
465                 OS << ", Op0, Op0IsKill, ";
466                 OS << Memo.SubRegNo;
467                 OS << ");\n";
468               }
469
470               if (HasPred)
471                 OS << "  }\n";
472
473             }
474             // Return 0 if none of the predicates were satisfied.
475             if (HasPred)
476               OS << "  return 0;\n";
477             OS << "}\n";
478             OS << "\n";
479           }
480
481           // Emit one function for the type that demultiplexes on return type.
482           OS << "unsigned FastEmit_"
483              << getLegalCName(Opcode) << "_"
484              << getLegalCName(getName(VT)) << "_";
485           Operands.PrintManglingSuffix(OS);
486           OS << "(MVT RetVT";
487           if (!Operands.empty())
488             OS << ", ";
489           Operands.PrintParameters(OS);
490           OS << ") {\nswitch (RetVT.SimpleTy) {\n";
491           for (RetPredMap::const_iterator RI = RM.begin(), RE = RM.end();
492                RI != RE; ++RI) {
493             MVT::SimpleValueType RetVT = RI->first;
494             OS << "  case " << getName(RetVT) << ": return FastEmit_"
495                << getLegalCName(Opcode) << "_" << getLegalCName(getName(VT))
496                << "_" << getLegalCName(getName(RetVT)) << "_";
497             Operands.PrintManglingSuffix(OS);
498             OS << "(";
499             Operands.PrintArguments(OS);
500             OS << ");\n";
501           }
502           OS << "  default: return 0;\n}\n}\n\n";
503
504         } else {
505           // Non-variadic return type.
506           OS << "unsigned FastEmit_"
507              << getLegalCName(Opcode) << "_"
508              << getLegalCName(getName(VT)) << "_";
509           Operands.PrintManglingSuffix(OS);
510           OS << "(MVT RetVT";
511           if (!Operands.empty())
512             OS << ", ";
513           Operands.PrintParameters(OS);
514           OS << ") {\n";
515
516           OS << "  if (RetVT.SimpleTy != " << getName(RM.begin()->first)
517              << ")\n    return 0;\n";
518
519           const PredMap &PM = RM.begin()->second;
520           bool HasPred = false;
521
522           // Emit code for each possible instruction. There may be
523           // multiple if there are subtarget concerns.
524           for (PredMap::const_iterator PI = PM.begin(), PE = PM.end(); PI != PE;
525                ++PI) {
526             std::string PredicateCheck = PI->first;
527             const InstructionMemo &Memo = PI->second;
528
529             if (PredicateCheck.empty()) {
530               assert(!HasPred &&
531                      "Multiple instructions match, at least one has "
532                      "a predicate and at least one doesn't!");
533             } else {
534               OS << "  if (" + PredicateCheck + ") {\n";
535               OS << "  ";
536               HasPred = true;
537             }
538
539             for (unsigned i = 0; i < Memo.PhysRegs->size(); ++i) {
540               if ((*Memo.PhysRegs)[i] != "")
541                 OS << "  BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DL, "
542                    << "TII.get(TargetOpcode::COPY), "
543                    << (*Memo.PhysRegs)[i] << ").addReg(Op" << i << ");\n";
544             }
545
546             OS << "  return FastEmitInst_";
547
548             if (Memo.SubRegNo.empty()) {
549               Operands.PrintManglingSuffix(OS, *Memo.PhysRegs);
550               OS << "(" << InstNS << Memo.Name << ", ";
551               OS << InstNS << Memo.RC->getName() << "RegisterClass";
552               if (!Operands.empty())
553                 OS << ", ";
554               Operands.PrintArguments(OS, *Memo.PhysRegs);
555               OS << ");\n";
556             } else {
557               OS << "extractsubreg(RetVT, Op0, Op0IsKill, ";
558               OS << Memo.SubRegNo;
559               OS << ");\n";
560             }
561
562              if (HasPred)
563                OS << "  }\n";
564           }
565
566           // Return 0 if none of the predicates were satisfied.
567           if (HasPred)
568             OS << "  return 0;\n";
569           OS << "}\n";
570           OS << "\n";
571         }
572       }
573
574       // Emit one function for the opcode that demultiplexes based on the type.
575       OS << "unsigned FastEmit_"
576          << getLegalCName(Opcode) << "_";
577       Operands.PrintManglingSuffix(OS);
578       OS << "(MVT VT, MVT RetVT";
579       if (!Operands.empty())
580         OS << ", ";
581       Operands.PrintParameters(OS);
582       OS << ") {\n";
583       OS << "  switch (VT.SimpleTy) {\n";
584       for (TypeRetPredMap::const_iterator TI = TM.begin(), TE = TM.end();
585            TI != TE; ++TI) {
586         MVT::SimpleValueType VT = TI->first;
587         std::string TypeName = getName(VT);
588         OS << "  case " << TypeName << ": return FastEmit_"
589            << getLegalCName(Opcode) << "_" << getLegalCName(TypeName) << "_";
590         Operands.PrintManglingSuffix(OS);
591         OS << "(RetVT";
592         if (!Operands.empty())
593           OS << ", ";
594         Operands.PrintArguments(OS);
595         OS << ");\n";
596       }
597       OS << "  default: return 0;\n";
598       OS << "  }\n";
599       OS << "}\n";
600       OS << "\n";
601     }
602
603     OS << "// Top-level FastEmit function.\n";
604     OS << "\n";
605
606     // Emit one function for the operand signature that demultiplexes based
607     // on opcode and type.
608     OS << "unsigned FastEmit_";
609     Operands.PrintManglingSuffix(OS);
610     OS << "(MVT VT, MVT RetVT, unsigned Opcode";
611     if (!Operands.empty())
612       OS << ", ";
613     Operands.PrintParameters(OS);
614     OS << ") {\n";
615     OS << "  switch (Opcode) {\n";
616     for (OpcodeTypeRetPredMap::const_iterator I = OTM.begin(), E = OTM.end();
617          I != E; ++I) {
618       const std::string &Opcode = I->first;
619
620       OS << "  case " << Opcode << ": return FastEmit_"
621          << getLegalCName(Opcode) << "_";
622       Operands.PrintManglingSuffix(OS);
623       OS << "(VT, RetVT";
624       if (!Operands.empty())
625         OS << ", ";
626       Operands.PrintArguments(OS);
627       OS << ");\n";
628     }
629     OS << "  default: return 0;\n";
630     OS << "  }\n";
631     OS << "}\n";
632     OS << "\n";
633   }
634 }
635
636 void FastISelEmitter::run(raw_ostream &OS) {
637   const CodeGenTarget &Target = CGP.getTargetInfo();
638
639   // Determine the target's namespace name.
640   std::string InstNS = Target.getInstNamespace() + "::";
641   assert(InstNS.size() > 2 && "Can't determine target-specific namespace!");
642
643   EmitSourceFileHeader("\"Fast\" Instruction Selector for the " +
644                        Target.getName() + " target", OS);
645
646   FastISelMap F(InstNS);
647   F.CollectPatterns(CGP);
648   F.PrintFunctionDefinitions(OS);
649 }
650
651 FastISelEmitter::FastISelEmitter(RecordKeeper &R)
652   : Records(R),
653     CGP(R) {
654 }
655