1
Fork 0

Rename (un)signed to (un)signed_int

This commit is contained in:
Andreas Liljeqvist 2021-09-07 20:44:33 +02:00
parent 9129f4306f
commit dd34e0c966
6 changed files with 17 additions and 16 deletions

View file

@ -260,7 +260,7 @@ impl<'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> InterpCx<'mir, 'tcx, M> {
// unsigned // unsigned
if is_add { if is_add {
// max unsigned // max unsigned
Scalar::from_uint(size.unsigned_max(), Size::from_bits(num_bits)) Scalar::from_uint(size.unsigned_int_max(), Size::from_bits(num_bits))
} else { } else {
// underflow to 0 // underflow to 0
Scalar::from_uint(0u128, Size::from_bits(num_bits)) Scalar::from_uint(0u128, Size::from_bits(num_bits))

View file

@ -627,7 +627,7 @@ impl<'rt, 'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> ValidityVisitor<'rt, 'mir, '
// At least one value is excluded. // At least one value is excluded.
let valid_range = scalar_layout.valid_range; let valid_range = scalar_layout.valid_range;
let WrappingRange { start, end } = valid_range; let WrappingRange { start, end } = valid_range;
let max_value = op.layout.size.unsigned_max(); let max_value = op.layout.size.unsigned_int_max();
assert!(end <= max_value); assert!(end <= max_value);
// Determine the allowed range // Determine the allowed range
let value = self.read_scalar(op)?; let value = self.read_scalar(op)?;

View file

@ -514,7 +514,7 @@ impl<'tcx> LayoutCx<'tcx, TyCtxt<'tcx>> {
let scalar_unit = |value: Primitive| { let scalar_unit = |value: Primitive| {
let size = value.size(dl); let size = value.size(dl);
assert!(size.bits() <= 128); assert!(size.bits() <= 128);
Scalar { value, valid_range: WrappingRange { start: 0, end: size.unsigned_max() } } Scalar { value, valid_range: WrappingRange { start: 0, end: size.unsigned_int_max() } }
}; };
let scalar = |value: Primitive| tcx.intern_layout(Layout::scalar(self, scalar_unit(value))); let scalar = |value: Primitive| tcx.intern_layout(Layout::scalar(self, scalar_unit(value)));
@ -1266,7 +1266,7 @@ impl<'tcx> LayoutCx<'tcx, TyCtxt<'tcx>> {
} }
} }
let tag_mask = ity.size().unsigned_max(); let tag_mask = ity.size().unsigned_int_max();
let tag = Scalar { let tag = Scalar {
value: Int(ity, signed), value: Int(ity, signed),
valid_range: WrappingRange { valid_range: WrappingRange {

View file

@ -62,8 +62,8 @@ impl<'tcx> Discr<'tcx> {
pub fn checked_add(self, tcx: TyCtxt<'tcx>, n: u128) -> (Self, bool) { pub fn checked_add(self, tcx: TyCtxt<'tcx>, n: u128) -> (Self, bool) {
let (size, signed) = int_size_and_signed(tcx, self.ty); let (size, signed) = int_size_and_signed(tcx, self.ty);
let (val, oflo) = if signed { let (val, oflo) = if signed {
let min = size.signed_min(); let min = size.signed_int_min();
let max = size.signed_max(); let max = size.signed_int_max();
let val = size.sign_extend(self.val) as i128; let val = size.sign_extend(self.val) as i128;
assert!(n < (i128::MAX as u128)); assert!(n < (i128::MAX as u128));
let n = n as i128; let n = n as i128;
@ -74,7 +74,7 @@ impl<'tcx> Discr<'tcx> {
let val = size.truncate(val); let val = size.truncate(val);
(val, oflo) (val, oflo)
} else { } else {
let max = size.unsigned_max(); let max = size.unsigned_int_max();
let val = self.val; let val = self.val;
let oflo = val > max - n; let oflo = val > max - n;
let val = if oflo { n - (max - val) - 1 } else { val + n }; let val = if oflo { n - (max - val) - 1 } else { val + n };
@ -609,7 +609,8 @@ impl<'tcx> ty::TyS<'tcx> {
let val = match self.kind() { let val = match self.kind() {
ty::Int(_) | ty::Uint(_) => { ty::Int(_) | ty::Uint(_) => {
let (size, signed) = int_size_and_signed(tcx, self); let (size, signed) = int_size_and_signed(tcx, self);
let val = if signed { size.signed_max() as u128 } else { size.unsigned_max() }; let val =
if signed { size.signed_int_max() as u128 } else { size.unsigned_int_max() };
Some(val) Some(val)
} }
ty::Char => Some(std::char::MAX as u128), ty::Char => Some(std::char::MAX as u128),
@ -628,7 +629,7 @@ impl<'tcx> ty::TyS<'tcx> {
let val = match self.kind() { let val = match self.kind() {
ty::Int(_) | ty::Uint(_) => { ty::Int(_) | ty::Uint(_) => {
let (size, signed) = int_size_and_signed(tcx, self); let (size, signed) = int_size_and_signed(tcx, self);
let val = if signed { size.truncate(size.signed_min() as u128) } else { 0 }; let val = if signed { size.truncate(size.signed_int_min() as u128) } else { 0 };
Some(val) Some(val)
} }
ty::Char => Some(0), ty::Char => Some(0),

View file

@ -495,7 +495,7 @@ impl<'a, 'tcx> Builder<'a, 'tcx> {
fn neg_1_literal(&mut self, span: Span, ty: Ty<'tcx>) -> Operand<'tcx> { fn neg_1_literal(&mut self, span: Span, ty: Ty<'tcx>) -> Operand<'tcx> {
let param_ty = ty::ParamEnv::empty().and(ty); let param_ty = ty::ParamEnv::empty().and(ty);
let size = self.tcx.layout_of(param_ty).unwrap().size; let size = self.tcx.layout_of(param_ty).unwrap().size;
let literal = ty::Const::from_bits(self.tcx, size.unsigned_max(), param_ty); let literal = ty::Const::from_bits(self.tcx, size.unsigned_int_max(), param_ty);
self.literal_operand(span, literal) self.literal_operand(span, literal)
} }

View file

@ -394,17 +394,17 @@ impl Size {
} }
#[inline] #[inline]
pub fn signed_min(&self) -> i128 { pub fn signed_int_min(&self) -> i128 {
self.sign_extend(1_u128 << (self.bits() - 1)) as i128 self.sign_extend(1_u128 << (self.bits() - 1)) as i128
} }
#[inline] #[inline]
pub fn signed_max(&self) -> i128 { pub fn signed_int_max(&self) -> i128 {
i128::MAX >> (128 - self.bits()) i128::MAX >> (128 - self.bits())
} }
#[inline] #[inline]
pub fn unsigned_max(&self) -> u128 { pub fn unsigned_int_max(&self) -> u128 {
u128::MAX >> (128 - self.bits()) u128::MAX >> (128 - self.bits())
} }
} }
@ -790,7 +790,7 @@ impl WrappingRange {
/// Returns `true` if `size` completely fills the range. /// Returns `true` if `size` completely fills the range.
#[inline] #[inline]
pub fn is_full_for(&self, size: Size) -> bool { pub fn is_full_for(&self, size: Size) -> bool {
let max_value = size.unsigned_max(); let max_value = size.unsigned_int_max();
debug_assert!(self.start <= max_value && self.end <= max_value); debug_assert!(self.start <= max_value && self.end <= max_value);
(self.start == 0 && self.end == max_value) || (self.end + 1 == self.start) (self.start == 0 && self.end == max_value) || (self.end + 1 == self.start)
} }
@ -1084,7 +1084,7 @@ impl Niche {
let Scalar { value, valid_range: v } = self.scalar; let Scalar { value, valid_range: v } = self.scalar;
let size = value.size(cx); let size = value.size(cx);
assert!(size.bits() <= 128); assert!(size.bits() <= 128);
let max_value = size.unsigned_max(); let max_value = size.unsigned_int_max();
// Find out how many values are outside the valid range. // Find out how many values are outside the valid range.
let niche = v.end.wrapping_add(1)..v.start; let niche = v.end.wrapping_add(1)..v.start;
@ -1097,7 +1097,7 @@ impl Niche {
let Scalar { value, valid_range: v } = self.scalar; let Scalar { value, valid_range: v } = self.scalar;
let size = value.size(cx); let size = value.size(cx);
assert!(size.bits() <= 128); assert!(size.bits() <= 128);
let max_value = size.unsigned_max(); let max_value = size.unsigned_int_max();
if count > max_value { if count > max_value {
return None; return None;