Skip to content

Commit

Permalink
Generate FirstStatementIndex using newtype_index macro
Browse files Browse the repository at this point in the history
  • Loading branch information
spastorino committed Oct 17, 2017
1 parent abe7c87 commit b8f981a
Show file tree
Hide file tree
Showing 3 changed files with 9 additions and 24 deletions.
2 changes: 1 addition & 1 deletion src/librustc/ich/impls_ty.rs
Expand Up @@ -518,7 +518,7 @@ impl_stable_hash_for!(enum ty::cast::CastKind {
FnPtrAddrCast
});

impl_stable_hash_for!(struct ::middle::region::FirstStatementIndex { idx });
impl_stable_hash_for!(tuple_struct ::middle::region::FirstStatementIndex { idx });
impl_stable_hash_for!(struct ::middle::region::Scope { id, code });

impl<'gcx> ToStableHashKey<StableHashingContext<'gcx>> for region::Scope {
Expand Down
27 changes: 6 additions & 21 deletions src/librustc/middle/region.rs
Expand Up @@ -156,26 +156,11 @@ pub struct BlockRemainder {
pub first_statement_index: FirstStatementIndex,
}

#[derive(Clone, PartialEq, PartialOrd, Eq, Ord, Hash, RustcEncodable,
RustcDecodable, Copy)]
pub struct FirstStatementIndex { pub idx: u32 }

impl Idx for FirstStatementIndex {
fn new(idx: usize) -> Self {
assert!(idx <= SCOPE_DATA_REMAINDER_MAX as usize);
FirstStatementIndex { idx: idx as u32 }
}

fn index(self) -> usize {
self.idx as usize
}
}

impl fmt::Debug for FirstStatementIndex {
fn fmt(&self, formatter: &mut fmt::Formatter) -> fmt::Result {
fmt::Debug::fmt(&self.index(), formatter)
}
}
newtype_index!(FirstStatementIndex
{
DEBUG_NAME = "",
MAX = SCOPE_DATA_REMAINDER_MAX,
});

impl From<ScopeData> for Scope {
#[inline]
Expand Down Expand Up @@ -208,7 +193,7 @@ impl Scope {
SCOPE_DATA_DESTRUCTION => ScopeData::Destruction(self.id),
idx => ScopeData::Remainder(BlockRemainder {
block: self.id,
first_statement_index: FirstStatementIndex { idx }
first_statement_index: FirstStatementIndex::new(idx as usize)
})
}
}
Expand Down
4 changes: 2 additions & 2 deletions src/librustc_data_structures/indexed_vec.rs
Expand Up @@ -65,7 +65,7 @@ macro_rules! newtype_index {
(@type[$type:ident] @max[$max:expr] @debug_name[$debug_name:expr]) => (
#[derive(Copy, Clone, PartialEq, Eq, Hash, PartialOrd, Ord,
RustcEncodable, RustcDecodable)]
pub struct $type(u32);
pub struct $type(pub u32);

impl Idx for $type {
fn new(value: usize) -> Self {
Expand Down Expand Up @@ -99,7 +99,7 @@ macro_rules! newtype_index {
// Replace existing default for max
(@type[$type:ident] @max[$_max:expr] @debug_name[$debug_name:expr]
MAX = $max:expr, $($tokens:tt)*) => (
newtype_index!(@type[$type] @max[$max] @debug_name[$debug_name] $(tokens)*);
newtype_index!(@type[$type] @max[$max] @debug_name[$debug_name] $($tokens)*);
);

// Replace existing default for debug_name
Expand Down

0 comments on commit b8f981a

Please sign in to comment.