-
Notifications
You must be signed in to change notification settings - Fork 32
/
shift.rs
100 lines (85 loc) · 2.42 KB
/
shift.rs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
//@ run-pass
#![allow(non_upper_case_globals)]
#![allow(overflowing_literals)]
// Testing shifts for various combinations of integers
// Issue #1570
pub fn main() {
test_misc();
test_expr();
test_const();
}
fn test_misc() {
assert_eq!(1 << 1 << 1 << 1 << 1 << 1, 32);
}
fn test_expr() {
let v10 = 10 as usize;
let v4 = 4 as u8;
let v2 = 2 as u8;
assert_eq!(v10 >> v2 as usize, v2 as usize);
assert_eq!(v10 << v4 as usize, 160 as usize);
let v10 = 10 as u8;
let v4 = 4 as usize;
let v2 = 2 as usize;
assert_eq!(v10 >> v2 as usize, v2 as u8);
assert_eq!(v10 << v4 as usize, 160 as u8);
let v10 = 10 as isize;
let v4 = 4 as i8;
let v2 = 2 as i8;
assert_eq!(v10 >> v2 as usize, v2 as isize);
assert_eq!(v10 << v4 as usize, 160 as isize);
let v10 = 10 as i8;
let v4 = 4 as isize;
let v2 = 2 as isize;
assert_eq!(v10 >> v2 as usize, v2 as i8);
assert_eq!(v10 << v4 as usize, 160 as i8);
let v10 = 10 as usize;
let v4 = 4 as isize;
let v2 = 2 as isize;
assert_eq!(v10 >> v2 as usize, v2 as usize);
assert_eq!(v10 << v4 as usize, 160 as usize);
}
fn test_const() {
static r1_1: usize = 10_usize >> 2_usize;
static r2_1: usize = 10_usize << 4_usize;
assert_eq!(r1_1, 2 as usize);
assert_eq!(r2_1, 160 as usize);
static r1_2: u8 = 10u8 >> 2_usize;
static r2_2: u8 = 10u8 << 4_usize;
assert_eq!(r1_2, 2 as u8);
assert_eq!(r2_2, 160 as u8);
static r1_3: isize = 10 >> 2_usize;
static r2_3: isize = 10 << 4_usize;
assert_eq!(r1_3, 2 as isize);
assert_eq!(r2_3, 160 as isize);
static r1_4: i8 = 10i8 >> 2_usize;
static r2_4: i8 = 10i8 << 4_usize;
assert_eq!(r1_4, 2 as i8);
assert_eq!(r2_4, 160 as i8);
static r1_5: usize = 10_usize >> 2_usize;
static r2_5: usize = 10_usize << 4_usize;
assert_eq!(r1_5, 2 as usize);
assert_eq!(r2_5, 160 as usize);
}
// ferrocene-annotations: fls_abp6tjbz8tpn
// Bit Expressions
//
// ferrocene-annotations: fls_2ed4axpsy9u0
// Integer Literals
//
// ferrocene-annotations: fls_3qnpv2z7yjil
// Integer Types
//
// ferrocene-annotations: fls_1qhsun1vyarz
// Type Cast Expressions
//
// ferrocene-annotations: fls_dw33yt5g6m0k
// Type Coercion
//
// ferrocene-annotations: fls_h0dvogc64tfh
// Literal Expressions
//
// ferrocene-annotations: fls_e7zgqroy2qxn
// Value Expressions
//
// ferrocene-annotations: fls_izdv9i4spokw
// Operator Expressions