Skip to content

Commit ce63276

Browse files
committed
---
yaml --- r: 137023 b: refs/heads/dist-snap c: dfbe9eb h: refs/heads/master i: 137021: eeb9e6c 137019: b5cd9cb 137015: ef4d72d 137007: 7c90beb 136991: 9fd1d8e 136959: 27850a0 v: v3
1 parent 4d44437 commit ce63276

File tree

24 files changed

+288
-59
lines changed

24 files changed

+288
-59
lines changed

[refs]

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ refs/heads/try: 189b7332968972f34cdbbbd9b62d97ababf53059
66
refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
77
refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b
88
refs/heads/try2: 147ecfdd8221e4a4d4e090486829a06da1e0ca3c
9-
refs/heads/dist-snap: df4051e0b1930aade69a821c225cd89870cbfd56
9+
refs/heads/dist-snap: dfbe9eb3b24fdc7ea5c78f96fedec6630476dec7
1010
refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596
1111
refs/tags/release-0.3: b5f0d0f648d9a6153664837026ba1be43d3e2503
1212
refs/heads/try3: 9387340aab40a73e8424c48fd42f0c521a4875c0

branches/dist-snap/mk/main.mk

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -246,7 +246,7 @@ endif
246246
######################################################################
247247

248248
# FIXME: x86-ism
249-
LLVM_COMPONENTS=x86 arm mips ipo bitreader bitwriter linker asmparser jit mcjit \
249+
LLVM_COMPONENTS=x86 arm mips ipo bitreader bitwriter linker asmparser mcjit \
250250
interpreter instrumentation
251251

252252
# Only build these LLVM tools

branches/dist-snap/src/doc/rustdoc.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -67,7 +67,7 @@ pub use std::option::Option;
6767
```
6868

6969
Doc comments are markdown, and are currently parsed with the
70-
[sundown][sundown] library. rustdoc does not yet do any fanciness such as
70+
[hoedown][hoedown] library. rustdoc does not yet do any fanciness such as
7171
referencing other items inline, like javadoc's `@see`. One exception to this
7272
is that the first paragraph will be used as the "summary" of an item in the
7373
generated documentation:
@@ -123,7 +123,7 @@ documentation. There is a search bar at the top, which is powered by some
123123
JavaScript and a statically-generated search index. No special web server is
124124
required for the search.
125125

126-
[sundown]: https://github.com/vmg/sundown/
126+
[hoedown]: https://github.com/hoedown/hoedown
127127

128128
# Testing the Documentation
129129

branches/dist-snap/src/libcollections/str.rs

Lines changed: 28 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -778,13 +778,11 @@ pub trait StrAllocating: Str {
778778
/// Returns the Levenshtein Distance between two strings.
779779
fn lev_distance(&self, t: &str) -> uint {
780780
let me = self.as_slice();
781-
let slen = me.len();
782-
let tlen = t.len();
781+
if me.is_empty() { return t.char_len(); }
782+
if t.is_empty() { return me.char_len(); }
783783

784-
if slen == 0 { return tlen; }
785-
if tlen == 0 { return slen; }
786-
787-
let mut dcol = Vec::from_fn(tlen + 1, |x| x);
784+
let mut dcol = Vec::from_fn(t.len() + 1, |x| x);
785+
let mut t_last = 0;
788786

789787
for (i, sc) in me.chars().enumerate() {
790788

@@ -799,15 +797,15 @@ pub trait StrAllocating: Str {
799797
*dcol.get_mut(j + 1) = current;
800798
} else {
801799
*dcol.get_mut(j + 1) = cmp::min(current, next);
802-
*dcol.get_mut(j + 1) = cmp::min(dcol[j + 1],
803-
dcol[j]) + 1;
800+
*dcol.get_mut(j + 1) = cmp::min(dcol[j + 1], dcol[j]) + 1;
804801
}
805802

806803
current = next;
804+
t_last = j;
807805
}
808806
}
809807

810-
return dcol[tlen];
808+
dcol[t_last + 1]
811809
}
812810

813811
/// Returns an iterator over the string in Unicode Normalization Form D
@@ -1878,6 +1876,27 @@ mod tests {
18781876
assert_eq!(words, vec!["Märy", "häd", "ä", "little", "lämb", "Little", "lämb"])
18791877
}
18801878

1879+
#[test]
1880+
fn test_lev_distance() {
1881+
use std::char::{ from_u32, MAX };
1882+
// Test bytelength agnosticity
1883+
for c in range(0u32, MAX as u32)
1884+
.filter_map(|i| from_u32(i))
1885+
.map(|i| String::from_char(1, i)) {
1886+
assert_eq!(c[].lev_distance(c[]), 0);
1887+
}
1888+
1889+
let a = "\nMäry häd ä little lämb\n\nLittle lämb\n";
1890+
let b = "\nMary häd ä little lämb\n\nLittle lämb\n";
1891+
let c = "Mary häd ä little lämb\n\nLittle lämb\n";
1892+
assert_eq!(a.lev_distance(b), 1);
1893+
assert_eq!(b.lev_distance(a), 1);
1894+
assert_eq!(a.lev_distance(c), 2);
1895+
assert_eq!(c.lev_distance(a), 2);
1896+
assert_eq!(b.lev_distance(c), 1);
1897+
assert_eq!(c.lev_distance(b), 1);
1898+
}
1899+
18811900
#[test]
18821901
fn test_nfd_chars() {
18831902
macro_rules! t {

branches/dist-snap/src/libcore/atomic.rs

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -382,9 +382,9 @@ impl AtomicInt {
382382
/// # Examples
383383
///
384384
/// ```
385-
/// use std::sync::atomic::{AtomicUint, SeqCst};
385+
/// use std::sync::atomic::{AtomicInt, SeqCst};
386386
///
387-
/// let foo = AtomicUint::new(0b101101);
387+
/// let foo = AtomicInt::new(0b101101);
388388
/// assert_eq!(0b101101, foo.fetch_and(0b110011, SeqCst));
389389
/// assert_eq!(0b100001, foo.load(SeqCst));
390390
#[inline]
@@ -397,9 +397,9 @@ impl AtomicInt {
397397
/// # Examples
398398
///
399399
/// ```
400-
/// use std::sync::atomic::{AtomicUint, SeqCst};
400+
/// use std::sync::atomic::{AtomicInt, SeqCst};
401401
///
402-
/// let foo = AtomicUint::new(0b101101);
402+
/// let foo = AtomicInt::new(0b101101);
403403
/// assert_eq!(0b101101, foo.fetch_or(0b110011, SeqCst));
404404
/// assert_eq!(0b111111, foo.load(SeqCst));
405405
#[inline]
@@ -412,9 +412,9 @@ impl AtomicInt {
412412
/// # Examples
413413
///
414414
/// ```
415-
/// use std::sync::atomic::{AtomicUint, SeqCst};
415+
/// use std::sync::atomic::{AtomicInt, SeqCst};
416416
///
417-
/// let foo = AtomicUint::new(0b101101);
417+
/// let foo = AtomicInt::new(0b101101);
418418
/// assert_eq!(0b101101, foo.fetch_xor(0b110011, SeqCst));
419419
/// assert_eq!(0b011110, foo.load(SeqCst));
420420
#[inline]

branches/dist-snap/src/libcore/intrinsics.rs

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -250,6 +250,13 @@ extern "rust-intrinsic" {
250250
/// Abort the execution of the process.
251251
pub fn abort() -> !;
252252

253+
/// Tell LLVM that this point in the code is not reachable,
254+
/// enabling further optimizations.
255+
///
256+
/// NB: This is very different from the `unreachable!()` macro!
257+
#[cfg(not(stage0))]
258+
pub fn unreachable() -> !;
259+
253260
/// Execute a breakpoint trap, for inspection by a debugger.
254261
pub fn breakpoint();
255262

branches/dist-snap/src/librustc/middle/trans/debuginfo.rs

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -3164,8 +3164,7 @@ fn populate_scope_map(cx: &CrateContext,
31643164
parent_scope,
31653165
file_metadata,
31663166
loc.line as c_uint,
3167-
loc.col.to_uint() as c_uint,
3168-
0)
3167+
loc.col.to_uint() as c_uint)
31693168
};
31703169

31713170
scope_stack.push(ScopeStackEntry { scope_metadata: scope_metadata,
@@ -3290,8 +3289,7 @@ fn populate_scope_map(cx: &CrateContext,
32903289
parent_scope,
32913290
file_metadata,
32923291
loc.line as c_uint,
3293-
loc.col.to_uint() as c_uint,
3294-
0)
3292+
loc.col.to_uint() as c_uint)
32953293
};
32963294

32973295
scope_stack.push(ScopeStackEntry {

branches/dist-snap/src/librustc/middle/trans/intrinsic.rs

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -228,6 +228,10 @@ pub fn trans_intrinsic_call<'blk, 'tcx>(mut bcx: Block<'blk, 'tcx>, node: ast::N
228228
Unreachable(bcx);
229229
v
230230
}
231+
(_, "unreachable") => {
232+
Unreachable(bcx);
233+
C_nil(ccx)
234+
}
231235
(_, "breakpoint") => {
232236
let llfn = ccx.get_intrinsic(&("llvm.debugtrap"));
233237
Call(bcx, llfn, [], None)

branches/dist-snap/src/librustc/middle/trans/reflect.rs

Lines changed: 36 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -127,6 +127,22 @@ impl<'a, 'blk, 'tcx> Reflector<'a, 'blk, 'tcx> {
127127
self.visit(name, []);
128128
}
129129

130+
fn visit_closure_ty(&mut self, fty: &ty::ClosureTy, is_unboxed: bool) {
131+
let pureval = ast_fn_style_constant(fty.fn_style);
132+
let sigilval = match fty.store {
133+
ty::UniqTraitStore => 2u,
134+
ty::RegionTraitStore(..) => 4u,
135+
};
136+
let retval = if ty::type_is_bot(fty.sig.output) {0u} else {1u};
137+
let extra = vec!(self.c_uint(pureval),
138+
self.c_uint(sigilval),
139+
self.c_uint(fty.sig.inputs.len()),
140+
self.c_uint(retval));
141+
self.visit("enter_fn", extra.as_slice());
142+
self.visit_sig(retval, &fty.sig, is_unboxed);
143+
self.visit("leave_fn", extra.as_slice());
144+
}
145+
130146
// Entrypoint
131147
pub fn visit_ty(&mut self, t: ty::t) {
132148
let bcx = self.bcx;
@@ -247,20 +263,8 @@ impl<'a, 'blk, 'tcx> Reflector<'a, 'blk, 'tcx> {
247263

248264
// FIXME (#2594): fetch constants out of intrinsic
249265
// FIXME (#4809): visitor should break out bare fns from other fns
250-
ty::ty_closure(ref fty) => {
251-
let pureval = ast_fn_style_constant(fty.fn_style);
252-
let sigilval = match fty.store {
253-
ty::UniqTraitStore => 2u,
254-
ty::RegionTraitStore(..) => 4u,
255-
};
256-
let retval = if ty::type_is_bot(fty.sig.output) {0u} else {1u};
257-
let extra = vec!(self.c_uint(pureval),
258-
self.c_uint(sigilval),
259-
self.c_uint(fty.sig.inputs.len()),
260-
self.c_uint(retval));
261-
self.visit("enter_fn", extra.as_slice());
262-
self.visit_sig(retval, &fty.sig);
263-
self.visit("leave_fn", extra.as_slice());
266+
ty::ty_closure(box ref fty) => {
267+
self.visit_closure_ty(fty, false);
264268
}
265269

266270
// FIXME (#2594): fetch constants out of intrinsic:: for the
@@ -274,7 +278,7 @@ impl<'a, 'blk, 'tcx> Reflector<'a, 'blk, 'tcx> {
274278
self.c_uint(fty.sig.inputs.len()),
275279
self.c_uint(retval));
276280
self.visit("enter_fn", extra.as_slice());
277-
self.visit_sig(retval, &fty.sig);
281+
self.visit_sig(retval, &fty.sig, false);
278282
self.visit("leave_fn", extra.as_slice());
279283
}
280284

@@ -388,16 +392,30 @@ impl<'a, 'blk, 'tcx> Reflector<'a, 'blk, 'tcx> {
388392
// Miscellaneous extra types
389393
ty::ty_infer(_) => self.leaf("infer"),
390394
ty::ty_err => self.leaf("err"),
391-
ty::ty_unboxed_closure(..) => self.leaf("err"),
395+
ty::ty_unboxed_closure(ref def_id, _) => {
396+
let closure_map = tcx.unboxed_closures.borrow();
397+
let fty = &closure_map.find(def_id).unwrap().closure_type;
398+
self.visit_closure_ty(fty, true);
399+
}
392400
ty::ty_param(ref p) => {
393401
let extra = vec!(self.c_uint(p.idx));
394402
self.visit("param", extra.as_slice())
395403
}
396404
}
397405
}
398406

399-
pub fn visit_sig(&mut self, retval: uint, sig: &ty::FnSig) {
400-
for (i, arg) in sig.inputs.iter().enumerate() {
407+
pub fn visit_sig(&mut self, retval: uint, sig: &ty::FnSig, is_unboxed: bool) {
408+
let args = if is_unboxed {
409+
match ty::get(sig.inputs[0]).sty {
410+
ty::ty_tup(ref contents) => contents.iter(),
411+
ty::ty_nil => [].iter(),
412+
_ => unreachable!()
413+
}
414+
} else {
415+
sig.inputs.iter()
416+
};
417+
418+
for (i, arg) in args.enumerate() {
401419
let modeval = 5u; // "by copy"
402420
let extra = vec!(self.c_uint(i),
403421
self.c_uint(modeval),

branches/dist-snap/src/librustc/middle/typeck/check/mod.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5586,6 +5586,7 @@ pub fn check_intrinsic_type(ccx: &CrateCtxt, it: &ast::ForeignItem) {
55865586
} else {
55875587
match name.get() {
55885588
"abort" => (0, Vec::new(), ty::mk_bot()),
5589+
"unreachable" => (0, Vec::new(), ty::mk_bot()),
55895590
"breakpoint" => (0, Vec::new(), ty::mk_nil()),
55905591
"size_of" |
55915592
"pref_align_of" | "min_align_of" => (1u, Vec::new(), ty::mk_uint()),

branches/dist-snap/src/librustc/middle/typeck/infer/error_reporting.rs

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -869,6 +869,19 @@ impl<'a, 'tcx> ErrorReporting for InferCtxt<'a, 'tcx> {
869869
ast::TypeImplItem(_) => None,
870870
}
871871
},
872+
ast_map::NodeTraitItem(ref item) => {
873+
match **item {
874+
ast::ProvidedMethod(ref m) => {
875+
Some((m.pe_fn_decl(),
876+
m.pe_generics(),
877+
m.pe_fn_style(),
878+
m.pe_ident(),
879+
Some(&m.pe_explicit_self().node),
880+
m.span))
881+
}
882+
_ => None
883+
}
884+
}
872885
_ => None
873886
},
874887
None => None

branches/dist-snap/src/librustc_llvm/lib.rs

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1747,8 +1747,7 @@ extern {
17471747
Scope: DIDescriptor,
17481748
File: DIFile,
17491749
Line: c_uint,
1750-
Col: c_uint,
1751-
Discriminator: c_uint)
1750+
Col: c_uint)
17521751
-> DILexicalBlock;
17531752

17541753
pub fn LLVMDIBuilderCreateStaticVariable(Builder: DIBuilderRef,
@@ -2179,12 +2178,10 @@ pub unsafe fn static_link_hack_this_sucks() {
21792178

21802179
LLVMRustLinkInExternalBitcode(0 as *mut _, 0 as *const _, 0 as size_t);
21812180

2182-
LLVMLinkInJIT();
21832181
LLVMLinkInMCJIT();
21842182
LLVMLinkInInterpreter();
21852183

21862184
extern {
2187-
fn LLVMLinkInJIT();
21882185
fn LLVMLinkInMCJIT();
21892186
fn LLVMLinkInInterpreter();
21902187
}

branches/dist-snap/src/libstd/io/mod.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1293,10 +1293,10 @@ impl<'a> Writer for Box<Writer+'a> {
12931293

12941294
impl<'a> Writer for &'a mut Writer+'a {
12951295
#[inline]
1296-
fn write(&mut self, buf: &[u8]) -> IoResult<()> { self.write(buf) }
1296+
fn write(&mut self, buf: &[u8]) -> IoResult<()> { (**self).write(buf) }
12971297

12981298
#[inline]
1299-
fn flush(&mut self) -> IoResult<()> { self.flush() }
1299+
fn flush(&mut self) -> IoResult<()> { (**self).flush() }
13001300
}
13011301

13021302
/// A `RefWriter` is a struct implementing `Writer` which contains a reference

branches/dist-snap/src/llvm

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
Subproject commit e9d037419441d51ccb0f41aacbc64080b0c6e81b
1+
Subproject commit c9b823739d1357a058e7437c00bec6d2d0b00ed6

branches/dist-snap/src/rustllvm/PassWrapper.cpp

Lines changed: 15 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -118,7 +118,9 @@ LLVMRustAddAnalysisPasses(LLVMTargetMachineRef TM,
118118
LLVMPassManagerRef PMR,
119119
LLVMModuleRef M) {
120120
PassManagerBase *PM = unwrap(PMR);
121-
#if LLVM_VERSION_MINOR >= 5
121+
#if LLVM_VERSION_MINOR >= 6
122+
PM->add(new DataLayoutPass());
123+
#elif LLVM_VERSION_MINOR == 5
122124
PM->add(new DataLayoutPass(unwrap(M)));
123125
#else
124126
PM->add(new DataLayout(unwrap(M)));
@@ -187,7 +189,12 @@ LLVMRustWriteOutputFile(LLVMTargetMachineRef Target,
187189
PassManager *PM = unwrap<PassManager>(PMR);
188190

189191
std::string ErrorInfo;
190-
#if LLVM_VERSION_MINOR >= 4
192+
#if LLVM_VERSION_MINOR >= 6
193+
std::error_code EC;
194+
raw_fd_ostream OS(path, EC, sys::fs::F_None);
195+
if (EC)
196+
ErrorInfo = EC.message();
197+
#elif LLVM_VERSION_MINOR >= 4
191198
raw_fd_ostream OS(path, ErrorInfo, sys::fs::F_None);
192199
#else
193200
raw_fd_ostream OS(path, ErrorInfo, raw_fd_ostream::F_Binary);
@@ -210,7 +217,12 @@ LLVMRustPrintModule(LLVMPassManagerRef PMR,
210217
PassManager *PM = unwrap<PassManager>(PMR);
211218
std::string ErrorInfo;
212219

213-
#if LLVM_VERSION_MINOR >= 4
220+
#if LLVM_VERSION_MINOR >= 6
221+
std::error_code EC;
222+
raw_fd_ostream OS(path, EC, sys::fs::F_None);
223+
if (EC)
224+
ErrorInfo = EC.message();
225+
#elif LLVM_VERSION_MINOR >= 4
214226
raw_fd_ostream OS(path, ErrorInfo, sys::fs::F_None);
215227
#else
216228
raw_fd_ostream OS(path, ErrorInfo, raw_fd_ostream::F_Binary);

0 commit comments

Comments
 (0)