Add ADT/IntervalMap.
authorJakob Stoklund Olesen <stoklund@2pi.dk>
Fri, 19 Nov 2010 04:47:19 +0000 (04:47 +0000)
committerJakob Stoklund Olesen <stoklund@2pi.dk>
Fri, 19 Nov 2010 04:47:19 +0000 (04:47 +0000)
commit8dc926755f287e33765a8da0c4b3922a289a9d2d
tree9eaa14341e607f81f9837b412f6e0835b2ff8385
parenta4b23ffced8cc7ac2d856f0bd1e4b8b2a12f18e5
Add ADT/IntervalMap.

This is a sorted interval map data structure for small keys and values with
automatic coalescing and bidirectional iteration over coalesced intervals.

Except for coalescing intervals, it provides similar functionality to std::map.
It is however much more compact for small keys and values, and hopefully faster
too.

The container object itself can hold the first few intervals without any
allocations, then it switches to a cache conscious B+-tree representation. A
recycling allocator can be shared between many containers, even between
containers holding different types.

The IntervalMap is initially intended to be used with SlotIndex intervals for:

- Backing store for LiveIntervalUnion that is smaller and faster than std::set.

- Backing store for LiveInterval with less overhead than std::vector for typical
  intervals and O(N log N) merging of large intervals. 99% of virtual registers
  need 4 entries or less and would benefit from the small object optimization.

- Backing store for LiveDebugVariable which doesn't exist yet, but will track
  debug variables during register allocation.

This is a work in progress. Missing items are:

- Performance metrics.
- erase().
- insert() shrinkage.
- clear().
- More performance metrics.
- Simplification and detemplatization.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@119787 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/ADT/IntervalMap.h [new file with mode: 0644]
lib/Support/CMakeLists.txt
lib/Support/IntervalMap.cpp [new file with mode: 0644]
unittests/ADT/IntervalMapTest.cpp [new file with mode: 0644]
unittests/CMakeLists.txt