| OLD | NEW | 
|---|
| 1 //===- subzero/src/IceTargetLowering.cpp - Basic lowering implementation --===// | 1 //===- subzero/src/IceTargetLowering.cpp - Basic lowering implementation --===// | 
| 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 /// \file | 10 /// \file | 
| 11 /// \brief Implements the skeleton of the TargetLowering class. | 11 /// \brief Implements the skeleton of the TargetLowering class. | 
| 12 /// | 12 /// | 
| 13 /// Specifically this invokes the appropriate lowering method for a given | 13 /// Specifically this invokes the appropriate lowering method for a given | 
| 14 /// instruction kind and driving global register allocation. It also implements | 14 /// instruction kind and driving global register allocation. It also implements | 
| 15 /// the non-deleted instruction iteration in LoweringContext. | 15 /// the non-deleted instruction iteration in LoweringContext. | 
| 16 /// | 16 /// | 
| 17 //===----------------------------------------------------------------------===// | 17 //===----------------------------------------------------------------------===// | 
| 18 | 18 | 
| 19 #include "IceTargetLowering.h" | 19 #include "IceTargetLowering.h" | 
| 20 | 20 | 
| 21 #include "IceAssemblerARM32.h" |  | 
| 22 #include "IceAssemblerMIPS32.h" |  | 
| 23 #include "IceAssemblerX8632.h" |  | 
| 24 #include "IceAssemblerX8664.h" |  | 
| 25 #include "IceCfg.h" // setError() | 21 #include "IceCfg.h" // setError() | 
| 26 #include "IceCfgNode.h" | 22 #include "IceCfgNode.h" | 
|  | 23 #include "IceGlobalContext.h" | 
| 27 #include "IceGlobalInits.h" | 24 #include "IceGlobalInits.h" | 
| 28 #include "IceInstVarIter.h" | 25 #include "IceInstVarIter.h" | 
| 29 #include "IceOperand.h" | 26 #include "IceOperand.h" | 
| 30 #include "IceRegAlloc.h" | 27 #include "IceRegAlloc.h" | 
| 31 #include "IceTargetLoweringARM32.h" | 28 | 
| 32 #include "IceTargetLoweringMIPS32.h" | 29 // We prevent target-specific implementation details from leaking outside their | 
| 33 #include "IceTargetLoweringX8632.h" | 30 // implementations by forbidding #include of target-specific header files | 
| 34 #include "IceTargetLoweringX8664.h" | 31 // anywhere outside their own files. To create target-specific objects | 
|  | 32 // (TargetLowering, TargetDataLowering, and TargetHeaderLowering) we use the | 
|  | 33 // following named constructors. For reference, each target Foo needs to | 
|  | 34 // implement the following named constructors and initializer: | 
|  | 35 // | 
|  | 36 // namespace Foo { | 
|  | 37 //   unique_ptr<Ice::TargetLowering> createTargetLowering(Ice::Cfg *); | 
|  | 38 //   unique_ptr<Ice::TargetDataLowering> | 
|  | 39 //       createTargetDataLowering(Ice::GlobalContext*); | 
|  | 40 //   unique_ptr<Ice::TargetHeaderLowering> | 
|  | 41 //       createTargetHeaderLowering(Ice::GlobalContext *); | 
|  | 42 //   void staticInit(); | 
|  | 43 // } | 
|  | 44 #define SUBZERO_TARGET(X)                                                      \ | 
|  | 45   namespace X {                                                                \ | 
|  | 46   std::unique_ptr<::Ice::TargetLowering>                                       \ | 
|  | 47   createTargetLowering(::Ice::Cfg *Func);                                      \ | 
|  | 48   std::unique_ptr<::Ice::TargetDataLowering>                                   \ | 
|  | 49   createTargetDataLowering(::Ice::GlobalContext *Ctx);                         \ | 
|  | 50   std::unique_ptr<::Ice::TargetHeaderLowering>                                 \ | 
|  | 51   createTargetHeaderLowering(::Ice::GlobalContext *Ctx);                       \ | 
|  | 52   void staticInit();                                                           \ | 
|  | 53   } // end of namespace X | 
|  | 54 #include "llvm/Config/SZTargets.def" | 
|  | 55 #undef SUBZERO_TARGET | 
| 35 | 56 | 
| 36 namespace Ice { | 57 namespace Ice { | 
| 37 |  | 
| 38 void LoweringContext::init(CfgNode *N) { | 58 void LoweringContext::init(CfgNode *N) { | 
| 39   Node = N; | 59   Node = N; | 
| 40   End = getNode()->getInsts().end(); | 60   End = getNode()->getInsts().end(); | 
| 41   rewind(); | 61   rewind(); | 
| 42   advanceForward(Next); | 62   advanceForward(Next); | 
| 43 } | 63 } | 
| 44 | 64 | 
| 45 void LoweringContext::rewind() { | 65 void LoweringContext::rewind() { | 
| 46   Begin = getNode()->getInsts().begin(); | 66   Begin = getNode()->getInsts().begin(); | 
| 47   Cur = Begin; | 67   Cur = Begin; | 
| (...skipping 41 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
| 89   LastSrc = llvm::cast<Variable>(Instr->getSrc(0)); | 109   LastSrc = llvm::cast<Variable>(Instr->getSrc(0)); | 
| 90 } | 110 } | 
| 91 | 111 | 
| 92 Variable *LoweringContext::availabilityGet(Operand *Src) const { | 112 Variable *LoweringContext::availabilityGet(Operand *Src) const { | 
| 93   assert(Src); | 113   assert(Src); | 
| 94   if (Src == LastDest) | 114   if (Src == LastDest) | 
| 95     return LastSrc; | 115     return LastSrc; | 
| 96   return nullptr; | 116   return nullptr; | 
| 97 } | 117 } | 
| 98 | 118 | 
| 99 TargetLowering *TargetLowering::createLowering(TargetArch Target, Cfg *Func) { | 119 std::unique_ptr<TargetLowering> | 
|  | 120 TargetLowering::createLowering(TargetArch Target, Cfg *Func) { | 
|  | 121   switch (Target) { | 
|  | 122   default: | 
|  | 123     llvm::report_fatal_error("Unsupported target"); | 
| 100 #define SUBZERO_TARGET(X)                                                      \ | 124 #define SUBZERO_TARGET(X)                                                      \ | 
| 101   if (Target == Target_##X)                                                    \ | 125   case Target_##X:                                                             \ | 
| 102     return Target##X::create(Func); | 126     return ::X::createTargetLowering(Func); | 
| 103 #include "llvm/Config/SZTargets.def" | 127 #include "llvm/Config/SZTargets.def" | 
| 104 | 128 #undef SUBZERO_TARGET | 
| 105   Func->setError("Unsupported target"); | 129   } | 
| 106   return nullptr; |  | 
| 107 } | 130 } | 
| 108 | 131 | 
| 109 void TargetLowering::staticInit(TargetArch Target) { | 132 void TargetLowering::staticInit(TargetArch Target) { | 
| 110   // Call the specified target's static initializer. | 133   // Call the specified target's static initializer. | 
| 111   switch (Target) { | 134   switch (Target) { | 
| 112   default: | 135   default: | 
| 113     llvm::report_fatal_error("Unsupported target"); | 136     llvm::report_fatal_error("Unsupported target"); | 
| 114     break; |  | 
| 115 #define SUBZERO_TARGET(X)                                                      \ | 137 #define SUBZERO_TARGET(X)                                                      \ | 
| 116   case Target_##X: {                                                           \ | 138   case Target_##X: {                                                           \ | 
| 117     static bool InitGuard##X = false;                                          \ | 139     static bool InitGuard##X = false;                                          \ | 
| 118     if (InitGuard##X)                                                          \ | 140     if (InitGuard##X) {                                                        \ | 
| 119       return;                                                                  \ | 141       return;                                                                  \ | 
|  | 142     }                                                                          \ | 
| 120     InitGuard##X = true;                                                       \ | 143     InitGuard##X = true;                                                       \ | 
| 121     Target##X::staticInit();                                                   \ | 144     ::X::staticInit();                                                         \ | 
| 122   } break; | 145   } | 
| 123 #include "llvm/Config/SZTargets.def" | 146 #include "llvm/Config/SZTargets.def" | 
|  | 147 #undef SUBZERO_TARGET | 
| 124   } | 148   } | 
| 125 } | 149 } | 
| 126 | 150 | 
| 127 TargetLowering::TargetLowering(Cfg *Func) | 151 TargetLowering::TargetLowering(Cfg *Func) | 
| 128     : Func(Func), Ctx(Func->getContext()), Context() {} | 152     : Func(Func), Ctx(Func->getContext()), Context() {} | 
| 129 | 153 | 
| 130 std::unique_ptr<Assembler> TargetLowering::createAssembler(TargetArch Target, |  | 
| 131                                                            Cfg *Func) { |  | 
| 132 #define SUBZERO_TARGET(X)                                                      \ |  | 
| 133   if (Target == Target_##X)                                                    \ |  | 
| 134     return std::unique_ptr<Assembler>(new X::Assembler##X()); |  | 
| 135 #include "llvm/Config/SZTargets.def" |  | 
| 136 |  | 
| 137   Func->setError("Unsupported target assembler"); |  | 
| 138   return nullptr; |  | 
| 139 } |  | 
| 140 |  | 
| 141 void TargetLowering::genTargetHelperCalls() { | 154 void TargetLowering::genTargetHelperCalls() { | 
| 142   for (CfgNode *Node : Func->getNodes()) { | 155   for (CfgNode *Node : Func->getNodes()) { | 
| 143     Context.init(Node); | 156     Context.init(Node); | 
| 144     while (!Context.atEnd()) { | 157     while (!Context.atEnd()) { | 
| 145       PostIncrLoweringContext _(Context); | 158       PostIncrLoweringContext _(Context); | 
| 146       genTargetHelperCallFor(Context.getCur()); | 159       genTargetHelperCallFor(Context.getCur()); | 
| 147     } | 160     } | 
| 148   } | 161   } | 
| 149 } | 162 } | 
| 150 | 163 | 
| (...skipping 381 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
| 532   if (!BuildDefs::dump()) | 545   if (!BuildDefs::dump()) | 
| 533     return; | 546     return; | 
| 534   Ostream &Str = Ctx->getStrEmit(); | 547   Ostream &Str = Ctx->getStrEmit(); | 
| 535   Str << getConstantPrefix(); | 548   Str << getConstantPrefix(); | 
| 536   emitWithoutPrefix(C); | 549   emitWithoutPrefix(C); | 
| 537 } | 550 } | 
| 538 | 551 | 
| 539 std::unique_ptr<TargetDataLowering> | 552 std::unique_ptr<TargetDataLowering> | 
| 540 TargetDataLowering::createLowering(GlobalContext *Ctx) { | 553 TargetDataLowering::createLowering(GlobalContext *Ctx) { | 
| 541   TargetArch Target = Ctx->getFlags().getTargetArch(); | 554   TargetArch Target = Ctx->getFlags().getTargetArch(); | 
|  | 555   switch (Target) { | 
|  | 556   default: | 
|  | 557     llvm::report_fatal_error("Unsupported target"); | 
| 542 #define SUBZERO_TARGET(X)                                                      \ | 558 #define SUBZERO_TARGET(X)                                                      \ | 
| 543   if (Target == Target_##X)                                                    \ | 559   case Target_##X:                                                             \ | 
| 544     return TargetData##X::create(Ctx); | 560     return ::X::createTargetDataLowering(Ctx); | 
| 545 #include "llvm/Config/SZTargets.def" | 561 #include "llvm/Config/SZTargets.def" | 
| 546 | 562 #undef SUBZERO_TARGET | 
| 547   llvm::report_fatal_error("Unsupported target data lowering"); | 563   } | 
| 548 } | 564 } | 
| 549 | 565 | 
| 550 TargetDataLowering::~TargetDataLowering() = default; | 566 TargetDataLowering::~TargetDataLowering() = default; | 
| 551 | 567 | 
| 552 namespace { | 568 namespace { | 
| 553 | 569 | 
| 554 // dataSectionSuffix decides whether to use SectionSuffix or MangledVarName as | 570 // dataSectionSuffix decides whether to use SectionSuffix or MangledVarName as | 
| 555 // data section suffix. Essentially, when using separate data sections for | 571 // data section suffix. Essentially, when using separate data sections for | 
| 556 // globals SectionSuffix is not necessary. | 572 // globals SectionSuffix is not necessary. | 
| 557 IceString dataSectionSuffix(const IceString &SectionSuffix, | 573 IceString dataSectionSuffix(const IceString &SectionSuffix, | 
| (...skipping 96 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
| 654     // to advance offsets. | 670     // to advance offsets. | 
| 655     Str << "\t.zero\t" << Size << "\n"; | 671     Str << "\t.zero\t" << Size << "\n"; | 
| 656   } | 672   } | 
| 657 | 673 | 
| 658   Str << "\t.size\t" << MangledName << ", " << Size << "\n"; | 674   Str << "\t.size\t" << MangledName << ", " << Size << "\n"; | 
| 659 } | 675 } | 
| 660 | 676 | 
| 661 std::unique_ptr<TargetHeaderLowering> | 677 std::unique_ptr<TargetHeaderLowering> | 
| 662 TargetHeaderLowering::createLowering(GlobalContext *Ctx) { | 678 TargetHeaderLowering::createLowering(GlobalContext *Ctx) { | 
| 663   TargetArch Target = Ctx->getFlags().getTargetArch(); | 679   TargetArch Target = Ctx->getFlags().getTargetArch(); | 
|  | 680   switch (Target) { | 
|  | 681   default: | 
|  | 682     llvm::report_fatal_error("Unsupported target"); | 
| 664 #define SUBZERO_TARGET(X)                                                      \ | 683 #define SUBZERO_TARGET(X)                                                      \ | 
| 665   if (Target == Target_##X)                                                    \ | 684   case Target_##X:                                                             \ | 
| 666     return TargetHeader##X::create(Ctx); | 685     return ::X::createTargetHeaderLowering(Ctx); | 
| 667 #include "llvm/Config/SZTargets.def" | 686 #include "llvm/Config/SZTargets.def" | 
| 668 | 687 #undef SUBZERO_TARGET | 
| 669   llvm::report_fatal_error("Unsupported target header lowering"); | 688   } | 
| 670 } | 689 } | 
| 671 | 690 | 
| 672 TargetHeaderLowering::~TargetHeaderLowering() = default; | 691 TargetHeaderLowering::~TargetHeaderLowering() = default; | 
| 673 | 692 | 
| 674 } // end of namespace Ice | 693 } // end of namespace Ice | 
| OLD | NEW | 
|---|