1 //==- llvm/Support/Recycler.h - Recycling Allocator --------------*- C++ -*-==//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This file defines the Recycler class template. See the doxygen comment for
11 // Recycler for more details.
13 //===----------------------------------------------------------------------===//
15 #ifndef LLVM_SUPPORT_RECYCLER_H
16 #define LLVM_SUPPORT_RECYCLER_H
18 #include "llvm/ADT/ilist.h"
19 #include "llvm/Support/AlignOf.h"
20 #include "llvm/Support/Allocator.h"
21 #include "llvm/Support/ErrorHandling.h"
26 /// PrintRecyclingAllocatorStats - Helper for RecyclingAllocator for
27 /// printing statistics.
29 void PrintRecyclerStats(size_t Size, size_t Align, size_t FreeListSize);
31 /// RecyclerStruct - Implementation detail for Recycler. This is a
32 /// class that the recycler imposes on free'd memory to carve out
33 /// next/prev pointers.
34 struct RecyclerStruct {
35 RecyclerStruct *Prev, *Next;
39 struct ilist_traits<RecyclerStruct> :
40 public ilist_default_traits<RecyclerStruct> {
41 static RecyclerStruct *getPrev(const RecyclerStruct *t) { return t->Prev; }
42 static RecyclerStruct *getNext(const RecyclerStruct *t) { return t->Next; }
43 static void setPrev(RecyclerStruct *t, RecyclerStruct *p) { t->Prev = p; }
44 static void setNext(RecyclerStruct *t, RecyclerStruct *n) { t->Next = n; }
46 mutable RecyclerStruct Sentinel;
47 RecyclerStruct *createSentinel() const {
50 static void destroySentinel(RecyclerStruct *) {}
52 RecyclerStruct *provideInitialHead() const { return createSentinel(); }
53 RecyclerStruct *ensureHead(RecyclerStruct*) const { return createSentinel(); }
54 static void noteHead(RecyclerStruct*, RecyclerStruct*) {}
56 static void deleteNode(RecyclerStruct *) {
57 llvm_unreachable("Recycler's ilist_traits shouldn't see a deleteNode call!");
61 /// Recycler - This class manages a linked-list of deallocated nodes
62 /// and facilitates reusing deallocated memory in place of allocating
65 template<class T, size_t Size = sizeof(T), size_t Align = AlignOf<T>::Alignment>
67 /// FreeList - Doubly-linked list of nodes that have deleted contents and
68 /// are not in active use.
70 iplist<RecyclerStruct> FreeList;
74 // If this fails, either the callee has lost track of some allocation,
75 // or the callee isn't tracking allocations and should just call
76 // clear() before deleting the Recycler.
77 assert(FreeList.empty() && "Non-empty recycler deleted!");
80 /// clear - Release all the tracked allocations to the allocator. The
81 /// recycler must be free of any tracked allocations before being
82 /// deleted; calling clear is one way to ensure this.
83 template<class AllocatorType>
84 void clear(AllocatorType &Allocator) {
85 while (!FreeList.empty()) {
86 T *t = reinterpret_cast<T *>(FreeList.remove(FreeList.begin()));
87 Allocator.Deallocate(t);
91 /// Special case for BumpPtrAllocator which has an empty Deallocate()
94 /// There is no need to traverse the free list, pulling all the objects into
96 void clear(BumpPtrAllocator&) {
97 FreeList.clearAndLeakNodesUnsafely();
100 template<class SubClass, class AllocatorType>
101 SubClass *Allocate(AllocatorType &Allocator) {
102 static_assert(AlignOf<SubClass>::Alignment <= Align,
103 "Recycler allocation alignment is less than object align!");
104 static_assert(sizeof(SubClass) <= Size,
105 "Recycler allocation size is less than object size!");
106 return !FreeList.empty() ?
107 reinterpret_cast<SubClass *>(FreeList.remove(FreeList.begin())) :
108 static_cast<SubClass *>(Allocator.Allocate(Size, Align));
111 template<class AllocatorType>
112 T *Allocate(AllocatorType &Allocator) {
113 return Allocate<T>(Allocator);
116 template<class SubClass, class AllocatorType>
117 void Deallocate(AllocatorType & /*Allocator*/, SubClass* Element) {
118 FreeList.push_front(reinterpret_cast<RecyclerStruct *>(Element));
122 PrintRecyclerStats(Size, Align, FreeList.size());