1597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne//===-- XCoreLowerThreadLocal - Lower thread local variables --------------===//
2597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne//
3597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne//                     The LLVM Compiler Infrastructure
4597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne//
5597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne// This file is distributed under the University of Illinois Open Source
6597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne// License. See LICENSE.TXT for details.
7597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne//
8597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne//===----------------------------------------------------------------------===//
9597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne///
10597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne/// \file
11597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne/// \brief This file contains a pass that lowers thread local variables on the
12597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne///        XCore.
13597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne///
14597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne//===----------------------------------------------------------------------===//
15597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne
16597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne#include "XCore.h"
17597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne#include "llvm/IR/Constants.h"
18597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne#include "llvm/IR/DerivedTypes.h"
19597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne#include "llvm/IR/GlobalVariable.h"
20597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne#include "llvm/IR/IRBuilder.h"
2136b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines#include "llvm/IR/Intrinsics.h"
22597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne#include "llvm/IR/Module.h"
2336b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines#include "llvm/IR/NoFolder.h"
2436b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines#include "llvm/IR/ValueHandle.h"
25597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne#include "llvm/Pass.h"
26597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne#include "llvm/Support/CommandLine.h"
27fb312f9f5a9f8cd8be1dbeaf011768e186eb8f98Robert Lytton#include "llvm/Transforms/Utils/BasicBlockUtils.h"
28597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne
29597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne#define DEBUG_TYPE "xcore-lower-thread-local"
30597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne
31597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborneusing namespace llvm;
32597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne
33597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osbornestatic cl::opt<unsigned> MaxThreads(
34597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  "xcore-max-threads", cl::Optional,
35597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  cl::desc("Maximum number of threads (for emulation thread-local storage)"),
36597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  cl::Hidden, cl::value_desc("number"), cl::init(8));
37597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne
38597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osbornenamespace {
39597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  /// Lowers thread local variables on the XCore. Each thread local variable is
40597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  /// expanded to an array of n elements indexed by the thread ID where n is the
41597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  /// fixed number hardware threads supported by the device.
42597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  struct XCoreLowerThreadLocal : public ModulePass {
43597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne    static char ID;
44597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne
45597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne    XCoreLowerThreadLocal() : ModulePass(ID) {
46597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne      initializeXCoreLowerThreadLocalPass(*PassRegistry::getPassRegistry());
47597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne    }
48597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne
49597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne    bool lowerGlobal(GlobalVariable *GV);
50597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne
51dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines    bool runOnModule(Module &M) override;
52597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  };
53597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne}
54597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne
55597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osbornechar XCoreLowerThreadLocal::ID = 0;
56597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne
57597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard OsborneINITIALIZE_PASS(XCoreLowerThreadLocal, "xcore-lower-thread-local",
58597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne                "Lower thread local variables", false, false)
59597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne
60597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard OsborneModulePass *llvm::createXCoreLowerThreadLocalPass() {
61597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  return new XCoreLowerThreadLocal();
62597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne}
63597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne
64597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osbornestatic ArrayType *createLoweredType(Type *OriginalType) {
65597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  return ArrayType::get(OriginalType, MaxThreads);
66597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne}
67597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne
68597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osbornestatic Constant *
69597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard OsbornecreateLoweredInitializer(ArrayType *NewType, Constant *OriginalInitializer) {
70597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  SmallVector<Constant *, 8> Elements(MaxThreads);
71597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  for (unsigned i = 0; i != MaxThreads; ++i) {
72597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne    Elements[i] = OriginalInitializer;
73597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  }
74597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  return ConstantArray::get(NewType, Elements);
75597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne}
76597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne
7771537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lyttonstatic Instruction *
7871537c178303c9d3f44aa0b9e0de167a7d670c77Robert LyttoncreateReplacementInstr(ConstantExpr *CE, Instruction *Instr) {
7971537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton  IRBuilder<true,NoFolder> Builder(Instr);
8071537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton  unsigned OpCode = CE->getOpcode();
8171537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton  switch (OpCode) {
8271537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton    case Instruction::GetElementPtr: {
8371537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton      SmallVector<Value *,4> CEOpVec(CE->op_begin(), CE->op_end());
8471537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton      ArrayRef<Value *> CEOps(CEOpVec);
8571537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton      return dyn_cast<Instruction>(Builder.CreateInBoundsGEP(CEOps[0],
8671537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton                                                             CEOps.slice(1)));
8771537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton    }
8871537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton    case Instruction::Add:
8971537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton    case Instruction::Sub:
9071537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton    case Instruction::Mul:
9171537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton    case Instruction::UDiv:
9271537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton    case Instruction::SDiv:
9371537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton    case Instruction::FDiv:
9471537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton    case Instruction::URem:
9571537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton    case Instruction::SRem:
9671537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton    case Instruction::FRem:
9771537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton    case Instruction::Shl:
9871537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton    case Instruction::LShr:
9971537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton    case Instruction::AShr:
10071537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton    case Instruction::And:
10171537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton    case Instruction::Or:
10271537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton    case Instruction::Xor:
10371537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton      return dyn_cast<Instruction>(
10471537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton                  Builder.CreateBinOp((Instruction::BinaryOps)OpCode,
10571537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton                                      CE->getOperand(0), CE->getOperand(1),
10671537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton                                      CE->getName()));
10771537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton    case Instruction::Trunc:
10871537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton    case Instruction::ZExt:
10971537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton    case Instruction::SExt:
11071537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton    case Instruction::FPToUI:
11171537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton    case Instruction::FPToSI:
11271537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton    case Instruction::UIToFP:
11371537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton    case Instruction::SIToFP:
11471537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton    case Instruction::FPTrunc:
11571537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton    case Instruction::FPExt:
11671537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton    case Instruction::PtrToInt:
11771537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton    case Instruction::IntToPtr:
11871537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton    case Instruction::BitCast:
11971537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton      return dyn_cast<Instruction>(
12071537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton                  Builder.CreateCast((Instruction::CastOps)OpCode,
12171537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton                                     CE->getOperand(0), CE->getType(),
12271537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton                                     CE->getName()));
12371537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton    default:
1247b80d9233a0a69c47d1e5ebe647951349ed166e8Aaron Ballman      llvm_unreachable("Unhandled constant expression!\n");
12571537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton  }
12671537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton}
127597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne
128fb312f9f5a9f8cd8be1dbeaf011768e186eb8f98Robert Lyttonstatic bool replaceConstantExprOp(ConstantExpr *CE, Pass *P) {
12971537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton  do {
13036b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines    SmallVector<WeakVH,8> WUsers(CE->user_begin(), CE->user_end());
131fb312f9f5a9f8cd8be1dbeaf011768e186eb8f98Robert Lytton    std::sort(WUsers.begin(), WUsers.end());
132fb312f9f5a9f8cd8be1dbeaf011768e186eb8f98Robert Lytton    WUsers.erase(std::unique(WUsers.begin(), WUsers.end()), WUsers.end());
13371537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton    while (!WUsers.empty())
13471537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton      if (WeakVH WU = WUsers.pop_back_val()) {
135fb312f9f5a9f8cd8be1dbeaf011768e186eb8f98Robert Lytton        if (PHINode *PN = dyn_cast<PHINode>(WU)) {
136fb312f9f5a9f8cd8be1dbeaf011768e186eb8f98Robert Lytton          for (int I = 0, E = PN->getNumIncomingValues(); I < E; ++I)
137fb312f9f5a9f8cd8be1dbeaf011768e186eb8f98Robert Lytton            if (PN->getIncomingValue(I) == CE) {
138fb312f9f5a9f8cd8be1dbeaf011768e186eb8f98Robert Lytton              BasicBlock *PredBB = PN->getIncomingBlock(I);
139fb312f9f5a9f8cd8be1dbeaf011768e186eb8f98Robert Lytton              if (PredBB->getTerminator()->getNumSuccessors() > 1)
140fb312f9f5a9f8cd8be1dbeaf011768e186eb8f98Robert Lytton                PredBB = SplitEdge(PredBB, PN->getParent(), P);
141fb312f9f5a9f8cd8be1dbeaf011768e186eb8f98Robert Lytton              Instruction *InsertPos = PredBB->getTerminator();
142fb312f9f5a9f8cd8be1dbeaf011768e186eb8f98Robert Lytton              Instruction *NewInst = createReplacementInstr(CE, InsertPos);
143fb312f9f5a9f8cd8be1dbeaf011768e186eb8f98Robert Lytton              PN->setOperand(I, NewInst);
144fb312f9f5a9f8cd8be1dbeaf011768e186eb8f98Robert Lytton            }
145fb312f9f5a9f8cd8be1dbeaf011768e186eb8f98Robert Lytton        } else if (Instruction *Instr = dyn_cast<Instruction>(WU)) {
14671537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton          Instruction *NewInst = createReplacementInstr(CE, Instr);
14771537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton          Instr->replaceUsesOfWith(CE, NewInst);
14871537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton        } else {
14971537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton          ConstantExpr *CExpr = dyn_cast<ConstantExpr>(WU);
150fb312f9f5a9f8cd8be1dbeaf011768e186eb8f98Robert Lytton          if (!CExpr || !replaceConstantExprOp(CExpr, P))
15171537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton            return false;
15271537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton        }
15371537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton      }
15436b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines  } while (CE->hasNUsesOrMore(1)); // We need to check because a recursive
15536b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines  // sibling may have used 'CE' when createReplacementInstr was called.
15671537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton  CE->destroyConstant();
15771537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton  return true;
15871537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton}
15971537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton
160fb312f9f5a9f8cd8be1dbeaf011768e186eb8f98Robert Lyttonstatic bool rewriteNonInstructionUses(GlobalVariable *GV, Pass *P) {
16171537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton  SmallVector<WeakVH,8> WUsers;
16236b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines  for (User *U : GV->users())
16336b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines    if (!isa<Instruction>(U))
16436b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines      WUsers.push_back(WeakVH(U));
16571537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton  while (!WUsers.empty())
16671537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton    if (WeakVH WU = WUsers.pop_back_val()) {
16771537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton      ConstantExpr *CE = dyn_cast<ConstantExpr>(WU);
168fb312f9f5a9f8cd8be1dbeaf011768e186eb8f98Robert Lytton      if (!CE || !replaceConstantExprOp(CE, P))
16971537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton        return false;
17071537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton    }
17171537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton  return true;
172597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne}
173597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne
174597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osbornestatic bool isZeroLengthArray(Type *Ty) {
175597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  ArrayType *AT = dyn_cast<ArrayType>(Ty);
176597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  return AT && (AT->getNumElements() == 0);
177597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne}
178597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne
179597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osbornebool XCoreLowerThreadLocal::lowerGlobal(GlobalVariable *GV) {
180597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  Module *M = GV->getParent();
181597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  LLVMContext &Ctx = M->getContext();
182597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  if (!GV->isThreadLocal())
183597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne    return false;
184597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne
185597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  // Skip globals that we can't lower and leave it for the backend to error.
186fb312f9f5a9f8cd8be1dbeaf011768e186eb8f98Robert Lytton  if (!rewriteNonInstructionUses(GV, this) ||
187597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne      !GV->getType()->isSized() || isZeroLengthArray(GV->getType()))
188597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne    return false;
189597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne
190597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  // Create replacement global.
191597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  ArrayType *NewType = createLoweredType(GV->getType()->getElementType());
192dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines  Constant *NewInitializer = nullptr;
19371537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton  if (GV->hasInitializer())
19471537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton    NewInitializer = createLoweredInitializer(NewType,
19571537c178303c9d3f44aa0b9e0de167a7d670c77Robert Lytton                                              GV->getInitializer());
196597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  GlobalVariable *NewGV =
197597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne    new GlobalVariable(*M, NewType, GV->isConstant(), GV->getLinkage(),
198dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines                       NewInitializer, "", nullptr,
199dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines                       GlobalVariable::NotThreadLocal,
200597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne                       GV->getType()->getAddressSpace(),
201597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne                       GV->isExternallyInitialized());
202597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne
203597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  // Update uses.
20436b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines  SmallVector<User *, 16> Users(GV->user_begin(), GV->user_end());
205597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  for (unsigned I = 0, E = Users.size(); I != E; ++I) {
206597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne    User *U = Users[I];
207597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne    Instruction *Inst = cast<Instruction>(U);
208597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne    IRBuilder<> Builder(Inst);
209597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne    Function *GetID = Intrinsic::getDeclaration(GV->getParent(),
210597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne                                                Intrinsic::xcore_getid);
211597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne    Value *ThreadID = Builder.CreateCall(GetID);
212597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne    SmallVector<Value *, 2> Indices;
213597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne    Indices.push_back(Constant::getNullValue(Type::getInt64Ty(Ctx)));
214597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne    Indices.push_back(ThreadID);
215597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne    Value *Addr = Builder.CreateInBoundsGEP(NewGV, Indices);
216597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne    U->replaceUsesOfWith(GV, Addr);
217597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  }
218597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne
219597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  // Remove old global.
220597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  NewGV->takeName(GV);
221597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  GV->eraseFromParent();
222597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  return true;
223597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne}
224597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne
225597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osbornebool XCoreLowerThreadLocal::runOnModule(Module &M) {
226597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  // Find thread local globals.
227597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  bool MadeChange = false;
228597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  SmallVector<GlobalVariable *, 16> ThreadLocalGlobals;
229597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  for (Module::global_iterator GVI = M.global_begin(), E = M.global_end();
230597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne       GVI != E; ++GVI) {
231597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne    GlobalVariable *GV = GVI;
232597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne    if (GV->isThreadLocal())
233597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne      ThreadLocalGlobals.push_back(GV);
234597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  }
235597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  for (unsigned I = 0, E = ThreadLocalGlobals.size(); I != E; ++I) {
236597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne    MadeChange |= lowerGlobal(ThreadLocalGlobals[I]);
237597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  }
238597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne  return MadeChange;
239597432fbe53bda0069b0ad13e5ad57ae0ee7ee45Richard Osborne}
240