src/test/ui/numbers-arithmetic/num-wrapping.rs

   1 // run-pass
   2 #![allow(unused_macros)]
   3
   4 // compile-flags: -C debug-assertions
   5 //
   6 // Test std::num::Wrapping<T> for {uN, iN, usize, isize}
   7
   8 #![feature(test)]
   9
  10 extern crate test;
  11
  12 use std::num::Wrapping;
  13 use std::ops::{
  14     Add, Sub, Mul, Div, Rem, BitXor, BitOr, BitAnd,
  15     AddAssign, SubAssign, MulAssign, DivAssign, RemAssign, BitXorAssign, BitOrAssign, BitAndAssign,
  16     Shl, Shr, ShlAssign, ShrAssign
  17 };
  18 use test::black_box;
  19
  20 macro_rules! int_modules {
  21     ($(($name:ident, $size:expr),)*) => ($(
  22         mod $name {
  23             pub const BITS: usize = $size;
  24             pub use std::$name::*;
  25         }
  26     )*)
  27 }
  28
  29 int_modules! {
  30     (i8, 8),
  31     (i16, 16),
  32     (i32, 32),
  33     (i64, 64),
  34     (u8, 8),
  35     (u16, 16),
  36     (u32, 32),
  37     (u64, 64),
  38 }
  39
  40 #[cfg(target_pointer_width = "32")]
  41 int_modules! {
  42     (isize, 32),
  43     (usize, 32),
  44 }
  45
  46 #[cfg(target_pointer_width = "64")]
  47 int_modules! {
  48     (isize, 64),
  49     (usize, 64),
  50 }
  51
  52 fn main() {
  53     test_ops();
  54     test_op_assigns();
  55     test_sh_ops();
  56     test_sh_op_assigns();
  57 }
  58
  59 fn test_ops() {
  60     macro_rules! op_test {
  61         ($op:ident ($lhs:expr, $rhs:expr) == $ans:expr) => {
  62             assert_eq!(black_box(Wrapping($lhs).$op(Wrapping($rhs))), Wrapping($ans));
  63             // FIXME(30524): uncomment this test when it's implemented
  64             // assert_eq!(black_box(Wrapping($lhs).$op($rhs)), Wrapping($ans));
  65         }
  66     }
  67
  68     op_test!(add(i8::MAX, 1) == i8::MIN);
  69     op_test!(add(i16::MAX, 1) == i16::MIN);
  70     op_test!(add(i32::MAX, 1) == i32::MIN);
  71     op_test!(add(i64::MAX, 1) == i64::MIN);
  72     op_test!(add(isize::MAX, 1) == isize::MIN);
  73
  74     op_test!(add(u8::MAX, 1) == 0);
  75     op_test!(add(u16::MAX, 1) == 0);
  76     op_test!(add(u32::MAX, 1) == 0);
  77     op_test!(add(u64::MAX, 1) == 0);
  78     op_test!(add(usize::MAX, 1) == 0);
  79
  80
  81     op_test!(sub(i8::MIN, 1) == i8::MAX);
  82     op_test!(sub(i16::MIN, 1) == i16::MAX);
  83     op_test!(sub(i32::MIN, 1) == i32::MAX);
  84     op_test!(sub(i64::MIN, 1) == i64::MAX);
  85     op_test!(sub(isize::MIN, 1) == isize::MAX);
  86
  87     op_test!(sub(0u8, 1) == u8::MAX);
  88     op_test!(sub(0u16, 1) == u16::MAX);
  89     op_test!(sub(0u32, 1) == u32::MAX);
  90     op_test!(sub(0u64, 1) == u64::MAX);
  91     op_test!(sub(0usize, 1) == usize::MAX);
  92
  93
  94     op_test!(mul(i8::MAX, 2) == -2);
  95     op_test!(mul(i16::MAX, 2) == -2);
  96     op_test!(mul(i32::MAX, 2) == -2);
  97     op_test!(mul(i64::MAX, 2) == -2);
  98     op_test!(mul(isize::MAX, 2) == -2);
  99
 100     op_test!(mul(u8::MAX, 2) == u8::MAX - 1);
 101     op_test!(mul(u16::MAX, 2) == u16::MAX - 1);
 102     op_test!(mul(u32::MAX, 2) == u32::MAX - 1);
 103     op_test!(mul(u64::MAX, 2) == u64::MAX - 1);
 104     op_test!(mul(usize::MAX, 2) == usize::MAX - 1);
 105
 106
 107     op_test!(div(i8::MIN, -1) == i8::MIN);
 108     op_test!(div(i16::MIN, -1) == i16::MIN);
 109     op_test!(div(i32::MIN, -1) == i32::MIN);
 110     op_test!(div(i64::MIN, -1) == i64::MIN);
 111     op_test!(div(isize::MIN, -1) == isize::MIN);
 112
 113
 114     op_test!(rem(i8::MIN, -1) == 0);
 115     op_test!(rem(i16::MIN, -1) == 0);
 116     op_test!(rem(i32::MIN, -1) == 0);
 117     op_test!(rem(i64::MIN, -1) == 0);
 118     op_test!(rem(isize::MIN, -1) == 0);
 119
 120     // these are not that interesting, just testing to make sure they are implemented correctly
 121     op_test!(bitxor(0b101010i8, 0b100110) == 0b001100);
 122     op_test!(bitxor(0b101010i16, 0b100110) == 0b001100);
 123     op_test!(bitxor(0b101010i32, 0b100110) == 0b001100);
 124     op_test!(bitxor(0b101010i64, 0b100110) == 0b001100);
 125     op_test!(bitxor(0b101010isize, 0b100110) == 0b001100);
 126
 127     op_test!(bitxor(0b101010u8, 0b100110) == 0b001100);
 128     op_test!(bitxor(0b101010u16, 0b100110) == 0b001100);
 129     op_test!(bitxor(0b101010u32, 0b100110) == 0b001100);
 130     op_test!(bitxor(0b101010u64, 0b100110) == 0b001100);
 131     op_test!(bitxor(0b101010usize, 0b100110) == 0b001100);
 132
 133
 134     op_test!(bitor(0b101010i8, 0b100110) == 0b101110);
 135     op_test!(bitor(0b101010i16, 0b100110) == 0b101110);
 136     op_test!(bitor(0b101010i32, 0b100110) == 0b101110);
 137     op_test!(bitor(0b101010i64, 0b100110) == 0b101110);
 138     op_test!(bitor(0b101010isize, 0b100110) == 0b101110);
 139
 140     op_test!(bitor(0b101010u8, 0b100110) == 0b101110);
 141     op_test!(bitor(0b101010u16, 0b100110) == 0b101110);
 142     op_test!(bitor(0b101010u32, 0b100110) == 0b101110);
 143     op_test!(bitor(0b101010u64, 0b100110) == 0b101110);
 144     op_test!(bitor(0b101010usize, 0b100110) == 0b101110);
 145
 146
 147     op_test!(bitand(0b101010i8, 0b100110) == 0b100010);
 148     op_test!(bitand(0b101010i16, 0b100110) == 0b100010);
 149     op_test!(bitand(0b101010i32, 0b100110) == 0b100010);
 150     op_test!(bitand(0b101010i64, 0b100110) == 0b100010);
 151     op_test!(bitand(0b101010isize, 0b100110) == 0b100010);
 152
 153     op_test!(bitand(0b101010u8, 0b100110) == 0b100010);
 154     op_test!(bitand(0b101010u16, 0b100110) == 0b100010);
 155     op_test!(bitand(0b101010u32, 0b100110) == 0b100010);
 156     op_test!(bitand(0b101010u64, 0b100110) == 0b100010);
 157     op_test!(bitand(0b101010usize, 0b100110) == 0b100010);
 158 }
 159
 160 fn test_op_assigns() {
 161     macro_rules! op_assign_test {
 162         ($op:ident ($initial:expr, $rhs:expr) == $ans:expr) => {
 163             {
 164                 let mut tmp = Wrapping($initial);
 165                 tmp = black_box(tmp);
 166                 tmp.$op(Wrapping($rhs));
 167                 assert_eq!(black_box(tmp), Wrapping($ans));
 168             }
 169
 170             // also test that a &Wrapping<T> right-hand side is possible
 171             {
 172                 let mut tmp = Wrapping($initial);
 173                 tmp = black_box(tmp);
 174                 tmp.$op(&Wrapping($rhs));
 175                 assert_eq!(black_box(tmp), Wrapping($ans));
 176             }
 177
 178             // FIXME(30524): uncomment this test
 179             /*
 180             {
 181                 let mut tmp = Wrapping($initial);
 182                 tmp = black_box(tmp);
 183                 tmp.$op($rhs);
 184                 assert_eq!(black_box(tmp), Wrapping($ans));
 185             }
 186             */
 187         }
 188     }
 189     op_assign_test!(add_assign(i8::MAX, 1) == i8::MIN);
 190     op_assign_test!(add_assign(i16::MAX, 1) == i16::MIN);
 191     op_assign_test!(add_assign(i32::MAX, 1) == i32::MIN);
 192     op_assign_test!(add_assign(i64::MAX, 1) == i64::MIN);
 193     op_assign_test!(add_assign(isize::MAX, 1) == isize::MIN);
 194
 195     op_assign_test!(add_assign(u8::MAX, 1) == u8::MIN);
 196     op_assign_test!(add_assign(u16::MAX, 1) == u16::MIN);
 197     op_assign_test!(add_assign(u32::MAX, 1) == u32::MIN);
 198     op_assign_test!(add_assign(u64::MAX, 1) == u64::MIN);
 199     op_assign_test!(add_assign(usize::MAX, 1) == usize::MIN);
 200
 201
 202     op_assign_test!(sub_assign(i8::MIN, 1) == i8::MAX);
 203     op_assign_test!(sub_assign(i16::MIN, 1) == i16::MAX);
 204     op_assign_test!(sub_assign(i32::MIN, 1) == i32::MAX);
 205     op_assign_test!(sub_assign(i64::MIN, 1) == i64::MAX);
 206     op_assign_test!(sub_assign(isize::MIN, 1) == isize::MAX);
 207
 208     op_assign_test!(sub_assign(u8::MIN, 1) == u8::MAX);
 209     op_assign_test!(sub_assign(u16::MIN, 1) == u16::MAX);
 210     op_assign_test!(sub_assign(u32::MIN, 1) == u32::MAX);
 211     op_assign_test!(sub_assign(u64::MIN, 1) == u64::MAX);
 212     op_assign_test!(sub_assign(usize::MIN, 1) == usize::MAX);
 213
 214
 215     op_assign_test!(mul_assign(i8::MAX, 2) == -2);
 216     op_assign_test!(mul_assign(i16::MAX, 2) == -2);
 217     op_assign_test!(mul_assign(i32::MAX, 2) == -2);
 218     op_assign_test!(mul_assign(i64::MAX, 2) == -2);
 219     op_assign_test!(mul_assign(isize::MAX, 2) == -2);
 220
 221     op_assign_test!(mul_assign(u8::MAX, 2) == u8::MAX - 1);
 222     op_assign_test!(mul_assign(u16::MAX, 2) == u16::MAX - 1);
 223     op_assign_test!(mul_assign(u32::MAX, 2) == u32::MAX - 1);
 224     op_assign_test!(mul_assign(u64::MAX, 2) == u64::MAX - 1);
 225     op_assign_test!(mul_assign(usize::MAX, 2) == usize::MAX - 1);
 226
 227
 228     op_assign_test!(div_assign(i8::MIN, -1) == i8::MIN);
 229     op_assign_test!(div_assign(i16::MIN, -1) == i16::MIN);
 230     op_assign_test!(div_assign(i32::MIN, -1) == i32::MIN);
 231     op_assign_test!(div_assign(i64::MIN, -1) == i64::MIN);
 232     op_assign_test!(div_assign(isize::MIN, -1) == isize::MIN);
 233
 234
 235     op_assign_test!(rem_assign(i8::MIN, -1) == 0);
 236     op_assign_test!(rem_assign(i16::MIN, -1) == 0);
 237     op_assign_test!(rem_assign(i32::MIN, -1) == 0);
 238     op_assign_test!(rem_assign(i64::MIN, -1) == 0);
 239     op_assign_test!(rem_assign(isize::MIN, -1) == 0);
 240
 241
 242     // these are not that interesting, just testing to make sure they are implemented correctly
 243     op_assign_test!(bitxor_assign(0b101010i8, 0b100110) == 0b001100);
 244     op_assign_test!(bitxor_assign(0b101010i16, 0b100110) == 0b001100);
 245     op_assign_test!(bitxor_assign(0b101010i32, 0b100110) == 0b001100);
 246     op_assign_test!(bitxor_assign(0b101010i64, 0b100110) == 0b001100);
 247     op_assign_test!(bitxor_assign(0b101010isize, 0b100110) == 0b001100);
 248
 249     op_assign_test!(bitxor_assign(0b101010u8, 0b100110) == 0b001100);
 250     op_assign_test!(bitxor_assign(0b101010u16, 0b100110) == 0b001100);
 251     op_assign_test!(bitxor_assign(0b101010u32, 0b100110) == 0b001100);
 252     op_assign_test!(bitxor_assign(0b101010u64, 0b100110) == 0b001100);
 253     op_assign_test!(bitxor_assign(0b101010usize, 0b100110) == 0b001100);
 254
 255
 256     op_assign_test!(bitor_assign(0b101010i8, 0b100110) == 0b101110);
 257     op_assign_test!(bitor_assign(0b101010i16, 0b100110) == 0b101110);
 258     op_assign_test!(bitor_assign(0b101010i32, 0b100110) == 0b101110);
 259     op_assign_test!(bitor_assign(0b101010i64, 0b100110) == 0b101110);
 260     op_assign_test!(bitor_assign(0b101010isize, 0b100110) == 0b101110);
 261
 262     op_assign_test!(bitor_assign(0b101010u8, 0b100110) == 0b101110);
 263     op_assign_test!(bitor_assign(0b101010u16, 0b100110) == 0b101110);
 264     op_assign_test!(bitor_assign(0b101010u32, 0b100110) == 0b101110);
 265     op_assign_test!(bitor_assign(0b101010u64, 0b100110) == 0b101110);
 266     op_assign_test!(bitor_assign(0b101010usize, 0b100110) == 0b101110);
 267
 268
 269     op_assign_test!(bitand_assign(0b101010i8, 0b100110) == 0b100010);
 270     op_assign_test!(bitand_assign(0b101010i16, 0b100110) == 0b100010);
 271     op_assign_test!(bitand_assign(0b101010i32, 0b100110) == 0b100010);
 272     op_assign_test!(bitand_assign(0b101010i64, 0b100110) == 0b100010);
 273     op_assign_test!(bitand_assign(0b101010isize, 0b100110) == 0b100010);
 274
 275     op_assign_test!(bitand_assign(0b101010u8, 0b100110) == 0b100010);
 276     op_assign_test!(bitand_assign(0b101010u16, 0b100110) == 0b100010);
 277     op_assign_test!(bitand_assign(0b101010u32, 0b100110) == 0b100010);
 278     op_assign_test!(bitand_assign(0b101010u64, 0b100110) == 0b100010);
 279     op_assign_test!(bitand_assign(0b101010usize, 0b100110) == 0b100010);
 280 }
 281
 282 fn test_sh_ops() {
 283     macro_rules! sh_test {
 284         ($op:ident ($lhs:expr, $rhs:expr) == $ans:expr) => {
 285             assert_eq!(black_box(Wrapping($lhs).$op($rhs)), Wrapping($ans));
 286         }
 287     }
 288     // NOTE: This will break for i8 if we ever get i/u128
 289     macro_rules! sh_test_all {
 290         ($t:ty) => {
 291             sh_test!(shl(i8::MAX, (i8::BITS + 1) as $t) == -2);
 292             sh_test!(shl(i16::MAX, (i16::BITS + 1) as $t) == -2);
 293             sh_test!(shl(i32::MAX, (i32::BITS + 1) as $t) == -2);
 294             sh_test!(shl(i64::MAX, (i64::BITS + 1) as $t) == -2);
 295             sh_test!(shl(isize::MAX, (isize::BITS + 1) as $t) == -2);
 296
 297             sh_test!(shl(u8::MAX, (u8::BITS + 1) as $t) == u8::MAX - 1);
 298             sh_test!(shl(u16::MAX, (u16::BITS + 1) as $t) == u16::MAX - 1);
 299             sh_test!(shl(u32::MAX, (u32::BITS + 1) as $t) == u32::MAX - 1);
 300             sh_test!(shl(u64::MAX, (u64::BITS + 1) as $t) == u64::MAX - 1);
 301             sh_test!(shl(usize::MAX, (usize::BITS + 1) as $t) == usize::MAX - 1);
 302
 303
 304             sh_test!(shr(i8::MAX, (i8::BITS + 1) as $t) == i8::MAX / 2);
 305             sh_test!(shr(i16::MAX, (i16::BITS + 1) as $t) == i16::MAX / 2);
 306             sh_test!(shr(i32::MAX, (i32::BITS + 1) as $t) == i32::MAX / 2);
 307             sh_test!(shr(i64::MAX, (i64::BITS + 1) as $t) == i64::MAX / 2);
 308             sh_test!(shr(isize::MAX, (isize::BITS + 1) as $t) == isize::MAX / 2);
 309
 310             sh_test!(shr(u8::MAX, (u8::BITS + 1) as $t) == u8::MAX / 2);
 311             sh_test!(shr(u16::MAX, (u16::BITS + 1) as $t) == u16::MAX / 2);
 312             sh_test!(shr(u32::MAX, (u32::BITS + 1) as $t) == u32::MAX / 2);
 313             sh_test!(shr(u64::MAX, (u64::BITS + 1) as $t) == u64::MAX / 2);
 314             sh_test!(shr(usize::MAX, (usize::BITS + 1) as $t) == usize::MAX / 2);
 315         }
 316     }
 317     macro_rules! sh_test_negative_all {
 318         ($t:ty) => {
 319             sh_test!(shr(i8::MAX, -((i8::BITS + 1) as $t)) == -2);
 320             sh_test!(shr(i16::MAX, -((i16::BITS + 1) as $t)) == -2);
 321             sh_test!(shr(i32::MAX, -((i32::BITS + 1) as $t)) == -2);
 322             sh_test!(shr(i64::MAX, -((i64::BITS + 1) as $t)) == -2);
 323             sh_test!(shr(isize::MAX, -((isize::BITS + 1) as $t)) == -2);
 324
 325             sh_test!(shr(u8::MAX, -((u8::BITS + 1) as $t)) == u8::MAX - 1);
 326             sh_test!(shr(u16::MAX, -((u16::BITS + 1) as $t)) == u16::MAX - 1);
 327             sh_test!(shr(u32::MAX, -((u32::BITS + 1) as $t)) == u32::MAX - 1);
 328             sh_test!(shr(u64::MAX, -((u64::BITS + 1) as $t)) == u64::MAX - 1);
 329             sh_test!(shr(usize::MAX, -((usize::BITS + 1) as $t)) == usize::MAX - 1);
 330
 331
 332             sh_test!(shl(i8::MAX, -((i8::BITS + 1) as $t)) == i8::MAX / 2);
 333             sh_test!(shl(i16::MAX, -((i16::BITS + 1) as $t)) == i16::MAX / 2);
 334             sh_test!(shl(i32::MAX, -((i32::BITS + 1) as $t)) == i32::MAX / 2);
 335             sh_test!(shl(i64::MAX, -((i64::BITS + 1) as $t)) == i64::MAX / 2);
 336             sh_test!(shl(isize::MAX, -((isize::BITS + 1) as $t)) == isize::MAX / 2);
 337
 338             sh_test!(shl(u8::MAX, -((u8::BITS + 1) as $t)) == u8::MAX / 2);
 339             sh_test!(shl(u16::MAX, -((u16::BITS + 1) as $t)) == u16::MAX / 2);
 340             sh_test!(shl(u32::MAX, -((u32::BITS + 1) as $t)) == u32::MAX / 2);
 341             sh_test!(shl(u64::MAX, -((u64::BITS + 1) as $t)) == u64::MAX / 2);
 342             sh_test!(shl(usize::MAX, -((usize::BITS + 1) as $t)) == usize::MAX / 2);
 343         }
 344     }
 345     // FIXME(#23545): Uncomment the remaining tests
 346     //sh_test_all!(i8);
 347     //sh_test_all!(u8);
 348     //sh_test_all!(i16);
 349     //sh_test_all!(u16);
 350     //sh_test_all!(i32);
 351     //sh_test_all!(u32);
 352     //sh_test_all!(i64);
 353     //sh_test_all!(u64);
 354     //sh_test_all!(isize);
 355     sh_test_all!(usize);
 356
 357     //sh_test_negative_all!(i8);
 358     //sh_test_negative_all!(i16);
 359     //sh_test_negative_all!(i32);
 360     //sh_test_negative_all!(i64);
 361     //sh_test_negative_all!(isize);
 362 }
 363
 364 fn test_sh_op_assigns() {
 365     macro_rules! sh_assign_test {
 366         ($op:ident ($initial:expr, $rhs:expr) == $ans:expr) => {{
 367             let mut tmp = Wrapping($initial);
 368             tmp = black_box(tmp);
 369             tmp.$op($rhs);
 370             assert_eq!(black_box(tmp), Wrapping($ans));
 371         }}
 372     }
 373     macro_rules! sh_assign_test_all {
 374         ($t:ty) => {
 375             sh_assign_test!(shl_assign(i8::MAX, (i8::BITS + 1) as $t) == -2);
 376             sh_assign_test!(shl_assign(i16::MAX, (i16::BITS + 1) as $t) == -2);
 377             sh_assign_test!(shl_assign(i32::MAX, (i32::BITS + 1) as $t) == -2);
 378             sh_assign_test!(shl_assign(i64::MAX, (i64::BITS + 1) as $t) == -2);
 379             sh_assign_test!(shl_assign(isize::MAX, (isize::BITS + 1) as $t) == -2);
 380
 381             sh_assign_test!(shl_assign(u8::MAX, (u8::BITS + 1) as $t) == u8::MAX - 1);
 382             sh_assign_test!(shl_assign(u16::MAX, (u16::BITS + 1) as $t) == u16::MAX - 1);
 383             sh_assign_test!(shl_assign(u32::MAX, (u32::BITS + 1) as $t) == u32::MAX - 1);
 384             sh_assign_test!(shl_assign(u64::MAX, (u64::BITS + 1) as $t) == u64::MAX - 1);
 385             sh_assign_test!(shl_assign(usize::MAX, (usize::BITS + 1) as $t) == usize::MAX - 1);
 386
 387
 388             sh_assign_test!(shr_assign(i8::MAX, (i8::BITS + 1) as $t) == i8::MAX / 2);
 389             sh_assign_test!(shr_assign(i16::MAX, (i16::BITS + 1) as $t) == i16::MAX / 2);
 390             sh_assign_test!(shr_assign(i32::MAX, (i32::BITS + 1) as $t) == i32::MAX / 2);
 391             sh_assign_test!(shr_assign(i64::MAX, (i64::BITS + 1) as $t) == i64::MAX / 2);
 392             sh_assign_test!(shr_assign(isize::MAX, (isize::BITS + 1) as $t) == isize::MAX / 2);
 393
 394             sh_assign_test!(shr_assign(u8::MAX, (u8::BITS + 1) as $t) == u8::MAX / 2);
 395             sh_assign_test!(shr_assign(u16::MAX, (u16::BITS + 1) as $t) == u16::MAX / 2);
 396             sh_assign_test!(shr_assign(u32::MAX, (u32::BITS + 1) as $t) == u32::MAX / 2);
 397             sh_assign_test!(shr_assign(u64::MAX, (u64::BITS + 1) as $t) == u64::MAX / 2);
 398             sh_assign_test!(shr_assign(usize::MAX, (usize::BITS + 1) as $t) == usize::MAX / 2);
 399         }
 400     }
 401     macro_rules! sh_assign_test_negative_all {
 402         ($t:ty) => {
 403             sh_assign_test!(shr_assign(i8::MAX, -((i8::BITS + 1) as $t)) == -2);
 404             sh_assign_test!(shr_assign(i16::MAX, -((i16::BITS + 1) as $t)) == -2);
 405             sh_assign_test!(shr_assign(i32::MAX, -((i32::BITS + 1) as $t)) == -2);
 406             sh_assign_test!(shr_assign(i64::MAX, -((i64::BITS + 1) as $t)) == -2);
 407             sh_assign_test!(shr_assign(isize::MAX, -((isize::BITS + 1) as $t)) == -2);
 408
 409             sh_assign_test!(shr_assign(u8::MAX, -((u8::BITS + 1) as $t)) == u8::MAX - 1);
 410             sh_assign_test!(shr_assign(u16::MAX, -((u16::BITS + 1) as $t)) == u16::MAX - 1);
 411             sh_assign_test!(shr_assign(u32::MAX, -((u32::BITS + 1) as $t)) == u32::MAX - 1);
 412             sh_assign_test!(shr_assign(u64::MAX, -((u64::BITS + 1) as $t)) == u64::MAX - 1);
 413             sh_assign_test!(shr_assign(usize::MAX, -((usize::BITS + 1) as $t)) == usize::MAX - 1);
 414
 415
 416             sh_assign_test!(shl_assign(i8::MAX, -((i8::BITS + 1) as $t)) == i8::MAX / 2);
 417             sh_assign_test!(shl_assign(i16::MAX, -((i16::BITS + 1) as $t)) == i16::MAX / 2);
 418             sh_assign_test!(shl_assign(i32::MAX, -((i32::BITS + 1) as $t)) == i32::MAX / 2);
 419             sh_assign_test!(shl_assign(i64::MAX, -((i64::BITS + 1) as $t)) == i64::MAX / 2);
 420             sh_assign_test!(shl_assign(isize::MAX, -((isize::BITS + 1) as $t)) == isize::MAX / 2);
 421
 422             sh_assign_test!(shl_assign(u8::MAX, -((u8::BITS + 1) as $t)) == u8::MAX / 2);
 423             sh_assign_test!(shl_assign(u16::MAX, -((u16::BITS + 1) as $t)) == u16::MAX / 2);
 424             sh_assign_test!(shl_assign(u32::MAX, -((u32::BITS + 1) as $t)) == u32::MAX / 2);
 425             sh_assign_test!(shl_assign(u64::MAX, -((u64::BITS + 1) as $t)) == u64::MAX / 2);
 426             sh_assign_test!(shl_assign(usize::MAX, -((usize::BITS + 1) as $t)) == usize::MAX / 2);
 427         }
 428     }
 429
 430     // FIXME(#23545): Uncomment the remaining tests
 431     //sh_assign_test_all!(i8);
 432     //sh_assign_test_all!(u8);
 433     //sh_assign_test_all!(i16);
 434     //sh_assign_test_all!(u16);
 435     //sh_assign_test_all!(i32);
 436     //sh_assign_test_all!(u32);
 437     //sh_assign_test_all!(i64);
 438     //sh_assign_test_all!(u64);
 439     //sh_assign_test_all!(isize);
 440     sh_assign_test_all!(usize);
 441
 442     //sh_assign_test_negative_all!(i8);
 443     //sh_assign_test_negative_all!(i16);
 444     //sh_assign_test_negative_all!(i32);
 445     //sh_assign_test_negative_all!(i64);
 446     //sh_assign_test_negative_all!(isize);
 447 }