From b16cfacbccee272ed8a30aec1f5c25e9f845d1a8 Mon Sep 17 00:00:00 2001 From: Christopher Chambers Date: Fri, 10 Apr 2015 21:50:23 -0500 Subject: Improves semicolon expansion efficiency, corrects bt_pop placement. Implements pop() on SmallVector, and uses it to expand the final semicolon in a statement macro expansion more efficiently. Corrects the placement of the call to fld.cx.bt_pop(). It must run unconditionally to reverse the corresponding push. --- src/libsyntax/util/small_vector.rs | 36 ++++++++++++++++++++++++++++++++++++ 1 file changed, 36 insertions(+) (limited to 'src/libsyntax/util') diff --git a/src/libsyntax/util/small_vector.rs b/src/libsyntax/util/small_vector.rs index 1649934f4b1..c4b096d656f 100644 --- a/src/libsyntax/util/small_vector.rs +++ b/src/libsyntax/util/small_vector.rs @@ -69,6 +69,42 @@ impl SmallVector { } } + pub fn pop(&mut self) -> Option { + match self.repr { + Zero => None, + One(..) => { + let one = mem::replace(&mut self.repr, Zero); + match one { + One(v1) => Some(v1), + _ => unreachable!() + } + } + Many(..) => { + let mut many = mem::replace(&mut self.repr, Zero); + let item = + match many { + Many(ref mut vs) if vs.len() == 1 => { + // self.repr is already Zero + vs.pop() + }, + Many(ref mut vs) if vs.len() == 2 => { + let item = vs.pop(); + mem::replace(&mut self.repr, One(vs.pop().unwrap())); + item + }, + Many(ref mut vs) if vs.len() > 2 => { + let item = vs.pop(); + let rest = mem::replace(vs, vec!()); + mem::replace(&mut self.repr, Many(rest)); + item + }, + _ => unreachable!() + }; + item + } + } + } + pub fn push(&mut self, v: T) { match self.repr { Zero => self.repr = One(v), -- cgit 1.4.1-3-g733a5