]> git.proxmox.com Git - rustc.git/blame - src/test/run-pass/intrinsics-integer.rs
New upstream version 1.19.0+dfsg1
[rustc.git] / src / test / run-pass / intrinsics-integer.rs
CommitLineData
1a4d82fc 1// Copyright 2012-2014 The Rust Project Developers. See the COPYRIGHT
223e47cc
LB
2// file at the top-level directory of this distribution and at
3// http://rust-lang.org/COPYRIGHT.
4//
5// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8// option. This file may not be copied, modified, or distributed
9// except according to those terms.
10
1a4d82fc 11#![feature(intrinsics)]
223e47cc
LB
12
13mod rusti {
1a4d82fc 14 extern "rust-intrinsic" {
92a42be0
SL
15 pub fn ctpop<T>(x: T) -> T;
16 pub fn ctlz<T>(x: T) -> T;
17 pub fn cttz<T>(x: T) -> T;
18 pub fn bswap<T>(x: T) -> T;
223e47cc
LB
19 }
20}
21
22pub fn main() {
23 unsafe {
24 use rusti::*;
25
92a42be0
SL
26 assert_eq!(ctpop(0u8), 0); assert_eq!(ctpop(0i8), 0);
27 assert_eq!(ctpop(0u16), 0); assert_eq!(ctpop(0i16), 0);
28 assert_eq!(ctpop(0u32), 0); assert_eq!(ctpop(0i32), 0);
29 assert_eq!(ctpop(0u64), 0); assert_eq!(ctpop(0i64), 0);
30
31 assert_eq!(ctpop(1u8), 1); assert_eq!(ctpop(1i8), 1);
32 assert_eq!(ctpop(1u16), 1); assert_eq!(ctpop(1i16), 1);
33 assert_eq!(ctpop(1u32), 1); assert_eq!(ctpop(1i32), 1);
34 assert_eq!(ctpop(1u64), 1); assert_eq!(ctpop(1i64), 1);
35
36 assert_eq!(ctpop(10u8), 2); assert_eq!(ctpop(10i8), 2);
37 assert_eq!(ctpop(10u16), 2); assert_eq!(ctpop(10i16), 2);
38 assert_eq!(ctpop(10u32), 2); assert_eq!(ctpop(10i32), 2);
39 assert_eq!(ctpop(10u64), 2); assert_eq!(ctpop(10i64), 2);
40
41 assert_eq!(ctpop(100u8), 3); assert_eq!(ctpop(100i8), 3);
42 assert_eq!(ctpop(100u16), 3); assert_eq!(ctpop(100i16), 3);
43 assert_eq!(ctpop(100u32), 3); assert_eq!(ctpop(100i32), 3);
44 assert_eq!(ctpop(100u64), 3); assert_eq!(ctpop(100i64), 3);
45
9cc50fc6
SL
46 assert_eq!(ctpop(-1i8 as u8), 8); assert_eq!(ctpop(-1i8), 8);
47 assert_eq!(ctpop(-1i16 as u16), 16); assert_eq!(ctpop(-1i16), 16);
48 assert_eq!(ctpop(-1i32 as u32), 32); assert_eq!(ctpop(-1i32), 32);
49 assert_eq!(ctpop(-1i64 as u64), 64); assert_eq!(ctpop(-1i64), 64);
92a42be0
SL
50
51 assert_eq!(ctlz(0u8), 8); assert_eq!(ctlz(0i8), 8);
52 assert_eq!(ctlz(0u16), 16); assert_eq!(ctlz(0i16), 16);
53 assert_eq!(ctlz(0u32), 32); assert_eq!(ctlz(0i32), 32);
54 assert_eq!(ctlz(0u64), 64); assert_eq!(ctlz(0i64), 64);
55
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
61 assert_eq!(ctlz(10u8), 4); assert_eq!(ctlz(10i8), 4);
62 assert_eq!(ctlz(10u16), 12); assert_eq!(ctlz(10i16), 12);
63 assert_eq!(ctlz(10u32), 28); assert_eq!(ctlz(10i32), 28);
64 assert_eq!(ctlz(10u64), 60); assert_eq!(ctlz(10i64), 60);
65
66 assert_eq!(ctlz(100u8), 1); assert_eq!(ctlz(100i8), 1);
67 assert_eq!(ctlz(100u16), 9); assert_eq!(ctlz(100i16), 9);
68 assert_eq!(ctlz(100u32), 25); assert_eq!(ctlz(100i32), 25);
69 assert_eq!(ctlz(100u64), 57); assert_eq!(ctlz(100i64), 57);
70
9cc50fc6
SL
71 assert_eq!(cttz(-1i8 as u8), 0); assert_eq!(cttz(-1i8), 0);
72 assert_eq!(cttz(-1i16 as u16), 0); assert_eq!(cttz(-1i16), 0);
73 assert_eq!(cttz(-1i32 as u32), 0); assert_eq!(cttz(-1i32), 0);
74 assert_eq!(cttz(-1i64 as u64), 0); assert_eq!(cttz(-1i64), 0);
92a42be0
SL
75
76 assert_eq!(cttz(0u8), 8); assert_eq!(cttz(0i8), 8);
77 assert_eq!(cttz(0u16), 16); assert_eq!(cttz(0i16), 16);
78 assert_eq!(cttz(0u32), 32); assert_eq!(cttz(0i32), 32);
79 assert_eq!(cttz(0u64), 64); assert_eq!(cttz(0i64), 64);
80
81 assert_eq!(cttz(1u8), 0); assert_eq!(cttz(1i8), 0);
82 assert_eq!(cttz(1u16), 0); assert_eq!(cttz(1i16), 0);
83 assert_eq!(cttz(1u32), 0); assert_eq!(cttz(1i32), 0);
84 assert_eq!(cttz(1u64), 0); assert_eq!(cttz(1i64), 0);
85
86 assert_eq!(cttz(10u8), 1); assert_eq!(cttz(10i8), 1);
87 assert_eq!(cttz(10u16), 1); assert_eq!(cttz(10i16), 1);
88 assert_eq!(cttz(10u32), 1); assert_eq!(cttz(10i32), 1);
89 assert_eq!(cttz(10u64), 1); assert_eq!(cttz(10i64), 1);
90
91 assert_eq!(cttz(100u8), 2); assert_eq!(cttz(100i8), 2);
92 assert_eq!(cttz(100u16), 2); assert_eq!(cttz(100i16), 2);
93 assert_eq!(cttz(100u32), 2); assert_eq!(cttz(100i32), 2);
94 assert_eq!(cttz(100u64), 2); assert_eq!(cttz(100i64), 2);
95
96 assert_eq!(bswap(0x0Au8), 0x0A); // no-op
97 assert_eq!(bswap(0x0Ai8), 0x0A); // no-op
98 assert_eq!(bswap(0x0A0Bu16), 0x0B0A);
99 assert_eq!(bswap(0x0A0Bi16), 0x0B0A);
100 assert_eq!(bswap(0x0ABBCC0Du32), 0x0DCCBB0A);
101 assert_eq!(bswap(0x0ABBCC0Di32), 0x0DCCBB0A);
102 assert_eq!(bswap(0x0122334455667708u64), 0x0877665544332201);
103 assert_eq!(bswap(0x0122334455667708i64), 0x0877665544332201);
223e47cc
LB
104 }
105}