1 // run-pass
2 #![allow(non_upper_case_globals)]
3 #![allow(overflowing_literals)]
4
5 // Testing shifts for various combinations of integers
6 // Issue #1570
7
8
main()9 pub fn main() {
10 test_misc();
11 test_expr();
12 test_const();
13 }
14
test_misc()15 fn test_misc() {
16 assert_eq!(1 << 1 << 1 << 1 << 1 << 1, 32);
17 }
18
test_expr()19 fn test_expr() {
20 let v10 = 10 as usize;
21 let v4 = 4 as u8;
22 let v2 = 2 as u8;
23 assert_eq!(v10 >> v2 as usize, v2 as usize);
24 assert_eq!(v10 << v4 as usize, 160 as usize);
25
26 let v10 = 10 as u8;
27 let v4 = 4 as usize;
28 let v2 = 2 as usize;
29 assert_eq!(v10 >> v2 as usize, v2 as u8);
30 assert_eq!(v10 << v4 as usize, 160 as u8);
31
32 let v10 = 10 as isize;
33 let v4 = 4 as i8;
34 let v2 = 2 as i8;
35 assert_eq!(v10 >> v2 as usize, v2 as isize);
36 assert_eq!(v10 << v4 as usize, 160 as isize);
37
38 let v10 = 10 as i8;
39 let v4 = 4 as isize;
40 let v2 = 2 as isize;
41 assert_eq!(v10 >> v2 as usize, v2 as i8);
42 assert_eq!(v10 << v4 as usize, 160 as i8);
43
44 let v10 = 10 as usize;
45 let v4 = 4 as isize;
46 let v2 = 2 as isize;
47 assert_eq!(v10 >> v2 as usize, v2 as usize);
48 assert_eq!(v10 << v4 as usize, 160 as usize);
49 }
50
test_const()51 fn test_const() {
52 static r1_1: usize = 10_usize >> 2_usize;
53 static r2_1: usize = 10_usize << 4_usize;
54 assert_eq!(r1_1, 2 as usize);
55 assert_eq!(r2_1, 160 as usize);
56
57 static r1_2: u8 = 10u8 >> 2_usize;
58 static r2_2: u8 = 10u8 << 4_usize;
59 assert_eq!(r1_2, 2 as u8);
60 assert_eq!(r2_2, 160 as u8);
61
62 static r1_3: isize = 10 >> 2_usize;
63 static r2_3: isize = 10 << 4_usize;
64 assert_eq!(r1_3, 2 as isize);
65 assert_eq!(r2_3, 160 as isize);
66
67 static r1_4: i8 = 10i8 >> 2_usize;
68 static r2_4: i8 = 10i8 << 4_usize;
69 assert_eq!(r1_4, 2 as i8);
70 assert_eq!(r2_4, 160 as i8);
71
72 static r1_5: usize = 10_usize >> 2_usize;
73 static r2_5: usize = 10_usize << 4_usize;
74 assert_eq!(r1_5, 2 as usize);
75 assert_eq!(r2_5, 160 as usize);
76 }
77