lib/Transforms/Scalar/LowerGC.cpp

   1 //===-- LowerGC.cpp - Provide GC support for targets that don't -----------===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file was developed by the LLVM research group and is distributed under
   6 // the University of Illinois Open Source License. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9 //
  10 // This file implements lowering for the llvm.gc* intrinsics for targets that do
  11 // not natively support them (which includes the C backend).  Note that the code
  12 // generated is not as efficient as it would be for targets that natively
  13 // support the GC intrinsics, but it is useful for getting new targets
  14 // up-and-running quickly.
  15 //
  16 // This pass implements the code transformation described in this paper:
  17 //   "Accurate Garbage Collection in an Uncooperative Environment"
  18 //   Fergus Henderson, ISMM, 2002
  19 //
  20 //===----------------------------------------------------------------------===//
  21
  22 #define DEBUG_TYPE "lowergc"
  23 #include "llvm/Transforms/Scalar.h"
  24 #include "llvm/Constants.h"
  25 #include "llvm/DerivedTypes.h"
  26 #include "llvm/Instructions.h"
  27 #include "llvm/Module.h"
  28 #include "llvm/Pass.h"
  29 #include "llvm/Transforms/Utils/Cloning.h"
  30 using namespace llvm;
  31
  32 namespace {
  33   class LowerGC : public FunctionPass {
  34     /// GCRootInt, GCReadInt, GCWriteInt - The function prototypes for the
  35     /// llvm.gcread/llvm.gcwrite/llvm.gcroot intrinsics.
  36     Function *GCRootInt, *GCReadInt, *GCWriteInt;
  37
  38     /// GCRead/GCWrite - These are the functions provided by the garbage
  39     /// collector for read/write barriers.
  40     Function *GCRead, *GCWrite;
  41
  42     /// RootChain - This is the global linked-list that contains the chain of GC
  43     /// roots.
  44     GlobalVariable *RootChain;
  45
  46     /// MainRootRecordType - This is the type for a function root entry if it
  47     /// had zero roots.
  48     const Type *MainRootRecordType;
  49   public:
  50     LowerGC() : GCRootInt(0), GCReadInt(0), GCWriteInt(0),
  51                 GCRead(0), GCWrite(0), RootChain(0), MainRootRecordType(0) {}
  52     virtual bool doInitialization(Module &M);
  53     virtual bool runOnFunction(Function &F);
  54
  55   private:
  56     const StructType *getRootRecordType(unsigned NumRoots);
  57   };
  58
  59   RegisterOpt<LowerGC>
  60   X("lowergc", "Lower GC intrinsics, for GCless code generators");
  61 }
  62
  63 /// createLowerGCPass - This function returns an instance of the "lowergc"
  64 /// pass, which lowers garbage collection intrinsics to normal LLVM code.
  65 FunctionPass *llvm::createLowerGCPass() {
  66   return new LowerGC();
  67 }
  68
  69 /// getRootRecordType - This function creates and returns the type for a root
  70 /// record containing 'NumRoots' roots.
  71 const StructType *LowerGC::getRootRecordType(unsigned NumRoots) {
  72   // Build a struct that is a type used for meta-data/root pairs.
  73   std::vector<const Type *> ST;
  74   ST.push_back(GCRootInt->getFunctionType()->getParamType(0));
  75   ST.push_back(GCRootInt->getFunctionType()->getParamType(1));
  76   StructType *PairTy = StructType::get(ST);
  77
  78   // Build the array of pairs.
  79   ArrayType *PairArrTy = ArrayType::get(PairTy, NumRoots);
  80
  81   // Now build the recursive list type.
  82   PATypeHolder RootListH =
  83     MainRootRecordType ? (Type*)MainRootRecordType : (Type*)OpaqueType::get();
  84   ST.clear();
  85   ST.push_back(PointerType::get(RootListH));         // Prev pointer
  86   ST.push_back(Type::UIntTy);                        // NumElements in array
  87   ST.push_back(PairArrTy);                           // The pairs
  88   StructType *RootList = StructType::get(ST);
  89   if (MainRootRecordType)
  90     return RootList;
  91
  92   assert(NumRoots == 0 && "The main struct type should have zero entries!");
  93   cast<OpaqueType>((Type*)RootListH.get())->refineAbstractTypeTo(RootList);
  94   MainRootRecordType = RootListH;
  95   return cast<StructType>(RootListH.get());
  96 }
  97
  98 /// doInitialization - If this module uses the GC intrinsics, find them now.  If
  99 /// not, this pass does not do anything.
 100 bool LowerGC::doInitialization(Module &M) {
 101   GCRootInt  = M.getNamedFunction("llvm.gcroot");
 102   GCReadInt  = M.getNamedFunction("llvm.gcread");
 103   GCWriteInt = M.getNamedFunction("llvm.gcwrite");
 104   if (!GCRootInt && !GCReadInt && !GCWriteInt) return false;
 105
 106   PointerType *VoidPtr = PointerType::get(Type::SByteTy);
 107   PointerType *VoidPtrPtr = PointerType::get(VoidPtr);
 108
 109   // If the program is using read/write barriers, find the implementations of
 110   // them from the GC runtime library.
 111   if (GCReadInt)        // Make:  sbyte* %llvm_gc_read(sbyte**)
 112     GCRead = M.getOrInsertFunction("llvm_gc_read", VoidPtr, VoidPtr, VoidPtrPtr,
 113                                    (Type *)0);
 114   if (GCWriteInt)       // Make:  void %llvm_gc_write(sbyte*, sbyte**)
 115     GCWrite = M.getOrInsertFunction("llvm_gc_write", Type::VoidTy,
 116                                     VoidPtr, VoidPtr, VoidPtrPtr, (Type *)0);
 117
 118   // If the program has GC roots, get or create the global root list.
 119   if (GCRootInt) {
 120     const StructType *RootListTy = getRootRecordType(0);
 121     const Type *PRLTy = PointerType::get(RootListTy);
 122     M.addTypeName("llvm_gc_root_ty", RootListTy);
 123
 124     // Get the root chain if it already exists.
 125     RootChain = M.getGlobalVariable("llvm_gc_root_chain", PRLTy);
 126     if (RootChain == 0) {
 127       // If the root chain does not exist, insert a new one with linkonce
 128       // linkage!
 129       RootChain = new GlobalVariable(PRLTy, false,
 130                                      GlobalValue::LinkOnceLinkage,
 131                                      Constant::getNullValue(PRLTy),
 132                                      "llvm_gc_root_chain", &M);
 133     } else if (RootChain->hasExternalLinkage() && RootChain->isExternal()) {
 134       RootChain->setInitializer(Constant::getNullValue(PRLTy));
 135       RootChain->setLinkage(GlobalValue::LinkOnceLinkage);
 136     }
 137   }
 138   return true;
 139 }
 140
 141 /// Coerce - If the specified operand number of the specified instruction does
 142 /// not have the specified type, insert a cast.
 143 static void Coerce(Instruction *I, unsigned OpNum, Type *Ty) {
 144   if (I->getOperand(OpNum)->getType() != Ty) {
 145     if (Constant *C = dyn_cast<Constant>(I->getOperand(OpNum)))
 146       I->setOperand(OpNum, ConstantExpr::getCast(C, Ty));
 147     else {
 148       CastInst *CI = new CastInst(I->getOperand(OpNum), Ty, "", I);
 149       I->setOperand(OpNum, CI);
 150     }
 151   }
 152 }
 153
 154 /// runOnFunction - If the program is using GC intrinsics, replace any
 155 /// read/write intrinsics with the appropriate read/write barrier calls, then
 156 /// inline them.  Finally, build the data structures for
 157 bool LowerGC::runOnFunction(Function &F) {
 158   // Quick exit for programs that are not using GC mechanisms.
 159   if (!GCRootInt && !GCReadInt && !GCWriteInt) return false;
 160
 161   PointerType *VoidPtr    = PointerType::get(Type::SByteTy);
 162   PointerType *VoidPtrPtr = PointerType::get(VoidPtr);
 163
 164   // If there are read/write barriers in the program, perform a quick pass over
 165   // the function eliminating them.  While we are at it, remember where we see
 166   // calls to llvm.gcroot.
 167   std::vector<CallInst*> GCRoots;
 168   std::vector<CallInst*> NormalCalls;
 169
 170   bool MadeChange = false;
 171   for (Function::iterator BB = F.begin(), E = F.end(); BB != E; ++BB)
 172     for (BasicBlock::iterator II = BB->begin(), E = BB->end(); II != E;)
 173       if (CallInst *CI = dyn_cast<CallInst>(II++)) {
 174         if (!CI->getCalledFunction() ||
 175             !CI->getCalledFunction()->getIntrinsicID())
 176           NormalCalls.push_back(CI);   // Remember all normal function calls.
 177
 178         if (Function *F = CI->getCalledFunction())
 179           if (F == GCRootInt)
 180             GCRoots.push_back(CI);
 181           else if (F == GCReadInt || F == GCWriteInt) {
 182             if (F == GCWriteInt) {
 183               // Change a llvm.gcwrite call to call llvm_gc_write instead.
 184               CI->setOperand(0, GCWrite);
 185               // Insert casts of the operands as needed.
 186               Coerce(CI, 1, VoidPtr);
 187               Coerce(CI, 2, VoidPtr);
 188               Coerce(CI, 3, VoidPtrPtr);
 189             } else {
 190               Coerce(CI, 1, VoidPtr);
 191               Coerce(CI, 2, VoidPtrPtr);
 192               if (CI->getType() == VoidPtr) {
 193                 CI->setOperand(0, GCRead);
 194               } else {
 195                 // Create a whole new call to replace the old one.
 196                 CallInst *NC = new CallInst(GCRead, CI->getOperand(1),
 197                                             CI->getOperand(2),
 198                                             CI->getName(), CI);
 199                 Value *NV = new CastInst(NC, CI->getType(), "", CI);
 200                 CI->replaceAllUsesWith(NV);
 201                 BB->getInstList().erase(CI);
 202                 CI = NC;
 203               }
 204             }
 205
 206             // Now that we made the replacement, inline expand the call if
 207             // possible, otherwise things will be too horribly expensive.
 208             InlineFunction(CI);
 209             MadeChange = true;
 210           }
 211       }
 212
 213   // If there are no GC roots in this function, then there is no need to create
 214   // a GC list record for it.
 215   if (GCRoots.empty()) return MadeChange;
 216
 217   // Okay, there are GC roots in this function.  On entry to the function, add a
 218   // record to the llvm_gc_root_chain, and remove it on exit.
 219
 220   // Create the alloca, and zero it out.
 221   const StructType *RootListTy = getRootRecordType(GCRoots.size());
 222   AllocaInst *AI = new AllocaInst(RootListTy, 0, "gcroots", F.begin()->begin());
 223
 224   // Insert the memset call after all of the allocas in the function.
 225   BasicBlock::iterator IP = AI;
 226   while (isa<AllocaInst>(IP)) ++IP;
 227
 228   Constant *Zero = ConstantUInt::get(Type::UIntTy, 0);
 229   Constant *One  = ConstantUInt::get(Type::UIntTy, 1);
 230
 231   // Get a pointer to the prev pointer.
 232   std::vector<Value*> Par;
 233   Par.push_back(Zero);
 234   Par.push_back(Zero);
 235   Value *PrevPtrPtr = new GetElementPtrInst(AI, Par, "prevptrptr", IP);
 236
 237   // Load the previous pointer.
 238   Value *PrevPtr = new LoadInst(RootChain, "prevptr", IP);
 239   // Store the previous pointer into the prevptrptr
 240   new StoreInst(PrevPtr, PrevPtrPtr, IP);
 241
 242   // Set the number of elements in this record.
 243   Par[1] = ConstantUInt::get(Type::UIntTy, 1);
 244   Value *NumEltsPtr = new GetElementPtrInst(AI, Par, "numeltsptr", IP);
 245   new StoreInst(ConstantUInt::get(Type::UIntTy, GCRoots.size()), NumEltsPtr,IP);
 246
 247   Par[1] = ConstantUInt::get(Type::UIntTy, 2);
 248   Par.resize(4);
 249
 250   const PointerType *PtrLocTy =
 251     cast<PointerType>(GCRootInt->getFunctionType()->getParamType(0));
 252   Constant *Null = ConstantPointerNull::get(PtrLocTy);
 253
 254   // Initialize all of the gcroot records now, and eliminate them as we go.
 255   for (unsigned i = 0, e = GCRoots.size(); i != e; ++i) {
 256     // Initialize the meta-data pointer.
 257     Par[2] = ConstantUInt::get(Type::UIntTy, i);
 258     Par[3] = One;
 259     Value *MetaDataPtr = new GetElementPtrInst(AI, Par, "MetaDataPtr", IP);
 260     assert(isa<Constant>(GCRoots[i]->getOperand(2)) && "Must be a constant");
 261     new StoreInst(GCRoots[i]->getOperand(2), MetaDataPtr, IP);
 262
 263     // Initialize the root pointer to null on entry to the function.
 264     Par[3] = Zero;
 265     Value *RootPtrPtr = new GetElementPtrInst(AI, Par, "RootEntPtr", IP);
 266     new StoreInst(Null, RootPtrPtr, IP);
 267
 268     // Each occurrance of the llvm.gcroot intrinsic now turns into an
 269     // initialization of the slot with the address and a zeroing out of the
 270     // address specified.
 271     new StoreInst(Constant::getNullValue(PtrLocTy->getElementType()),
 272                   GCRoots[i]->getOperand(1), GCRoots[i]);
 273     new StoreInst(GCRoots[i]->getOperand(1), RootPtrPtr, GCRoots[i]);
 274     GCRoots[i]->getParent()->getInstList().erase(GCRoots[i]);
 275   }
 276
 277   // Now that the record is all initialized, store the pointer into the global
 278   // pointer.
 279   Value *C = new CastInst(AI, PointerType::get(MainRootRecordType), "", IP);
 280   new StoreInst(C, RootChain, IP);
 281
 282   // On exit from the function we have to remove the entry from the GC root
 283   // chain.  Doing this is straight-forward for return and unwind instructions:
 284   // just insert the appropriate copy.
 285   for (Function::iterator BB = F.begin(), E = F.end(); BB != E; ++BB)
 286     if (isa<UnwindInst>(BB->getTerminator()) ||
 287         isa<ReturnInst>(BB->getTerminator())) {
 288       // We could reuse the PrevPtr loaded on entry to the function, but this
 289       // would make the value live for the whole function, which is probably a
 290       // bad idea.  Just reload the value out of our stack entry.
 291       PrevPtr = new LoadInst(PrevPtrPtr, "prevptr", BB->getTerminator());
 292       new StoreInst(PrevPtr, RootChain, BB->getTerminator());
 293     }
 294
 295   // If an exception is thrown from a callee we have to make sure to
 296   // unconditionally take the record off the stack.  For this reason, we turn
 297   // all call instructions into invoke whose cleanup pops the entry off the
 298   // stack.  We only insert one cleanup block, which is shared by all invokes.
 299   if (!NormalCalls.empty()) {
 300     // Create the shared cleanup block.
 301     BasicBlock *Cleanup = new BasicBlock("gc_cleanup", &F);
 302     UnwindInst *UI = new UnwindInst(Cleanup);
 303     PrevPtr = new LoadInst(PrevPtrPtr, "prevptr", UI);
 304     new StoreInst(PrevPtr, RootChain, UI);
 305
 306     // Loop over all of the function calls, turning them into invokes.
 307     while (!NormalCalls.empty()) {
 308       CallInst *CI = NormalCalls.back();
 309       BasicBlock *CBB = CI->getParent();
 310       NormalCalls.pop_back();
 311
 312       // Split the basic block containing the function call.
 313       BasicBlock *NewBB = CBB->splitBasicBlock(CI, CBB->getName()+".cont");
 314
 315       // Remove the unconditional branch inserted at the end of the CBB.
 316       CBB->getInstList().pop_back();
 317       NewBB->getInstList().remove(CI);
 318
 319       // Create a new invoke instruction.
 320       Value *II = new InvokeInst(CI->getCalledValue(), NewBB, Cleanup,
 321                                  std::vector<Value*>(CI->op_begin()+1,
 322                                                      CI->op_end()),
 323                                  CI->getName(), CBB);
 324       CI->replaceAllUsesWith(II);
 325       delete CI;
 326     }
 327   }
 328
 329   return true;
 330 }