example/std_example.rs

   1 #![feature(core_intrinsics, generators, generator_trait, is_sorted)]
   2
   3 #[cfg(target_arch = "x86_64")]
   4 use std::arch::x86_64::*;
   5 use std::io::Write;
   6 use std::ops::Generator;
   7
   8 fn main() {
   9     println!("{:?}", std::env::args().collect::<Vec<_>>());
  10
  11     let mutex = std::sync::Mutex::new(());
  12     let _guard = mutex.lock().unwrap();
  13
  14     let _ = ::std::iter::repeat('a' as u8).take(10).collect::<Vec<_>>();
  15     let stderr = ::std::io::stderr();
  16     let mut stderr = stderr.lock();
  17
  18     // FIXME support lazy jit when multi threading
  19     #[cfg(not(lazy_jit))]
  20     std::thread::spawn(move || {
  21         println!("Hello from another thread!");
  22     });
  23
  24     writeln!(stderr, "some {} text", "<unknown>").unwrap();
  25
  26     let _ = std::process::Command::new("true").env("c", "d").spawn();
  27
  28     println!("cargo:rustc-link-lib=z");
  29
  30     static ONCE: std::sync::Once = std::sync::Once::new();
  31     ONCE.call_once(|| {});
  32
  33     let _eq = LoopState::Continue(()) == LoopState::Break(());
  34
  35     // Make sure ByValPair values with differently sized components are correctly passed
  36     map(None::<(u8, Box<Instruction>)>);
  37
  38     println!("{}", 2.3f32.exp());
  39     println!("{}", 2.3f32.exp2());
  40     println!("{}", 2.3f32.abs());
  41     println!("{}", 2.3f32.sqrt());
  42     println!("{}", 2.3f32.floor());
  43     println!("{}", 2.3f32.ceil());
  44     println!("{}", 2.3f32.min(1.0));
  45     println!("{}", 2.3f32.max(1.0));
  46     println!("{}", 2.3f32.powi(2));
  47     println!("{}", 2.3f32.log2());
  48     assert_eq!(2.3f32.copysign(-1.0), -2.3f32);
  49     println!("{}", 2.3f32.powf(2.0));
  50
  51     assert_eq!(-128i8, (-128i8).saturating_sub(1));
  52     assert_eq!(127i8, 127i8.saturating_sub(-128));
  53     assert_eq!(-128i8, (-128i8).saturating_add(-128));
  54     assert_eq!(127i8, 127i8.saturating_add(1));
  55
  56     assert_eq!(0b0000000000000000000000000010000010000000000000000000000000000000_0000000000100000000000000000000000001000000000000100000000000000u128.leading_zeros(), 26);
  57     assert_eq!(0b0000000000000000000000000010000000000000000000000000000000000000_0000000000000000000000000000000000001000000000000000000010000000u128.trailing_zeros(), 7);
  58     assert_eq!(core::intrinsics::saturating_sub(0, -170141183460469231731687303715884105728i128), 170141183460469231731687303715884105727i128);
  59
  60     let _d = 0i128.checked_div(2i128);
  61     let _d = 0u128.checked_div(2u128);
  62     assert_eq!(1u128 + 2, 3);
  63
  64     assert_eq!(0b100010000000000000000000000000000u128 >> 10, 0b10001000000000000000000u128);
  65     assert_eq!(0xFEDCBA987654321123456789ABCDEFu128 >> 64, 0xFEDCBA98765432u128);
  66     assert_eq!(0xFEDCBA987654321123456789ABCDEFu128 as i128 >> 64, 0xFEDCBA98765432i128);
  67
  68     let tmp = 353985398u128;
  69     assert_eq!(tmp * 932490u128, 330087843781020u128);
  70
  71     let tmp = -0x1234_5678_9ABC_DEF0i64;
  72     assert_eq!(tmp as i128, -0x1234_5678_9ABC_DEF0i128);
  73
  74     // Check that all u/i128 <-> float casts work correctly.
  75     let houndred_u128 = 100u128;
  76     let houndred_i128 = 100i128;
  77     let houndred_f32 = 100.0f32;
  78     let houndred_f64 = 100.0f64;
  79     assert_eq!(houndred_u128 as f32, 100.0);
  80     assert_eq!(houndred_u128 as f64, 100.0);
  81     assert_eq!(houndred_f32 as u128, 100);
  82     assert_eq!(houndred_f64 as u128, 100);
  83     assert_eq!(houndred_i128 as f32, 100.0);
  84     assert_eq!(houndred_i128 as f64, 100.0);
  85     assert_eq!(houndred_f32 as i128, 100);
  86     assert_eq!(houndred_f64 as i128, 100);
  87     assert_eq!(1u128.rotate_left(2), 4);
  88
  89     // Test signed 128bit comparing
  90     let max = usize::MAX as i128;
  91     if 100i128 < 0i128 || 100i128 > max {
  92         panic!();
  93     }
  94
  95     test_checked_mul();
  96
  97     let _a = 1u32 << 2u8;
  98
  99     let empty: [i32; 0] = [];
 100     assert!(empty.is_sorted());
 101
 102     println!("{:?}", std::intrinsics::caller_location());
 103
 104     #[cfg(target_arch = "x86_64")]
 105     unsafe {
 106         test_simd();
 107     }
 108
 109     Box::pin(move |mut _task_context| {
 110         yield ();
 111     }).as_mut().resume(0);
 112
 113     #[derive(Copy, Clone)]
 114     enum Nums {
 115         NegOne = -1,
 116     }
 117
 118     let kind = Nums::NegOne;
 119     assert_eq!(-1i128, kind as i128);
 120
 121     let options = [1u128];
 122     match options[0] {
 123         1 => (),
 124         0 => loop {},
 125         v => panic(v),
 126     };
 127 }
 128
 129 fn panic(_: u128) {
 130     panic!();
 131 }
 132
 133 #[cfg(target_arch = "x86_64")]
 134 #[target_feature(enable = "sse2")]
 135 unsafe fn test_simd() {
 136     assert!(is_x86_feature_detected!("sse2"));
 137
 138     let x = _mm_setzero_si128();
 139     let y = _mm_set1_epi16(7);
 140     let or = _mm_or_si128(x, y);
 141     let cmp_eq = _mm_cmpeq_epi8(y, y);
 142     let cmp_lt = _mm_cmplt_epi8(y, y);
 143
 144     assert_eq!(std::mem::transmute::<_, [u16; 8]>(or), [7, 7, 7, 7, 7, 7, 7, 7]);
 145     assert_eq!(std::mem::transmute::<_, [u16; 8]>(cmp_eq), [0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff]);
 146     assert_eq!(std::mem::transmute::<_, [u16; 8]>(cmp_lt), [0, 0, 0, 0, 0, 0, 0, 0]);
 147
 148     test_mm_slli_si128();
 149     test_mm_movemask_epi8();
 150     test_mm256_movemask_epi8();
 151     test_mm_add_epi8();
 152     test_mm_add_pd();
 153     test_mm_cvtepi8_epi16();
 154     test_mm_cvtsi128_si64();
 155
 156     test_mm_extract_epi8();
 157     test_mm_insert_epi16();
 158
 159     let mask1 = _mm_movemask_epi8(dbg!(_mm_setr_epi8(255u8 as i8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)));
 160     assert_eq!(mask1, 1);
 161 }
 162
 163 #[cfg(target_arch = "x86_64")]
 164 #[target_feature(enable = "sse2")]
 165 unsafe fn test_mm_slli_si128() {
 166     #[rustfmt::skip]
 167     let a = _mm_setr_epi8(
 168         1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16,
 169     );
 170     let r = _mm_slli_si128(a, 1);
 171     let e = _mm_setr_epi8(0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15);
 172     assert_eq_m128i(r, e);
 173
 174     #[rustfmt::skip]
 175     let a = _mm_setr_epi8(
 176         1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16,
 177     );
 178     let r = _mm_slli_si128(a, 15);
 179     let e = _mm_setr_epi8(0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1);
 180     assert_eq_m128i(r, e);
 181
 182     #[rustfmt::skip]
 183     let a = _mm_setr_epi8(
 184         1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16,
 185     );
 186     let r = _mm_slli_si128(a, 16);
 187     assert_eq_m128i(r, _mm_set1_epi8(0));
 188
 189     #[rustfmt::skip]
 190     let a = _mm_setr_epi8(
 191         1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16,
 192     );
 193     let r = _mm_slli_si128(a, -1);
 194     assert_eq_m128i(_mm_set1_epi8(0), r);
 195
 196     #[rustfmt::skip]
 197     let a = _mm_setr_epi8(
 198         1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16,
 199     );
 200     let r = _mm_slli_si128(a, -0x80000000);
 201     assert_eq_m128i(r, _mm_set1_epi8(0));
 202 }
 203
 204 #[cfg(target_arch = "x86_64")]
 205 #[target_feature(enable = "sse2")]
 206 unsafe fn test_mm_movemask_epi8() {
 207     #[rustfmt::skip]
 208     let a = _mm_setr_epi8(
 209         0b1000_0000u8 as i8, 0b0, 0b1000_0000u8 as i8, 0b01,
 210         0b0101, 0b1111_0000u8 as i8, 0, 0,
 211         0, 0, 0b1111_0000u8 as i8, 0b0101,
 212         0b01, 0b1000_0000u8 as i8, 0b0, 0b1000_0000u8 as i8,
 213     );
 214     let r = _mm_movemask_epi8(a);
 215     assert_eq!(r, 0b10100100_00100101);
 216 }
 217
 218 #[cfg(target_arch = "x86_64")]
 219 #[target_feature(enable = "avx2")]
 220 unsafe fn test_mm256_movemask_epi8() {
 221     let a = _mm256_set1_epi8(-1);
 222     let r = _mm256_movemask_epi8(a);
 223     let e = -1;
 224     assert_eq!(r, e);
 225 }
 226
 227 #[cfg(target_arch = "x86_64")]
 228 #[target_feature(enable = "sse2")]
 229 unsafe fn test_mm_add_epi8() {
 230     let a = _mm_setr_epi8(0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15);
 231     #[rustfmt::skip]
 232     let b = _mm_setr_epi8(
 233         16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31,
 234     );
 235     let r = _mm_add_epi8(a, b);
 236     #[rustfmt::skip]
 237     let e = _mm_setr_epi8(
 238         16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38, 40, 42, 44, 46,
 239     );
 240     assert_eq_m128i(r, e);
 241 }
 242
 243 #[cfg(target_arch = "x86_64")]
 244 #[target_feature(enable = "sse2")]
 245 unsafe fn test_mm_add_pd() {
 246     let a = _mm_setr_pd(1.0, 2.0);
 247     let b = _mm_setr_pd(5.0, 10.0);
 248     let r = _mm_add_pd(a, b);
 249     assert_eq_m128d(r, _mm_setr_pd(6.0, 12.0));
 250 }
 251
 252 #[cfg(target_arch = "x86_64")]
 253 fn assert_eq_m128i(x: std::arch::x86_64::__m128i, y: std::arch::x86_64::__m128i) {
 254     unsafe {
 255         assert_eq!(std::mem::transmute::<_, [u8; 16]>(x), std::mem::transmute::<_, [u8; 16]>(y));
 256     }
 257 }
 258
 259 #[cfg(target_arch = "x86_64")]
 260 #[target_feature(enable = "sse2")]
 261 pub unsafe fn assert_eq_m128d(a: __m128d, b: __m128d) {
 262     if _mm_movemask_pd(_mm_cmpeq_pd(a, b)) != 0b11 {
 263         panic!("{:?} != {:?}", a, b);
 264     }
 265 }
 266
 267 #[cfg(target_arch = "x86_64")]
 268 #[target_feature(enable = "sse2")]
 269 unsafe fn test_mm_cvtsi128_si64() {
 270     let r = _mm_cvtsi128_si64(std::mem::transmute::<[i64; 2], _>([5, 0]));
 271     assert_eq!(r, 5);
 272 }
 273
 274 #[cfg(target_arch = "x86_64")]
 275 #[target_feature(enable = "sse4.1")]
 276 unsafe fn test_mm_cvtepi8_epi16() {
 277     let a = _mm_set1_epi8(10);
 278     let r = _mm_cvtepi8_epi16(a);
 279     let e = _mm_set1_epi16(10);
 280     assert_eq_m128i(r, e);
 281     let a = _mm_set1_epi8(-10);
 282     let r = _mm_cvtepi8_epi16(a);
 283     let e = _mm_set1_epi16(-10);
 284     assert_eq_m128i(r, e);
 285 }
 286
 287 #[cfg(target_arch = "x86_64")]
 288 #[target_feature(enable = "sse4.1")]
 289 unsafe fn test_mm_extract_epi8() {
 290     #[rustfmt::skip]
 291     let a = _mm_setr_epi8(
 292         -1, 1, 2, 3, 4, 5, 6, 7,
 293         8, 9, 10, 11, 12, 13, 14, 15
 294     );
 295     let r1 = _mm_extract_epi8(a, 0);
 296     let r2 = _mm_extract_epi8(a, 19);
 297     assert_eq!(r1, 0xFF);
 298     assert_eq!(r2, 3);
 299 }
 300
 301 #[cfg(target_arch = "x86_64")]
 302 #[target_feature(enable = "sse2")]
 303 unsafe fn test_mm_insert_epi16() {
 304     let a = _mm_setr_epi16(0, 1, 2, 3, 4, 5, 6, 7);
 305     let r = _mm_insert_epi16(a, 9, 0);
 306     let e = _mm_setr_epi16(9, 1, 2, 3, 4, 5, 6, 7);
 307     assert_eq_m128i(r, e);
 308 }
 309
 310 fn test_checked_mul() {
 311     let u: Option<u8> = u8::from_str_radix("1000", 10).ok();
 312     assert_eq!(u, None);
 313
 314     assert_eq!(1u8.checked_mul(255u8), Some(255u8));
 315     assert_eq!(255u8.checked_mul(255u8), None);
 316     assert_eq!(1i8.checked_mul(127i8), Some(127i8));
 317     assert_eq!(127i8.checked_mul(127i8), None);
 318     assert_eq!((-1i8).checked_mul(-127i8), Some(127i8));
 319     assert_eq!(1i8.checked_mul(-128i8), Some(-128i8));
 320     assert_eq!((-128i8).checked_mul(-128i8), None);
 321
 322     assert_eq!(1u64.checked_mul(u64::MAX), Some(u64::MAX));
 323     assert_eq!(u64::MAX.checked_mul(u64::MAX), None);
 324     assert_eq!(1i64.checked_mul(i64::MAX), Some(i64::MAX));
 325     assert_eq!(i64::MAX.checked_mul(i64::MAX), None);
 326     assert_eq!((-1i64).checked_mul(i64::MIN + 1), Some(i64::MAX));
 327     assert_eq!(1i64.checked_mul(i64::MIN), Some(i64::MIN));
 328     assert_eq!(i64::MIN.checked_mul(i64::MIN), None);
 329 }
 330
 331 #[derive(PartialEq)]
 332 enum LoopState {
 333     Continue(()),
 334     Break(())
 335 }
 336
 337 pub enum Instruction {
 338     Increment,
 339     Loop,
 340 }
 341
 342 fn map(a: Option<(u8, Box<Instruction>)>) -> Option<Box<Instruction>> {
 343     match a {
 344         None => None,
 345         Some((_, instr)) => Some(instr),
 346     }
 347 }