From 9e5f7d5631b8f4009ac1c693e585d4b7108d4275 Mon Sep 17 00:00:00 2001 From: mark Date: Thu, 27 Aug 2020 22:58:48 -0500 Subject: mv compiler to compiler/ --- compiler/rustc_data_structures/src/work_queue.rs | 56 ++++++++++++++++++++++++ 1 file changed, 56 insertions(+) create mode 100644 compiler/rustc_data_structures/src/work_queue.rs (limited to 'compiler/rustc_data_structures/src/work_queue.rs') diff --git a/compiler/rustc_data_structures/src/work_queue.rs b/compiler/rustc_data_structures/src/work_queue.rs new file mode 100644 index 00000000000..0c848eb144d --- /dev/null +++ b/compiler/rustc_data_structures/src/work_queue.rs @@ -0,0 +1,56 @@ +use rustc_index::bit_set::BitSet; +use rustc_index::vec::Idx; +use std::collections::VecDeque; + +/// A work queue is a handy data structure for tracking work left to +/// do. (For example, basic blocks left to process.) It is basically a +/// de-duplicating queue; so attempting to insert X if X is already +/// enqueued has no effect. This implementation assumes that the +/// elements are dense indices, so it can allocate the queue to size +/// and also use a bit set to track occupancy. +pub struct WorkQueue { + deque: VecDeque, + set: BitSet, +} + +impl WorkQueue { + /// Creates a new work queue with all the elements from (0..len). + #[inline] + pub fn with_all(len: usize) -> Self { + WorkQueue { deque: (0..len).map(T::new).collect(), set: BitSet::new_filled(len) } + } + + /// Creates a new work queue that starts empty, where elements range from (0..len). + #[inline] + pub fn with_none(len: usize) -> Self { + WorkQueue { deque: VecDeque::with_capacity(len), set: BitSet::new_empty(len) } + } + + /// Attempt to enqueue `element` in the work queue. Returns false if it was already present. + #[inline] + pub fn insert(&mut self, element: T) -> bool { + if self.set.insert(element) { + self.deque.push_back(element); + true + } else { + false + } + } + + /// Attempt to pop an element from the work queue. + #[inline] + pub fn pop(&mut self) -> Option { + if let Some(element) = self.deque.pop_front() { + self.set.remove(element); + Some(element) + } else { + None + } + } + + /// Returns `true` if nothing is enqueued. + #[inline] + pub fn is_empty(&self) -> bool { + self.deque.is_empty() + } +} -- cgit 1.4.1-3-g733a5