src/test/run-pass/const-int-rotate.rs

   1 const LEFT: u32 = 0x10000b3u32.rotate_left(8);
   2 const RIGHT: u32 = 0xb301u32.rotate_right(8);
   3
   4 // Rotating these should make no difference
   5 //
   6 // We test using 124 bits because to ensure that overlong bit shifts do
   7 // not cause undefined behaviour. See #10183.
   8 const LEFT_OVERFLOW: i16 = 0i16.rotate_left(124);
   9 const RIGHT_OVERFLOW: i16 = 0i16.rotate_right(124);
  10 const ONE_LEFT_OVERFLOW: u16 = 1u16.rotate_left(124);
  11 const ONE_RIGHT_OVERFLOW: u16 = 1u16.rotate_right(124);
  12
  13 const NON_ZERO_LEFT_OVERFLOW: u16 = 0b10u16.rotate_left(124);
  14 const NON_ZERO_RIGHT_OVERFLOW: u16 = 0b10u16.rotate_right(124);
  15
  16 // Rotating by 0 should have no effect
  17 const ZERO_ROTATE_LEFT: i8 = 0b0010_0001i8.rotate_left(0);
  18 const ZERO_ROTATE_RIGHT: i8 = 0b0111_1001i8.rotate_right(0);
  19
  20 // Rotating by a multiple of word size should also have no effect
  21 const MULTIPLE_ROTATE_LEFT: i32 = 0b0010_0001i32.rotate_left(128);
  22 const MULTIPLE_ROTATE_RIGHT: i32 = 0b0010_0001i32.rotate_right(128);
  23
  24 fn ident<T>(ident: T) -> T {
  25     ident
  26 }
  27
  28 fn main() {
  29     assert_eq!(LEFT, ident(0xb301));
  30     assert_eq!(RIGHT, ident(0x0100_00b3));
  31
  32     assert_eq!(LEFT_OVERFLOW, ident(0));
  33     assert_eq!(RIGHT_OVERFLOW, ident(0));
  34     assert_eq!(ONE_LEFT_OVERFLOW, ident(0b0001_0000_0000_0000));
  35     assert_eq!(ONE_RIGHT_OVERFLOW, ident(0b0001_0000));
  36
  37     assert_eq!(NON_ZERO_LEFT_OVERFLOW, ident(0b0010_0000_0000_0000));
  38     assert_eq!(NON_ZERO_RIGHT_OVERFLOW, ident(0b0000_0000_0010_0000));
  39
  40     assert_eq!(ZERO_ROTATE_LEFT, ident(0b0010_0001));
  41     assert_eq!(ZERO_ROTATE_RIGHT, ident(0b0111_1001));
  42
  43     assert_eq!(MULTIPLE_ROTATE_LEFT, ident(0b0010_0001));
  44     assert_eq!(MULTIPLE_ROTATE_RIGHT, ident(0b0010_0001));
  45 }