1//===-- LLVMContextImpl.cpp - Implement LLVMContextImpl -------------------===//
2//
3//                     The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10//  This file implements the opaque LLVMContextImpl.
11//
12//===----------------------------------------------------------------------===//
13
14#include "LLVMContextImpl.h"
15#include "llvm/ADT/STLExtras.h"
16#include "llvm/IR/Attributes.h"
17#include "llvm/IR/DiagnosticInfo.h"
18#include "llvm/IR/Module.h"
19#include <algorithm>
20using namespace llvm;
21
22LLVMContextImpl::LLVMContextImpl(LLVMContext &C)
23  : TheTrueVal(nullptr), TheFalseVal(nullptr),
24    VoidTy(C, Type::VoidTyID),
25    LabelTy(C, Type::LabelTyID),
26    HalfTy(C, Type::HalfTyID),
27    FloatTy(C, Type::FloatTyID),
28    DoubleTy(C, Type::DoubleTyID),
29    MetadataTy(C, Type::MetadataTyID),
30    X86_FP80Ty(C, Type::X86_FP80TyID),
31    FP128Ty(C, Type::FP128TyID),
32    PPC_FP128Ty(C, Type::PPC_FP128TyID),
33    X86_MMXTy(C, Type::X86_MMXTyID),
34    Int1Ty(C, 1),
35    Int8Ty(C, 8),
36    Int16Ty(C, 16),
37    Int32Ty(C, 32),
38    Int64Ty(C, 64) {
39  InlineAsmDiagHandler = nullptr;
40  InlineAsmDiagContext = nullptr;
41  DiagnosticHandler = nullptr;
42  DiagnosticContext = nullptr;
43  YieldCallback = nullptr;
44  YieldOpaqueHandle = nullptr;
45  NamedStructTypesUniqueID = 0;
46}
47
48namespace {
49struct DropReferences {
50  // Takes the value_type of a ConstantUniqueMap's internal map, whose 'second'
51  // is a Constant*.
52  template <typename PairT> void operator()(const PairT &P) {
53    P.second->dropAllReferences();
54  }
55};
56
57// Temporary - drops pair.first instead of second.
58struct DropFirst {
59  // Takes the value_type of a ConstantUniqueMap's internal map, whose 'second'
60  // is a Constant*.
61  template<typename PairT>
62  void operator()(const PairT &P) {
63    P.first->dropAllReferences();
64  }
65};
66}
67
68LLVMContextImpl::~LLVMContextImpl() {
69  // NOTE: We need to delete the contents of OwnedModules, but Module's dtor
70  // will call LLVMContextImpl::removeModule, thus invalidating iterators into
71  // the container. Avoid iterators during this operation:
72  while (!OwnedModules.empty())
73    delete *OwnedModules.begin();
74
75  // Free the constants.  This is important to do here to ensure that they are
76  // freed before the LeakDetector is torn down.
77  std::for_each(ExprConstants.map_begin(), ExprConstants.map_end(),
78                DropReferences());
79  std::for_each(ArrayConstants.map_begin(), ArrayConstants.map_end(),
80                DropFirst());
81  std::for_each(StructConstants.map_begin(), StructConstants.map_end(),
82                DropFirst());
83  std::for_each(VectorConstants.map_begin(), VectorConstants.map_end(),
84                DropFirst());
85  ExprConstants.freeConstants();
86  ArrayConstants.freeConstants();
87  StructConstants.freeConstants();
88  VectorConstants.freeConstants();
89  DeleteContainerSeconds(CAZConstants);
90  DeleteContainerSeconds(CPNConstants);
91  DeleteContainerSeconds(UVConstants);
92  InlineAsms.freeConstants();
93  DeleteContainerSeconds(IntConstants);
94  DeleteContainerSeconds(FPConstants);
95
96  for (StringMap<ConstantDataSequential*>::iterator I = CDSConstants.begin(),
97       E = CDSConstants.end(); I != E; ++I)
98    delete I->second;
99  CDSConstants.clear();
100
101  // Destroy attributes.
102  for (FoldingSetIterator<AttributeImpl> I = AttrsSet.begin(),
103         E = AttrsSet.end(); I != E; ) {
104    FoldingSetIterator<AttributeImpl> Elem = I++;
105    delete &*Elem;
106  }
107
108  // Destroy attribute lists.
109  for (FoldingSetIterator<AttributeSetImpl> I = AttrsLists.begin(),
110         E = AttrsLists.end(); I != E; ) {
111    FoldingSetIterator<AttributeSetImpl> Elem = I++;
112    delete &*Elem;
113  }
114
115  // Destroy attribute node lists.
116  for (FoldingSetIterator<AttributeSetNode> I = AttrsSetNodes.begin(),
117         E = AttrsSetNodes.end(); I != E; ) {
118    FoldingSetIterator<AttributeSetNode> Elem = I++;
119    delete &*Elem;
120  }
121
122  // Destroy MDNodes.  ~MDNode can move and remove nodes between the MDNodeSet
123  // and the NonUniquedMDNodes sets, so copy the values out first.
124  SmallVector<MDNode*, 8> MDNodes;
125  MDNodes.reserve(MDNodeSet.size() + NonUniquedMDNodes.size());
126  for (FoldingSetIterator<MDNode> I = MDNodeSet.begin(), E = MDNodeSet.end();
127       I != E; ++I)
128    MDNodes.push_back(&*I);
129  MDNodes.append(NonUniquedMDNodes.begin(), NonUniquedMDNodes.end());
130  for (SmallVectorImpl<MDNode *>::iterator I = MDNodes.begin(),
131         E = MDNodes.end(); I != E; ++I)
132    (*I)->destroy();
133  assert(MDNodeSet.empty() && NonUniquedMDNodes.empty() &&
134         "Destroying all MDNodes didn't empty the Context's sets.");
135
136  // Destroy MDStrings.
137  DeleteContainerSeconds(MDStringCache);
138}
139
140// ConstantsContext anchors
141void UnaryConstantExpr::anchor() { }
142
143void BinaryConstantExpr::anchor() { }
144
145void SelectConstantExpr::anchor() { }
146
147void ExtractElementConstantExpr::anchor() { }
148
149void InsertElementConstantExpr::anchor() { }
150
151void ShuffleVectorConstantExpr::anchor() { }
152
153void ExtractValueConstantExpr::anchor() { }
154
155void InsertValueConstantExpr::anchor() { }
156
157void GetElementPtrConstantExpr::anchor() { }
158
159void CompareConstantExpr::anchor() { }
160