Test signed 128bit discriminants

[rust.git] / example / std_example.rs

diff --git a/example/std_example.rs b/example/std_example.rs
index 3332c025e173f1f5c1e757a1860ad63211cd70e6..0c8fa8c0ba970f590b17728ec1b4814123134e68 100644 (file)
--- a/example/std_example.rs
+++ b/example/std_example.rs
@@ -1,10 +1,12 @@
-#![feature(core_intrinsics)]
-#![feature(is_sorted)]
+#![feature(core_intrinsics, generators, generator_trait, is_sorted)]
 
 use std::arch::x86_64::*;
 use std::io::Write;
+use std::ops::Generator;
 
 fn main() {
+    println!("{:?}", std::env::args().collect::<Vec<_>>());
+
     let mutex = std::sync::Mutex::new(());
     let _guard = mutex.lock().unwrap();
 
@@ -79,16 +81,36 @@ fn main() {
     assert_eq!(houndred_f32 as i128, 100);
     assert_eq!(houndred_f64 as i128, 100);
 
+    // Test signed 128bit comparing
+    let max = usize::MAX as i128;
+    if 100i128 < 0i128 || 100i128 > max {
+        panic!();
+    }
+
+    test_checked_mul();
+
     let _a = 1u32 << 2u8;
 
     let empty: [i32; 0] = [];
     assert!(empty.is_sorted());
 
-    println!("{:?}", unsafe { std::intrinsics::caller_location() });
+    println!("{:?}", std::intrinsics::caller_location());
 
     unsafe {
         test_simd();
     }
+
+    Box::pin(move |mut _task_context| {
+        yield ();
+    }).as_mut().resume(0);
+
+    #[derive(Copy, Clone)]
+    enum Nums {
+        NegOne = -1,
+    }
+
+    let kind = Nums::NegOne;
+    assert_eq!(-1i128, kind as i128);
 }
 
 #[target_feature(enable = "sse2")]
@@ -246,6 +268,27 @@ unsafe fn test_mm_extract_epi8() {
     assert_eq!(r2, 3);
 }
 
+fn test_checked_mul() {
+    let u: Option<u8> = u8::from_str_radix("1000", 10).ok();
+    assert_eq!(u, None);
+
+    assert_eq!(1u8.checked_mul(255u8), Some(255u8));
+    assert_eq!(255u8.checked_mul(255u8), None);
+    assert_eq!(1i8.checked_mul(127i8), Some(127i8));
+    assert_eq!(127i8.checked_mul(127i8), None);
+    assert_eq!((-1i8).checked_mul(-127i8), Some(127i8));
+    assert_eq!(1i8.checked_mul(-128i8), Some(-128i8));
+    assert_eq!((-128i8).checked_mul(-128i8), None);
+
+    assert_eq!(1u64.checked_mul(u64::max_value()), Some(u64::max_value()));
+    assert_eq!(u64::max_value().checked_mul(u64::max_value()), None);
+    assert_eq!(1i64.checked_mul(i64::max_value()), Some(i64::max_value()));
+    assert_eq!(i64::max_value().checked_mul(i64::max_value()), None);
+    assert_eq!((-1i64).checked_mul(i64::min_value() + 1), Some(i64::max_value()));
+    assert_eq!(1i64.checked_mul(i64::min_value()), Some(i64::min_value()));
+    assert_eq!(i64::min_value().checked_mul(i64::min_value()), None);
+}
+
 #[derive(PartialEq)]
 enum LoopState {
     Continue(()),