3 #![feature(intrinsics)]
6 extern "rust-intrinsic" {
7 pub fn ctpop<T>(x: T) -> T;
8 pub fn ctlz<T>(x: T) -> T;
9 pub fn ctlz_nonzero<T>(x: T) -> T;
10 pub fn cttz<T>(x: T) -> T;
11 pub fn cttz_nonzero<T>(x: T) -> T;
12 pub fn bswap<T>(x: T) -> T;
13 pub fn bitreverse<T>(x: T) -> T;
20 assert_eq!(ctpop(0u8), 0); assert_eq!(ctpop(0i8), 0);
21 assert_eq!(ctpop(0u16), 0); assert_eq!(ctpop(0i16), 0);
22 assert_eq!(ctpop(0u32), 0); assert_eq!(ctpop(0i32), 0);
23 assert_eq!(ctpop(0u64), 0); assert_eq!(ctpop(0i64), 0);
24 assert_eq!(ctpop(0u128), 0); assert_eq!(ctpop(0i128), 0);
26 assert_eq!(ctpop(1u8), 1); assert_eq!(ctpop(1i8), 1);
27 assert_eq!(ctpop(1u16), 1); assert_eq!(ctpop(1i16), 1);
28 assert_eq!(ctpop(1u32), 1); assert_eq!(ctpop(1i32), 1);
29 assert_eq!(ctpop(1u64), 1); assert_eq!(ctpop(1i64), 1);
30 assert_eq!(ctpop(1u128), 1); assert_eq!(ctpop(1i128), 1);
32 assert_eq!(ctpop(10u8), 2); assert_eq!(ctpop(10i8), 2);
33 assert_eq!(ctpop(10u16), 2); assert_eq!(ctpop(10i16), 2);
34 assert_eq!(ctpop(10u32), 2); assert_eq!(ctpop(10i32), 2);
35 assert_eq!(ctpop(10u64), 2); assert_eq!(ctpop(10i64), 2);
36 assert_eq!(ctpop(10u128), 2); assert_eq!(ctpop(10i128), 2);
38 assert_eq!(ctpop(100u8), 3); assert_eq!(ctpop(100i8), 3);
39 assert_eq!(ctpop(100u16), 3); assert_eq!(ctpop(100i16), 3);
40 assert_eq!(ctpop(100u32), 3); assert_eq!(ctpop(100i32), 3);
41 assert_eq!(ctpop(100u64), 3); assert_eq!(ctpop(100i64), 3);
42 assert_eq!(ctpop(100u128), 3); assert_eq!(ctpop(100i128), 3);
44 assert_eq!(ctpop(-1i8 as u8), 8); assert_eq!(ctpop(-1i8), 8);
45 assert_eq!(ctpop(-1i16 as u16), 16); assert_eq!(ctpop(-1i16), 16);
46 assert_eq!(ctpop(-1i32 as u32), 32); assert_eq!(ctpop(-1i32), 32);
47 assert_eq!(ctpop(-1i64 as u64), 64); assert_eq!(ctpop(-1i64), 64);
48 assert_eq!(ctpop(-1i128 as u128), 128); assert_eq!(ctpop(-1i128), 128);
50 assert_eq!(ctlz(0u8), 8); assert_eq!(ctlz(0i8), 8);
51 assert_eq!(ctlz(0u16), 16); assert_eq!(ctlz(0i16), 16);
52 assert_eq!(ctlz(0u32), 32); assert_eq!(ctlz(0i32), 32);
53 assert_eq!(ctlz(0u64), 64); assert_eq!(ctlz(0i64), 64);
54 assert_eq!(ctlz(0u128), 128); assert_eq!(ctlz(0i128), 128);
56 assert_eq!(ctlz(1u8), 7); assert_eq!(ctlz(1i8), 7);
57 assert_eq!(ctlz(1u16), 15); assert_eq!(ctlz(1i16), 15);
58 assert_eq!(ctlz(1u32), 31); assert_eq!(ctlz(1i32), 31);
59 assert_eq!(ctlz(1u64), 63); assert_eq!(ctlz(1i64), 63);
60 assert_eq!(ctlz(1u128), 127); assert_eq!(ctlz(1i128), 127);
62 assert_eq!(ctlz(10u8), 4); assert_eq!(ctlz(10i8), 4);
63 assert_eq!(ctlz(10u16), 12); assert_eq!(ctlz(10i16), 12);
64 assert_eq!(ctlz(10u32), 28); assert_eq!(ctlz(10i32), 28);
65 assert_eq!(ctlz(10u64), 60); assert_eq!(ctlz(10i64), 60);
66 assert_eq!(ctlz(10u128), 124); assert_eq!(ctlz(10i128), 124);
68 assert_eq!(ctlz(100u8), 1); assert_eq!(ctlz(100i8), 1);
69 assert_eq!(ctlz(100u16), 9); assert_eq!(ctlz(100i16), 9);
70 assert_eq!(ctlz(100u32), 25); assert_eq!(ctlz(100i32), 25);
71 assert_eq!(ctlz(100u64), 57); assert_eq!(ctlz(100i64), 57);
72 assert_eq!(ctlz(100u128), 121); assert_eq!(ctlz(100i128), 121);
75 assert_eq!(ctlz_nonzero(1u8), 7); assert_eq!(ctlz_nonzero(1i8), 7);
76 assert_eq!(ctlz_nonzero(1u16), 15); assert_eq!(ctlz_nonzero(1i16), 15);
77 assert_eq!(ctlz_nonzero(1u32), 31); assert_eq!(ctlz_nonzero(1i32), 31);
78 assert_eq!(ctlz_nonzero(1u64), 63); assert_eq!(ctlz_nonzero(1i64), 63);
79 assert_eq!(ctlz_nonzero(1u128), 127); assert_eq!(ctlz_nonzero(1i128), 127);
81 assert_eq!(ctlz_nonzero(10u8), 4); assert_eq!(ctlz_nonzero(10i8), 4);
82 assert_eq!(ctlz_nonzero(10u16), 12); assert_eq!(ctlz_nonzero(10i16), 12);
83 assert_eq!(ctlz_nonzero(10u32), 28); assert_eq!(ctlz_nonzero(10i32), 28);
84 assert_eq!(ctlz_nonzero(10u64), 60); assert_eq!(ctlz_nonzero(10i64), 60);
85 assert_eq!(ctlz_nonzero(10u128), 124); assert_eq!(ctlz_nonzero(10i128), 124);
87 assert_eq!(ctlz_nonzero(100u8), 1); assert_eq!(ctlz_nonzero(100i8), 1);
88 assert_eq!(ctlz_nonzero(100u16), 9); assert_eq!(ctlz_nonzero(100i16), 9);
89 assert_eq!(ctlz_nonzero(100u32), 25); assert_eq!(ctlz_nonzero(100i32), 25);
90 assert_eq!(ctlz_nonzero(100u64), 57); assert_eq!(ctlz_nonzero(100i64), 57);
91 assert_eq!(ctlz_nonzero(100u128), 121); assert_eq!(ctlz_nonzero(100i128), 121);
94 assert_eq!(cttz(-1i8 as u8), 0); assert_eq!(cttz(-1i8), 0);
95 assert_eq!(cttz(-1i16 as u16), 0); assert_eq!(cttz(-1i16), 0);
96 assert_eq!(cttz(-1i32 as u32), 0); assert_eq!(cttz(-1i32), 0);
97 assert_eq!(cttz(-1i64 as u64), 0); assert_eq!(cttz(-1i64), 0);
98 assert_eq!(cttz(-1i128 as u128), 0); assert_eq!(cttz(-1i128), 0);
100 assert_eq!(cttz(0u8), 8); assert_eq!(cttz(0i8), 8);
101 assert_eq!(cttz(0u16), 16); assert_eq!(cttz(0i16), 16);
102 assert_eq!(cttz(0u32), 32); assert_eq!(cttz(0i32), 32);
103 assert_eq!(cttz(0u64), 64); assert_eq!(cttz(0i64), 64);
104 assert_eq!(cttz(0u128), 128); assert_eq!(cttz(0i128), 128);
106 assert_eq!(cttz(1u8), 0); assert_eq!(cttz(1i8), 0);
107 assert_eq!(cttz(1u16), 0); assert_eq!(cttz(1i16), 0);
108 assert_eq!(cttz(1u32), 0); assert_eq!(cttz(1i32), 0);
109 assert_eq!(cttz(1u64), 0); assert_eq!(cttz(1i64), 0);
110 assert_eq!(cttz(1u128), 0); assert_eq!(cttz(1i128), 0);
112 assert_eq!(cttz(10u8), 1); assert_eq!(cttz(10i8), 1);
113 assert_eq!(cttz(10u16), 1); assert_eq!(cttz(10i16), 1);
114 assert_eq!(cttz(10u32), 1); assert_eq!(cttz(10i32), 1);
115 assert_eq!(cttz(10u64), 1); assert_eq!(cttz(10i64), 1);
116 assert_eq!(cttz(10u128), 1); assert_eq!(cttz(10i128), 1);
118 assert_eq!(cttz(100u8), 2); assert_eq!(cttz(100i8), 2);
119 assert_eq!(cttz(100u16), 2); assert_eq!(cttz(100i16), 2);
120 assert_eq!(cttz(100u32), 2); assert_eq!(cttz(100i32), 2);
121 assert_eq!(cttz(100u64), 2); assert_eq!(cttz(100i64), 2);
122 assert_eq!(cttz(100u128), 2); assert_eq!(cttz(100i128), 2);
125 assert_eq!(cttz_nonzero(-1i8 as u8), 0); assert_eq!(cttz_nonzero(-1i8), 0);
126 assert_eq!(cttz_nonzero(-1i16 as u16), 0); assert_eq!(cttz_nonzero(-1i16), 0);
127 assert_eq!(cttz_nonzero(-1i32 as u32), 0); assert_eq!(cttz_nonzero(-1i32), 0);
128 assert_eq!(cttz_nonzero(-1i64 as u64), 0); assert_eq!(cttz_nonzero(-1i64), 0);
129 assert_eq!(cttz_nonzero(-1i128 as u128), 0); assert_eq!(cttz_nonzero(-1i128), 0);
131 assert_eq!(cttz_nonzero(1u8), 0); assert_eq!(cttz_nonzero(1i8), 0);
132 assert_eq!(cttz_nonzero(1u16), 0); assert_eq!(cttz_nonzero(1i16), 0);
133 assert_eq!(cttz_nonzero(1u32), 0); assert_eq!(cttz_nonzero(1i32), 0);
134 assert_eq!(cttz_nonzero(1u64), 0); assert_eq!(cttz_nonzero(1i64), 0);
135 assert_eq!(cttz_nonzero(1u128), 0); assert_eq!(cttz_nonzero(1i128), 0);
137 assert_eq!(cttz_nonzero(10u8), 1); assert_eq!(cttz_nonzero(10i8), 1);
138 assert_eq!(cttz_nonzero(10u16), 1); assert_eq!(cttz_nonzero(10i16), 1);
139 assert_eq!(cttz_nonzero(10u32), 1); assert_eq!(cttz_nonzero(10i32), 1);
140 assert_eq!(cttz_nonzero(10u64), 1); assert_eq!(cttz_nonzero(10i64), 1);
141 assert_eq!(cttz_nonzero(10u128), 1); assert_eq!(cttz_nonzero(10i128), 1);
143 assert_eq!(cttz_nonzero(100u8), 2); assert_eq!(cttz_nonzero(100i8), 2);
144 assert_eq!(cttz_nonzero(100u16), 2); assert_eq!(cttz_nonzero(100i16), 2);
145 assert_eq!(cttz_nonzero(100u32), 2); assert_eq!(cttz_nonzero(100i32), 2);
146 assert_eq!(cttz_nonzero(100u64), 2); assert_eq!(cttz_nonzero(100i64), 2);
147 assert_eq!(cttz_nonzero(100u128), 2); assert_eq!(cttz_nonzero(100i128), 2);
150 assert_eq!(bswap(0x0Au8), 0x0A); // no-op
151 assert_eq!(bswap(0x0Ai8), 0x0A); // no-op
152 assert_eq!(bswap(0x0A0Bu16), 0x0B0A);
153 assert_eq!(bswap(0x0A0Bi16), 0x0B0A);
154 assert_eq!(bswap(0x0ABBCC0Du32), 0x0DCCBB0A);
155 assert_eq!(bswap(0x0ABBCC0Di32), 0x0DCCBB0A);
156 assert_eq!(bswap(0x0122334455667708u64), 0x0877665544332201);
157 assert_eq!(bswap(0x0122334455667708i64), 0x0877665544332201);
158 assert_eq!(bswap(0x0122334455667708u128), 0x08776655443322010000000000000000);
159 assert_eq!(bswap(0x0122334455667708i128), 0x08776655443322010000000000000000);
161 assert_eq!(bitreverse(0x0Au8), 0x50);
162 assert_eq!(bitreverse(0x0Ai8), 0x50);
163 assert_eq!(bitreverse(0x0A0Cu16), 0x3050);
164 assert_eq!(bitreverse(0x0A0Ci16), 0x3050);
165 assert_eq!(bitreverse(0x0ABBCC0Eu32), 0x7033DD50);
166 assert_eq!(bitreverse(0x0ABBCC0Ei32), 0x7033DD50);
167 assert_eq!(bitreverse(0x0122334455667708u64), 0x10EE66AA22CC4480);
168 assert_eq!(bitreverse(0x0122334455667708i64), 0x10EE66AA22CC4480);
169 assert_eq!(bitreverse(0x0122334455667708u128), 0x10EE66AA22CC44800000000000000000);
170 assert_eq!(bitreverse(0x0122334455667708i128), 0x10EE66AA22CC44800000000000000000);