1 //===------------ FixedLenDecoderEmitter.cpp - Decoder Generator ----------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // It contains the tablegen backend that emits the decoder functions for
11 // targets with fixed length instruction set.
13 //===----------------------------------------------------------------------===//
15 #define DEBUG_TYPE "decoder-emitter"
17 #include "FixedLenDecoderEmitter.h"
18 #include "CodeGenTarget.h"
19 #include "llvm/TableGen/Record.h"
20 #include "llvm/ADT/APInt.h"
21 #include "llvm/ADT/StringExtras.h"
22 #include "llvm/Support/Debug.h"
23 #include "llvm/Support/raw_ostream.h"
31 // The set (BIT_TRUE, BIT_FALSE, BIT_UNSET) represents a ternary logic system
34 // BIT_UNFILTERED is used as the init value for a filter position. It is used
35 // only for filter processings.
40 BIT_UNFILTERED // unfiltered
43 static bool ValueSet(bit_value_t V) {
44 return (V == BIT_TRUE || V == BIT_FALSE);
46 static bool ValueNotSet(bit_value_t V) {
47 return (V == BIT_UNSET);
49 static int Value(bit_value_t V) {
50 return ValueNotSet(V) ? -1 : (V == BIT_FALSE ? 0 : 1);
52 static bit_value_t bitFromBits(BitsInit &bits, unsigned index) {
53 if (BitInit *bit = dynamic_cast<BitInit*>(bits.getBit(index)))
54 return bit->getValue() ? BIT_TRUE : BIT_FALSE;
56 // The bit is uninitialized.
59 // Prints the bit value for each position.
60 static void dumpBits(raw_ostream &o, BitsInit &bits) {
63 for (index = bits.getNumBits(); index > 0; index--) {
64 switch (bitFromBits(bits, index - 1)) {
75 llvm_unreachable("unexpected return value from bitFromBits");
80 static BitsInit &getBitsField(const Record &def, const char *str) {
81 BitsInit *bits = def.getValueAsBitsInit(str);
85 // Forward declaration.
88 // Representation of the instruction to work on.
89 typedef std::vector<bit_value_t> insn_t;
91 /// Filter - Filter works with FilterChooser to produce the decoding tree for
94 /// It is useful to think of a Filter as governing the switch stmts of the
95 /// decoding tree in a certain level. Each case stmt delegates to an inferior
96 /// FilterChooser to decide what further decoding logic to employ, or in another
97 /// words, what other remaining bits to look at. The FilterChooser eventually
98 /// chooses a best Filter to do its job.
100 /// This recursive scheme ends when the number of Opcodes assigned to the
101 /// FilterChooser becomes 1 or if there is a conflict. A conflict happens when
102 /// the Filter/FilterChooser combo does not know how to distinguish among the
103 /// Opcodes assigned.
105 /// An example of a conflict is
108 /// 111101000.00........00010000....
109 /// 111101000.00........0001........
110 /// 1111010...00........0001........
111 /// 1111010...00....................
112 /// 1111010.........................
113 /// 1111............................
114 /// ................................
115 /// VST4q8a 111101000_00________00010000____
116 /// VST4q8b 111101000_00________00010000____
118 /// The Debug output shows the path that the decoding tree follows to reach the
119 /// the conclusion that there is a conflict. VST4q8a is a vst4 to double-spaced
120 /// even registers, while VST4q8b is a vst4 to double-spaced odd regsisters.
122 /// The encoding info in the .td files does not specify this meta information,
123 /// which could have been used by the decoder to resolve the conflict. The
124 /// decoder could try to decode the even/odd register numbering and assign to
125 /// VST4q8a or VST4q8b, but for the time being, the decoder chooses the "a"
126 /// version and return the Opcode since the two have the same Asm format string.
129 FilterChooser *Owner; // points to the FilterChooser who owns this filter
130 unsigned StartBit; // the starting bit position
131 unsigned NumBits; // number of bits to filter
132 bool Mixed; // a mixed region contains both set and unset bits
134 // Map of well-known segment value to the set of uid's with that value.
135 std::map<uint64_t, std::vector<unsigned> > FilteredInstructions;
137 // Set of uid's with non-constant segment values.
138 std::vector<unsigned> VariableInstructions;
140 // Map of well-known segment value to its delegate.
141 std::map<unsigned, FilterChooser*> FilterChooserMap;
143 // Number of instructions which fall under FilteredInstructions category.
144 unsigned NumFiltered;
146 // Keeps track of the last opcode in the filtered bucket.
147 unsigned LastOpcFiltered;
149 // Number of instructions which fall under VariableInstructions category.
150 unsigned NumVariable;
153 unsigned getNumFiltered() { return NumFiltered; }
154 unsigned getNumVariable() { return NumVariable; }
155 unsigned getSingletonOpc() {
156 assert(NumFiltered == 1);
157 return LastOpcFiltered;
159 // Return the filter chooser for the group of instructions without constant
161 FilterChooser &getVariableFC() {
162 assert(NumFiltered == 1);
163 assert(FilterChooserMap.size() == 1);
164 return *(FilterChooserMap.find((unsigned)-1)->second);
167 Filter(const Filter &f);
168 Filter(FilterChooser &owner, unsigned startBit, unsigned numBits, bool mixed);
172 // Divides the decoding task into sub tasks and delegates them to the
173 // inferior FilterChooser's.
175 // A special case arises when there's only one entry in the filtered
176 // instructions. In order to unambiguously decode the singleton, we need to
177 // match the remaining undecoded encoding bits against the singleton.
180 // Emit code to decode instructions given a segment or segments of bits.
181 void emit(raw_ostream &o, unsigned &Indentation);
183 // Returns the number of fanout produced by the filter. More fanout implies
184 // the filter distinguishes more categories of instructions.
185 unsigned usefulness() const;
186 }; // End of class Filter
188 // These are states of our finite state machines used in FilterChooser's
189 // filterProcessor() which produces the filter candidates to use.
198 /// FilterChooser - FilterChooser chooses the best filter among a set of Filters
199 /// in order to perform the decoding of instructions at the current level.
201 /// Decoding proceeds from the top down. Based on the well-known encoding bits
202 /// of instructions available, FilterChooser builds up the possible Filters that
203 /// can further the task of decoding by distinguishing among the remaining
204 /// candidate instructions.
206 /// Once a filter has been chosen, it is called upon to divide the decoding task
207 /// into sub-tasks and delegates them to its inferior FilterChoosers for further
210 /// It is useful to think of a Filter as governing the switch stmts of the
211 /// decoding tree. And each case is delegated to an inferior FilterChooser to
212 /// decide what further remaining bits to look at.
213 class FilterChooser {
217 // Vector of codegen instructions to choose our filter.
218 const std::vector<const CodeGenInstruction*> &AllInstructions;
220 // Vector of uid's for this filter chooser to work on.
221 const std::vector<unsigned> Opcodes;
223 // Lookup table for the operand decoding of instructions.
224 std::map<unsigned, std::vector<OperandInfo> > &Operands;
226 // Vector of candidate filters.
227 std::vector<Filter> Filters;
229 // Array of bit values passed down from our parent.
230 // Set to all BIT_UNFILTERED's for Parent == NULL.
231 std::vector<bit_value_t> FilterBitValues;
233 // Links to the FilterChooser above us in the decoding tree.
234 FilterChooser *Parent;
236 // Index of the best filter from Filters.
239 // Width of instructions
243 const FixedLenDecoderEmitter *Emitter;
246 FilterChooser(const FilterChooser &FC) :
247 AllInstructions(FC.AllInstructions), Opcodes(FC.Opcodes),
248 Operands(FC.Operands), Filters(FC.Filters),
249 FilterBitValues(FC.FilterBitValues), Parent(FC.Parent),
250 BestIndex(FC.BestIndex), BitWidth(FC.BitWidth),
251 Emitter(FC.Emitter) { }
253 FilterChooser(const std::vector<const CodeGenInstruction*> &Insts,
254 const std::vector<unsigned> &IDs,
255 std::map<unsigned, std::vector<OperandInfo> > &Ops,
257 const FixedLenDecoderEmitter *E) :
258 AllInstructions(Insts), Opcodes(IDs), Operands(Ops), Filters(),
259 Parent(NULL), BestIndex(-1), BitWidth(BW), Emitter(E) {
260 for (unsigned i = 0; i < BitWidth; ++i)
261 FilterBitValues.push_back(BIT_UNFILTERED);
266 FilterChooser(const std::vector<const CodeGenInstruction*> &Insts,
267 const std::vector<unsigned> &IDs,
268 std::map<unsigned, std::vector<OperandInfo> > &Ops,
269 std::vector<bit_value_t> &ParentFilterBitValues,
270 FilterChooser &parent) :
271 AllInstructions(Insts), Opcodes(IDs), Operands(Ops),
272 Filters(), FilterBitValues(ParentFilterBitValues),
273 Parent(&parent), BestIndex(-1), BitWidth(parent.BitWidth),
274 Emitter(parent.Emitter) {
278 // The top level filter chooser has NULL as its parent.
279 bool isTopLevel() { return Parent == NULL; }
281 // Emit the top level typedef and decodeInstruction() function.
282 void emitTop(raw_ostream &o, unsigned Indentation, std::string Namespace);
285 // Populates the insn given the uid.
286 void insnWithID(insn_t &Insn, unsigned Opcode) const {
287 BitsInit &Bits = getBitsField(*AllInstructions[Opcode]->TheDef, "Inst");
289 // We may have a SoftFail bitmask, which specifies a mask where an encoding
290 // may differ from the value in "Inst" and yet still be valid, but the
291 // disassembler should return SoftFail instead of Success.
293 // This is used for marking UNPREDICTABLE instructions in the ARM world.
295 AllInstructions[Opcode]->TheDef->getValueAsBitsInit("SoftFail");
297 for (unsigned i = 0; i < BitWidth; ++i) {
298 if (SFBits && bitFromBits(*SFBits, i) == BIT_TRUE)
299 Insn.push_back(BIT_UNSET);
301 Insn.push_back(bitFromBits(Bits, i));
305 // Returns the record name.
306 const std::string &nameWithID(unsigned Opcode) const {
307 return AllInstructions[Opcode]->TheDef->getName();
310 // Populates the field of the insn given the start position and the number of
311 // consecutive bits to scan for.
313 // Returns false if there exists any uninitialized bit value in the range.
314 // Returns true, otherwise.
315 bool fieldFromInsn(uint64_t &Field, insn_t &Insn, unsigned StartBit,
316 unsigned NumBits) const;
318 /// dumpFilterArray - dumpFilterArray prints out debugging info for the given
319 /// filter array as a series of chars.
320 void dumpFilterArray(raw_ostream &o, std::vector<bit_value_t> & filter);
322 /// dumpStack - dumpStack traverses the filter chooser chain and calls
323 /// dumpFilterArray on each filter chooser up to the top level one.
324 void dumpStack(raw_ostream &o, const char *prefix);
326 Filter &bestFilter() {
327 assert(BestIndex != -1 && "BestIndex not set");
328 return Filters[BestIndex];
331 // Called from Filter::recurse() when singleton exists. For debug purpose.
332 void SingletonExists(unsigned Opc);
334 bool PositionFiltered(unsigned i) {
335 return ValueSet(FilterBitValues[i]);
338 // Calculates the island(s) needed to decode the instruction.
339 // This returns a lit of undecoded bits of an instructions, for example,
340 // Inst{20} = 1 && Inst{3-0} == 0b1111 represents two islands of yet-to-be
341 // decoded bits in order to verify that the instruction matches the Opcode.
342 unsigned getIslands(std::vector<unsigned> &StartBits,
343 std::vector<unsigned> &EndBits, std::vector<uint64_t> &FieldVals,
346 // Emits code to check the Predicates member of an instruction are true.
347 // Returns true if predicate matches were emitted, false otherwise.
348 bool emitPredicateMatch(raw_ostream &o, unsigned &Indentation,unsigned Opc);
350 void emitSoftFailCheck(raw_ostream &o, unsigned Indentation, unsigned Opc);
352 // Emits code to decode the singleton. Return true if we have matched all the
354 bool emitSingletonDecoder(raw_ostream &o, unsigned &Indentation,unsigned Opc);
356 // Emits code to decode the singleton, and then to decode the rest.
357 void emitSingletonDecoder(raw_ostream &o, unsigned &Indentation,Filter &Best);
359 void emitBinaryParser(raw_ostream &o , unsigned &Indentation,
360 OperandInfo &OpInfo);
362 // Assign a single filter and run with it.
363 void runSingleFilter(FilterChooser &owner, unsigned startBit, unsigned numBit,
366 // reportRegion is a helper function for filterProcessor to mark a region as
367 // eligible for use as a filter region.
368 void reportRegion(bitAttr_t RA, unsigned StartBit, unsigned BitIndex,
371 // FilterProcessor scans the well-known encoding bits of the instructions and
372 // builds up a list of candidate filters. It chooses the best filter and
373 // recursively descends down the decoding tree.
374 bool filterProcessor(bool AllowMixed, bool Greedy = true);
376 // Decides on the best configuration of filter(s) to use in order to decode
377 // the instructions. A conflict of instructions may occur, in which case we
378 // dump the conflict set to the standard error.
381 // Emits code to decode our share of instructions. Returns true if the
382 // emitted code causes a return, which occurs if we know how to decode
383 // the instruction at this level or the instruction is not decodeable.
384 bool emit(raw_ostream &o, unsigned &Indentation);
387 ///////////////////////////
389 // Filter Implmenetation //
391 ///////////////////////////
393 Filter::Filter(const Filter &f) :
394 Owner(f.Owner), StartBit(f.StartBit), NumBits(f.NumBits), Mixed(f.Mixed),
395 FilteredInstructions(f.FilteredInstructions),
396 VariableInstructions(f.VariableInstructions),
397 FilterChooserMap(f.FilterChooserMap), NumFiltered(f.NumFiltered),
398 LastOpcFiltered(f.LastOpcFiltered), NumVariable(f.NumVariable) {
401 Filter::Filter(FilterChooser &owner, unsigned startBit, unsigned numBits,
402 bool mixed) : Owner(&owner), StartBit(startBit), NumBits(numBits),
404 assert(StartBit + NumBits - 1 < Owner->BitWidth);
410 for (unsigned i = 0, e = Owner->Opcodes.size(); i != e; ++i) {
413 // Populates the insn given the uid.
414 Owner->insnWithID(Insn, Owner->Opcodes[i]);
417 // Scans the segment for possibly well-specified encoding bits.
418 bool ok = Owner->fieldFromInsn(Field, Insn, StartBit, NumBits);
421 // The encoding bits are well-known. Lets add the uid of the
422 // instruction into the bucket keyed off the constant field value.
423 LastOpcFiltered = Owner->Opcodes[i];
424 FilteredInstructions[Field].push_back(LastOpcFiltered);
427 // Some of the encoding bit(s) are unspecfied. This contributes to
428 // one additional member of "Variable" instructions.
429 VariableInstructions.push_back(Owner->Opcodes[i]);
434 assert((FilteredInstructions.size() + VariableInstructions.size() > 0)
435 && "Filter returns no instruction categories");
439 std::map<unsigned, FilterChooser*>::iterator filterIterator;
440 for (filterIterator = FilterChooserMap.begin();
441 filterIterator != FilterChooserMap.end();
443 delete filterIterator->second;
447 // Divides the decoding task into sub tasks and delegates them to the
448 // inferior FilterChooser's.
450 // A special case arises when there's only one entry in the filtered
451 // instructions. In order to unambiguously decode the singleton, we need to
452 // match the remaining undecoded encoding bits against the singleton.
453 void Filter::recurse() {
454 std::map<uint64_t, std::vector<unsigned> >::const_iterator mapIterator;
456 // Starts by inheriting our parent filter chooser's filter bit values.
457 std::vector<bit_value_t> BitValueArray(Owner->FilterBitValues);
461 if (VariableInstructions.size()) {
462 // Conservatively marks each segment position as BIT_UNSET.
463 for (bitIndex = 0; bitIndex < NumBits; bitIndex++)
464 BitValueArray[StartBit + bitIndex] = BIT_UNSET;
466 // Delegates to an inferior filter chooser for further processing on this
467 // group of instructions whose segment values are variable.
468 FilterChooserMap.insert(std::pair<unsigned, FilterChooser*>(
470 new FilterChooser(Owner->AllInstructions,
471 VariableInstructions,
478 // No need to recurse for a singleton filtered instruction.
479 // See also Filter::emit().
480 if (getNumFiltered() == 1) {
481 //Owner->SingletonExists(LastOpcFiltered);
482 assert(FilterChooserMap.size() == 1);
486 // Otherwise, create sub choosers.
487 for (mapIterator = FilteredInstructions.begin();
488 mapIterator != FilteredInstructions.end();
491 // Marks all the segment positions with either BIT_TRUE or BIT_FALSE.
492 for (bitIndex = 0; bitIndex < NumBits; bitIndex++) {
493 if (mapIterator->first & (1ULL << bitIndex))
494 BitValueArray[StartBit + bitIndex] = BIT_TRUE;
496 BitValueArray[StartBit + bitIndex] = BIT_FALSE;
499 // Delegates to an inferior filter chooser for further processing on this
500 // category of instructions.
501 FilterChooserMap.insert(std::pair<unsigned, FilterChooser*>(
503 new FilterChooser(Owner->AllInstructions,
512 // Emit code to decode instructions given a segment or segments of bits.
513 void Filter::emit(raw_ostream &o, unsigned &Indentation) {
514 o.indent(Indentation) << "// Check Inst{";
517 o << (StartBit + NumBits - 1) << '-';
519 o << StartBit << "} ...\n";
521 o.indent(Indentation) << "switch (fieldFromInstruction" << Owner->BitWidth
522 << "(insn, " << StartBit << ", "
523 << NumBits << ")) {\n";
525 std::map<unsigned, FilterChooser*>::iterator filterIterator;
527 bool DefaultCase = false;
528 for (filterIterator = FilterChooserMap.begin();
529 filterIterator != FilterChooserMap.end();
532 // Field value -1 implies a non-empty set of variable instructions.
533 // See also recurse().
534 if (filterIterator->first == (unsigned)-1) {
537 o.indent(Indentation) << "default:\n";
538 o.indent(Indentation) << " break; // fallthrough\n";
540 // Closing curly brace for the switch statement.
541 // This is unconventional because we want the default processing to be
542 // performed for the fallthrough cases as well, i.e., when the "cases"
543 // did not prove a decoded instruction.
544 o.indent(Indentation) << "}\n";
547 o.indent(Indentation) << "case " << filterIterator->first << ":\n";
549 // We arrive at a category of instructions with the same segment value.
550 // Now delegate to the sub filter chooser for further decodings.
551 // The case may fallthrough, which happens if the remaining well-known
552 // encoding bits do not match exactly.
553 if (!DefaultCase) { ++Indentation; ++Indentation; }
555 bool finished = filterIterator->second->emit(o, Indentation);
556 // For top level default case, there's no need for a break statement.
557 if (Owner->isTopLevel() && DefaultCase)
560 o.indent(Indentation) << "break;\n";
562 if (!DefaultCase) { --Indentation; --Indentation; }
565 // If there is no default case, we still need to supply a closing brace.
567 // Closing curly brace for the switch statement.
568 o.indent(Indentation) << "}\n";
572 // Returns the number of fanout produced by the filter. More fanout implies
573 // the filter distinguishes more categories of instructions.
574 unsigned Filter::usefulness() const {
575 if (VariableInstructions.size())
576 return FilteredInstructions.size();
578 return FilteredInstructions.size() + 1;
581 //////////////////////////////////
583 // Filterchooser Implementation //
585 //////////////////////////////////
587 // Emit the top level typedef and decodeInstruction() function.
588 void FilterChooser::emitTop(raw_ostream &o, unsigned Indentation,
589 std::string Namespace) {
590 o.indent(Indentation) <<
591 "static MCDisassembler::DecodeStatus decode" << Namespace << "Instruction"
592 << BitWidth << "(MCInst &MI, uint" << BitWidth
593 << "_t insn, uint64_t Address, "
594 << "const void *Decoder, const MCSubtargetInfo &STI) {\n";
595 o.indent(Indentation) << " unsigned tmp = 0;\n";
596 o.indent(Indentation) << " (void)tmp;\n";
597 o.indent(Indentation) << Emitter->Locals << "\n";
598 o.indent(Indentation) << " uint64_t Bits = STI.getFeatureBits();\n";
599 o.indent(Indentation) << " (void)Bits;\n";
601 ++Indentation; ++Indentation;
602 // Emits code to decode the instructions.
603 emit(o, Indentation);
606 o.indent(Indentation) << "return " << Emitter->ReturnFail << ";\n";
607 --Indentation; --Indentation;
609 o.indent(Indentation) << "}\n";
614 // Populates the field of the insn given the start position and the number of
615 // consecutive bits to scan for.
617 // Returns false if and on the first uninitialized bit value encountered.
618 // Returns true, otherwise.
619 bool FilterChooser::fieldFromInsn(uint64_t &Field, insn_t &Insn,
620 unsigned StartBit, unsigned NumBits) const {
623 for (unsigned i = 0; i < NumBits; ++i) {
624 if (Insn[StartBit + i] == BIT_UNSET)
627 if (Insn[StartBit + i] == BIT_TRUE)
628 Field = Field | (1ULL << i);
634 /// dumpFilterArray - dumpFilterArray prints out debugging info for the given
635 /// filter array as a series of chars.
636 void FilterChooser::dumpFilterArray(raw_ostream &o,
637 std::vector<bit_value_t> &filter) {
640 for (bitIndex = BitWidth; bitIndex > 0; bitIndex--) {
641 switch (filter[bitIndex - 1]) {
658 /// dumpStack - dumpStack traverses the filter chooser chain and calls
659 /// dumpFilterArray on each filter chooser up to the top level one.
660 void FilterChooser::dumpStack(raw_ostream &o, const char *prefix) {
661 FilterChooser *current = this;
665 dumpFilterArray(o, current->FilterBitValues);
667 current = current->Parent;
671 // Called from Filter::recurse() when singleton exists. For debug purpose.
672 void FilterChooser::SingletonExists(unsigned Opc) {
674 insnWithID(Insn0, Opc);
676 errs() << "Singleton exists: " << nameWithID(Opc)
677 << " with its decoding dominating ";
678 for (unsigned i = 0; i < Opcodes.size(); ++i) {
679 if (Opcodes[i] == Opc) continue;
680 errs() << nameWithID(Opcodes[i]) << ' ';
684 dumpStack(errs(), "\t\t");
685 for (unsigned i = 0; i < Opcodes.size(); i++) {
686 const std::string &Name = nameWithID(Opcodes[i]);
688 errs() << '\t' << Name << " ";
690 getBitsField(*AllInstructions[Opcodes[i]]->TheDef, "Inst"));
695 // Calculates the island(s) needed to decode the instruction.
696 // This returns a list of undecoded bits of an instructions, for example,
697 // Inst{20} = 1 && Inst{3-0} == 0b1111 represents two islands of yet-to-be
698 // decoded bits in order to verify that the instruction matches the Opcode.
699 unsigned FilterChooser::getIslands(std::vector<unsigned> &StartBits,
700 std::vector<unsigned> &EndBits, std::vector<uint64_t> &FieldVals,
705 uint64_t FieldVal = 0;
708 // 1: Water (the bit value does not affect decoding)
709 // 2: Island (well-known bit value needed for decoding)
713 for (unsigned i = 0; i < BitWidth; ++i) {
714 Val = Value(Insn[i]);
715 bool Filtered = PositionFiltered(i);
717 default: llvm_unreachable("Unreachable code!");
720 if (Filtered || Val == -1)
721 State = 1; // Still in Water
723 State = 2; // Into the Island
725 StartBits.push_back(i);
730 if (Filtered || Val == -1) {
731 State = 1; // Into the Water
732 EndBits.push_back(i - 1);
733 FieldVals.push_back(FieldVal);
736 State = 2; // Still in Island
738 FieldVal = FieldVal | Val << BitNo;
743 // If we are still in Island after the loop, do some housekeeping.
745 EndBits.push_back(BitWidth - 1);
746 FieldVals.push_back(FieldVal);
750 assert(StartBits.size() == Num && EndBits.size() == Num &&
751 FieldVals.size() == Num);
755 void FilterChooser::emitBinaryParser(raw_ostream &o, unsigned &Indentation,
756 OperandInfo &OpInfo) {
757 std::string &Decoder = OpInfo.Decoder;
759 if (OpInfo.numFields() == 1) {
760 OperandInfo::iterator OI = OpInfo.begin();
761 o.indent(Indentation) << " tmp = fieldFromInstruction" << BitWidth
762 << "(insn, " << OI->Base << ", " << OI->Width
765 o.indent(Indentation) << " tmp = 0;\n";
766 for (OperandInfo::iterator OI = OpInfo.begin(), OE = OpInfo.end();
768 o.indent(Indentation) << " tmp |= (fieldFromInstruction" << BitWidth
769 << "(insn, " << OI->Base << ", " << OI->Width
770 << ") << " << OI->Offset << ");\n";
775 o.indent(Indentation) << " " << Emitter->GuardPrefix << Decoder
776 << "(MI, tmp, Address, Decoder)"
777 << Emitter->GuardPostfix << "\n";
779 o.indent(Indentation) << " MI.addOperand(MCOperand::CreateImm(tmp));\n";
783 static void emitSinglePredicateMatch(raw_ostream &o, StringRef str,
784 std::string PredicateNamespace) {
786 o << "!(Bits & " << PredicateNamespace << "::"
787 << str.slice(1,str.size()) << ")";
789 o << "(Bits & " << PredicateNamespace << "::" << str << ")";
792 bool FilterChooser::emitPredicateMatch(raw_ostream &o, unsigned &Indentation,
794 ListInit *Predicates =
795 AllInstructions[Opc]->TheDef->getValueAsListInit("Predicates");
796 for (unsigned i = 0; i < Predicates->getSize(); ++i) {
797 Record *Pred = Predicates->getElementAsRecord(i);
798 if (!Pred->getValue("AssemblerMatcherPredicate"))
801 std::string P = Pred->getValueAsString("AssemblerCondString");
810 std::pair<StringRef, StringRef> pairs = SR.split(',');
811 while (pairs.second.size()) {
812 emitSinglePredicateMatch(o, pairs.first, Emitter->PredicateNamespace);
814 pairs = pairs.second.split(',');
816 emitSinglePredicateMatch(o, pairs.first, Emitter->PredicateNamespace);
818 return Predicates->getSize() > 0;
821 void FilterChooser::emitSoftFailCheck(raw_ostream &o, unsigned Indentation,
824 AllInstructions[Opc]->TheDef->getValueAsBitsInit("SoftFail");
826 BitsInit *InstBits = AllInstructions[Opc]->TheDef->getValueAsBitsInit("Inst");
828 APInt PositiveMask(BitWidth, 0ULL);
829 APInt NegativeMask(BitWidth, 0ULL);
830 for (unsigned i = 0; i < BitWidth; ++i) {
831 bit_value_t B = bitFromBits(*SFBits, i);
832 bit_value_t IB = bitFromBits(*InstBits, i);
834 if (B != BIT_TRUE) continue;
838 // The bit is meant to be false, so emit a check to see if it is true.
839 PositiveMask.setBit(i);
842 // The bit is meant to be true, so emit a check to see if it is false.
843 NegativeMask.setBit(i);
846 // The bit is not set; this must be an error!
847 StringRef Name = AllInstructions[Opc]->TheDef->getName();
848 errs() << "SoftFail Conflict: bit SoftFail{" << i << "} in "
850 << " is set but Inst{" << i <<"} is unset!\n"
851 << " - You can only mark a bit as SoftFail if it is fully defined"
852 << " (1/0 - not '?') in Inst\n";
853 o << "#error SoftFail Conflict, " << Name << "::SoftFail{" << i
854 << "} set but Inst{" << i << "} undefined!\n";
858 bool NeedPositiveMask = PositiveMask.getBoolValue();
859 bool NeedNegativeMask = NegativeMask.getBoolValue();
861 if (!NeedPositiveMask && !NeedNegativeMask)
864 std::string PositiveMaskStr = PositiveMask.toString(16, /*signed=*/false);
865 std::string NegativeMaskStr = NegativeMask.toString(16, /*signed=*/false);
866 StringRef BitExt = "";
870 o.indent(Indentation) << "if (";
871 if (NeedPositiveMask)
872 o << "insn & 0x" << PositiveMaskStr << BitExt;
873 if (NeedPositiveMask && NeedNegativeMask)
875 if (NeedNegativeMask)
876 o << "~insn & 0x" << NegativeMaskStr << BitExt;
878 o.indent(Indentation+2) << "S = MCDisassembler::SoftFail;\n";
881 // Emits code to decode the singleton. Return true if we have matched all the
883 bool FilterChooser::emitSingletonDecoder(raw_ostream &o, unsigned &Indentation,
885 std::vector<unsigned> StartBits;
886 std::vector<unsigned> EndBits;
887 std::vector<uint64_t> FieldVals;
889 insnWithID(Insn, Opc);
891 // Look for islands of undecoded bits of the singleton.
892 getIslands(StartBits, EndBits, FieldVals, Insn);
894 unsigned Size = StartBits.size();
897 // If we have matched all the well-known bits, just issue a return.
899 o.indent(Indentation) << "if (";
900 if (!emitPredicateMatch(o, Indentation, Opc))
903 emitSoftFailCheck(o, Indentation+2, Opc);
904 o.indent(Indentation) << " MI.setOpcode(" << Opc << ");\n";
905 std::vector<OperandInfo>& InsnOperands = Operands[Opc];
906 for (std::vector<OperandInfo>::iterator
907 I = InsnOperands.begin(), E = InsnOperands.end(); I != E; ++I) {
908 // If a custom instruction decoder was specified, use that.
909 if (I->numFields() == 0 && I->Decoder.size()) {
910 o.indent(Indentation) << " " << Emitter->GuardPrefix << I->Decoder
911 << "(MI, insn, Address, Decoder)"
912 << Emitter->GuardPostfix << "\n";
916 emitBinaryParser(o, Indentation, *I);
919 o.indent(Indentation) << " return " << Emitter->ReturnOK << "; // "
920 << nameWithID(Opc) << '\n';
921 o.indent(Indentation) << "}\n"; // Closing predicate block.
925 // Otherwise, there are more decodings to be done!
927 // Emit code to match the island(s) for the singleton.
928 o.indent(Indentation) << "// Check ";
930 for (I = Size; I != 0; --I) {
931 o << "Inst{" << EndBits[I-1] << '-' << StartBits[I-1] << "} ";
935 o << "for singleton decoding...\n";
938 o.indent(Indentation) << "if (";
939 if (emitPredicateMatch(o, Indentation, Opc)) {
941 o.indent(Indentation+4);
944 for (I = Size; I != 0; --I) {
945 NumBits = EndBits[I-1] - StartBits[I-1] + 1;
946 o << "fieldFromInstruction" << BitWidth << "(insn, "
947 << StartBits[I-1] << ", " << NumBits
948 << ") == " << FieldVals[I-1];
954 emitSoftFailCheck(o, Indentation+2, Opc);
955 o.indent(Indentation) << " MI.setOpcode(" << Opc << ");\n";
956 std::vector<OperandInfo>& InsnOperands = Operands[Opc];
957 for (std::vector<OperandInfo>::iterator
958 I = InsnOperands.begin(), E = InsnOperands.end(); I != E; ++I) {
959 // If a custom instruction decoder was specified, use that.
960 if (I->numFields() == 0 && I->Decoder.size()) {
961 o.indent(Indentation) << " " << Emitter->GuardPrefix << I->Decoder
962 << "(MI, insn, Address, Decoder)"
963 << Emitter->GuardPostfix << "\n";
967 emitBinaryParser(o, Indentation, *I);
969 o.indent(Indentation) << " return " << Emitter->ReturnOK << "; // "
970 << nameWithID(Opc) << '\n';
971 o.indent(Indentation) << "}\n";
976 // Emits code to decode the singleton, and then to decode the rest.
977 void FilterChooser::emitSingletonDecoder(raw_ostream &o, unsigned &Indentation,
980 unsigned Opc = Best.getSingletonOpc();
982 emitSingletonDecoder(o, Indentation, Opc);
984 // Emit code for the rest.
985 o.indent(Indentation) << "else\n";
988 Best.getVariableFC().emit(o, Indentation);
992 // Assign a single filter and run with it. Top level API client can initialize
993 // with a single filter to start the filtering process.
994 void FilterChooser::runSingleFilter(FilterChooser &owner, unsigned startBit,
995 unsigned numBit, bool mixed) {
997 Filter F(*this, startBit, numBit, true);
998 Filters.push_back(F);
999 BestIndex = 0; // Sole Filter instance to choose from.
1000 bestFilter().recurse();
1003 // reportRegion is a helper function for filterProcessor to mark a region as
1004 // eligible for use as a filter region.
1005 void FilterChooser::reportRegion(bitAttr_t RA, unsigned StartBit,
1006 unsigned BitIndex, bool AllowMixed) {
1007 if (RA == ATTR_MIXED && AllowMixed)
1008 Filters.push_back(Filter(*this, StartBit, BitIndex - StartBit, true));
1009 else if (RA == ATTR_ALL_SET && !AllowMixed)
1010 Filters.push_back(Filter(*this, StartBit, BitIndex - StartBit, false));
1013 // FilterProcessor scans the well-known encoding bits of the instructions and
1014 // builds up a list of candidate filters. It chooses the best filter and
1015 // recursively descends down the decoding tree.
1016 bool FilterChooser::filterProcessor(bool AllowMixed, bool Greedy) {
1019 unsigned numInstructions = Opcodes.size();
1021 assert(numInstructions && "Filter created with no instructions");
1023 // No further filtering is necessary.
1024 if (numInstructions == 1)
1027 // Heuristics. See also doFilter()'s "Heuristics" comment when num of
1028 // instructions is 3.
1029 if (AllowMixed && !Greedy) {
1030 assert(numInstructions == 3);
1032 for (unsigned i = 0; i < Opcodes.size(); ++i) {
1033 std::vector<unsigned> StartBits;
1034 std::vector<unsigned> EndBits;
1035 std::vector<uint64_t> FieldVals;
1038 insnWithID(Insn, Opcodes[i]);
1040 // Look for islands of undecoded bits of any instruction.
1041 if (getIslands(StartBits, EndBits, FieldVals, Insn) > 0) {
1042 // Found an instruction with island(s). Now just assign a filter.
1043 runSingleFilter(*this, StartBits[0], EndBits[0] - StartBits[0] + 1,
1050 unsigned BitIndex, InsnIndex;
1052 // We maintain BIT_WIDTH copies of the bitAttrs automaton.
1053 // The automaton consumes the corresponding bit from each
1056 // Input symbols: 0, 1, and _ (unset).
1057 // States: NONE, FILTERED, ALL_SET, ALL_UNSET, and MIXED.
1058 // Initial state: NONE.
1060 // (NONE) ------- [01] -> (ALL_SET)
1061 // (NONE) ------- _ ----> (ALL_UNSET)
1062 // (ALL_SET) ---- [01] -> (ALL_SET)
1063 // (ALL_SET) ---- _ ----> (MIXED)
1064 // (ALL_UNSET) -- [01] -> (MIXED)
1065 // (ALL_UNSET) -- _ ----> (ALL_UNSET)
1066 // (MIXED) ------ . ----> (MIXED)
1067 // (FILTERED)---- . ----> (FILTERED)
1069 std::vector<bitAttr_t> bitAttrs;
1071 // FILTERED bit positions provide no entropy and are not worthy of pursuing.
1072 // Filter::recurse() set either BIT_TRUE or BIT_FALSE for each position.
1073 for (BitIndex = 0; BitIndex < BitWidth; ++BitIndex)
1074 if (FilterBitValues[BitIndex] == BIT_TRUE ||
1075 FilterBitValues[BitIndex] == BIT_FALSE)
1076 bitAttrs.push_back(ATTR_FILTERED);
1078 bitAttrs.push_back(ATTR_NONE);
1080 for (InsnIndex = 0; InsnIndex < numInstructions; ++InsnIndex) {
1083 insnWithID(insn, Opcodes[InsnIndex]);
1085 for (BitIndex = 0; BitIndex < BitWidth; ++BitIndex) {
1086 switch (bitAttrs[BitIndex]) {
1088 if (insn[BitIndex] == BIT_UNSET)
1089 bitAttrs[BitIndex] = ATTR_ALL_UNSET;
1091 bitAttrs[BitIndex] = ATTR_ALL_SET;
1094 if (insn[BitIndex] == BIT_UNSET)
1095 bitAttrs[BitIndex] = ATTR_MIXED;
1097 case ATTR_ALL_UNSET:
1098 if (insn[BitIndex] != BIT_UNSET)
1099 bitAttrs[BitIndex] = ATTR_MIXED;
1108 // The regionAttr automaton consumes the bitAttrs automatons' state,
1109 // lowest-to-highest.
1111 // Input symbols: F(iltered), (all_)S(et), (all_)U(nset), M(ixed)
1112 // States: NONE, ALL_SET, MIXED
1113 // Initial state: NONE
1115 // (NONE) ----- F --> (NONE)
1116 // (NONE) ----- S --> (ALL_SET) ; and set region start
1117 // (NONE) ----- U --> (NONE)
1118 // (NONE) ----- M --> (MIXED) ; and set region start
1119 // (ALL_SET) -- F --> (NONE) ; and report an ALL_SET region
1120 // (ALL_SET) -- S --> (ALL_SET)
1121 // (ALL_SET) -- U --> (NONE) ; and report an ALL_SET region
1122 // (ALL_SET) -- M --> (MIXED) ; and report an ALL_SET region
1123 // (MIXED) ---- F --> (NONE) ; and report a MIXED region
1124 // (MIXED) ---- S --> (ALL_SET) ; and report a MIXED region
1125 // (MIXED) ---- U --> (NONE) ; and report a MIXED region
1126 // (MIXED) ---- M --> (MIXED)
1128 bitAttr_t RA = ATTR_NONE;
1129 unsigned StartBit = 0;
1131 for (BitIndex = 0; BitIndex < BitWidth; BitIndex++) {
1132 bitAttr_t bitAttr = bitAttrs[BitIndex];
1134 assert(bitAttr != ATTR_NONE && "Bit without attributes");
1142 StartBit = BitIndex;
1145 case ATTR_ALL_UNSET:
1148 StartBit = BitIndex;
1152 llvm_unreachable("Unexpected bitAttr!");
1158 reportRegion(RA, StartBit, BitIndex, AllowMixed);
1163 case ATTR_ALL_UNSET:
1164 reportRegion(RA, StartBit, BitIndex, AllowMixed);
1168 reportRegion(RA, StartBit, BitIndex, AllowMixed);
1169 StartBit = BitIndex;
1173 llvm_unreachable("Unexpected bitAttr!");
1179 reportRegion(RA, StartBit, BitIndex, AllowMixed);
1180 StartBit = BitIndex;
1184 reportRegion(RA, StartBit, BitIndex, AllowMixed);
1185 StartBit = BitIndex;
1188 case ATTR_ALL_UNSET:
1189 reportRegion(RA, StartBit, BitIndex, AllowMixed);
1195 llvm_unreachable("Unexpected bitAttr!");
1198 case ATTR_ALL_UNSET:
1199 llvm_unreachable("regionAttr state machine has no ATTR_UNSET state");
1201 llvm_unreachable("regionAttr state machine has no ATTR_FILTERED state");
1205 // At the end, if we're still in ALL_SET or MIXED states, report a region
1212 reportRegion(RA, StartBit, BitIndex, AllowMixed);
1214 case ATTR_ALL_UNSET:
1217 reportRegion(RA, StartBit, BitIndex, AllowMixed);
1221 // We have finished with the filter processings. Now it's time to choose
1222 // the best performing filter.
1224 bool AllUseless = true;
1225 unsigned BestScore = 0;
1227 for (unsigned i = 0, e = Filters.size(); i != e; ++i) {
1228 unsigned Usefulness = Filters[i].usefulness();
1233 if (Usefulness > BestScore) {
1235 BestScore = Usefulness;
1240 bestFilter().recurse();
1243 } // end of FilterChooser::filterProcessor(bool)
1245 // Decides on the best configuration of filter(s) to use in order to decode
1246 // the instructions. A conflict of instructions may occur, in which case we
1247 // dump the conflict set to the standard error.
1248 void FilterChooser::doFilter() {
1249 unsigned Num = Opcodes.size();
1250 assert(Num && "FilterChooser created with no instructions");
1252 // Try regions of consecutive known bit values first.
1253 if (filterProcessor(false))
1256 // Then regions of mixed bits (both known and unitialized bit values allowed).
1257 if (filterProcessor(true))
1260 // Heuristics to cope with conflict set {t2CMPrs, t2SUBSrr, t2SUBSrs} where
1261 // no single instruction for the maximum ATTR_MIXED region Inst{14-4} has a
1262 // well-known encoding pattern. In such case, we backtrack and scan for the
1263 // the very first consecutive ATTR_ALL_SET region and assign a filter to it.
1264 if (Num == 3 && filterProcessor(true, false))
1267 // If we come to here, the instruction decoding has failed.
1268 // Set the BestIndex to -1 to indicate so.
1272 // Emits code to decode our share of instructions. Returns true if the
1273 // emitted code causes a return, which occurs if we know how to decode
1274 // the instruction at this level or the instruction is not decodeable.
1275 bool FilterChooser::emit(raw_ostream &o, unsigned &Indentation) {
1276 if (Opcodes.size() == 1)
1277 // There is only one instruction in the set, which is great!
1278 // Call emitSingletonDecoder() to see whether there are any remaining
1280 return emitSingletonDecoder(o, Indentation, Opcodes[0]);
1282 // Choose the best filter to do the decodings!
1283 if (BestIndex != -1) {
1284 Filter &Best = bestFilter();
1285 if (Best.getNumFiltered() == 1)
1286 emitSingletonDecoder(o, Indentation, Best);
1288 bestFilter().emit(o, Indentation);
1292 // We don't know how to decode these instructions! Return 0 and dump the
1294 o.indent(Indentation) << "return 0;" << " // Conflict set: ";
1295 for (int i = 0, N = Opcodes.size(); i < N; ++i) {
1296 o << nameWithID(Opcodes[i]);
1303 // Print out useful conflict information for postmortem analysis.
1304 errs() << "Decoding Conflict:\n";
1306 dumpStack(errs(), "\t\t");
1308 for (unsigned i = 0; i < Opcodes.size(); i++) {
1309 const std::string &Name = nameWithID(Opcodes[i]);
1311 errs() << '\t' << Name << " ";
1313 getBitsField(*AllInstructions[Opcodes[i]]->TheDef, "Inst"));
1320 static bool populateInstruction(const CodeGenInstruction &CGI,
1322 std::map<unsigned, std::vector<OperandInfo> >& Operands){
1323 const Record &Def = *CGI.TheDef;
1324 // If all the bit positions are not specified; do not decode this instruction.
1325 // We are bound to fail! For proper disassembly, the well-known encoding bits
1326 // of the instruction must be fully specified.
1328 // This also removes pseudo instructions from considerations of disassembly,
1329 // which is a better design and less fragile than the name matchings.
1330 // Ignore "asm parser only" instructions.
1331 if (Def.getValueAsBit("isAsmParserOnly") ||
1332 Def.getValueAsBit("isCodeGenOnly"))
1335 BitsInit &Bits = getBitsField(Def, "Inst");
1336 if (Bits.allInComplete()) return false;
1338 std::vector<OperandInfo> InsnOperands;
1340 // If the instruction has specified a custom decoding hook, use that instead
1341 // of trying to auto-generate the decoder.
1342 std::string InstDecoder = Def.getValueAsString("DecoderMethod");
1343 if (InstDecoder != "") {
1344 InsnOperands.push_back(OperandInfo(InstDecoder));
1345 Operands[Opc] = InsnOperands;
1349 // Generate a description of the operand of the instruction that we know
1350 // how to decode automatically.
1351 // FIXME: We'll need to have a way to manually override this as needed.
1353 // Gather the outputs/inputs of the instruction, so we can find their
1354 // positions in the encoding. This assumes for now that they appear in the
1355 // MCInst in the order that they're listed.
1356 std::vector<std::pair<Init*, std::string> > InOutOperands;
1357 DagInit *Out = Def.getValueAsDag("OutOperandList");
1358 DagInit *In = Def.getValueAsDag("InOperandList");
1359 for (unsigned i = 0; i < Out->getNumArgs(); ++i)
1360 InOutOperands.push_back(std::make_pair(Out->getArg(i), Out->getArgName(i)));
1361 for (unsigned i = 0; i < In->getNumArgs(); ++i)
1362 InOutOperands.push_back(std::make_pair(In->getArg(i), In->getArgName(i)));
1364 // Search for tied operands, so that we can correctly instantiate
1365 // operands that are not explicitly represented in the encoding.
1366 std::map<std::string, std::string> TiedNames;
1367 for (unsigned i = 0; i < CGI.Operands.size(); ++i) {
1368 int tiedTo = CGI.Operands[i].getTiedRegister();
1370 TiedNames[InOutOperands[i].second] = InOutOperands[tiedTo].second;
1371 TiedNames[InOutOperands[tiedTo].second] = InOutOperands[i].second;
1375 // For each operand, see if we can figure out where it is encoded.
1376 for (std::vector<std::pair<Init*, std::string> >::iterator
1377 NI = InOutOperands.begin(), NE = InOutOperands.end(); NI != NE; ++NI) {
1378 std::string Decoder = "";
1380 // At this point, we can locate the field, but we need to know how to
1381 // interpret it. As a first step, require the target to provide callbacks
1382 // for decoding register classes.
1383 // FIXME: This need to be extended to handle instructions with custom
1384 // decoder methods, and operands with (simple) MIOperandInfo's.
1385 TypedInit *TI = dynamic_cast<TypedInit*>(NI->first);
1386 RecordRecTy *Type = dynamic_cast<RecordRecTy*>(TI->getType());
1387 Record *TypeRecord = Type->getRecord();
1389 if (TypeRecord->isSubClassOf("RegisterOperand"))
1390 TypeRecord = TypeRecord->getValueAsDef("RegClass");
1391 if (TypeRecord->isSubClassOf("RegisterClass")) {
1392 Decoder = "Decode" + TypeRecord->getName() + "RegisterClass";
1396 RecordVal *DecoderString = TypeRecord->getValue("DecoderMethod");
1397 StringInit *String = DecoderString ?
1398 dynamic_cast<StringInit*>(DecoderString->getValue()) : 0;
1399 if (!isReg && String && String->getValue() != "")
1400 Decoder = String->getValue();
1402 OperandInfo OpInfo(Decoder);
1403 unsigned Base = ~0U;
1405 unsigned Offset = 0;
1407 for (unsigned bi = 0; bi < Bits.getNumBits(); ++bi) {
1409 VarBitInit *BI = dynamic_cast<VarBitInit*>(Bits.getBit(bi));
1411 Var = dynamic_cast<VarInit*>(BI->getVariable());
1413 Var = dynamic_cast<VarInit*>(Bits.getBit(bi));
1417 OpInfo.addField(Base, Width, Offset);
1425 if (Var->getName() != NI->second &&
1426 Var->getName() != TiedNames[NI->second]) {
1428 OpInfo.addField(Base, Width, Offset);
1439 Offset = BI ? BI->getBitNum() : 0;
1440 } else if (BI && BI->getBitNum() != Offset + Width) {
1441 OpInfo.addField(Base, Width, Offset);
1444 Offset = BI->getBitNum();
1451 OpInfo.addField(Base, Width, Offset);
1453 if (OpInfo.numFields() > 0)
1454 InsnOperands.push_back(OpInfo);
1457 Operands[Opc] = InsnOperands;
1462 // Dumps the instruction encoding bits.
1463 dumpBits(errs(), Bits);
1467 // Dumps the list of operand info.
1468 for (unsigned i = 0, e = CGI.Operands.size(); i != e; ++i) {
1469 const CGIOperandList::OperandInfo &Info = CGI.Operands[i];
1470 const std::string &OperandName = Info.Name;
1471 const Record &OperandDef = *Info.Rec;
1473 errs() << "\t" << OperandName << " (" << OperandDef.getName() << ")\n";
1481 static void emitHelper(llvm::raw_ostream &o, unsigned BitWidth) {
1482 unsigned Indentation = 0;
1483 std::string WidthStr = "uint" + utostr(BitWidth) + "_t";
1487 o.indent(Indentation) << "static " << WidthStr <<
1488 " fieldFromInstruction" << BitWidth <<
1489 "(" << WidthStr <<" insn, unsigned startBit, unsigned numBits)\n";
1491 o.indent(Indentation) << "{\n";
1493 ++Indentation; ++Indentation;
1494 o.indent(Indentation) << "assert(startBit + numBits <= " << BitWidth
1495 << " && \"Instruction field out of bounds!\");\n";
1497 o.indent(Indentation) << WidthStr << " fieldMask;\n";
1499 o.indent(Indentation) << "if (numBits == " << BitWidth << ")\n";
1501 ++Indentation; ++Indentation;
1502 o.indent(Indentation) << "fieldMask = (" << WidthStr << ")-1;\n";
1503 --Indentation; --Indentation;
1505 o.indent(Indentation) << "else\n";
1507 ++Indentation; ++Indentation;
1508 o.indent(Indentation) << "fieldMask = ((1 << numBits) - 1) << startBit;\n";
1509 --Indentation; --Indentation;
1512 o.indent(Indentation) << "return (insn & fieldMask) >> startBit;\n";
1513 --Indentation; --Indentation;
1515 o.indent(Indentation) << "}\n";
1520 // Emits disassembler code for instruction decoding.
1521 void FixedLenDecoderEmitter::run(raw_ostream &o)
1523 o << "#include \"llvm/MC/MCInst.h\"\n";
1524 o << "#include \"llvm/Support/DataTypes.h\"\n";
1525 o << "#include <assert.h>\n";
1527 o << "namespace llvm {\n\n";
1529 // Parameterize the decoders based on namespace and instruction width.
1530 std::vector<const CodeGenInstruction*> NumberedInstructions =
1531 Target.getInstructionsByEnumValue();
1532 std::map<std::pair<std::string, unsigned>,
1533 std::vector<unsigned> > OpcMap;
1534 std::map<unsigned, std::vector<OperandInfo> > Operands;
1536 for (unsigned i = 0; i < NumberedInstructions.size(); ++i) {
1537 const CodeGenInstruction *Inst = NumberedInstructions[i];
1538 Record *Def = Inst->TheDef;
1539 unsigned Size = Def->getValueAsInt("Size");
1540 if (Def->getValueAsString("Namespace") == "TargetOpcode" ||
1541 Def->getValueAsBit("isPseudo") ||
1542 Def->getValueAsBit("isAsmParserOnly") ||
1543 Def->getValueAsBit("isCodeGenOnly"))
1546 std::string DecoderNamespace = Def->getValueAsString("DecoderNamespace");
1549 if (populateInstruction(*Inst, i, Operands)) {
1550 OpcMap[std::make_pair(DecoderNamespace, Size)].push_back(i);
1555 std::set<unsigned> Sizes;
1556 for (std::map<std::pair<std::string, unsigned>,
1557 std::vector<unsigned> >::iterator
1558 I = OpcMap.begin(), E = OpcMap.end(); I != E; ++I) {
1559 // If we haven't visited this instruction width before, emit the
1560 // helper method to extract fields.
1561 if (!Sizes.count(I->first.second)) {
1562 emitHelper(o, 8*I->first.second);
1563 Sizes.insert(I->first.second);
1566 // Emit the decoder for this namespace+width combination.
1567 FilterChooser FC(NumberedInstructions, I->second, Operands,
1568 8*I->first.second, this);
1569 FC.emitTop(o, 0, I->first.first);
1572 o << "\n} // End llvm namespace \n";