src/test/run-pass/intrinsics/intrinsics-integer.rs

   1 // Copyright 2012-2014 The Rust Project Developers. See the COPYRIGHT
   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
  11 // run-pass
  12 // ignore-emscripten no i128 support
  13
  14 #![feature(intrinsics)]
  15
  16 mod rusti {
  17     extern "rust-intrinsic" {
  18         pub fn ctpop<T>(x: T) -> T;
  19         pub fn ctlz<T>(x: T) -> T;
  20         pub fn ctlz_nonzero<T>(x: T) -> T;
  21         pub fn cttz<T>(x: T) -> T;
  22         pub fn cttz_nonzero<T>(x: T) -> T;
  23         pub fn bswap<T>(x: T) -> T;
  24         pub fn bitreverse<T>(x: T) -> T;
  25     }
  26 }
  27
  28 pub fn main() {
  29     unsafe {
  30         use rusti::*;
  31
  32         assert_eq!(ctpop(0u8), 0); assert_eq!(ctpop(0i8), 0);
  33         assert_eq!(ctpop(0u16), 0); assert_eq!(ctpop(0i16), 0);
  34         assert_eq!(ctpop(0u32), 0); assert_eq!(ctpop(0i32), 0);
  35         assert_eq!(ctpop(0u64), 0); assert_eq!(ctpop(0i64), 0);
  36         assert_eq!(ctpop(0u128), 0); assert_eq!(ctpop(0i128), 0);
  37
  38         assert_eq!(ctpop(1u8), 1); assert_eq!(ctpop(1i8), 1);
  39         assert_eq!(ctpop(1u16), 1); assert_eq!(ctpop(1i16), 1);
  40         assert_eq!(ctpop(1u32), 1); assert_eq!(ctpop(1i32), 1);
  41         assert_eq!(ctpop(1u64), 1); assert_eq!(ctpop(1i64), 1);
  42         assert_eq!(ctpop(1u128), 1); assert_eq!(ctpop(1i128), 1);
  43
  44         assert_eq!(ctpop(10u8), 2); assert_eq!(ctpop(10i8), 2);
  45         assert_eq!(ctpop(10u16), 2); assert_eq!(ctpop(10i16), 2);
  46         assert_eq!(ctpop(10u32), 2); assert_eq!(ctpop(10i32), 2);
  47         assert_eq!(ctpop(10u64), 2); assert_eq!(ctpop(10i64), 2);
  48         assert_eq!(ctpop(10u128), 2); assert_eq!(ctpop(10i128), 2);
  49
  50         assert_eq!(ctpop(100u8), 3); assert_eq!(ctpop(100i8), 3);
  51         assert_eq!(ctpop(100u16), 3); assert_eq!(ctpop(100i16), 3);
  52         assert_eq!(ctpop(100u32), 3); assert_eq!(ctpop(100i32), 3);
  53         assert_eq!(ctpop(100u64), 3); assert_eq!(ctpop(100i64), 3);
  54         assert_eq!(ctpop(100u128), 3); assert_eq!(ctpop(100i128), 3);
  55
  56         assert_eq!(ctpop(-1i8 as u8), 8); assert_eq!(ctpop(-1i8), 8);
  57         assert_eq!(ctpop(-1i16 as u16), 16); assert_eq!(ctpop(-1i16), 16);
  58         assert_eq!(ctpop(-1i32 as u32), 32); assert_eq!(ctpop(-1i32), 32);
  59         assert_eq!(ctpop(-1i64 as u64), 64); assert_eq!(ctpop(-1i64), 64);
  60         assert_eq!(ctpop(-1i128 as u128), 128); assert_eq!(ctpop(-1i128), 128);
  61
  62         assert_eq!(ctlz(0u8), 8); assert_eq!(ctlz(0i8), 8);
  63         assert_eq!(ctlz(0u16), 16); assert_eq!(ctlz(0i16), 16);
  64         assert_eq!(ctlz(0u32), 32); assert_eq!(ctlz(0i32), 32);
  65         assert_eq!(ctlz(0u64), 64); assert_eq!(ctlz(0i64), 64);
  66         assert_eq!(ctlz(0u128), 128); assert_eq!(ctlz(0i128), 128);
  67
  68         assert_eq!(ctlz(1u8), 7); assert_eq!(ctlz(1i8), 7);
  69         assert_eq!(ctlz(1u16), 15); assert_eq!(ctlz(1i16), 15);
  70         assert_eq!(ctlz(1u32), 31); assert_eq!(ctlz(1i32), 31);
  71         assert_eq!(ctlz(1u64), 63); assert_eq!(ctlz(1i64), 63);
  72         assert_eq!(ctlz(1u128), 127); assert_eq!(ctlz(1i128), 127);
  73
  74         assert_eq!(ctlz(10u8), 4); assert_eq!(ctlz(10i8), 4);
  75         assert_eq!(ctlz(10u16), 12); assert_eq!(ctlz(10i16), 12);
  76         assert_eq!(ctlz(10u32), 28); assert_eq!(ctlz(10i32), 28);
  77         assert_eq!(ctlz(10u64), 60); assert_eq!(ctlz(10i64), 60);
  78         assert_eq!(ctlz(10u128), 124); assert_eq!(ctlz(10i128), 124);
  79
  80         assert_eq!(ctlz(100u8), 1); assert_eq!(ctlz(100i8), 1);
  81         assert_eq!(ctlz(100u16), 9); assert_eq!(ctlz(100i16), 9);
  82         assert_eq!(ctlz(100u32), 25); assert_eq!(ctlz(100i32), 25);
  83         assert_eq!(ctlz(100u64), 57); assert_eq!(ctlz(100i64), 57);
  84         assert_eq!(ctlz(100u128), 121); assert_eq!(ctlz(100i128), 121);
  85
  86         assert_eq!(ctlz_nonzero(1u8), 7); assert_eq!(ctlz_nonzero(1i8), 7);
  87         assert_eq!(ctlz_nonzero(1u16), 15); assert_eq!(ctlz_nonzero(1i16), 15);
  88         assert_eq!(ctlz_nonzero(1u32), 31); assert_eq!(ctlz_nonzero(1i32), 31);
  89         assert_eq!(ctlz_nonzero(1u64), 63); assert_eq!(ctlz_nonzero(1i64), 63);
  90         assert_eq!(ctlz_nonzero(1u128), 127); assert_eq!(ctlz_nonzero(1i128), 127);
  91
  92         assert_eq!(ctlz_nonzero(10u8), 4); assert_eq!(ctlz_nonzero(10i8), 4);
  93         assert_eq!(ctlz_nonzero(10u16), 12); assert_eq!(ctlz_nonzero(10i16), 12);
  94         assert_eq!(ctlz_nonzero(10u32), 28); assert_eq!(ctlz_nonzero(10i32), 28);
  95         assert_eq!(ctlz_nonzero(10u64), 60); assert_eq!(ctlz_nonzero(10i64), 60);
  96         assert_eq!(ctlz_nonzero(10u128), 124); assert_eq!(ctlz_nonzero(10i128), 124);
  97
  98         assert_eq!(ctlz_nonzero(100u8), 1); assert_eq!(ctlz_nonzero(100i8), 1);
  99         assert_eq!(ctlz_nonzero(100u16), 9); assert_eq!(ctlz_nonzero(100i16), 9);
 100         assert_eq!(ctlz_nonzero(100u32), 25); assert_eq!(ctlz_nonzero(100i32), 25);
 101         assert_eq!(ctlz_nonzero(100u64), 57); assert_eq!(ctlz_nonzero(100i64), 57);
 102         assert_eq!(ctlz_nonzero(100u128), 121); assert_eq!(ctlz_nonzero(100i128), 121);
 103
 104         assert_eq!(cttz(-1i8 as u8), 0); assert_eq!(cttz(-1i8), 0);
 105         assert_eq!(cttz(-1i16 as u16), 0); assert_eq!(cttz(-1i16), 0);
 106         assert_eq!(cttz(-1i32 as u32), 0); assert_eq!(cttz(-1i32), 0);
 107         assert_eq!(cttz(-1i64 as u64), 0); assert_eq!(cttz(-1i64), 0);
 108         assert_eq!(cttz(-1i128 as u128), 0); assert_eq!(cttz(-1i128), 0);
 109
 110         assert_eq!(cttz(0u8), 8); assert_eq!(cttz(0i8), 8);
 111         assert_eq!(cttz(0u16), 16); assert_eq!(cttz(0i16), 16);
 112         assert_eq!(cttz(0u32), 32); assert_eq!(cttz(0i32), 32);
 113         assert_eq!(cttz(0u64), 64); assert_eq!(cttz(0i64), 64);
 114         assert_eq!(cttz(0u128), 128); assert_eq!(cttz(0i128), 128);
 115
 116         assert_eq!(cttz(1u8), 0); assert_eq!(cttz(1i8), 0);
 117         assert_eq!(cttz(1u16), 0); assert_eq!(cttz(1i16), 0);
 118         assert_eq!(cttz(1u32), 0); assert_eq!(cttz(1i32), 0);
 119         assert_eq!(cttz(1u64), 0); assert_eq!(cttz(1i64), 0);
 120         assert_eq!(cttz(1u128), 0); assert_eq!(cttz(1i128), 0);
 121
 122         assert_eq!(cttz(10u8), 1); assert_eq!(cttz(10i8), 1);
 123         assert_eq!(cttz(10u16), 1); assert_eq!(cttz(10i16), 1);
 124         assert_eq!(cttz(10u32), 1); assert_eq!(cttz(10i32), 1);
 125         assert_eq!(cttz(10u64), 1); assert_eq!(cttz(10i64), 1);
 126         assert_eq!(cttz(10u128), 1); assert_eq!(cttz(10i128), 1);
 127
 128         assert_eq!(cttz(100u8), 2); assert_eq!(cttz(100i8), 2);
 129         assert_eq!(cttz(100u16), 2); assert_eq!(cttz(100i16), 2);
 130         assert_eq!(cttz(100u32), 2); assert_eq!(cttz(100i32), 2);
 131         assert_eq!(cttz(100u64), 2); assert_eq!(cttz(100i64), 2);
 132         assert_eq!(cttz(100u128), 2); assert_eq!(cttz(100i128), 2);
 133
 134         assert_eq!(cttz_nonzero(-1i8 as u8), 0); assert_eq!(cttz_nonzero(-1i8), 0);
 135         assert_eq!(cttz_nonzero(-1i16 as u16), 0); assert_eq!(cttz_nonzero(-1i16), 0);
 136         assert_eq!(cttz_nonzero(-1i32 as u32), 0); assert_eq!(cttz_nonzero(-1i32), 0);
 137         assert_eq!(cttz_nonzero(-1i64 as u64), 0); assert_eq!(cttz_nonzero(-1i64), 0);
 138         assert_eq!(cttz_nonzero(-1i128 as u128), 0); assert_eq!(cttz_nonzero(-1i128), 0);
 139
 140         assert_eq!(cttz_nonzero(1u8), 0); assert_eq!(cttz_nonzero(1i8), 0);
 141         assert_eq!(cttz_nonzero(1u16), 0); assert_eq!(cttz_nonzero(1i16), 0);
 142         assert_eq!(cttz_nonzero(1u32), 0); assert_eq!(cttz_nonzero(1i32), 0);
 143         assert_eq!(cttz_nonzero(1u64), 0); assert_eq!(cttz_nonzero(1i64), 0);
 144         assert_eq!(cttz_nonzero(1u128), 0); assert_eq!(cttz_nonzero(1i128), 0);
 145
 146         assert_eq!(cttz_nonzero(10u8), 1); assert_eq!(cttz_nonzero(10i8), 1);
 147         assert_eq!(cttz_nonzero(10u16), 1); assert_eq!(cttz_nonzero(10i16), 1);
 148         assert_eq!(cttz_nonzero(10u32), 1); assert_eq!(cttz_nonzero(10i32), 1);
 149         assert_eq!(cttz_nonzero(10u64), 1); assert_eq!(cttz_nonzero(10i64), 1);
 150         assert_eq!(cttz_nonzero(10u128), 1); assert_eq!(cttz_nonzero(10i128), 1);
 151
 152         assert_eq!(cttz_nonzero(100u8), 2); assert_eq!(cttz_nonzero(100i8), 2);
 153         assert_eq!(cttz_nonzero(100u16), 2); assert_eq!(cttz_nonzero(100i16), 2);
 154         assert_eq!(cttz_nonzero(100u32), 2); assert_eq!(cttz_nonzero(100i32), 2);
 155         assert_eq!(cttz_nonzero(100u64), 2); assert_eq!(cttz_nonzero(100i64), 2);
 156         assert_eq!(cttz_nonzero(100u128), 2); assert_eq!(cttz_nonzero(100i128), 2);
 157
 158         assert_eq!(bswap(0x0Au8), 0x0A); // no-op
 159         assert_eq!(bswap(0x0Ai8), 0x0A); // no-op
 160         assert_eq!(bswap(0x0A0Bu16), 0x0B0A);
 161         assert_eq!(bswap(0x0A0Bi16), 0x0B0A);
 162         assert_eq!(bswap(0x0ABBCC0Du32), 0x0DCCBB0A);
 163         assert_eq!(bswap(0x0ABBCC0Di32), 0x0DCCBB0A);
 164         assert_eq!(bswap(0x0122334455667708u64), 0x0877665544332201);
 165         assert_eq!(bswap(0x0122334455667708i64), 0x0877665544332201);
 166         assert_eq!(bswap(0x0122334455667708u128), 0x08776655443322010000000000000000);
 167         assert_eq!(bswap(0x0122334455667708i128), 0x08776655443322010000000000000000);
 168
 169         assert_eq!(bitreverse(0x0Au8), 0x50);
 170         assert_eq!(bitreverse(0x0Ai8), 0x50);
 171         assert_eq!(bitreverse(0x0A0Cu16), 0x3050);
 172         assert_eq!(bitreverse(0x0A0Ci16), 0x3050);
 173         assert_eq!(bitreverse(0x0ABBCC0Eu32), 0x7033DD50);
 174         assert_eq!(bitreverse(0x0ABBCC0Ei32), 0x7033DD50);
 175         assert_eq!(bitreverse(0x0122334455667708u64), 0x10EE66AA22CC4480);
 176         assert_eq!(bitreverse(0x0122334455667708i64), 0x10EE66AA22CC4480);
 177         assert_eq!(bitreverse(0x0122334455667708u128), 0x10EE66AA22CC44800000000000000000);
 178         assert_eq!(bitreverse(0x0122334455667708i128), 0x10EE66AA22CC44800000000000000000);
 179     }
 180 }