Chromium Code Reviews| OLD | NEW |
|---|---|
| 1 //===- subzero/src/PNaClTranslator.cpp - ICE from bitcode -----------------===// | 1 //===- subzero/src/PNaClTranslator.cpp - ICE from bitcode -----------------===// |
| 2 // | 2 // |
| 3 // The Subzero Code Generator | 3 // The Subzero Code Generator |
| 4 // | 4 // |
| 5 // This file is distributed under the University of Illinois Open Source | 5 // This file is distributed under the University of Illinois Open Source |
| 6 // License. See LICENSE.TXT for details. | 6 // License. See LICENSE.TXT for details. |
| 7 // | 7 // |
| 8 //===----------------------------------------------------------------------===// | 8 //===----------------------------------------------------------------------===// |
| 9 // | 9 // |
| 10 // This file implements the PNaCl bitcode file to Ice, to machine code | 10 // This file implements the PNaCl bitcode file to Ice, to machine code |
| (...skipping 140 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 151 break; | 151 break; |
| 152 } | 152 } |
| 153 case FuncSig: { | 153 case FuncSig: { |
| 154 Stream << " " << Signature; | 154 Stream << " " << Signature; |
| 155 } | 155 } |
| 156 default: | 156 default: |
| 157 break; | 157 break; |
| 158 } | 158 } |
| 159 } | 159 } |
| 160 | 160 |
| 161 class BlockParserBaseClass; | |
| 162 | |
| 161 // Top-level class to read PNaCl bitcode files, and translate to ICE. | 163 // Top-level class to read PNaCl bitcode files, and translate to ICE. |
| 162 class TopLevelParser : public NaClBitcodeParser { | 164 class TopLevelParser : public NaClBitcodeParser { |
| 163 TopLevelParser(const TopLevelParser &) = delete; | 165 TopLevelParser(const TopLevelParser &) = delete; |
| 164 TopLevelParser &operator=(const TopLevelParser &) = delete; | 166 TopLevelParser &operator=(const TopLevelParser &) = delete; |
| 165 | 167 |
| 166 public: | 168 public: |
| 167 typedef std::vector<Ice::FunctionDeclaration *> FunctionDeclarationListType; | 169 typedef std::vector<Ice::FunctionDeclaration *> FunctionDeclarationListType; |
| 168 | 170 |
| 169 TopLevelParser(Ice::Translator &Translator, const std::string &InputName, | 171 TopLevelParser(Ice::Translator &Translator, const std::string &InputName, |
| 170 NaClBitcodeHeader &Header, NaClBitstreamCursor &Cursor, | 172 NaClBitcodeHeader &Header, NaClBitstreamCursor &Cursor, |
| 171 bool &ErrorStatus) | 173 bool &ErrorStatus) |
| 172 : NaClBitcodeParser(Cursor), Translator(Translator), | 174 : NaClBitcodeParser(Cursor), Translator(Translator), |
| 173 Mod(new Module(InputName, getGlobalContext())), DL(PNaClDataLayout), | 175 Mod(new Module(InputName, getGlobalContext())), DL(PNaClDataLayout), |
| 174 Header(Header), TypeConverter(Mod->getContext()), | 176 Header(Header), TypeConverter(Mod->getContext()), |
| 175 ErrorStatus(ErrorStatus), NumErrors(0), NumFunctionIds(0), | 177 ErrorStatus(ErrorStatus), NumErrors(0), NumFunctionIds(0), |
| 176 NumFunctionBlocks(0) { | 178 NumFunctionBlocks(0), BlockParser(nullptr) { |
| 177 Mod->setDataLayout(PNaClDataLayout); | 179 Mod->setDataLayout(PNaClDataLayout); |
| 178 setErrStream(Translator.getContext()->getStrDump()); | 180 setErrStream(Translator.getContext()->getStrDump()); |
| 179 } | 181 } |
| 180 | 182 |
| 181 ~TopLevelParser() override {} | 183 ~TopLevelParser() override {} |
| 182 | 184 |
| 183 Ice::Translator &getTranslator() { return Translator; } | 185 Ice::Translator &getTranslator() { return Translator; } |
| 184 | 186 |
| 187 void setBlockParser(BlockParserBaseClass *NewBlockParser) { | |
| 188 BlockParser = NewBlockParser; | |
| 189 } | |
| 190 | |
| 185 // Generates error with given Message. Always returns true. | 191 // Generates error with given Message. Always returns true. |
| 186 bool Error(const std::string &Message) override { | 192 bool Error(const std::string &Message) override; |
| 187 ErrorStatus = true; | 193 |
| 188 ++NumErrors; | 194 // Generates error message with respect to the current block parser. |
| 189 NaClBitcodeParser::Error(Message); | 195 bool BlockError(const std::string &Message); |
| 190 if (!AllowErrorRecovery) | |
| 191 report_fatal_error("Unable to continue"); | |
| 192 return true; | |
| 193 } | |
| 194 | 196 |
| 195 /// Returns the number of errors found while parsing the bitcode | 197 /// Returns the number of errors found while parsing the bitcode |
| 196 /// file. | 198 /// file. |
| 197 unsigned getNumErrors() const { return NumErrors; } | 199 unsigned getNumErrors() const { return NumErrors; } |
| 198 | 200 |
| 199 /// Returns the LLVM module associated with the translation. | 201 /// Returns the LLVM module associated with the translation. |
| 200 Module *getModule() const { return Mod.get(); } | 202 Module *getModule() const { return Mod.get(); } |
| 201 | 203 |
| 202 const DataLayout &getDataLayout() const { return DL; } | 204 const DataLayout &getDataLayout() const { return DL; } |
| 203 | 205 |
| (...skipping 108 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 312 } | 314 } |
| 313 std::string Name; | 315 std::string Name; |
| 314 bool SuppressMangling; | 316 bool SuppressMangling; |
| 315 if (Decl) { | 317 if (Decl) { |
| 316 Name = Decl->getName(); | 318 Name = Decl->getName(); |
| 317 SuppressMangling = Decl->getSuppressMangling(); | 319 SuppressMangling = Decl->getSuppressMangling(); |
| 318 } else { | 320 } else { |
| 319 std::string Buffer; | 321 std::string Buffer; |
| 320 raw_string_ostream StrBuf(Buffer); | 322 raw_string_ostream StrBuf(Buffer); |
| 321 StrBuf << "Reference to global not defined: " << ID; | 323 StrBuf << "Reference to global not defined: " << ID; |
| 322 Error(StrBuf.str()); | 324 BlockError(StrBuf.str()); |
| 323 // TODO(kschimpf) Remove error recovery once implementation complete. | 325 // TODO(kschimpf) Remove error recovery once implementation complete. |
| 324 Name = "??"; | 326 Name = "??"; |
| 325 SuppressMangling = false; | 327 SuppressMangling = false; |
| 326 } | 328 } |
| 327 const Ice::RelocOffsetT Offset = 0; | 329 const Ice::RelocOffsetT Offset = 0; |
| 328 C = getTranslator().getContext()->getConstantSym( | 330 C = getTranslator().getContext()->getConstantSym( |
| 329 getIcePointerType(), Offset, Name, SuppressMangling); | 331 getIcePointerType(), Offset, Name, SuppressMangling); |
| 330 ValueIDConstants[ID] = C; | 332 ValueIDConstants[ID] = C; |
| 331 return C; | 333 return C; |
| 332 } | 334 } |
| (...skipping 89 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 422 unsigned NumFunctionIds; | 424 unsigned NumFunctionIds; |
| 423 // The number of function blocks (processed so far). | 425 // The number of function blocks (processed so far). |
| 424 unsigned NumFunctionBlocks; | 426 unsigned NumFunctionBlocks; |
| 425 // The list of function declaration IDs (in the order found) that | 427 // The list of function declaration IDs (in the order found) that |
| 426 // aren't just proto declarations. | 428 // aren't just proto declarations. |
| 427 // TODO(kschimpf): Instead of using this list, just use | 429 // TODO(kschimpf): Instead of using this list, just use |
| 428 // FunctionDeclarationList, and the isProto member function. | 430 // FunctionDeclarationList, and the isProto member function. |
| 429 std::vector<unsigned> DefiningFunctionDeclarationsList; | 431 std::vector<unsigned> DefiningFunctionDeclarationsList; |
| 430 // Error recovery value to use when getFuncSigTypeByID fails. | 432 // Error recovery value to use when getFuncSigTypeByID fails. |
| 431 Ice::FuncSigType UndefinedFuncSigType; | 433 Ice::FuncSigType UndefinedFuncSigType; |
| 434 // The block parser currently being applied. Used for error | |
| 435 // reporting. | |
| 436 BlockParserBaseClass *BlockParser; | |
| 432 | 437 |
| 433 bool ParseBlock(unsigned BlockID) override; | 438 bool ParseBlock(unsigned BlockID) override; |
| 434 | 439 |
| 435 // Gets extended type associated with the given index, assuming the | 440 // Gets extended type associated with the given index, assuming the |
| 436 // extended type is of the WantedKind. Generates error message if | 441 // extended type is of the WantedKind. Generates error message if |
| 437 // corresponding extended type of WantedKind can't be found, and | 442 // corresponding extended type of WantedKind can't be found, and |
| 438 // returns nullptr. | 443 // returns nullptr. |
| 439 ExtendedType *getTypeByIDAsKind(unsigned ID, | 444 ExtendedType *getTypeByIDAsKind(unsigned ID, |
| 440 ExtendedType::TypeKind WantedKind) { | 445 ExtendedType::TypeKind WantedKind) { |
| 441 ExtendedType *Ty = nullptr; | 446 ExtendedType *Ty = nullptr; |
| (...skipping 17 matching lines...) Expand all Loading... | |
| 459 | 464 |
| 460 // Reports that there is not global variable declaration for | 465 // Reports that there is not global variable declaration for |
| 461 // ID. Returns an error recovery value to use. | 466 // ID. Returns an error recovery value to use. |
| 462 Ice::VariableDeclaration *reportGetGlobalVariableByIDError(unsigned Index); | 467 Ice::VariableDeclaration *reportGetGlobalVariableByIDError(unsigned Index); |
| 463 | 468 |
| 464 // Reports that there is no corresponding ICE type for LLVMTy, and | 469 // Reports that there is no corresponding ICE type for LLVMTy, and |
| 465 // returns ICE::IceType_void. | 470 // returns ICE::IceType_void. |
| 466 Ice::Type convertToIceTypeError(Type *LLVMTy); | 471 Ice::Type convertToIceTypeError(Type *LLVMTy); |
| 467 }; | 472 }; |
| 468 | 473 |
| 474 bool TopLevelParser::Error(const std::string &Message) { | |
| 475 ErrorStatus = true; | |
| 476 ++NumErrors; | |
| 477 NaClBitcodeParser::Error(Message); | |
| 478 if (!AllowErrorRecovery) | |
| 479 report_fatal_error("Unable to continue"); | |
| 480 return true; | |
| 481 } | |
| 482 | |
| 469 void TopLevelParser::reportBadTypeIDAs(unsigned ID, const ExtendedType *Ty, | 483 void TopLevelParser::reportBadTypeIDAs(unsigned ID, const ExtendedType *Ty, |
| 470 ExtendedType::TypeKind WantedType) { | 484 ExtendedType::TypeKind WantedType) { |
| 471 std::string Buffer; | 485 std::string Buffer; |
| 472 raw_string_ostream StrBuf(Buffer); | 486 raw_string_ostream StrBuf(Buffer); |
| 473 if (Ty == nullptr) { | 487 if (Ty == nullptr) { |
| 474 StrBuf << "Can't find extended type for type id: " << ID; | 488 StrBuf << "Can't find extended type for type id: " << ID; |
| 475 } else { | 489 } else { |
| 476 StrBuf << "Type id " << ID << " not " << WantedType << ". Found: " << *Ty; | 490 StrBuf << "Type id " << ID << " not " << WantedType << ". Found: " << *Ty; |
| 477 } | 491 } |
| 478 Error(StrBuf.str()); | 492 BlockError(StrBuf.str()); |
| 479 } | 493 } |
| 480 | 494 |
| 481 Ice::FunctionDeclaration * | 495 Ice::FunctionDeclaration * |
| 482 TopLevelParser::reportGetFunctionByIDError(unsigned ID) { | 496 TopLevelParser::reportGetFunctionByIDError(unsigned ID) { |
| 483 std::string Buffer; | 497 std::string Buffer; |
| 484 raw_string_ostream StrBuf(Buffer); | 498 raw_string_ostream StrBuf(Buffer); |
| 485 StrBuf << "Function index " << ID | 499 StrBuf << "Function index " << ID |
| 486 << " not allowed. Out of range. Must be less than " | 500 << " not allowed. Out of range. Must be less than " |
| 487 << FunctionDeclarationList.size(); | 501 << FunctionDeclarationList.size(); |
| 488 Error(StrBuf.str()); | 502 BlockError(StrBuf.str()); |
| 489 // TODO(kschimpf) Remove error recovery once implementation complete. | 503 // TODO(kschimpf) Remove error recovery once implementation complete. |
| 490 if (!FunctionDeclarationList.empty()) | 504 if (!FunctionDeclarationList.empty()) |
| 491 return FunctionDeclarationList[0]; | 505 return FunctionDeclarationList[0]; |
| 492 report_fatal_error("Unable to continue"); | 506 report_fatal_error("Unable to continue"); |
| 493 } | 507 } |
| 494 | 508 |
| 495 Ice::VariableDeclaration * | 509 Ice::VariableDeclaration * |
| 496 TopLevelParser::reportGetGlobalVariableByIDError(unsigned Index) { | 510 TopLevelParser::reportGetGlobalVariableByIDError(unsigned Index) { |
| 497 std::string Buffer; | 511 std::string Buffer; |
| 498 raw_string_ostream StrBuf(Buffer); | 512 raw_string_ostream StrBuf(Buffer); |
| 499 StrBuf << "Global index " << Index | 513 StrBuf << "Global index " << Index |
| 500 << " not allowed. Out of range. Must be less than " | 514 << " not allowed. Out of range. Must be less than " |
| 501 << VariableDeclarations.size(); | 515 << VariableDeclarations.size(); |
| 502 Error(StrBuf.str()); | 516 BlockError(StrBuf.str()); |
| 503 // TODO(kschimpf) Remove error recovery once implementation complete. | 517 // TODO(kschimpf) Remove error recovery once implementation complete. |
| 504 if (!VariableDeclarations.empty()) | 518 if (!VariableDeclarations.empty()) |
| 505 return VariableDeclarations[0]; | 519 return VariableDeclarations[0]; |
| 506 report_fatal_error("Unable to continue"); | 520 report_fatal_error("Unable to continue"); |
| 507 } | 521 } |
| 508 | 522 |
| 509 Ice::Type TopLevelParser::convertToIceTypeError(Type *LLVMTy) { | 523 Ice::Type TopLevelParser::convertToIceTypeError(Type *LLVMTy) { |
| 510 std::string Buffer; | 524 std::string Buffer; |
| 511 raw_string_ostream StrBuf(Buffer); | 525 raw_string_ostream StrBuf(Buffer); |
| 512 StrBuf << "Invalid LLVM type: " << *LLVMTy; | 526 StrBuf << "Invalid LLVM type: " << *LLVMTy; |
| 513 Error(StrBuf.str()); | 527 Error(StrBuf.str()); |
| 514 return Ice::IceType_void; | 528 return Ice::IceType_void; |
| 515 } | 529 } |
| 516 | 530 |
| 517 // Base class for parsing blocks within the bitcode file. Note: | 531 // Base class for parsing blocks within the bitcode file. Note: |
| 518 // Because this is the base class of block parsers, we generate error | 532 // Because this is the base class of block parsers, we generate error |
| 519 // messages if ParseBlock or ParseRecord is not overridden in derived | 533 // messages if ParseBlock or ParseRecord is not overridden in derived |
| 520 // classes. | 534 // classes. |
| 521 class BlockParserBaseClass : public NaClBitcodeParser { | 535 class BlockParserBaseClass : public NaClBitcodeParser { |
| 536 BlockParserBaseClass(const BlockParserBaseClass &) = delete; | |
| 537 BlockParserBaseClass &operator=(const BlockParserBaseClass &) = delete; | |
| 538 | |
| 522 public: | 539 public: |
| 523 // Constructor for the top-level module block parser. | 540 // Constructor for the top-level module block parser. |
| 524 BlockParserBaseClass(unsigned BlockID, TopLevelParser *Context) | 541 BlockParserBaseClass(unsigned BlockID, TopLevelParser *Context) |
| 525 : NaClBitcodeParser(BlockID, Context), Context(Context) {} | 542 : NaClBitcodeParser(BlockID, Context), Context(Context) { |
| 543 Context->setBlockParser(this); | |
| 544 } | |
| 526 | 545 |
| 527 ~BlockParserBaseClass() override {} | 546 ~BlockParserBaseClass() override { Context->setBlockParser(nullptr); } |
| 547 | |
| 548 // Returns the printable name of the type of block being parsed. | |
| 549 virtual const char *getBlockName() const { | |
| 550 // If this class is used, it is parsing an unknown block. | |
| 551 return "unknown"; | |
| 552 } | |
| 553 | |
| 554 // Generates an error Message with the bit address prefixed to it. | |
| 555 bool Error(const std::string &Message) override; | |
| 528 | 556 |
| 529 protected: | 557 protected: |
| 530 // The context parser that contains the decoded state. | 558 // The context parser that contains the decoded state. |
| 531 TopLevelParser *Context; | 559 TopLevelParser *Context; |
| 532 | 560 |
| 533 // Constructor for nested block parsers. | 561 // Constructor for nested block parsers. |
| 534 BlockParserBaseClass(unsigned BlockID, BlockParserBaseClass *EnclosingParser) | 562 BlockParserBaseClass(unsigned BlockID, BlockParserBaseClass *EnclosingParser) |
| 535 : NaClBitcodeParser(BlockID, EnclosingParser), | 563 : NaClBitcodeParser(BlockID, EnclosingParser), |
| 536 Context(EnclosingParser->Context) {} | 564 Context(EnclosingParser->Context) {} |
| 537 | 565 |
| 538 // Gets the translator associated with the bitcode parser. | 566 // Gets the translator associated with the bitcode parser. |
| 539 Ice::Translator &getTranslator() const { return Context->getTranslator(); } | 567 Ice::Translator &getTranslator() const { return Context->getTranslator(); } |
| 540 | 568 |
| 541 const Ice::ClFlags &getFlags() const { return getTranslator().getFlags(); } | 569 const Ice::ClFlags &getFlags() const { return getTranslator().getFlags(); } |
| 542 | 570 |
| 543 bool isIRGenerationDisabled() const { | 571 bool isIRGenerationDisabled() const { |
| 544 return ALLOW_DISABLE_IR_GEN ? getTranslator().getFlags().DisableIRGeneration | 572 return ALLOW_DISABLE_IR_GEN ? getTranslator().getFlags().DisableIRGeneration |
| 545 : false; | 573 : false; |
| 546 } | 574 } |
| 547 | 575 |
| 548 // Generates an error Message with the bit address prefixed to it. | |
| 549 bool Error(const std::string &Message) override { | |
| 550 uint64_t Bit = Record.GetStartBit() + Context->getHeaderSize() * 8; | |
| 551 std::string Buffer; | |
| 552 raw_string_ostream StrBuf(Buffer); | |
| 553 StrBuf << "(" << format("%" PRIu64 ":%u", (Bit / 8), | |
| 554 static_cast<unsigned>(Bit % 8)) << ") "; | |
| 555 // Note: If dump routines have been turned off, the error messages | |
| 556 // will not be readable. Hence, replace with simple error. | |
| 557 if (ALLOW_DUMP) | |
| 558 StrBuf << Message; | |
| 559 else | |
| 560 StrBuf << "Invalid input record"; | |
| 561 return Context->Error(StrBuf.str()); | |
| 562 } | |
| 563 | |
| 564 // Default implementation. Reports that block is unknown and skips | 576 // Default implementation. Reports that block is unknown and skips |
| 565 // its contents. | 577 // its contents. |
| 566 bool ParseBlock(unsigned BlockID) override; | 578 bool ParseBlock(unsigned BlockID) override; |
| 567 | 579 |
| 568 // Default implementation. Reports that the record is not | 580 // Default implementation. Reports that the record is not |
| 569 // understood. | 581 // understood. |
| 570 void ProcessRecord() override; | 582 void ProcessRecord() override; |
| 571 | 583 |
| 572 // Checks if the size of the record is Size. Return true if valid. | 584 // Checks if the size of the record is Size. Return true if valid. |
| 573 // Otherwise generates an error and returns false. | 585 // Otherwise generates an error and returns false. |
| (...skipping 39 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 613 private: | 625 private: |
| 614 /// Generates a record size error. ExpectedSize is the number | 626 /// Generates a record size error. ExpectedSize is the number |
| 615 /// of elements expected. RecordName is the name of the kind of | 627 /// of elements expected. RecordName is the name of the kind of |
| 616 /// record that has incorrect size. ContextMessage (if not nullptr) | 628 /// record that has incorrect size. ContextMessage (if not nullptr) |
| 617 /// is appended to "record expects" to describe how ExpectedSize | 629 /// is appended to "record expects" to describe how ExpectedSize |
| 618 /// should be interpreted. | 630 /// should be interpreted. |
| 619 void ReportRecordSizeError(unsigned ExpectedSize, const char *RecordName, | 631 void ReportRecordSizeError(unsigned ExpectedSize, const char *RecordName, |
| 620 const char *ContextMessage); | 632 const char *ContextMessage); |
| 621 }; | 633 }; |
| 622 | 634 |
| 635 bool TopLevelParser::BlockError(const std::string &Message) { | |
| 636 if (BlockParser) | |
| 637 return BlockParser->Error(Message); | |
| 638 else | |
| 639 return Error(Message); | |
| 640 } | |
| 641 | |
| 642 // Generates an error Message with the bit address prefixed to it. | |
| 643 bool BlockParserBaseClass::Error(const std::string &Message) { | |
| 644 uint64_t Bit = Record.GetStartBit() + Context->getHeaderSize() * 8; | |
| 645 std::string Buffer; | |
| 646 raw_string_ostream StrBuf(Buffer); | |
| 647 StrBuf << "(" << format("%" PRIu64 ":%u", (Bit / 8), | |
| 648 static_cast<unsigned>(Bit % 8)) << ") "; | |
| 649 // Note: If dump routines have been turned off, the error messages | |
| 650 // will not be readable. Hence, replace with simple error. | |
| 651 if (ALLOW_DUMP) | |
| 652 StrBuf << Message; | |
| 653 else { | |
| 654 StrBuf << "Invalid " << getBlockName() << " record: <" << Record.GetCode(); | |
| 655 for (const uint64_t Val : Record.GetValues()) { | |
| 656 StrBuf << " " << Val; | |
| 657 } | |
| 658 StrBuf << ">"; | |
| 659 } | |
| 660 return Context->Error(StrBuf.str()); | |
| 661 } | |
| 662 | |
| 623 void BlockParserBaseClass::ReportRecordSizeError(unsigned ExpectedSize, | 663 void BlockParserBaseClass::ReportRecordSizeError(unsigned ExpectedSize, |
| 624 const char *RecordName, | 664 const char *RecordName, |
| 625 const char *ContextMessage) { | 665 const char *ContextMessage) { |
| 626 std::string Buffer; | 666 std::string Buffer; |
| 627 raw_string_ostream StrBuf(Buffer); | 667 raw_string_ostream StrBuf(Buffer); |
| 628 StrBuf << RecordName << " record expects"; | 668 const char *BlockName = getBlockName(); |
| 669 const char FirstChar = toupper(*BlockName); | |
| 670 StrBuf << FirstChar << (BlockName + 1) << " " << RecordName | |
| 671 << " record expects"; | |
| 629 if (ContextMessage) | 672 if (ContextMessage) |
| 630 StrBuf << " " << ContextMessage; | 673 StrBuf << " " << ContextMessage; |
| 631 StrBuf << " " << ExpectedSize << " argument"; | 674 StrBuf << " " << ExpectedSize << " argument"; |
| 632 if (ExpectedSize > 1) | 675 if (ExpectedSize > 1) |
| 633 StrBuf << "s"; | 676 StrBuf << "s"; |
| 634 StrBuf << ". Found: " << Record.GetValues().size(); | 677 StrBuf << ". Found: " << Record.GetValues().size(); |
| 635 Error(StrBuf.str()); | 678 Error(StrBuf.str()); |
| 636 } | 679 } |
| 637 | 680 |
| 638 bool BlockParserBaseClass::ParseBlock(unsigned BlockID) { | 681 bool BlockParserBaseClass::ParseBlock(unsigned BlockID) { |
| 639 // If called, derived class doesn't know how to handle block. | 682 // If called, derived class doesn't know how to handle block. |
| 640 // Report error and skip. | 683 // Report error and skip. |
| 641 std::string Buffer; | 684 std::string Buffer; |
| 642 raw_string_ostream StrBuf(Buffer); | 685 raw_string_ostream StrBuf(Buffer); |
| 643 StrBuf << "Don't know how to parse block id: " << BlockID; | 686 StrBuf << "Don't know how to parse block id: " << BlockID; |
| 644 Error(StrBuf.str()); | 687 Error(StrBuf.str()); |
| 645 // TODO(kschimpf) Remove error recovery once implementation complete. | 688 // TODO(kschimpf) Remove error recovery once implementation complete. |
| 646 SkipBlock(); | 689 SkipBlock(); |
| 647 return false; | 690 return false; |
| 648 } | 691 } |
| 649 | 692 |
| 650 void BlockParserBaseClass::ProcessRecord() { | 693 void BlockParserBaseClass::ProcessRecord() { |
| 651 // If called, derived class doesn't know how to handle. | 694 // If called, derived class doesn't know how to handle. |
| 652 std::string Buffer; | 695 std::string Buffer; |
| 653 raw_string_ostream StrBuf(Buffer); | 696 raw_string_ostream StrBuf(Buffer); |
| 654 StrBuf << "Don't know how to process record: " << Record; | 697 StrBuf << "Don't know how to process " << getBlockName() |
| 698 << " record:" << Record; | |
| 655 Error(StrBuf.str()); | 699 Error(StrBuf.str()); |
| 656 } | 700 } |
| 657 | 701 |
| 658 // Class to parse a types block. | 702 // Class to parse a types block. |
| 659 class TypesParser : public BlockParserBaseClass { | 703 class TypesParser : public BlockParserBaseClass { |
| 660 public: | 704 public: |
| 661 TypesParser(unsigned BlockID, BlockParserBaseClass *EnclosingParser) | 705 TypesParser(unsigned BlockID, BlockParserBaseClass *EnclosingParser) |
| 662 : BlockParserBaseClass(BlockID, EnclosingParser), | 706 : BlockParserBaseClass(BlockID, EnclosingParser), |
| 663 Timer(Ice::TimerStack::TT_parseTypes, getTranslator().getContext()), | 707 Timer(Ice::TimerStack::TT_parseTypes, getTranslator().getContext()), |
| 664 NextTypeId(0) {} | 708 NextTypeId(0) {} |
| 665 | 709 |
| 666 ~TypesParser() override {} | 710 ~TypesParser() override {} |
| 667 | 711 |
| 668 private: | 712 private: |
| 669 Ice::TimerMarker Timer; | 713 Ice::TimerMarker Timer; |
| 670 // The type ID that will be associated with the next type defining | 714 // The type ID that will be associated with the next type defining |
| 671 // record in the types block. | 715 // record in the types block. |
| 672 unsigned NextTypeId; | 716 unsigned NextTypeId; |
| 673 | 717 |
| 674 void ProcessRecord() override; | 718 void ProcessRecord() override; |
| 675 | 719 |
| 720 const char *getBlockName() const override { return "type"; } | |
| 721 | |
| 676 void setNextTypeIDAsSimpleType(Ice::Type Ty) { | 722 void setNextTypeIDAsSimpleType(Ice::Type Ty) { |
| 677 Context->getTypeByIDForDefining(NextTypeId++)->setAsSimpleType(Ty); | 723 Context->getTypeByIDForDefining(NextTypeId++)->setAsSimpleType(Ty); |
| 678 } | 724 } |
| 679 }; | 725 }; |
| 680 | 726 |
| 681 void TypesParser::ProcessRecord() { | 727 void TypesParser::ProcessRecord() { |
| 682 const NaClBitcodeRecord::RecordVector &Values = Record.GetValues(); | 728 const NaClBitcodeRecord::RecordVector &Values = Record.GetValues(); |
| 683 switch (Record.GetCode()) { | 729 switch (Record.GetCode()) { |
| 684 case naclbitc::TYPE_CODE_NUMENTRY: | 730 case naclbitc::TYPE_CODE_NUMENTRY: |
| 685 // NUMENTRY: [numentries] | 731 // NUMENTRY: [numentries] |
| 686 if (!isValidRecordSize(1, "Type count")) | 732 if (!isValidRecordSize(1, "count")) |
| 687 return; | 733 return; |
| 688 Context->resizeTypeIDValues(Values[0]); | 734 Context->resizeTypeIDValues(Values[0]); |
| 689 return; | 735 return; |
| 690 case naclbitc::TYPE_CODE_VOID: | 736 case naclbitc::TYPE_CODE_VOID: |
| 691 // VOID | 737 // VOID |
| 692 if (!isValidRecordSize(0, "Type void")) | 738 if (!isValidRecordSize(0, "void")) |
| 693 return; | 739 return; |
| 694 setNextTypeIDAsSimpleType(Ice::IceType_void); | 740 setNextTypeIDAsSimpleType(Ice::IceType_void); |
| 695 return; | 741 return; |
| 696 case naclbitc::TYPE_CODE_FLOAT: | 742 case naclbitc::TYPE_CODE_FLOAT: |
| 697 // FLOAT | 743 // FLOAT |
| 698 if (!isValidRecordSize(0, "Type float")) | 744 if (!isValidRecordSize(0, "float")) |
| 699 return; | 745 return; |
| 700 setNextTypeIDAsSimpleType(Ice::IceType_f32); | 746 setNextTypeIDAsSimpleType(Ice::IceType_f32); |
| 701 return; | 747 return; |
| 702 case naclbitc::TYPE_CODE_DOUBLE: | 748 case naclbitc::TYPE_CODE_DOUBLE: |
| 703 // DOUBLE | 749 // DOUBLE |
| 704 if (!isValidRecordSize(0, "Type double")) | 750 if (!isValidRecordSize(0, "double")) |
| 705 return; | 751 return; |
| 706 setNextTypeIDAsSimpleType(Ice::IceType_f64); | 752 setNextTypeIDAsSimpleType(Ice::IceType_f64); |
| 707 return; | 753 return; |
| 708 case naclbitc::TYPE_CODE_INTEGER: | 754 case naclbitc::TYPE_CODE_INTEGER: |
| 709 // INTEGER: [width] | 755 // INTEGER: [width] |
| 710 if (!isValidRecordSize(1, "Type integer")) | 756 if (!isValidRecordSize(1, "integer")) |
| 711 return; | 757 return; |
| 712 switch (Values[0]) { | 758 switch (Values[0]) { |
| 713 case 1: | 759 case 1: |
| 714 setNextTypeIDAsSimpleType(Ice::IceType_i1); | 760 setNextTypeIDAsSimpleType(Ice::IceType_i1); |
| 715 return; | 761 return; |
| 716 case 8: | 762 case 8: |
| 717 setNextTypeIDAsSimpleType(Ice::IceType_i8); | 763 setNextTypeIDAsSimpleType(Ice::IceType_i8); |
| 718 return; | 764 return; |
| 719 case 16: | 765 case 16: |
| 720 setNextTypeIDAsSimpleType(Ice::IceType_i16); | 766 setNextTypeIDAsSimpleType(Ice::IceType_i16); |
| 721 return; | 767 return; |
| 722 case 32: | 768 case 32: |
| 723 setNextTypeIDAsSimpleType(Ice::IceType_i32); | 769 setNextTypeIDAsSimpleType(Ice::IceType_i32); |
| 724 return; | 770 return; |
| 725 case 64: | 771 case 64: |
| 726 setNextTypeIDAsSimpleType(Ice::IceType_i64); | 772 setNextTypeIDAsSimpleType(Ice::IceType_i64); |
| 727 return; | 773 return; |
| 728 default: | 774 default: |
| 729 break; | 775 break; |
| 730 } | 776 } |
| 731 { | 777 { |
| 732 std::string Buffer; | 778 std::string Buffer; |
| 733 raw_string_ostream StrBuf(Buffer); | 779 raw_string_ostream StrBuf(Buffer); |
| 734 StrBuf << "Type integer record with invalid bitsize: " << Values[0]; | 780 StrBuf << "Type integer record with invalid bitsize: " << Values[0]; |
| 735 Error(StrBuf.str()); | 781 Error(StrBuf.str()); |
| 736 } | 782 } |
| 737 return; | 783 return; |
| 738 case naclbitc::TYPE_CODE_VECTOR: { | 784 case naclbitc::TYPE_CODE_VECTOR: { |
| 739 // VECTOR: [numelts, eltty] | 785 // VECTOR: [numelts, eltty] |
| 740 if (!isValidRecordSize(2, "Type vector")) | 786 if (!isValidRecordSize(2, "vector")) |
| 741 return; | 787 return; |
| 742 Ice::Type BaseTy = Context->getSimpleTypeByID(Values[1]); | 788 Ice::Type BaseTy = Context->getSimpleTypeByID(Values[1]); |
| 743 Ice::SizeT Size = Values[0]; | 789 Ice::SizeT Size = Values[0]; |
| 744 switch (BaseTy) { | 790 switch (BaseTy) { |
| 745 case Ice::IceType_i1: | 791 case Ice::IceType_i1: |
| 746 switch (Size) { | 792 switch (Size) { |
| 747 case 4: | 793 case 4: |
| 748 setNextTypeIDAsSimpleType(Ice::IceType_v4i1); | 794 setNextTypeIDAsSimpleType(Ice::IceType_v4i1); |
| 749 return; | 795 return; |
| 750 case 8: | 796 case 8: |
| (...skipping 37 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 788 std::string Buffer; | 834 std::string Buffer; |
| 789 raw_string_ostream StrBuf(Buffer); | 835 raw_string_ostream StrBuf(Buffer); |
| 790 StrBuf << "Invalid type vector record: <" << Values[0] << " x " << BaseTy | 836 StrBuf << "Invalid type vector record: <" << Values[0] << " x " << BaseTy |
| 791 << ">"; | 837 << ">"; |
| 792 Error(StrBuf.str()); | 838 Error(StrBuf.str()); |
| 793 } | 839 } |
| 794 return; | 840 return; |
| 795 } | 841 } |
| 796 case naclbitc::TYPE_CODE_FUNCTION: { | 842 case naclbitc::TYPE_CODE_FUNCTION: { |
| 797 // FUNCTION: [vararg, retty, paramty x N] | 843 // FUNCTION: [vararg, retty, paramty x N] |
| 798 if (!isValidRecordSizeAtLeast(2, "Type signature")) | 844 if (!isValidRecordSizeAtLeast(2, "signature")) |
| 799 return; | 845 return; |
| 800 if (Values[0]) | 846 if (Values[0]) |
| 801 Error("Function type can't define varargs"); | 847 Error("Function type can't define varargs"); |
| 802 ExtendedType *Ty = Context->getTypeByIDForDefining(NextTypeId++); | 848 ExtendedType *Ty = Context->getTypeByIDForDefining(NextTypeId++); |
| 803 Ty->setAsFunctionType(); | 849 Ty->setAsFunctionType(); |
| 804 FuncSigExtendedType *FuncTy = cast<FuncSigExtendedType>(Ty); | 850 FuncSigExtendedType *FuncTy = cast<FuncSigExtendedType>(Ty); |
| 805 FuncTy->setReturnType(Context->getSimpleTypeByID(Values[1])); | 851 FuncTy->setReturnType(Context->getSimpleTypeByID(Values[1])); |
| 806 for (unsigned i = 2, e = Values.size(); i != e; ++i) { | 852 for (unsigned i = 2, e = Values.size(); i != e; ++i) { |
| 807 // Check that type void not used as argument type. | 853 // Check that type void not used as argument type. |
| 808 // Note: PNaCl restrictions can't be checked until we | 854 // Note: PNaCl restrictions can't be checked until we |
| (...skipping 25 matching lines...) Expand all Loading... | |
| 834 GlobalsParser(unsigned BlockID, BlockParserBaseClass *EnclosingParser) | 880 GlobalsParser(unsigned BlockID, BlockParserBaseClass *EnclosingParser) |
| 835 : BlockParserBaseClass(BlockID, EnclosingParser), | 881 : BlockParserBaseClass(BlockID, EnclosingParser), |
| 836 Timer(Ice::TimerStack::TT_parseGlobals, getTranslator().getContext()), | 882 Timer(Ice::TimerStack::TT_parseGlobals, getTranslator().getContext()), |
| 837 InitializersNeeded(0), NextGlobalID(0), | 883 InitializersNeeded(0), NextGlobalID(0), |
| 838 DummyGlobalVar( | 884 DummyGlobalVar( |
| 839 Ice::VariableDeclaration::create(getTranslator().getContext())), | 885 Ice::VariableDeclaration::create(getTranslator().getContext())), |
| 840 CurGlobalVar(DummyGlobalVar) {} | 886 CurGlobalVar(DummyGlobalVar) {} |
| 841 | 887 |
| 842 ~GlobalsParser() final {} | 888 ~GlobalsParser() final {} |
| 843 | 889 |
| 890 const char *getBlockName() const override { return "globals"; } | |
| 891 | |
| 844 private: | 892 private: |
| 845 Ice::TimerMarker Timer; | 893 Ice::TimerMarker Timer; |
| 846 // Keeps track of how many initializers are expected for the global variable | 894 // Keeps track of how many initializers are expected for the global variable |
| 847 // declaration being built. | 895 // declaration being built. |
| 848 unsigned InitializersNeeded; | 896 unsigned InitializersNeeded; |
| 849 | 897 |
| 850 // The index of the next global variable declaration. | 898 // The index of the next global variable declaration. |
| 851 unsigned NextGlobalID; | 899 unsigned NextGlobalID; |
| 852 | 900 |
| 853 // Dummy global variable declaration to guarantee CurGlobalVar is | 901 // Dummy global variable declaration to guarantee CurGlobalVar is |
| 854 // always defined (allowing code to not need to check if | 902 // always defined (allowing code to not need to check if |
| 855 // CurGlobalVar is nullptr). | 903 // CurGlobalVar is nullptr). |
| 856 Ice::VariableDeclaration *DummyGlobalVar; | 904 Ice::VariableDeclaration *DummyGlobalVar; |
| 857 | 905 |
| 858 // Holds the current global variable declaration being built. | 906 // Holds the current global variable declaration being built. |
| 859 Ice::VariableDeclaration *CurGlobalVar; | 907 Ice::VariableDeclaration *CurGlobalVar; |
| 860 | 908 |
| 861 void ExitBlock() override { | 909 void ExitBlock() override { |
| 862 verifyNoMissingInitializers(); | 910 verifyNoMissingInitializers(); |
| 863 unsigned NumIDs = Context->getNumGlobalVariables(); | 911 unsigned NumIDs = Context->getNumGlobalVariables(); |
| 864 if (NextGlobalID < NumIDs) { | 912 if (NextGlobalID < NumIDs) { |
| 865 std::string Buffer; | 913 std::string Buffer; |
| 866 raw_string_ostream StrBuf(Buffer); | 914 raw_string_ostream StrBuf(Buffer); |
| 867 StrBuf << "Globals block expects " << NumIDs | 915 StrBuf << getBlockName() << " block expects " << NumIDs |
| 868 << " global variable declarations. Found: " << NextGlobalID; | 916 << " global variable declarations. Found: " << NextGlobalID; |
| 869 Error(StrBuf.str()); | 917 Error(StrBuf.str()); |
| 870 } | 918 } |
| 871 BlockParserBaseClass::ExitBlock(); | 919 BlockParserBaseClass::ExitBlock(); |
| 872 } | 920 } |
| 873 | 921 |
| 874 void ProcessRecord() override; | 922 void ProcessRecord() override; |
| 875 | 923 |
| 876 // Checks if the number of initializers for the CurGlobalVar is the same as | 924 // Checks if the number of initializers for the CurGlobalVar is the same as |
| 877 // the number found in the bitcode file. If different, and error message is | 925 // the number found in the bitcode file. If different, and error message is |
| (...skipping 13 matching lines...) Expand all Loading... | |
| 891 InitializersNeeded = NumInits; | 939 InitializersNeeded = NumInits; |
| 892 } | 940 } |
| 893 } | 941 } |
| 894 }; | 942 }; |
| 895 | 943 |
| 896 void GlobalsParser::ProcessRecord() { | 944 void GlobalsParser::ProcessRecord() { |
| 897 const NaClBitcodeRecord::RecordVector &Values = Record.GetValues(); | 945 const NaClBitcodeRecord::RecordVector &Values = Record.GetValues(); |
| 898 switch (Record.GetCode()) { | 946 switch (Record.GetCode()) { |
| 899 case naclbitc::GLOBALVAR_COUNT: | 947 case naclbitc::GLOBALVAR_COUNT: |
| 900 // COUNT: [n] | 948 // COUNT: [n] |
| 901 if (!isValidRecordSize(1, "Globals count")) | 949 if (!isValidRecordSize(1, "count")) |
| 902 return; | 950 return; |
| 903 if (NextGlobalID != Context->getNumGlobalVariables()) { | 951 if (NextGlobalID != Context->getNumGlobalVariables()) { |
| 904 Error("Globals count record not first in block."); | 952 Error("Globals count record not first in block."); |
| 905 return; | 953 return; |
| 906 } | 954 } |
| 907 Context->CreateGlobalVariables(Values[0]); | 955 Context->CreateGlobalVariables(Values[0]); |
| 908 return; | 956 return; |
| 909 case naclbitc::GLOBALVAR_VAR: { | 957 case naclbitc::GLOBALVAR_VAR: { |
| 910 // VAR: [align, isconst] | 958 // VAR: [align, isconst] |
| 911 if (!isValidRecordSize(2, "Globals variable")) | 959 if (!isValidRecordSize(2, "variable")) |
| 912 return; | 960 return; |
| 913 verifyNoMissingInitializers(); | 961 verifyNoMissingInitializers(); |
| 914 if (!isIRGenerationDisabled()) { | 962 if (!isIRGenerationDisabled()) { |
| 915 InitializersNeeded = 1; | 963 InitializersNeeded = 1; |
| 916 CurGlobalVar = Context->getGlobalVariableByID(NextGlobalID); | 964 CurGlobalVar = Context->getGlobalVariableByID(NextGlobalID); |
| 917 CurGlobalVar->setAlignment((1 << Values[0]) >> 1); | 965 CurGlobalVar->setAlignment((1 << Values[0]) >> 1); |
| 918 CurGlobalVar->setIsConstant(Values[1] != 0); | 966 CurGlobalVar->setIsConstant(Values[1] != 0); |
| 919 } | 967 } |
| 920 ++NextGlobalID; | 968 ++NextGlobalID; |
| 921 return; | 969 return; |
| 922 } | 970 } |
| 923 case naclbitc::GLOBALVAR_COMPOUND: | 971 case naclbitc::GLOBALVAR_COMPOUND: |
| 924 // COMPOUND: [size] | 972 // COMPOUND: [size] |
| 925 if (!isValidRecordSize(1, "globals compound")) | 973 if (!isValidRecordSize(1, "compound")) |
| 926 return; | 974 return; |
| 927 if (!CurGlobalVar->getInitializers().empty()) { | 975 if (!CurGlobalVar->getInitializers().empty()) { |
| 928 Error("Globals compound record not first initializer"); | 976 Error("Globals compound record not first initializer"); |
| 929 return; | 977 return; |
| 930 } | 978 } |
| 931 if (Values[0] < 2) { | 979 if (Values[0] < 2) { |
| 932 std::string Buffer; | 980 std::string Buffer; |
| 933 raw_string_ostream StrBuf(Buffer); | 981 raw_string_ostream StrBuf(Buffer); |
| 934 StrBuf << "Globals compound record size invalid. Found: " << Values[0]; | 982 StrBuf << getBlockName() |
| 983 << " compound record size invalid. Found: " << Values[0]; | |
| 935 Error(StrBuf.str()); | 984 Error(StrBuf.str()); |
| 936 return; | 985 return; |
| 937 } | 986 } |
| 938 if (isIRGenerationDisabled()) | 987 if (isIRGenerationDisabled()) |
| 939 return; | 988 return; |
| 940 InitializersNeeded = Values[0]; | 989 InitializersNeeded = Values[0]; |
| 941 return; | 990 return; |
| 942 case naclbitc::GLOBALVAR_ZEROFILL: { | 991 case naclbitc::GLOBALVAR_ZEROFILL: { |
| 943 // ZEROFILL: [size] | 992 // ZEROFILL: [size] |
| 944 if (!isValidRecordSize(1, "Globals zerofill")) | 993 if (!isValidRecordSize(1, "zerofill")) |
| 945 return; | 994 return; |
| 946 if (isIRGenerationDisabled()) | 995 if (isIRGenerationDisabled()) |
| 947 return; | 996 return; |
| 948 CurGlobalVar->addInitializer( | 997 CurGlobalVar->addInitializer( |
| 949 new Ice::VariableDeclaration::ZeroInitializer(Values[0])); | 998 new Ice::VariableDeclaration::ZeroInitializer(Values[0])); |
| 950 return; | 999 return; |
| 951 } | 1000 } |
| 952 case naclbitc::GLOBALVAR_DATA: { | 1001 case naclbitc::GLOBALVAR_DATA: { |
| 953 // DATA: [b0, b1, ...] | 1002 // DATA: [b0, b1, ...] |
| 954 if (!isValidRecordSizeAtLeast(1, "Globals data")) | 1003 if (!isValidRecordSizeAtLeast(1, "data")) |
| 955 return; | 1004 return; |
| 956 if (isIRGenerationDisabled()) | 1005 if (isIRGenerationDisabled()) |
| 957 return; | 1006 return; |
| 958 CurGlobalVar->addInitializer( | 1007 CurGlobalVar->addInitializer( |
| 959 new Ice::VariableDeclaration::DataInitializer(Values)); | 1008 new Ice::VariableDeclaration::DataInitializer(Values)); |
| 960 return; | 1009 return; |
| 961 } | 1010 } |
| 962 case naclbitc::GLOBALVAR_RELOC: { | 1011 case naclbitc::GLOBALVAR_RELOC: { |
| 963 // RELOC: [val, [addend]] | 1012 // RELOC: [val, [addend]] |
| 964 if (!isValidRecordSizeInRange(1, 2, "Globals reloc")) | 1013 if (!isValidRecordSizeInRange(1, 2, "reloc")) |
| 965 return; | 1014 return; |
| 966 if (isIRGenerationDisabled()) | 1015 if (isIRGenerationDisabled()) |
| 967 return; | 1016 return; |
| 968 unsigned Index = Values[0]; | 1017 unsigned Index = Values[0]; |
| 969 Ice::SizeT Offset = 0; | 1018 Ice::SizeT Offset = 0; |
| 970 if (Values.size() == 2) | 1019 if (Values.size() == 2) |
| 971 Offset = Values[1]; | 1020 Offset = Values[1]; |
| 972 CurGlobalVar->addInitializer(new Ice::VariableDeclaration::RelocInitializer( | 1021 CurGlobalVar->addInitializer(new Ice::VariableDeclaration::RelocInitializer( |
| 973 Context->getGlobalDeclarationByID(Index), Offset)); | 1022 Context->getGlobalDeclarationByID(Index), Offset)); |
| 974 return; | 1023 return; |
| 975 } | 1024 } |
| 976 default: | 1025 default: |
| 977 BlockParserBaseClass::ProcessRecord(); | 1026 BlockParserBaseClass::ProcessRecord(); |
| 978 return; | 1027 return; |
| 979 } | 1028 } |
| 980 } | 1029 } |
| 981 | 1030 |
| 982 /// Base class for parsing a valuesymtab block in the bitcode file. | 1031 /// Base class for parsing a valuesymtab block in the bitcode file. |
| 983 class ValuesymtabParser : public BlockParserBaseClass { | 1032 class ValuesymtabParser : public BlockParserBaseClass { |
| 984 ValuesymtabParser(const ValuesymtabParser &) = delete; | 1033 ValuesymtabParser(const ValuesymtabParser &) = delete; |
| 985 void operator=(const ValuesymtabParser &) = delete; | 1034 void operator=(const ValuesymtabParser &) = delete; |
| 986 | 1035 |
| 987 public: | 1036 public: |
| 988 ValuesymtabParser(unsigned BlockID, BlockParserBaseClass *EnclosingParser) | 1037 ValuesymtabParser(unsigned BlockID, BlockParserBaseClass *EnclosingParser) |
| 989 : BlockParserBaseClass(BlockID, EnclosingParser) {} | 1038 : BlockParserBaseClass(BlockID, EnclosingParser) {} |
| 990 | 1039 |
| 991 ~ValuesymtabParser() override {} | 1040 ~ValuesymtabParser() override {} |
| 992 | 1041 |
| 1042 const char *getBlockName() const override { return "valuesymtab"; } | |
| 1043 | |
| 993 protected: | 1044 protected: |
| 994 typedef SmallString<128> StringType; | 1045 typedef SmallString<128> StringType; |
| 995 | 1046 |
| 996 // Associates Name with the value defined by the given Index. | 1047 // Associates Name with the value defined by the given Index. |
| 997 virtual void setValueName(uint64_t Index, StringType &Name) = 0; | 1048 virtual void setValueName(uint64_t Index, StringType &Name) = 0; |
| 998 | 1049 |
| 999 // Associates Name with the value defined by the given Index; | 1050 // Associates Name with the value defined by the given Index; |
| 1000 virtual void setBbName(uint64_t Index, StringType &Name) = 0; | 1051 virtual void setBbName(uint64_t Index, StringType &Name) = 0; |
| 1001 | 1052 |
| 1002 private: | 1053 private: |
| 1003 | 1054 |
| 1004 void ProcessRecord() override; | 1055 void ProcessRecord() override; |
| 1005 | 1056 |
| 1006 void ConvertToString(StringType &ConvertedName) { | 1057 void ConvertToString(StringType &ConvertedName) { |
| 1007 const NaClBitcodeRecord::RecordVector &Values = Record.GetValues(); | 1058 const NaClBitcodeRecord::RecordVector &Values = Record.GetValues(); |
| 1008 for (size_t i = 1, e = Values.size(); i != e; ++i) { | 1059 for (size_t i = 1, e = Values.size(); i != e; ++i) { |
| 1009 ConvertedName += static_cast<char>(Values[i]); | 1060 ConvertedName += static_cast<char>(Values[i]); |
| 1010 } | 1061 } |
| 1011 } | 1062 } |
| 1012 }; | 1063 }; |
| 1013 | 1064 |
| 1014 void ValuesymtabParser::ProcessRecord() { | 1065 void ValuesymtabParser::ProcessRecord() { |
| 1015 const NaClBitcodeRecord::RecordVector &Values = Record.GetValues(); | 1066 const NaClBitcodeRecord::RecordVector &Values = Record.GetValues(); |
| 1016 StringType ConvertedName; | 1067 StringType ConvertedName; |
| 1017 switch (Record.GetCode()) { | 1068 switch (Record.GetCode()) { |
| 1018 case naclbitc::VST_CODE_ENTRY: { | 1069 case naclbitc::VST_CODE_ENTRY: { |
| 1019 // VST_ENTRY: [ValueId, namechar x N] | 1070 // VST_ENTRY: [ValueId, namechar x N] |
| 1020 if (!isValidRecordSizeAtLeast(2, "Valuesymtab value entry")) | 1071 if (!isValidRecordSizeAtLeast(2, "value entry")) |
| 1021 return; | 1072 return; |
| 1022 ConvertToString(ConvertedName); | 1073 ConvertToString(ConvertedName); |
| 1023 setValueName(Values[0], ConvertedName); | 1074 setValueName(Values[0], ConvertedName); |
| 1024 return; | 1075 return; |
| 1025 } | 1076 } |
| 1026 case naclbitc::VST_CODE_BBENTRY: { | 1077 case naclbitc::VST_CODE_BBENTRY: { |
| 1027 // VST_BBENTRY: [BbId, namechar x N] | 1078 // VST_BBENTRY: [BbId, namechar x N] |
| 1028 if (!isValidRecordSizeAtLeast(2, "Valuesymtab basic block entry")) | 1079 if (!isValidRecordSizeAtLeast(2, "basic block entry")) |
| 1029 return; | 1080 return; |
| 1030 ConvertToString(ConvertedName); | 1081 ConvertToString(ConvertedName); |
| 1031 setBbName(Values[0], ConvertedName); | 1082 setBbName(Values[0], ConvertedName); |
| 1032 return; | 1083 return; |
| 1033 } | 1084 } |
| 1034 default: | 1085 default: |
| 1035 break; | 1086 break; |
| 1036 } | 1087 } |
| 1037 // If reached, don't know how to handle record. | 1088 // If reached, don't know how to handle record. |
| 1038 BlockParserBaseClass::ProcessRecord(); | 1089 BlockParserBaseClass::ProcessRecord(); |
| 1039 return; | 1090 return; |
| 1040 } | 1091 } |
| 1041 | 1092 |
| 1042 class FunctionValuesymtabParser; | 1093 class FunctionValuesymtabParser; |
| 1043 | 1094 |
| 1044 /// Parses function blocks in the bitcode file. | 1095 /// Parses function blocks in the bitcode file. |
| 1045 class FunctionParser : public BlockParserBaseClass { | 1096 class FunctionParser : public BlockParserBaseClass { |
| 1046 FunctionParser(const FunctionParser &) = delete; | 1097 FunctionParser(const FunctionParser &) = delete; |
| 1047 FunctionParser &operator=(const FunctionParser &) = delete; | 1098 FunctionParser &operator=(const FunctionParser &) = delete; |
| 1048 friend class FunctionValuesymtabParser; | |
| 1049 | 1099 |
| 1050 public: | 1100 public: |
| 1051 FunctionParser(unsigned BlockID, BlockParserBaseClass *EnclosingParser) | 1101 FunctionParser(unsigned BlockID, BlockParserBaseClass *EnclosingParser) |
| 1052 : BlockParserBaseClass(BlockID, EnclosingParser), | 1102 : BlockParserBaseClass(BlockID, EnclosingParser), |
| 1053 Timer(Ice::TimerStack::TT_parseFunctions, getTranslator().getContext()), | 1103 Timer(Ice::TimerStack::TT_parseFunctions, getTranslator().getContext()), |
| 1054 Func(isIRGenerationDisabled() | 1104 Func(isIRGenerationDisabled() |
| 1055 ? nullptr | 1105 ? nullptr |
| 1056 : new Ice::Cfg(getTranslator().getContext())), | 1106 : new Ice::Cfg(getTranslator().getContext())), |
| 1057 CurrentBbIndex(0), FcnId(Context->getNextFunctionBlockValueID()), | 1107 CurrentBbIndex(0), FcnId(Context->getNextFunctionBlockValueID()), |
| 1058 FuncDecl(Context->getFunctionByID(FcnId)), | 1108 FuncDecl(Context->getFunctionByID(FcnId)), |
| (...skipping 21 matching lines...) Expand all Loading... | |
| 1080 CurrentNode = InstallNextBasicBlock(); | 1130 CurrentNode = InstallNextBasicBlock(); |
| 1081 Func->setEntryNode(CurrentNode); | 1131 Func->setEntryNode(CurrentNode); |
| 1082 for (Ice::Type ArgType : Signature.getArgList()) { | 1132 for (Ice::Type ArgType : Signature.getArgList()) { |
| 1083 Func->addArg(getNextInstVar(ArgType)); | 1133 Func->addArg(getNextInstVar(ArgType)); |
| 1084 } | 1134 } |
| 1085 } | 1135 } |
| 1086 } | 1136 } |
| 1087 | 1137 |
| 1088 ~FunctionParser() final {} | 1138 ~FunctionParser() final {} |
| 1089 | 1139 |
| 1140 const char *getBlockName() const override { return "function"; } | |
| 1141 | |
| 1142 Ice::Cfg *getFunc() const { | |
| 1143 return Func; | |
| 1144 } | |
| 1145 | |
| 1146 uint32_t getNumGlobalIDs() const { | |
| 1147 return CachedNumGlobalValueIDs; | |
| 1148 } | |
| 1149 | |
| 1090 void setNextLocalInstIndex(Ice::Operand *Op) { | 1150 void setNextLocalInstIndex(Ice::Operand *Op) { |
| 1091 setOperand(NextLocalInstIndex++, Op); | 1151 setOperand(NextLocalInstIndex++, Op); |
| 1092 } | 1152 } |
| 1093 | 1153 |
| 1094 // Set the next constant ID to the given constant C. | 1154 // Set the next constant ID to the given constant C. |
| 1095 void setNextConstantID(Ice::Constant *C) { setNextLocalInstIndex(C); } | 1155 void setNextConstantID(Ice::Constant *C) { setNextLocalInstIndex(C); } |
| 1096 | 1156 |
| 1157 // Returns the value referenced by the given value Index. | |
| 1158 Ice::Operand *getOperand(uint32_t Index) { | |
| 1159 if (Index < CachedNumGlobalValueIDs) { | |
| 1160 return Context->getOrCreateGlobalConstantByID(Index); | |
| 1161 } | |
| 1162 uint32_t LocalIndex = Index - CachedNumGlobalValueIDs; | |
| 1163 if (LocalIndex >= LocalOperands.size()) { | |
| 1164 std::string Buffer; | |
| 1165 raw_string_ostream StrBuf(Buffer); | |
| 1166 StrBuf << "Value index " << Index << " not defined!"; | |
| 1167 Error(StrBuf.str()); | |
| 1168 report_fatal_error("Unable to continue"); | |
| 1169 } | |
| 1170 Ice::Operand *Op = LocalOperands[LocalIndex]; | |
| 1171 if (Op == nullptr) { | |
| 1172 if (isIRGenerationDisabled()) | |
| 1173 return nullptr; | |
| 1174 std::string Buffer; | |
| 1175 raw_string_ostream StrBuf(Buffer); | |
| 1176 StrBuf << "Value index " << Index << " not defined!"; | |
| 1177 Error(StrBuf.str()); | |
| 1178 report_fatal_error("Unable to continue"); | |
| 1179 } | |
| 1180 return Op; | |
| 1181 } | |
| 1182 | |
| 1097 private: | 1183 private: |
| 1098 Ice::TimerMarker Timer; | 1184 Ice::TimerMarker Timer; |
| 1099 // The corresponding ICE function defined by the function block. | 1185 // The corresponding ICE function defined by the function block. |
| 1100 Ice::Cfg *Func; | 1186 Ice::Cfg *Func; |
| 1101 // The index to the current basic block being built. | 1187 // The index to the current basic block being built. |
| 1102 uint32_t CurrentBbIndex; | 1188 uint32_t CurrentBbIndex; |
| 1103 // The basic block being built. | 1189 // The basic block being built. |
| 1104 Ice::CfgNode *CurrentNode; | 1190 Ice::CfgNode *CurrentNode; |
| 1105 // The ID for the function. | 1191 // The ID for the function. |
| 1106 unsigned FcnId; | 1192 unsigned FcnId; |
| (...skipping 130 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 1237 raw_string_ostream StrBuf(Buffer); | 1323 raw_string_ostream StrBuf(Buffer); |
| 1238 StrBuf << "Invalid relative value id: " << Id | 1324 StrBuf << "Invalid relative value id: " << Id |
| 1239 << " (must be <= " << BaseIndex << ")"; | 1325 << " (must be <= " << BaseIndex << ")"; |
| 1240 Error(StrBuf.str()); | 1326 Error(StrBuf.str()); |
| 1241 // TODO(kschimpf) Remove error recovery once implementation complete. | 1327 // TODO(kschimpf) Remove error recovery once implementation complete. |
| 1242 return 0; | 1328 return 0; |
| 1243 } | 1329 } |
| 1244 return BaseIndex - Id; | 1330 return BaseIndex - Id; |
| 1245 } | 1331 } |
| 1246 | 1332 |
| 1247 // Returns the value referenced by the given value Index. | |
| 1248 Ice::Operand *getOperand(uint32_t Index) { | |
| 1249 if (Index < CachedNumGlobalValueIDs) { | |
| 1250 return Context->getOrCreateGlobalConstantByID(Index); | |
| 1251 } | |
| 1252 uint32_t LocalIndex = Index - CachedNumGlobalValueIDs; | |
| 1253 if (LocalIndex >= LocalOperands.size()) { | |
| 1254 std::string Buffer; | |
| 1255 raw_string_ostream StrBuf(Buffer); | |
| 1256 StrBuf << "Value index " << Index << " not defined!"; | |
| 1257 Error(StrBuf.str()); | |
| 1258 report_fatal_error("Unable to continue"); | |
| 1259 } | |
| 1260 Ice::Operand *Op = LocalOperands[LocalIndex]; | |
| 1261 if (Op == nullptr) { | |
| 1262 if (isIRGenerationDisabled()) | |
| 1263 return nullptr; | |
| 1264 std::string Buffer; | |
| 1265 raw_string_ostream StrBuf(Buffer); | |
| 1266 StrBuf << "Value index " << Index << " not defined!"; | |
| 1267 Error(StrBuf.str()); | |
| 1268 report_fatal_error("Unable to continue"); | |
| 1269 } | |
| 1270 return Op; | |
| 1271 } | |
| 1272 | |
| 1273 // Sets element Index (in the local operands list) to Op. | 1333 // Sets element Index (in the local operands list) to Op. |
| 1274 void setOperand(uint32_t Index, Ice::Operand *Op) { | 1334 void setOperand(uint32_t Index, Ice::Operand *Op) { |
| 1275 assert(Op || isIRGenerationDisabled()); | 1335 assert(Op || isIRGenerationDisabled()); |
| 1276 // Check if simple push works. | 1336 // Check if simple push works. |
| 1277 uint32_t LocalIndex = Index - CachedNumGlobalValueIDs; | 1337 uint32_t LocalIndex = Index - CachedNumGlobalValueIDs; |
| 1278 if (LocalIndex == LocalOperands.size()) { | 1338 if (LocalIndex == LocalOperands.size()) { |
| 1279 LocalOperands.push_back(Op); | 1339 LocalOperands.push_back(Op); |
| 1280 return; | 1340 return; |
| 1281 } | 1341 } |
| 1282 | 1342 |
| (...skipping 468 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 1751 if (InstIsTerminating) { | 1811 if (InstIsTerminating) { |
| 1752 InstIsTerminating = false; | 1812 InstIsTerminating = false; |
| 1753 if (!isIRGenerationDisabled()) | 1813 if (!isIRGenerationDisabled()) |
| 1754 CurrentNode = getBasicBlock(++CurrentBbIndex); | 1814 CurrentNode = getBasicBlock(++CurrentBbIndex); |
| 1755 } | 1815 } |
| 1756 // The base index for relative indexing. | 1816 // The base index for relative indexing. |
| 1757 int32_t BaseIndex = getNextInstIndex(); | 1817 int32_t BaseIndex = getNextInstIndex(); |
| 1758 switch (Record.GetCode()) { | 1818 switch (Record.GetCode()) { |
| 1759 case naclbitc::FUNC_CODE_DECLAREBLOCKS: { | 1819 case naclbitc::FUNC_CODE_DECLAREBLOCKS: { |
| 1760 // DECLAREBLOCKS: [n] | 1820 // DECLAREBLOCKS: [n] |
| 1761 if (!isValidRecordSize(1, "function block count")) | 1821 if (!isValidRecordSize(1, "count")) |
| 1762 return; | 1822 return; |
| 1763 uint32_t NumBbs = Values[0]; | 1823 uint32_t NumBbs = Values[0]; |
| 1764 if (NumBbs == 0) { | 1824 if (NumBbs == 0) { |
| 1765 Error("Functions must contain at least one basic block."); | 1825 Error("Functions must contain at least one basic block."); |
| 1766 // TODO(kschimpf) Remove error recovery once implementation complete. | 1826 // TODO(kschimpf) Remove error recovery once implementation complete. |
| 1767 NumBbs = 1; | 1827 NumBbs = 1; |
| 1768 } | 1828 } |
| 1769 if (isIRGenerationDisabled()) | 1829 if (isIRGenerationDisabled()) |
| 1770 return; | 1830 return; |
| 1771 if (Func->getNodes().size() != 1) { | 1831 if (Func->getNodes().size() != 1) { |
| 1772 Error("Duplicate function block count record"); | 1832 Error("Duplicate function block count record"); |
| 1773 return; | 1833 return; |
| 1774 } | 1834 } |
| 1775 // Install the basic blocks, skipping bb0 which was created in the | 1835 // Install the basic blocks, skipping bb0 which was created in the |
| 1776 // constructor. | 1836 // constructor. |
| 1777 for (size_t i = 1; i < NumBbs; ++i) | 1837 for (size_t i = 1; i < NumBbs; ++i) |
| 1778 InstallNextBasicBlock(); | 1838 InstallNextBasicBlock(); |
| 1779 return; | 1839 return; |
| 1780 } | 1840 } |
| 1781 case naclbitc::FUNC_CODE_INST_BINOP: { | 1841 case naclbitc::FUNC_CODE_INST_BINOP: { |
| 1782 // BINOP: [opval, opval, opcode] | 1842 // BINOP: [opval, opval, opcode] |
| 1783 if (!isValidRecordSize(3, "function block binop")) | 1843 if (!isValidRecordSize(3, "binop")) |
| 1784 return; | 1844 return; |
| 1785 Ice::Operand *Op1 = getRelativeOperand(Values[0], BaseIndex); | 1845 Ice::Operand *Op1 = getRelativeOperand(Values[0], BaseIndex); |
| 1786 Ice::Operand *Op2 = getRelativeOperand(Values[1], BaseIndex); | 1846 Ice::Operand *Op2 = getRelativeOperand(Values[1], BaseIndex); |
| 1787 if (isIRGenerationDisabled()) { | 1847 if (isIRGenerationDisabled()) { |
| 1788 assert(Op1 == nullptr && Op2 == nullptr); | 1848 assert(Op1 == nullptr && Op2 == nullptr); |
| 1789 setNextLocalInstIndex(nullptr); | 1849 setNextLocalInstIndex(nullptr); |
| 1790 return; | 1850 return; |
| 1791 } | 1851 } |
| 1792 Ice::Type Type1 = Op1->getType(); | 1852 Ice::Type Type1 = Op1->getType(); |
| 1793 Ice::Type Type2 = Op2->getType(); | 1853 Ice::Type Type2 = Op2->getType(); |
| 1794 if (Type1 != Type2) { | 1854 if (Type1 != Type2) { |
| 1795 std::string Buffer; | 1855 std::string Buffer; |
| 1796 raw_string_ostream StrBuf(Buffer); | 1856 raw_string_ostream StrBuf(Buffer); |
| 1797 StrBuf << "Binop argument types differ: " << Type1 << " and " << Type2; | 1857 StrBuf << "Binop argument types differ: " << Type1 << " and " << Type2; |
| 1798 Error(StrBuf.str()); | 1858 Error(StrBuf.str()); |
| 1799 appendErrorInstruction(Type1); | 1859 appendErrorInstruction(Type1); |
| 1800 return; | 1860 return; |
| 1801 } | 1861 } |
| 1802 | 1862 |
| 1803 Ice::InstArithmetic::OpKind Opcode; | 1863 Ice::InstArithmetic::OpKind Opcode; |
| 1804 if (!convertBinopOpcode(Values[2], Type1, Opcode)) | 1864 if (!convertBinopOpcode(Values[2], Type1, Opcode)) |
| 1805 return; | 1865 return; |
| 1806 CurrentNode->appendInst(Ice::InstArithmetic::create( | 1866 CurrentNode->appendInst(Ice::InstArithmetic::create( |
| 1807 Func, Opcode, getNextInstVar(Type1), Op1, Op2)); | 1867 Func, Opcode, getNextInstVar(Type1), Op1, Op2)); |
| 1808 return; | 1868 return; |
| 1809 } | 1869 } |
| 1810 case naclbitc::FUNC_CODE_INST_CAST: { | 1870 case naclbitc::FUNC_CODE_INST_CAST: { |
| 1811 // CAST: [opval, destty, castopc] | 1871 // CAST: [opval, destty, castopc] |
| 1812 if (!isValidRecordSize(3, "function block cast")) | 1872 if (!isValidRecordSize(3, "cast")) |
| 1813 return; | 1873 return; |
| 1814 Ice::Operand *Src = getRelativeOperand(Values[0], BaseIndex); | 1874 Ice::Operand *Src = getRelativeOperand(Values[0], BaseIndex); |
| 1815 Ice::Type CastType = Context->getSimpleTypeByID(Values[1]); | 1875 Ice::Type CastType = Context->getSimpleTypeByID(Values[1]); |
| 1816 Instruction::CastOps LLVMCastOp; | 1876 Instruction::CastOps LLVMCastOp; |
| 1817 Ice::InstCast::OpKind CastKind; | 1877 Ice::InstCast::OpKind CastKind; |
| 1818 if (!naclbitc::DecodeCastOpcode(Values[2], LLVMCastOp) || | 1878 if (!naclbitc::DecodeCastOpcode(Values[2], LLVMCastOp) || |
| 1819 !convertLLVMCastOpToIceOp(LLVMCastOp, CastKind)) { | 1879 !convertLLVMCastOpToIceOp(LLVMCastOp, CastKind)) { |
| 1820 std::string Buffer; | 1880 std::string Buffer; |
| 1821 raw_string_ostream StrBuf(Buffer); | 1881 raw_string_ostream StrBuf(Buffer); |
| 1822 StrBuf << "Cast opcode not understood: " << Values[2]; | 1882 StrBuf << "Cast opcode not understood: " << Values[2]; |
| (...skipping 16 matching lines...) Expand all Loading... | |
| 1839 Error(StrBuf.str()); | 1899 Error(StrBuf.str()); |
| 1840 appendErrorInstruction(CastType); | 1900 appendErrorInstruction(CastType); |
| 1841 return; | 1901 return; |
| 1842 } | 1902 } |
| 1843 CurrentNode->appendInst( | 1903 CurrentNode->appendInst( |
| 1844 Ice::InstCast::create(Func, CastKind, getNextInstVar(CastType), Src)); | 1904 Ice::InstCast::create(Func, CastKind, getNextInstVar(CastType), Src)); |
| 1845 return; | 1905 return; |
| 1846 } | 1906 } |
| 1847 case naclbitc::FUNC_CODE_INST_VSELECT: { | 1907 case naclbitc::FUNC_CODE_INST_VSELECT: { |
| 1848 // VSELECT: [opval, opval, pred] | 1908 // VSELECT: [opval, opval, pred] |
| 1849 if (!isValidRecordSize(3, "function block select")) | 1909 if (!isValidRecordSize(3, "select")) |
| 1850 return; | 1910 return; |
| 1851 Ice::Operand *ThenVal = getRelativeOperand(Values[0], BaseIndex); | 1911 Ice::Operand *ThenVal = getRelativeOperand(Values[0], BaseIndex); |
| 1852 Ice::Operand *ElseVal = getRelativeOperand(Values[1], BaseIndex); | 1912 Ice::Operand *ElseVal = getRelativeOperand(Values[1], BaseIndex); |
| 1853 Ice::Operand *CondVal = getRelativeOperand(Values[2], BaseIndex); | 1913 Ice::Operand *CondVal = getRelativeOperand(Values[2], BaseIndex); |
| 1854 if (isIRGenerationDisabled()) { | 1914 if (isIRGenerationDisabled()) { |
| 1855 assert(ThenVal == nullptr && ElseVal == nullptr && CondVal == nullptr); | 1915 assert(ThenVal == nullptr && ElseVal == nullptr && CondVal == nullptr); |
| 1856 setNextLocalInstIndex(nullptr); | 1916 setNextLocalInstIndex(nullptr); |
| 1857 return; | 1917 return; |
| 1858 } | 1918 } |
| 1859 Ice::Type ThenType = ThenVal->getType(); | 1919 Ice::Type ThenType = ThenVal->getType(); |
| (...skipping 28 matching lines...) Expand all Loading... | |
| 1888 Error(StrBuf.str()); | 1948 Error(StrBuf.str()); |
| 1889 appendErrorInstruction(ThenType); | 1949 appendErrorInstruction(ThenType); |
| 1890 return; | 1950 return; |
| 1891 } | 1951 } |
| 1892 CurrentNode->appendInst(Ice::InstSelect::create( | 1952 CurrentNode->appendInst(Ice::InstSelect::create( |
| 1893 Func, getNextInstVar(ThenType), CondVal, ThenVal, ElseVal)); | 1953 Func, getNextInstVar(ThenType), CondVal, ThenVal, ElseVal)); |
| 1894 return; | 1954 return; |
| 1895 } | 1955 } |
| 1896 case naclbitc::FUNC_CODE_INST_EXTRACTELT: { | 1956 case naclbitc::FUNC_CODE_INST_EXTRACTELT: { |
| 1897 // EXTRACTELT: [opval, opval] | 1957 // EXTRACTELT: [opval, opval] |
| 1898 if (!isValidRecordSize(2, "function block extract element")) | 1958 if (!isValidRecordSize(2, "extract element")) |
| 1899 return; | 1959 return; |
| 1900 Ice::Operand *Vec = getRelativeOperand(Values[0], BaseIndex); | 1960 Ice::Operand *Vec = getRelativeOperand(Values[0], BaseIndex); |
| 1901 Ice::Operand *Index = getRelativeOperand(Values[1], BaseIndex); | 1961 Ice::Operand *Index = getRelativeOperand(Values[1], BaseIndex); |
| 1902 if (isIRGenerationDisabled()) { | 1962 if (isIRGenerationDisabled()) { |
| 1903 assert(Vec == nullptr && Index == nullptr); | 1963 assert(Vec == nullptr && Index == nullptr); |
| 1904 setNextLocalInstIndex(nullptr); | 1964 setNextLocalInstIndex(nullptr); |
| 1905 return; | 1965 return; |
| 1906 } | 1966 } |
| 1907 Ice::Type VecType = Vec->getType(); | 1967 Ice::Type VecType = Vec->getType(); |
| 1908 VectorIndexCheckValue IndexCheckValue = validateVectorIndex(Vec, Index); | 1968 VectorIndexCheckValue IndexCheckValue = validateVectorIndex(Vec, Index); |
| 1909 if (IndexCheckValue != VectorIndexValid) { | 1969 if (IndexCheckValue != VectorIndexValid) { |
| 1910 std::string Buffer; | 1970 std::string Buffer; |
| 1911 raw_string_ostream StrBuf(Buffer); | 1971 raw_string_ostream StrBuf(Buffer); |
| 1912 dumpVectorIndexCheckValue(StrBuf, IndexCheckValue); | 1972 dumpVectorIndexCheckValue(StrBuf, IndexCheckValue); |
| 1913 StrBuf << ": extractelement " << VecType << " " << *Vec << ", " | 1973 StrBuf << ": extractelement " << VecType << " " << *Vec << ", " |
| 1914 << Index->getType() << " " << *Index; | 1974 << Index->getType() << " " << *Index; |
| 1915 Error(StrBuf.str()); | 1975 Error(StrBuf.str()); |
| 1916 appendErrorInstruction(VecType); | 1976 appendErrorInstruction(VecType); |
| 1917 return; | 1977 return; |
| 1918 } | 1978 } |
| 1919 CurrentNode->appendInst(Ice::InstExtractElement::create( | 1979 CurrentNode->appendInst(Ice::InstExtractElement::create( |
| 1920 Func, getNextInstVar(typeElementType(VecType)), Vec, Index)); | 1980 Func, getNextInstVar(typeElementType(VecType)), Vec, Index)); |
| 1921 return; | 1981 return; |
| 1922 } | 1982 } |
| 1923 case naclbitc::FUNC_CODE_INST_INSERTELT: { | 1983 case naclbitc::FUNC_CODE_INST_INSERTELT: { |
| 1924 // INSERTELT: [opval, opval, opval] | 1984 // INSERTELT: [opval, opval, opval] |
| 1925 if (!isValidRecordSize(3, "function block insert element")) | 1985 if (!isValidRecordSize(3, "insert element")) |
| 1926 return; | 1986 return; |
| 1927 Ice::Operand *Vec = getRelativeOperand(Values[0], BaseIndex); | 1987 Ice::Operand *Vec = getRelativeOperand(Values[0], BaseIndex); |
| 1928 Ice::Operand *Elt = getRelativeOperand(Values[1], BaseIndex); | 1988 Ice::Operand *Elt = getRelativeOperand(Values[1], BaseIndex); |
| 1929 Ice::Operand *Index = getRelativeOperand(Values[2], BaseIndex); | 1989 Ice::Operand *Index = getRelativeOperand(Values[2], BaseIndex); |
| 1930 if (isIRGenerationDisabled()) { | 1990 if (isIRGenerationDisabled()) { |
| 1931 assert(Vec == nullptr && Elt == nullptr && Index == nullptr); | 1991 assert(Vec == nullptr && Elt == nullptr && Index == nullptr); |
| 1932 setNextLocalInstIndex(nullptr); | 1992 setNextLocalInstIndex(nullptr); |
| 1933 return; | 1993 return; |
| 1934 } | 1994 } |
| 1935 Ice::Type VecType = Vec->getType(); | 1995 Ice::Type VecType = Vec->getType(); |
| 1936 VectorIndexCheckValue IndexCheckValue = validateVectorIndex(Vec, Index); | 1996 VectorIndexCheckValue IndexCheckValue = validateVectorIndex(Vec, Index); |
| 1937 if (IndexCheckValue != VectorIndexValid) { | 1997 if (IndexCheckValue != VectorIndexValid) { |
| 1938 std::string Buffer; | 1998 std::string Buffer; |
| 1939 raw_string_ostream StrBuf(Buffer); | 1999 raw_string_ostream StrBuf(Buffer); |
| 1940 dumpVectorIndexCheckValue(StrBuf, IndexCheckValue); | 2000 dumpVectorIndexCheckValue(StrBuf, IndexCheckValue); |
| 1941 StrBuf << ": insertelement " << VecType << " " << *Vec << ", " | 2001 StrBuf << ": insertelement " << VecType << " " << *Vec << ", " |
| 1942 << Elt->getType() << " " << *Elt << ", " << Index->getType() << " " | 2002 << Elt->getType() << " " << *Elt << ", " << Index->getType() << " " |
| 1943 << *Index; | 2003 << *Index; |
| 1944 Error(StrBuf.str()); | 2004 Error(StrBuf.str()); |
| 1945 appendErrorInstruction(Elt->getType()); | 2005 appendErrorInstruction(Elt->getType()); |
| 1946 return; | 2006 return; |
| 1947 } | 2007 } |
| 1948 CurrentNode->appendInst(Ice::InstInsertElement::create( | 2008 CurrentNode->appendInst(Ice::InstInsertElement::create( |
| 1949 Func, getNextInstVar(VecType), Vec, Elt, Index)); | 2009 Func, getNextInstVar(VecType), Vec, Elt, Index)); |
| 1950 return; | 2010 return; |
| 1951 } | 2011 } |
| 1952 case naclbitc::FUNC_CODE_INST_CMP2: { | 2012 case naclbitc::FUNC_CODE_INST_CMP2: { |
| 1953 // CMP2: [opval, opval, pred] | 2013 // CMP2: [opval, opval, pred] |
| 1954 if (!isValidRecordSize(3, "function block compare")) | 2014 if (!isValidRecordSize(3, "compare")) |
| 1955 return; | 2015 return; |
| 1956 Ice::Operand *Op1 = getRelativeOperand(Values[0], BaseIndex); | 2016 Ice::Operand *Op1 = getRelativeOperand(Values[0], BaseIndex); |
| 1957 Ice::Operand *Op2 = getRelativeOperand(Values[1], BaseIndex); | 2017 Ice::Operand *Op2 = getRelativeOperand(Values[1], BaseIndex); |
| 1958 if (isIRGenerationDisabled()) { | 2018 if (isIRGenerationDisabled()) { |
| 1959 assert(Op1 == nullptr && Op2 == nullptr); | 2019 assert(Op1 == nullptr && Op2 == nullptr); |
| 1960 setNextLocalInstIndex(nullptr); | 2020 setNextLocalInstIndex(nullptr); |
| 1961 return; | 2021 return; |
| 1962 } | 2022 } |
| 1963 Ice::Type Op1Type = Op1->getType(); | 2023 Ice::Type Op1Type = Op1->getType(); |
| 1964 Ice::Type Op2Type = Op2->getType(); | 2024 Ice::Type Op2Type = Op2->getType(); |
| (...skipping 45 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 2010 raw_string_ostream StrBuf(Buffer); | 2070 raw_string_ostream StrBuf(Buffer); |
| 2011 StrBuf << "Compare on type not understood: " << Op1Type; | 2071 StrBuf << "Compare on type not understood: " << Op1Type; |
| 2012 Error(StrBuf.str()); | 2072 Error(StrBuf.str()); |
| 2013 appendErrorInstruction(DestType); | 2073 appendErrorInstruction(DestType); |
| 2014 return; | 2074 return; |
| 2015 } | 2075 } |
| 2016 return; | 2076 return; |
| 2017 } | 2077 } |
| 2018 case naclbitc::FUNC_CODE_INST_RET: { | 2078 case naclbitc::FUNC_CODE_INST_RET: { |
| 2019 // RET: [opval?] | 2079 // RET: [opval?] |
| 2020 if (!isValidRecordSizeInRange(0, 1, "function block ret")) | 2080 if (!isValidRecordSizeInRange(0, 1, "return")) |
| 2021 return; | 2081 return; |
| 2022 if (Values.empty()) { | 2082 if (Values.empty()) { |
| 2023 if (isIRGenerationDisabled()) | 2083 if (isIRGenerationDisabled()) |
| 2024 return; | 2084 return; |
| 2025 CurrentNode->appendInst(Ice::InstRet::create(Func)); | 2085 CurrentNode->appendInst(Ice::InstRet::create(Func)); |
| 2026 } else { | 2086 } else { |
| 2027 Ice::Operand *RetVal = getRelativeOperand(Values[0], BaseIndex); | 2087 Ice::Operand *RetVal = getRelativeOperand(Values[0], BaseIndex); |
| 2028 if (isIRGenerationDisabled()) { | 2088 if (isIRGenerationDisabled()) { |
| 2029 assert(RetVal == nullptr); | 2089 assert(RetVal == nullptr); |
| 2030 return; | 2090 return; |
| 2031 } | 2091 } |
| 2032 CurrentNode->appendInst(Ice::InstRet::create(Func, RetVal)); | 2092 CurrentNode->appendInst(Ice::InstRet::create(Func, RetVal)); |
| 2033 } | 2093 } |
| 2034 InstIsTerminating = true; | 2094 InstIsTerminating = true; |
| 2035 return; | 2095 return; |
| 2036 } | 2096 } |
| 2037 case naclbitc::FUNC_CODE_INST_BR: { | 2097 case naclbitc::FUNC_CODE_INST_BR: { |
| 2038 if (Values.size() == 1) { | 2098 if (Values.size() == 1) { |
| 2039 // BR: [bb#] | 2099 // BR: [bb#] |
| 2040 if (isIRGenerationDisabled()) | 2100 if (isIRGenerationDisabled()) |
| 2041 return; | 2101 return; |
| 2042 Ice::CfgNode *Block = getBranchBasicBlock(Values[0]); | 2102 Ice::CfgNode *Block = getBranchBasicBlock(Values[0]); |
| 2043 if (Block == nullptr) | 2103 if (Block == nullptr) |
| 2044 return; | 2104 return; |
| 2045 CurrentNode->appendInst(Ice::InstBr::create(Func, Block)); | 2105 CurrentNode->appendInst(Ice::InstBr::create(Func, Block)); |
| 2046 } else { | 2106 } else { |
| 2047 // BR: [bb#, bb#, opval] | 2107 // BR: [bb#, bb#, opval] |
| 2048 if (!isValidRecordSize(3, "function block branch")) | 2108 if (!isValidRecordSize(3, "branch")) |
| 2049 return; | 2109 return; |
| 2050 Ice::Operand *Cond = getRelativeOperand(Values[2], BaseIndex); | 2110 Ice::Operand *Cond = getRelativeOperand(Values[2], BaseIndex); |
| 2051 if (isIRGenerationDisabled()) { | 2111 if (isIRGenerationDisabled()) { |
| 2052 assert(Cond == nullptr); | 2112 assert(Cond == nullptr); |
| 2053 return; | 2113 return; |
| 2054 } | 2114 } |
| 2055 if (Cond->getType() != Ice::IceType_i1) { | 2115 if (Cond->getType() != Ice::IceType_i1) { |
| 2056 std::string Buffer; | 2116 std::string Buffer; |
| 2057 raw_string_ostream StrBuf(Buffer); | 2117 raw_string_ostream StrBuf(Buffer); |
| 2058 StrBuf << "Branch condition " << *Cond << " not i1. Found: " | 2118 StrBuf << "Branch condition " << *Cond << " not i1. Found: " |
| (...skipping 13 matching lines...) Expand all Loading... | |
| 2072 } | 2132 } |
| 2073 case naclbitc::FUNC_CODE_INST_SWITCH: { | 2133 case naclbitc::FUNC_CODE_INST_SWITCH: { |
| 2074 // SWITCH: [Condty, Cond, BbIndex, NumCases Case ...] | 2134 // SWITCH: [Condty, Cond, BbIndex, NumCases Case ...] |
| 2075 // where Case = [1, 1, Value, BbIndex]. | 2135 // where Case = [1, 1, Value, BbIndex]. |
| 2076 // | 2136 // |
| 2077 // Note: Unlike most instructions, we don't infer the type of | 2137 // Note: Unlike most instructions, we don't infer the type of |
| 2078 // Cond, but provide it as a separate field. There are also | 2138 // Cond, but provide it as a separate field. There are also |
| 2079 // unnecesary data fields (i.e. constants 1). These were not | 2139 // unnecesary data fields (i.e. constants 1). These were not |
| 2080 // cleaned up in PNaCl bitcode because the bitcode format was | 2140 // cleaned up in PNaCl bitcode because the bitcode format was |
| 2081 // already frozen when the problem was noticed. | 2141 // already frozen when the problem was noticed. |
| 2082 if (!isValidRecordSizeAtLeast(4, "function block switch")) | 2142 if (!isValidRecordSizeAtLeast(4, "switch")) |
| 2083 return; | 2143 return; |
| 2084 | 2144 |
| 2085 Ice::Type CondTy = Context->getSimpleTypeByID(Values[0]); | 2145 Ice::Type CondTy = Context->getSimpleTypeByID(Values[0]); |
| 2086 if (!Ice::isScalarIntegerType(CondTy)) { | 2146 if (!Ice::isScalarIntegerType(CondTy)) { |
| 2087 std::string Buffer; | 2147 std::string Buffer; |
| 2088 raw_string_ostream StrBuf(Buffer); | 2148 raw_string_ostream StrBuf(Buffer); |
| 2089 StrBuf << "Case condition must be non-wide integer. Found: " << CondTy; | 2149 StrBuf << "Case condition must be non-wide integer. Found: " << CondTy; |
| 2090 Error(StrBuf.str()); | 2150 Error(StrBuf.str()); |
| 2091 return; | 2151 return; |
| 2092 } | 2152 } |
| 2093 Ice::SizeT BitWidth = Ice::getScalarIntBitWidth(CondTy); | 2153 Ice::SizeT BitWidth = Ice::getScalarIntBitWidth(CondTy); |
| 2094 Ice::Operand *Cond = getRelativeOperand(Values[1], BaseIndex); | 2154 Ice::Operand *Cond = getRelativeOperand(Values[1], BaseIndex); |
| 2095 | 2155 |
| 2096 const bool isIRGenDisabled = isIRGenerationDisabled(); | 2156 const bool isIRGenDisabled = isIRGenerationDisabled(); |
| 2097 if (isIRGenDisabled) { | 2157 if (isIRGenDisabled) { |
| 2098 assert(Cond == nullptr); | 2158 assert(Cond == nullptr); |
| 2099 } else if (CondTy != Cond->getType()) { | 2159 } else if (CondTy != Cond->getType()) { |
| 2100 std::string Buffer; | 2160 std::string Buffer; |
| 2101 raw_string_ostream StrBuf(Buffer); | 2161 raw_string_ostream StrBuf(Buffer); |
| 2102 StrBuf << "Case condition expects type " << CondTy | 2162 StrBuf << "Case condition expects type " << CondTy |
| 2103 << ". Found: " << Cond->getType(); | 2163 << ". Found: " << Cond->getType(); |
| 2104 Error(StrBuf.str()); | 2164 Error(StrBuf.str()); |
| 2105 return; | 2165 return; |
| 2106 } | 2166 } |
| 2107 Ice::CfgNode *DefaultLabel = | 2167 Ice::CfgNode *DefaultLabel = |
| 2108 isIRGenDisabled ? nullptr : getBranchBasicBlock(Values[2]); | 2168 isIRGenDisabled ? nullptr : getBranchBasicBlock(Values[2]); |
| 2109 unsigned NumCases = Values[3]; | 2169 unsigned NumCases = Values[3]; |
| 2110 | 2170 |
| 2111 // Now recognize each of the cases. | 2171 // Now recognize each of the cases. |
| 2112 if (!isValidRecordSize(4 + NumCases * 4, "Function block switch")) | 2172 if (!isValidRecordSize(4 + NumCases * 4, "switch")) |
| 2113 return; | 2173 return; |
| 2114 Ice::InstSwitch *Switch = | 2174 Ice::InstSwitch *Switch = |
| 2115 isIRGenDisabled ? nullptr : Ice::InstSwitch::create(Func, NumCases, | 2175 isIRGenDisabled ? nullptr : Ice::InstSwitch::create(Func, NumCases, |
| 2116 Cond, DefaultLabel); | 2176 Cond, DefaultLabel); |
| 2117 unsigned ValCaseIndex = 4; // index to beginning of case entry. | 2177 unsigned ValCaseIndex = 4; // index to beginning of case entry. |
| 2118 for (unsigned CaseIndex = 0; CaseIndex < NumCases; | 2178 for (unsigned CaseIndex = 0; CaseIndex < NumCases; |
| 2119 ++CaseIndex, ValCaseIndex += 4) { | 2179 ++CaseIndex, ValCaseIndex += 4) { |
| 2120 if (Values[ValCaseIndex] != 1 || Values[ValCaseIndex+1] != 1) { | 2180 if (Values[ValCaseIndex] != 1 || Values[ValCaseIndex+1] != 1) { |
| 2121 std::string Buffer; | 2181 std::string Buffer; |
| 2122 raw_string_ostream StrBuf(Buffer); | 2182 raw_string_ostream StrBuf(Buffer); |
| (...skipping 11 matching lines...) Expand all Loading... | |
| 2134 Switch->addBranch(CaseIndex, Value.getSExtValue(), Label); | 2194 Switch->addBranch(CaseIndex, Value.getSExtValue(), Label); |
| 2135 } | 2195 } |
| 2136 if (isIRGenDisabled) | 2196 if (isIRGenDisabled) |
| 2137 return; | 2197 return; |
| 2138 CurrentNode->appendInst(Switch); | 2198 CurrentNode->appendInst(Switch); |
| 2139 InstIsTerminating = true; | 2199 InstIsTerminating = true; |
| 2140 return; | 2200 return; |
| 2141 } | 2201 } |
| 2142 case naclbitc::FUNC_CODE_INST_UNREACHABLE: { | 2202 case naclbitc::FUNC_CODE_INST_UNREACHABLE: { |
| 2143 // UNREACHABLE: [] | 2203 // UNREACHABLE: [] |
| 2144 if (!isValidRecordSize(0, "function block unreachable")) | 2204 if (!isValidRecordSize(0, "unreachable")) |
| 2145 return; | 2205 return; |
| 2146 if (isIRGenerationDisabled()) | 2206 if (isIRGenerationDisabled()) |
| 2147 return; | 2207 return; |
| 2148 CurrentNode->appendInst( | 2208 CurrentNode->appendInst( |
| 2149 Ice::InstUnreachable::create(Func)); | 2209 Ice::InstUnreachable::create(Func)); |
| 2150 InstIsTerminating = true; | 2210 InstIsTerminating = true; |
| 2151 return; | 2211 return; |
| 2152 } | 2212 } |
| 2153 case naclbitc::FUNC_CODE_INST_PHI: { | 2213 case naclbitc::FUNC_CODE_INST_PHI: { |
| 2154 // PHI: [ty, val1, bb1, ..., valN, bbN] for n >= 2. | 2214 // PHI: [ty, val1, bb1, ..., valN, bbN] for n >= 2. |
| 2155 if (!isValidRecordSizeAtLeast(3, "function block phi")) | 2215 if (!isValidRecordSizeAtLeast(3, "phi")) |
| 2156 return; | 2216 return; |
| 2157 Ice::Type Ty = Context->getSimpleTypeByID(Values[0]); | 2217 Ice::Type Ty = Context->getSimpleTypeByID(Values[0]); |
| 2158 if ((Values.size() & 0x1) == 0) { | 2218 if ((Values.size() & 0x1) == 0) { |
| 2159 // Not an odd number of values. | 2219 // Not an odd number of values. |
| 2160 std::string Buffer; | 2220 std::string Buffer; |
| 2161 raw_string_ostream StrBuf(Buffer); | 2221 raw_string_ostream StrBuf(Buffer); |
| 2162 StrBuf << "function block phi record size not valid: " << Values.size(); | 2222 StrBuf << "function block phi record size not valid: " << Values.size(); |
| 2163 Error(StrBuf.str()); | 2223 Error(StrBuf.str()); |
| 2164 appendErrorInstruction(Ty); | 2224 appendErrorInstruction(Ty); |
| 2165 return; | 2225 return; |
| (...skipping 25 matching lines...) Expand all Loading... | |
| 2191 appendErrorInstruction(Ty); | 2251 appendErrorInstruction(Ty); |
| 2192 return; | 2252 return; |
| 2193 } | 2253 } |
| 2194 Phi->addArgument(Op, getBasicBlock(Values[i + 1])); | 2254 Phi->addArgument(Op, getBasicBlock(Values[i + 1])); |
| 2195 } | 2255 } |
| 2196 CurrentNode->appendInst(Phi); | 2256 CurrentNode->appendInst(Phi); |
| 2197 return; | 2257 return; |
| 2198 } | 2258 } |
| 2199 case naclbitc::FUNC_CODE_INST_ALLOCA: { | 2259 case naclbitc::FUNC_CODE_INST_ALLOCA: { |
| 2200 // ALLOCA: [Size, align] | 2260 // ALLOCA: [Size, align] |
| 2201 if (!isValidRecordSize(2, "function block alloca")) | 2261 if (!isValidRecordSize(2, "alloca")) |
| 2202 return; | 2262 return; |
| 2203 Ice::Operand *ByteCount = getRelativeOperand(Values[0], BaseIndex); | 2263 Ice::Operand *ByteCount = getRelativeOperand(Values[0], BaseIndex); |
| 2204 unsigned Alignment; | 2264 unsigned Alignment; |
| 2205 extractAlignment("Alloca", Values[1], Alignment); | 2265 extractAlignment("Alloca", Values[1], Alignment); |
| 2206 if (isIRGenerationDisabled()) { | 2266 if (isIRGenerationDisabled()) { |
| 2207 assert(ByteCount == nullptr); | 2267 assert(ByteCount == nullptr); |
| 2208 setNextLocalInstIndex(nullptr); | 2268 setNextLocalInstIndex(nullptr); |
| 2209 return; | 2269 return; |
| 2210 } | 2270 } |
| 2211 Ice::Type PtrTy = Context->getIcePointerType(); | 2271 Ice::Type PtrTy = Context->getIcePointerType(); |
| 2212 if (ByteCount->getType() != Ice::IceType_i32) { | 2272 if (ByteCount->getType() != Ice::IceType_i32) { |
| 2213 std::string Buffer; | 2273 std::string Buffer; |
| 2214 raw_string_ostream StrBuf(Buffer); | 2274 raw_string_ostream StrBuf(Buffer); |
| 2215 StrBuf << "Alloca on non-i32 value. Found: " << *ByteCount; | 2275 StrBuf << "Alloca on non-i32 value. Found: " << *ByteCount; |
| 2216 Error(StrBuf.str()); | 2276 Error(StrBuf.str()); |
| 2217 appendErrorInstruction(PtrTy); | 2277 appendErrorInstruction(PtrTy); |
| 2218 return; | 2278 return; |
| 2219 } | 2279 } |
| 2220 CurrentNode->appendInst(Ice::InstAlloca::create(Func, ByteCount, Alignment, | 2280 CurrentNode->appendInst(Ice::InstAlloca::create(Func, ByteCount, Alignment, |
| 2221 getNextInstVar(PtrTy))); | 2281 getNextInstVar(PtrTy))); |
| 2222 return; | 2282 return; |
| 2223 } | 2283 } |
| 2224 case naclbitc::FUNC_CODE_INST_LOAD: { | 2284 case naclbitc::FUNC_CODE_INST_LOAD: { |
| 2225 // LOAD: [address, align, ty] | 2285 // LOAD: [address, align, ty] |
| 2226 if (!isValidRecordSize(3, "function block load")) | 2286 if (!isValidRecordSize(3, "load")) |
| 2227 return; | 2287 return; |
| 2228 Ice::Operand *Address = getRelativeOperand(Values[0], BaseIndex); | 2288 Ice::Operand *Address = getRelativeOperand(Values[0], BaseIndex); |
| 2229 Ice::Type Ty = Context->getSimpleTypeByID(Values[2]); | 2289 Ice::Type Ty = Context->getSimpleTypeByID(Values[2]); |
| 2230 unsigned Alignment; | 2290 unsigned Alignment; |
| 2231 extractAlignment("Load", Values[1], Alignment); | 2291 extractAlignment("Load", Values[1], Alignment); |
| 2232 if (isIRGenerationDisabled()) { | 2292 if (isIRGenerationDisabled()) { |
| 2233 assert(Address == nullptr); | 2293 assert(Address == nullptr); |
| 2234 setNextLocalInstIndex(nullptr); | 2294 setNextLocalInstIndex(nullptr); |
| 2235 return; | 2295 return; |
| 2236 } | 2296 } |
| 2237 if (!isValidPointerType(Address, "Load")) { | 2297 if (!isValidPointerType(Address, "Load")) { |
| 2238 appendErrorInstruction(Ty); | 2298 appendErrorInstruction(Ty); |
| 2239 return; | 2299 return; |
| 2240 } | 2300 } |
| 2241 if (!isValidLoadStoreAlignment(Alignment, Ty, "Load")) { | 2301 if (!isValidLoadStoreAlignment(Alignment, Ty, "Load")) { |
| 2242 appendErrorInstruction(Ty); | 2302 appendErrorInstruction(Ty); |
| 2243 return; | 2303 return; |
| 2244 } | 2304 } |
| 2245 CurrentNode->appendInst( | 2305 CurrentNode->appendInst( |
| 2246 Ice::InstLoad::create(Func, getNextInstVar(Ty), Address, Alignment)); | 2306 Ice::InstLoad::create(Func, getNextInstVar(Ty), Address, Alignment)); |
| 2247 return; | 2307 return; |
| 2248 } | 2308 } |
| 2249 case naclbitc::FUNC_CODE_INST_STORE: { | 2309 case naclbitc::FUNC_CODE_INST_STORE: { |
| 2250 // STORE: [address, value, align] | 2310 // STORE: [address, value, align] |
| 2251 if (!isValidRecordSize(3, "function block store")) | 2311 if (!isValidRecordSize(3, "store")) |
| 2252 return; | 2312 return; |
| 2253 Ice::Operand *Address = getRelativeOperand(Values[0], BaseIndex); | 2313 Ice::Operand *Address = getRelativeOperand(Values[0], BaseIndex); |
| 2254 Ice::Operand *Value = getRelativeOperand(Values[1], BaseIndex); | 2314 Ice::Operand *Value = getRelativeOperand(Values[1], BaseIndex); |
| 2255 unsigned Alignment; | 2315 unsigned Alignment; |
| 2256 extractAlignment("Store", Values[2], Alignment); | 2316 extractAlignment("Store", Values[2], Alignment); |
| 2257 if (isIRGenerationDisabled()) { | 2317 if (isIRGenerationDisabled()) { |
| 2258 assert(Address == nullptr && Value == nullptr); | 2318 assert(Address == nullptr && Value == nullptr); |
| 2259 return; | 2319 return; |
| 2260 } | 2320 } |
| 2261 if (!isValidPointerType(Address, "Store")) | 2321 if (!isValidPointerType(Address, "Store")) |
| (...skipping 11 matching lines...) Expand all Loading... | |
| 2273 // | 2333 // |
| 2274 // Note: The difference between CALL and CALL_INDIRECT is that | 2334 // Note: The difference between CALL and CALL_INDIRECT is that |
| 2275 // CALL has a reference to an explicit function declaration, while | 2335 // CALL has a reference to an explicit function declaration, while |
| 2276 // the CALL_INDIRECT is just an address. For CALL, we can infer | 2336 // the CALL_INDIRECT is just an address. For CALL, we can infer |
| 2277 // the return type by looking up the type signature associated | 2337 // the return type by looking up the type signature associated |
| 2278 // with the function declaration. For CALL_INDIRECT we can only | 2338 // with the function declaration. For CALL_INDIRECT we can only |
| 2279 // infer the type signature via argument types, and the | 2339 // infer the type signature via argument types, and the |
| 2280 // corresponding return type stored in CALL_INDIRECT record. | 2340 // corresponding return type stored in CALL_INDIRECT record. |
| 2281 Ice::SizeT ParamsStartIndex = 2; | 2341 Ice::SizeT ParamsStartIndex = 2; |
| 2282 if (Record.GetCode() == naclbitc::FUNC_CODE_INST_CALL) { | 2342 if (Record.GetCode() == naclbitc::FUNC_CODE_INST_CALL) { |
| 2283 if (!isValidRecordSizeAtLeast(2, "function block call")) | 2343 if (!isValidRecordSizeAtLeast(2, "call")) |
| 2284 return; | 2344 return; |
| 2285 } else { | 2345 } else { |
| 2286 if (!isValidRecordSizeAtLeast(3, "function block call indirect")) | 2346 if (!isValidRecordSizeAtLeast(3, "call indirect")) |
| 2287 return; | 2347 return; |
| 2288 ParamsStartIndex = 3; | 2348 ParamsStartIndex = 3; |
| 2289 } | 2349 } |
| 2290 | 2350 |
| 2291 // Extract out the called function and its return type. | 2351 // Extract out the called function and its return type. |
| 2292 uint32_t CalleeIndex = convertRelativeToAbsIndex(Values[1], BaseIndex); | 2352 uint32_t CalleeIndex = convertRelativeToAbsIndex(Values[1], BaseIndex); |
| 2293 Ice::Operand *Callee = getOperand(CalleeIndex); | 2353 Ice::Operand *Callee = getOperand(CalleeIndex); |
| 2294 Ice::Type ReturnType = Ice::IceType_void; | 2354 Ice::Type ReturnType = Ice::IceType_void; |
| 2295 const Ice::Intrinsics::FullIntrinsicInfo *IntrinsicInfo = nullptr; | 2355 const Ice::Intrinsics::FullIntrinsicInfo *IntrinsicInfo = nullptr; |
| 2296 if (Record.GetCode() == naclbitc::FUNC_CODE_INST_CALL) { | 2356 if (Record.GetCode() == naclbitc::FUNC_CODE_INST_CALL) { |
| (...skipping 108 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 2405 break; | 2465 break; |
| 2406 } | 2466 } |
| 2407 } | 2467 } |
| 2408 } | 2468 } |
| 2409 | 2469 |
| 2410 CurrentNode->appendInst(Inst); | 2470 CurrentNode->appendInst(Inst); |
| 2411 return; | 2471 return; |
| 2412 } | 2472 } |
| 2413 case naclbitc::FUNC_CODE_INST_FORWARDTYPEREF: { | 2473 case naclbitc::FUNC_CODE_INST_FORWARDTYPEREF: { |
| 2414 // FORWARDTYPEREF: [opval, ty] | 2474 // FORWARDTYPEREF: [opval, ty] |
| 2415 if (!isValidRecordSize(2, "function block forward type ref")) | 2475 if (!isValidRecordSize(2, "forward type ref")) |
| 2416 return; | 2476 return; |
| 2417 Ice::Type OpType = Context->getSimpleTypeByID(Values[1]); | 2477 Ice::Type OpType = Context->getSimpleTypeByID(Values[1]); |
| 2418 setOperand(Values[0], | 2478 setOperand(Values[0], |
| 2419 isIRGenerationDisabled() ? nullptr : createInstVar(OpType)); | 2479 isIRGenerationDisabled() ? nullptr : createInstVar(OpType)); |
| 2420 return; | 2480 return; |
| 2421 } | 2481 } |
| 2422 default: | 2482 default: |
| 2423 // Generate error message! | 2483 // Generate error message! |
| 2424 BlockParserBaseClass::ProcessRecord(); | 2484 BlockParserBaseClass::ProcessRecord(); |
| 2425 return; | 2485 return; |
| 2426 } | 2486 } |
| 2427 } | 2487 } |
| 2428 | 2488 |
| 2429 /// Parses constants within a function block. | 2489 /// Parses constants within a function block. |
| 2430 class ConstantsParser : public BlockParserBaseClass { | 2490 class ConstantsParser : public BlockParserBaseClass { |
| 2431 ConstantsParser(const ConstantsParser &) = delete; | 2491 ConstantsParser(const ConstantsParser &) = delete; |
| 2432 ConstantsParser &operator=(const ConstantsParser &) = delete; | 2492 ConstantsParser &operator=(const ConstantsParser &) = delete; |
| 2433 | 2493 |
| 2434 public: | 2494 public: |
| 2435 ConstantsParser(unsigned BlockID, FunctionParser *FuncParser) | 2495 ConstantsParser(unsigned BlockID, FunctionParser *FuncParser) |
| 2436 : BlockParserBaseClass(BlockID, FuncParser), | 2496 : BlockParserBaseClass(BlockID, FuncParser), |
| 2437 Timer(Ice::TimerStack::TT_parseConstants, getTranslator().getContext()), | 2497 Timer(Ice::TimerStack::TT_parseConstants, getTranslator().getContext()), |
| 2438 FuncParser(FuncParser), NextConstantType(Ice::IceType_void) {} | 2498 FuncParser(FuncParser), NextConstantType(Ice::IceType_void) {} |
| 2439 | 2499 |
| 2440 ~ConstantsParser() override {} | 2500 ~ConstantsParser() override {} |
| 2441 | 2501 |
| 2502 const char *getBlockName() const override { return "constants"; } | |
| 2503 | |
| 2442 private: | 2504 private: |
| 2443 Ice::TimerMarker Timer; | 2505 Ice::TimerMarker Timer; |
| 2444 // The parser of the function block this constants block appears in. | 2506 // The parser of the function block this constants block appears in. |
| 2445 FunctionParser *FuncParser; | 2507 FunctionParser *FuncParser; |
| 2446 // The type to use for succeeding constants. | 2508 // The type to use for succeeding constants. |
| 2447 Ice::Type NextConstantType; | 2509 Ice::Type NextConstantType; |
| 2448 | 2510 |
| 2449 void ProcessRecord() override; | 2511 void ProcessRecord() override; |
| 2450 | 2512 |
| 2451 Ice::GlobalContext *getContext() { return getTranslator().getContext(); } | 2513 Ice::GlobalContext *getContext() { return getTranslator().getContext(); } |
| 2452 | 2514 |
| 2453 // Returns true if the type to use for succeeding constants is defined. | 2515 // Returns true if the type to use for succeeding constants is defined. |
| 2454 // If false, also generates an error message. | 2516 // If false, also generates an error message. |
| 2455 bool isValidNextConstantType() { | 2517 bool isValidNextConstantType() { |
| 2456 if (NextConstantType != Ice::IceType_void) | 2518 if (NextConstantType != Ice::IceType_void) |
| 2457 return true; | 2519 return true; |
| 2458 Error("Constant record not preceded by set type record"); | 2520 Error("Constant record not preceded by set type record"); |
| 2459 return false; | 2521 return false; |
| 2460 } | 2522 } |
| 2461 }; | 2523 }; |
| 2462 | 2524 |
| 2463 void ConstantsParser::ProcessRecord() { | 2525 void ConstantsParser::ProcessRecord() { |
| 2464 const NaClBitcodeRecord::RecordVector &Values = Record.GetValues(); | 2526 const NaClBitcodeRecord::RecordVector &Values = Record.GetValues(); |
| 2465 switch (Record.GetCode()) { | 2527 switch (Record.GetCode()) { |
| 2466 case naclbitc::CST_CODE_SETTYPE: { | 2528 case naclbitc::CST_CODE_SETTYPE: { |
| 2467 // SETTYPE: [typeid] | 2529 // SETTYPE: [typeid] |
| 2468 if (!isValidRecordSize(1, "constants block set type")) | 2530 if (!isValidRecordSize(1, "constants block set type")) |
|
jvoung (off chromium)
2014/11/24 18:45:53
Just "set type" now
Karl
2014/12/01 21:39:33
Done.
| |
| 2469 return; | 2531 return; |
| 2470 NextConstantType = Context->getSimpleTypeByID(Values[0]); | 2532 NextConstantType = Context->getSimpleTypeByID(Values[0]); |
| 2471 if (NextConstantType == Ice::IceType_void) | 2533 if (NextConstantType == Ice::IceType_void) |
| 2472 Error("constants block set type not allowed for void type"); | 2534 Error("constants block set type not allowed for void type"); |
| 2473 return; | 2535 return; |
| 2474 } | 2536 } |
| 2475 case naclbitc::CST_CODE_UNDEF: { | 2537 case naclbitc::CST_CODE_UNDEF: { |
| 2476 // UNDEF | 2538 // UNDEF |
| 2477 if (!isValidRecordSize(0, "constants block undef")) | 2539 if (!isValidRecordSize(0, "undef")) |
| 2478 return; | 2540 return; |
| 2479 if (!isValidNextConstantType()) | 2541 if (!isValidNextConstantType()) |
| 2480 return; | 2542 return; |
| 2481 if (isIRGenerationDisabled()) { | 2543 if (isIRGenerationDisabled()) { |
| 2482 FuncParser->setNextConstantID(nullptr); | 2544 FuncParser->setNextConstantID(nullptr); |
| 2483 return; | 2545 return; |
| 2484 } | 2546 } |
| 2485 FuncParser->setNextConstantID( | 2547 FuncParser->setNextConstantID( |
| 2486 getContext()->getConstantUndef(NextConstantType)); | 2548 getContext()->getConstantUndef(NextConstantType)); |
| 2487 return; | 2549 return; |
| 2488 } | 2550 } |
| 2489 case naclbitc::CST_CODE_INTEGER: { | 2551 case naclbitc::CST_CODE_INTEGER: { |
| 2490 // INTEGER: [intval] | 2552 // INTEGER: [intval] |
| 2491 if (!isValidRecordSize(1, "constants block integer")) | 2553 if (!isValidRecordSize(1, "integer")) |
| 2492 return; | 2554 return; |
| 2493 if (!isValidNextConstantType()) | 2555 if (!isValidNextConstantType()) |
| 2494 return; | 2556 return; |
| 2495 if (isIRGenerationDisabled()) { | 2557 if (isIRGenerationDisabled()) { |
| 2496 FuncParser->setNextConstantID(nullptr); | 2558 FuncParser->setNextConstantID(nullptr); |
| 2497 return; | 2559 return; |
| 2498 } | 2560 } |
| 2499 if (IntegerType *IType = dyn_cast<IntegerType>( | 2561 if (IntegerType *IType = dyn_cast<IntegerType>( |
| 2500 Context->convertToLLVMType(NextConstantType))) { | 2562 Context->convertToLLVMType(NextConstantType))) { |
| 2501 APInt Value(IType->getBitWidth(), NaClDecodeSignRotatedValue(Values[0])); | 2563 APInt Value(IType->getBitWidth(), NaClDecodeSignRotatedValue(Values[0])); |
| 2502 Ice::Constant *C = (NextConstantType == Ice::IceType_i64) | 2564 Ice::Constant *C = (NextConstantType == Ice::IceType_i64) |
| 2503 ? getContext()->getConstantInt64( | 2565 ? getContext()->getConstantInt64( |
| 2504 NextConstantType, Value.getSExtValue()) | 2566 NextConstantType, Value.getSExtValue()) |
| 2505 : getContext()->getConstantInt32( | 2567 : getContext()->getConstantInt32( |
| 2506 NextConstantType, Value.getSExtValue()); | 2568 NextConstantType, Value.getSExtValue()); |
| 2507 FuncParser->setNextConstantID(C); | 2569 FuncParser->setNextConstantID(C); |
| 2508 return; | 2570 return; |
| 2509 } | 2571 } |
| 2510 std::string Buffer; | 2572 std::string Buffer; |
| 2511 raw_string_ostream StrBuf(Buffer); | 2573 raw_string_ostream StrBuf(Buffer); |
| 2512 StrBuf << "constant block integer record for non-integer type " | 2574 StrBuf << "constant block integer record for non-integer type " |
| 2513 << NextConstantType; | 2575 << NextConstantType; |
| 2514 Error(StrBuf.str()); | 2576 Error(StrBuf.str()); |
| 2515 return; | 2577 return; |
| 2516 } | 2578 } |
| 2517 case naclbitc::CST_CODE_FLOAT: { | 2579 case naclbitc::CST_CODE_FLOAT: { |
| 2518 // FLOAT: [fpval] | 2580 // FLOAT: [fpval] |
| 2519 if (!isValidRecordSize(1, "constants block float")) | 2581 if (!isValidRecordSize(1, "float")) |
| 2520 return; | 2582 return; |
| 2521 if (!isValidNextConstantType()) | 2583 if (!isValidNextConstantType()) |
| 2522 return; | 2584 return; |
| 2523 if (isIRGenerationDisabled()) { | 2585 if (isIRGenerationDisabled()) { |
| 2524 FuncParser->setNextConstantID(nullptr); | 2586 FuncParser->setNextConstantID(nullptr); |
| 2525 return; | 2587 return; |
| 2526 } | 2588 } |
| 2527 switch (NextConstantType) { | 2589 switch (NextConstantType) { |
| 2528 case Ice::IceType_f32: { | 2590 case Ice::IceType_f32: { |
| 2529 APFloat Value(APFloat::IEEEsingle, | 2591 APFloat Value(APFloat::IEEEsingle, |
| (...skipping 54 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 2584 raw_string_ostream StrBuf(Buffer); | 2646 raw_string_ostream StrBuf(Buffer); |
| 2585 StrBuf << "Function-local " << Context << " name '" << Name | 2647 StrBuf << "Function-local " << Context << " name '" << Name |
| 2586 << "' can't be associated with index " << Index; | 2648 << "' can't be associated with index " << Index; |
| 2587 Error(StrBuf.str()); | 2649 Error(StrBuf.str()); |
| 2588 } | 2650 } |
| 2589 }; | 2651 }; |
| 2590 | 2652 |
| 2591 void FunctionValuesymtabParser::setValueName(uint64_t Index, StringType &Name) { | 2653 void FunctionValuesymtabParser::setValueName(uint64_t Index, StringType &Name) { |
| 2592 // Note: We check when Index is too small, so that we can error recover | 2654 // Note: We check when Index is too small, so that we can error recover |
| 2593 // (FP->getOperand will create fatal error). | 2655 // (FP->getOperand will create fatal error). |
| 2594 if (Index < getFunctionParser()->CachedNumGlobalValueIDs) { | 2656 if (Index < getFunctionParser()->getNumGlobalIDs()) { |
| 2595 reportUnableToAssign("instruction", Index, Name); | 2657 reportUnableToAssign("instruction", Index, Name); |
| 2596 // TODO(kschimpf) Remove error recovery once implementation complete. | 2658 // TODO(kschimpf) Remove error recovery once implementation complete. |
| 2597 return; | 2659 return; |
| 2598 } | 2660 } |
| 2599 if (isIRGenerationDisabled()) | 2661 if (isIRGenerationDisabled()) |
| 2600 return; | 2662 return; |
| 2601 Ice::Operand *Op = getFunctionParser()->getOperand(Index); | 2663 Ice::Operand *Op = getFunctionParser()->getOperand(Index); |
| 2602 if (Ice::Variable *V = dyn_cast<Ice::Variable>(Op)) { | 2664 if (Ice::Variable *V = dyn_cast<Ice::Variable>(Op)) { |
| 2603 std::string Nm(Name.data(), Name.size()); | 2665 std::string Nm(Name.data(), Name.size()); |
| 2604 V->setName(Nm); | 2666 V->setName(Nm); |
| 2605 } else { | 2667 } else { |
| 2606 reportUnableToAssign("variable", Index, Name); | 2668 reportUnableToAssign("variable", Index, Name); |
| 2607 } | 2669 } |
| 2608 } | 2670 } |
| 2609 | 2671 |
| 2610 void FunctionValuesymtabParser::setBbName(uint64_t Index, StringType &Name) { | 2672 void FunctionValuesymtabParser::setBbName(uint64_t Index, StringType &Name) { |
| 2611 if (isIRGenerationDisabled()) | 2673 if (isIRGenerationDisabled()) |
| 2612 return; | 2674 return; |
| 2613 if (Index >= getFunctionParser()->Func->getNumNodes()) { | 2675 if (Index >= getFunctionParser()->getFunc()->getNumNodes()) { |
| 2614 reportUnableToAssign("block", Index, Name); | 2676 reportUnableToAssign("block", Index, Name); |
| 2615 return; | 2677 return; |
| 2616 } | 2678 } |
| 2617 std::string Nm(Name.data(), Name.size()); | 2679 std::string Nm(Name.data(), Name.size()); |
| 2618 getFunctionParser()->Func->getNodes()[Index]->setName(Nm); | 2680 getFunctionParser()->getFunc()->getNodes()[Index]->setName(Nm); |
| 2619 } | 2681 } |
| 2620 | 2682 |
| 2621 bool FunctionParser::ParseBlock(unsigned BlockID) { | 2683 bool FunctionParser::ParseBlock(unsigned BlockID) { |
| 2622 switch (BlockID) { | 2684 switch (BlockID) { |
| 2623 case naclbitc::CONSTANTS_BLOCK_ID: { | 2685 case naclbitc::CONSTANTS_BLOCK_ID: { |
| 2624 ConstantsParser Parser(BlockID, this); | 2686 ConstantsParser Parser(BlockID, this); |
| 2625 return Parser.ParseThisBlock(); | 2687 return Parser.ParseThisBlock(); |
| 2626 } | 2688 } |
| 2627 case naclbitc::VALUE_SYMTAB_BLOCK_ID: { | 2689 case naclbitc::VALUE_SYMTAB_BLOCK_ID: { |
| 2628 if (PNaClAllowLocalSymbolTables) { | 2690 if (PNaClAllowLocalSymbolTables) { |
| (...skipping 12 matching lines...) Expand all Loading... | |
| 2641 class ModuleParser : public BlockParserBaseClass { | 2703 class ModuleParser : public BlockParserBaseClass { |
| 2642 public: | 2704 public: |
| 2643 ModuleParser(unsigned BlockID, TopLevelParser *Context) | 2705 ModuleParser(unsigned BlockID, TopLevelParser *Context) |
| 2644 : BlockParserBaseClass(BlockID, Context), | 2706 : BlockParserBaseClass(BlockID, Context), |
| 2645 Timer(Ice::TimerStack::TT_parseModule, | 2707 Timer(Ice::TimerStack::TT_parseModule, |
| 2646 Context->getTranslator().getContext()), | 2708 Context->getTranslator().getContext()), |
| 2647 GlobalDeclarationNamesAndInitializersInstalled(false) {} | 2709 GlobalDeclarationNamesAndInitializersInstalled(false) {} |
| 2648 | 2710 |
| 2649 ~ModuleParser() override {} | 2711 ~ModuleParser() override {} |
| 2650 | 2712 |
| 2713 const char *getBlockName() const override { return "module"; } | |
| 2714 | |
| 2651 private: | 2715 private: |
| 2652 Ice::TimerMarker Timer; | 2716 Ice::TimerMarker Timer; |
| 2653 // True if we have already installed names for unnamed global declarations, | 2717 // True if we have already installed names for unnamed global declarations, |
| 2654 // and have generated global constant initializers. | 2718 // and have generated global constant initializers. |
| 2655 bool GlobalDeclarationNamesAndInitializersInstalled; | 2719 bool GlobalDeclarationNamesAndInitializersInstalled; |
| 2656 | 2720 |
| 2657 // Generates names for unnamed global addresses (i.e. functions and | 2721 // Generates names for unnamed global addresses (i.e. functions and |
| 2658 // global variables). Then lowers global variable declaration | 2722 // global variables). Then lowers global variable declaration |
| 2659 // initializers to the target. May be called multiple times. Only | 2723 // initializers to the target. May be called multiple times. Only |
| 2660 // the first call will do the installation. | 2724 // the first call will do the installation. |
| (...skipping 99 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 2760 default: | 2824 default: |
| 2761 return BlockParserBaseClass::ParseBlock(BlockID); | 2825 return BlockParserBaseClass::ParseBlock(BlockID); |
| 2762 } | 2826 } |
| 2763 } | 2827 } |
| 2764 | 2828 |
| 2765 void ModuleParser::ProcessRecord() { | 2829 void ModuleParser::ProcessRecord() { |
| 2766 const NaClBitcodeRecord::RecordVector &Values = Record.GetValues(); | 2830 const NaClBitcodeRecord::RecordVector &Values = Record.GetValues(); |
| 2767 switch (Record.GetCode()) { | 2831 switch (Record.GetCode()) { |
| 2768 case naclbitc::MODULE_CODE_VERSION: { | 2832 case naclbitc::MODULE_CODE_VERSION: { |
| 2769 // VERSION: [version#] | 2833 // VERSION: [version#] |
| 2770 if (!isValidRecordSize(1, "Module version")) | 2834 if (!isValidRecordSize(1, "version")) |
| 2771 return; | 2835 return; |
| 2772 unsigned Version = Values[0]; | 2836 unsigned Version = Values[0]; |
| 2773 if (Version != 1) { | 2837 if (Version != 1) { |
| 2774 std::string Buffer; | 2838 std::string Buffer; |
| 2775 raw_string_ostream StrBuf(Buffer); | 2839 raw_string_ostream StrBuf(Buffer); |
| 2776 StrBuf << "Unknown bitstream version: " << Version; | 2840 StrBuf << "Unknown bitstream version: " << Version; |
| 2777 Error(StrBuf.str()); | 2841 Error(StrBuf.str()); |
| 2778 } | 2842 } |
| 2779 return; | 2843 return; |
| 2780 } | 2844 } |
| 2781 case naclbitc::MODULE_CODE_FUNCTION: { | 2845 case naclbitc::MODULE_CODE_FUNCTION: { |
| 2782 // FUNCTION: [type, callingconv, isproto, linkage] | 2846 // FUNCTION: [type, callingconv, isproto, linkage] |
| 2783 if (!isValidRecordSize(4, "Function heading")) | 2847 if (!isValidRecordSize(4, "address")) |
| 2784 return; | 2848 return; |
| 2785 const Ice::FuncSigType &Signature = Context->getFuncSigTypeByID(Values[0]); | 2849 const Ice::FuncSigType &Signature = Context->getFuncSigTypeByID(Values[0]); |
| 2786 CallingConv::ID CallingConv; | 2850 CallingConv::ID CallingConv; |
| 2787 if (!naclbitc::DecodeCallingConv(Values[1], CallingConv)) { | 2851 if (!naclbitc::DecodeCallingConv(Values[1], CallingConv)) { |
| 2788 std::string Buffer; | 2852 std::string Buffer; |
| 2789 raw_string_ostream StrBuf(Buffer); | 2853 raw_string_ostream StrBuf(Buffer); |
| 2790 StrBuf << "Function heading has unknown calling convention: " | 2854 StrBuf << "Function address has unknown calling convention: " |
| 2791 << Values[1]; | 2855 << Values[1]; |
| 2792 Error(StrBuf.str()); | 2856 Error(StrBuf.str()); |
| 2793 return; | 2857 return; |
| 2794 } | 2858 } |
| 2795 GlobalValue::LinkageTypes Linkage; | 2859 GlobalValue::LinkageTypes Linkage; |
| 2796 if (!naclbitc::DecodeLinkage(Values[3], Linkage)) { | 2860 if (!naclbitc::DecodeLinkage(Values[3], Linkage)) { |
| 2797 std::string Buffer; | 2861 std::string Buffer; |
| 2798 raw_string_ostream StrBuf(Buffer); | 2862 raw_string_ostream StrBuf(Buffer); |
| 2799 StrBuf << "Function heading has unknown linkage. Found " << Values[3]; | 2863 StrBuf << "Function address has unknown linkage. Found " << Values[3]; |
| 2800 Error(StrBuf.str()); | 2864 Error(StrBuf.str()); |
| 2801 return; | 2865 return; |
| 2802 } | 2866 } |
| 2803 Ice::FunctionDeclaration *Func = Ice::FunctionDeclaration::create( | 2867 Ice::FunctionDeclaration *Func = Ice::FunctionDeclaration::create( |
| 2804 getTranslator().getContext(), Signature, CallingConv, Linkage, | 2868 getTranslator().getContext(), Signature, CallingConv, Linkage, |
| 2805 Values[2] == 0); | 2869 Values[2] == 0); |
| 2806 if (Values[2] == 0) | 2870 if (Values[2] == 0) |
| 2807 Context->setNextValueIDAsImplementedFunction(); | 2871 Context->setNextValueIDAsImplementedFunction(); |
| 2808 Context->setNextFunctionID(Func); | 2872 Context->setNextFunctionID(Func); |
| 2809 return; | 2873 return; |
| (...skipping 62 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 2872 | 2936 |
| 2873 if (TopLevelBlocks != 1) { | 2937 if (TopLevelBlocks != 1) { |
| 2874 errs() << IRFilename | 2938 errs() << IRFilename |
| 2875 << ": Contains more than one module. Found: " << TopLevelBlocks | 2939 << ": Contains more than one module. Found: " << TopLevelBlocks |
| 2876 << "\n"; | 2940 << "\n"; |
| 2877 ErrorStatus = true; | 2941 ErrorStatus = true; |
| 2878 } | 2942 } |
| 2879 } | 2943 } |
| 2880 | 2944 |
| 2881 } // end of namespace Ice | 2945 } // end of namespace Ice |
| OLD | NEW |