Skip to content

Commit 688f0dc

Browse files
committed
---
yaml --- r: 232347 b: refs/heads/try c: a406627 h: refs/heads/master i: 232345: f6cf3c9 232343: 2ae3959 v: v3
1 parent 8fd0ffe commit 688f0dc

File tree

33 files changed

+3924
-24
lines changed

33 files changed

+3924
-24
lines changed

[refs]

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
---
22
refs/heads/master: edeb4f1c86cbf6af8ef9874d4b3af50f721ea1b8
33
refs/heads/snap-stage3: 1af31d4974e33027a68126fa5a5a3c2c6491824f
4-
refs/heads/try: b0b29521896d280a2f5340edc901a812ad618266
4+
refs/heads/try: a4066271b77810aec0a4a309f66a45e4f8b940de
55
refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
66
refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596
77
refs/tags/release-0.3: b5f0d0f648d9a6153664837026ba1be43d3e2503

branches/try/mk/tests.mk

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -268,9 +268,10 @@ tidy-basic:
268268
.PHONY: tidy-binaries
269269
tidy-binaries:
270270
@$(call E, check: binaries)
271-
$(Q)find $(S)src -type f -perm +a+x \
271+
$(Q)find $(S)src -type f \
272+
\( -perm -u+x -or -perm -g+x -or -perm -o+x \) \
272273
-not -name '*.rs' -and -not -name '*.py' \
273-
-and -not -name '*.sh' \
274+
-and -not -name '*.sh' -and -not -name '*.pp' \
274275
| grep '^$(S)src/jemalloc' -v \
275276
| grep '^$(S)src/libuv' -v \
276277
| grep '^$(S)src/llvm' -v \

branches/try/src/etc/dec2flt_table.py

Lines changed: 134 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,134 @@
1+
#!/usr/bin/env python2.7
2+
#
3+
# Copyright 2015 The Rust Project Developers. See the COPYRIGHT
4+
# file at the top-level directory of this distribution and at
5+
# http://rust-lang.org/COPYRIGHT.
6+
#
7+
# Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
8+
# http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
9+
# <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
10+
# option. This file may not be copied, modified, or distributed
11+
# except according to those terms.
12+
13+
"""
14+
Generate powers of ten using William Clinger's ``AlgorithmM`` for use in
15+
decimal to floating point conversions.
16+
17+
Specifically, computes and outputs (as Rust code) a table of 10^e for some
18+
range of exponents e. The output is one array of 64 bit significands and
19+
another array of corresponding base two exponents. The approximations are
20+
normalized and rounded perfectly, i.e., within 0.5 ULP of the true value.
21+
22+
The representation ([u64], [i16]) instead of the more natural [(u64, i16)]
23+
is used because (u64, i16) has a ton of padding which would make the table
24+
even larger, and it's already uncomfortably large (6 KiB).
25+
"""
26+
from __future__ import print_function
27+
import sys
28+
from fractions import Fraction
29+
from collections import namedtuple
30+
31+
32+
N = 64 # Size of the significand field in bits
33+
MIN_SIG = 2 ** (N - 1)
34+
MAX_SIG = (2 ** N) - 1
35+
36+
37+
# Hand-rolled fp representation without arithmetic or any other operations.
38+
# The significand is normalized and always N bit, but the exponent is
39+
# unrestricted in range.
40+
Fp = namedtuple('Fp', 'sig exp')
41+
42+
43+
def algorithm_m(f, e):
44+
assert f > 0
45+
if e < 0:
46+
u = f
47+
v = 10 ** abs(e)
48+
else:
49+
u = f * 10 ** e
50+
v = 1
51+
k = 0
52+
x = u // v
53+
while True:
54+
if x < MIN_SIG:
55+
u <<= 1
56+
k -= 1
57+
elif x >= MAX_SIG:
58+
v <<= 1
59+
k += 1
60+
else:
61+
break
62+
x = u // v
63+
return ratio_to_float(u, v, k)
64+
65+
66+
def ratio_to_float(u, v, k):
67+
q, r = divmod(u, v)
68+
v_r = v - r
69+
z = Fp(q, k)
70+
if r < v_r:
71+
return z
72+
elif r > v_r:
73+
return next_float(z)
74+
elif q % 2 == 0:
75+
return z
76+
else:
77+
return next_float(z)
78+
79+
80+
def next_float(z):
81+
if z.sig == MAX_SIG:
82+
return Fp(MIN_SIG, z.exp + 1)
83+
else:
84+
return Fp(z.sig + 1, z.exp)
85+
86+
87+
def error(f, e, z):
88+
decimal = f * Fraction(10) ** e
89+
binary = z.sig * Fraction(2) ** z.exp
90+
abs_err = abs(decimal - binary)
91+
# The unit in the last place has value z.exp
92+
ulp_err = abs_err / Fraction(2) ** z.exp
93+
return float(ulp_err)
94+
95+
LICENSE = """
96+
// Copyright 2015 The Rust Project Developers. See the COPYRIGHT
97+
// file at the top-level directory of this distribution and at
98+
// http://rust-lang.org/COPYRIGHT.
99+
//
100+
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
101+
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
102+
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
103+
// option. This file may not be copied, modified, or distributed
104+
// except according to those terms.
105+
"""
106+
107+
def main():
108+
MIN_E = -305
109+
MAX_E = 305
110+
e_range = range(MIN_E, MAX_E+1)
111+
powers = []
112+
for e in e_range:
113+
z = algorithm_m(1, e)
114+
err = error(1, e, z)
115+
assert err < 0.5
116+
powers.append(z)
117+
typ = "([u64; {0}], [i16; {0}])".format(len(e_range))
118+
print(LICENSE.strip())
119+
print("// Table of approximations of powers of ten.")
120+
print("// DO NOT MODIFY: Generated by a src/etc/dec2flt_table.py")
121+
print("pub const MIN_E: i16 = {};".format(MIN_E))
122+
print("pub const MAX_E: i16 = {};".format(MAX_E))
123+
print()
124+
print("pub const POWERS: ", typ, " = ([", sep='')
125+
for z in powers:
126+
print(" 0x{:x},".format(z.sig))
127+
print("], [")
128+
for z in powers:
129+
print(" {},".format(z.exp))
130+
print("]);")
131+
132+
133+
if __name__ == '__main__':
134+
main()
Lines changed: 26 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,26 @@
1+
// Copyright 2015 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+
use std::io;
12+
use std::io::prelude::*;
13+
use std::mem::transmute;
14+
15+
// Nothing up my sleeve: Just (PI - 3) in base 16.
16+
#[allow(dead_code)]
17+
pub const SEED: [u32; 3] = [0x243f_6a88, 0x85a3_08d3, 0x1319_8a2e];
18+
19+
pub fn validate(text: String) {
20+
let mut out = io::stdout();
21+
let x: f64 = text.parse().unwrap();
22+
let f64_bytes: u64 = unsafe { transmute(x) };
23+
let x: f32 = text.parse().unwrap();
24+
let f32_bytes: u32 = unsafe { transmute(x) };
25+
writeln!(&mut out, "{:016x} {:08x} {}", f64_bytes, f32_bytes, text).unwrap();
26+
}
Lines changed: 27 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,27 @@
1+
// Copyright 2015 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+
mod _common;
12+
13+
use _common::validate;
14+
15+
fn main() {
16+
let mut pow = vec![];
17+
for i in 0..63 {
18+
pow.push(1u64 << i);
19+
}
20+
for a in &pow {
21+
for b in &pow {
22+
for c in &pow {
23+
validate((a | b | c).to_string());
24+
}
25+
}
26+
}
27+
}
Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
// Copyright 2015 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+
mod _common;
12+
13+
use _common::validate;
14+
15+
fn main() {
16+
for e in 300..310 {
17+
for i in 0..100000 {
18+
validate(format!("{}e{}", i, e));
19+
}
20+
}
21+
}
Lines changed: 39 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,39 @@
1+
// Copyright 2015 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+
#![feature(rand)]
12+
13+
extern crate rand;
14+
15+
mod _common;
16+
17+
use std::char;
18+
use rand::{IsaacRng, Rng, SeedableRng};
19+
use rand::distributions::{Range, Sample};
20+
use _common::{validate, SEED};
21+
22+
fn main() {
23+
let mut rnd = IsaacRng::from_seed(&SEED);
24+
let mut range = Range::new(0, 10);
25+
for _ in 0..5_000_000u64 {
26+
let num_digits = rnd.gen_range(100, 300);
27+
let digits = gen_digits(num_digits, &mut range, &mut rnd);
28+
validate(digits);
29+
}
30+
}
31+
32+
fn gen_digits<R: Rng>(n: u32, range: &mut Range<u32>, rnd: &mut R) -> String {
33+
let mut s = String::new();
34+
for _ in 0..n {
35+
let digit = char::from_digit(range.sample(rnd), 10).unwrap();
36+
s.push(digit);
37+
}
38+
s
39+
}
Lines changed: 32 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,32 @@
1+
// Copyright 2015 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+
#![feature(rand)]
12+
13+
extern crate rand;
14+
15+
mod _common;
16+
17+
use _common::{validate, SEED};
18+
use rand::{IsaacRng, Rng, SeedableRng};
19+
use std::mem::transmute;
20+
21+
fn main() {
22+
let mut rnd = IsaacRng::from_seed(&SEED);
23+
let mut i = 0;
24+
while i < 10_000_000 {
25+
let bits = rnd.next_u64();
26+
let x: f64 = unsafe { transmute(bits) };
27+
if x.is_finite() {
28+
validate(format!("{:e}", x));
29+
i += 1;
30+
}
31+
}
32+
}

0 commit comments

Comments
 (0)