src/test/ui/consts/const-int-rotate-rpass.rs

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