about summary refs log tree commit diff
path: root/src/etc/test-float-parse/_common.rs
diff options
context:
space:
mode:
authorRobin Kruppe <robin.kruppe@gmail.com>2015-07-26 15:24:08 +0200
committerRobin Kruppe <robin.kruppe@gmail.com>2015-08-09 14:17:39 +0200
commit82dbc2ea619cbfc98ca9ad2f9e06a5acd294cbe3 (patch)
tree0d22b9a451c9212c8d037b46782cafca4035a8ff /src/etc/test-float-parse/_common.rs
parentba792a4baa856d83c3001afa181db91c5b4c9732 (diff)
downloadrust-82dbc2ea619cbfc98ca9ad2f9e06a5acd294cbe3.tar.gz
rust-82dbc2ea619cbfc98ca9ad2f9e06a5acd294cbe3.zip
Add optional, external tests for floating point parsing.
Running these tests takes hours, so they are not run by @bors.
Diffstat (limited to 'src/etc/test-float-parse/_common.rs')
-rw-r--r--src/etc/test-float-parse/_common.rs26
1 files changed, 26 insertions, 0 deletions
diff --git a/src/etc/test-float-parse/_common.rs b/src/etc/test-float-parse/_common.rs
new file mode 100644
index 00000000000..b4a2a593e01
--- /dev/null
+++ b/src/etc/test-float-parse/_common.rs
@@ -0,0 +1,26 @@
+// Copyright 2015 The Rust Project Developers. See the COPYRIGHT
+// file at the top-level directory of this distribution and at
+// http://rust-lang.org/COPYRIGHT.
+//
+// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
+// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
+// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
+// option. This file may not be copied, modified, or distributed
+// except according to those terms.
+
+use std::io;
+use std::io::prelude::*;
+use std::mem::transmute;
+
+// Nothing up my sleeve: Just (PI - 3) in base 16.
+#[allow(dead_code)]
+pub const SEED: [u32; 3] = [0x243f_6a88, 0x85a3_08d3, 0x1319_8a2e];
+
+pub fn validate(text: String) {
+    let mut out = io::stdout();
+    let x: f64 = text.parse().unwrap();
+    let f64_bytes: u64 = unsafe { transmute(x) };
+    let x: f32 = text.parse().unwrap();
+    let f32_bytes: u32 = unsafe { transmute(x) };
+    writeln!(&mut out, "{:016x} {:08x} {}", f64_bytes, f32_bytes, text).unwrap();
+}