Skip to content

Commit d46932d

Browse files
committed
---
yaml --- r: 146416 b: refs/heads/try2 c: 658637b h: refs/heads/master v: v3
1 parent c477ae2 commit d46932d

File tree

14 files changed

+124
-100
lines changed

14 files changed

+124
-100
lines changed

[refs]

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@ refs/heads/snap-stage3: 78a7676898d9f80ab540c6df5d4c9ce35bb50463
55
refs/heads/try: 519addf6277dbafccbb4159db4b710c37eaa2ec5
66
refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
77
refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b
8-
refs/heads/try2: 3c3ed1499a9b9e23d4a2d2243a7b0b1c9015f34b
8+
refs/heads/try2: 658637baf45b41e4cff049440bc07f267d810218
99
refs/heads/dist-snap: ba4081a5a8573875fed17545846f6f6902c8ba8d
1010
refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596
1111
refs/tags/release-0.3: b5f0d0f648d9a6153664837026ba1be43d3e2503

branches/try2/doc/rust.md

Lines changed: 4 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -2063,7 +2063,7 @@ The currently implemented features of the compiler are:
20632063

20642064
* `once_fns` - Onceness guarantees a closure is only executed once. Defining a
20652065
closure as `once` is unlikely to be supported going forward. So
2066-
they are hidden behind this feature until they are to be removed.
2066+
they are hidden behind this feature until they are to be removed.
20672067

20682068
If a feature is promoted to a language feature, then all existing programs will
20692069
start to receive compilation warnings about #[feature] directives which enabled
@@ -2748,11 +2748,10 @@ do k(3) |j| {
27482748

27492749
~~~~ {.ebnf .gram}
27502750
for_expr : "for" pat "in" expr '{' block '}' ;
2751-
~~~~
2751+
~~~~
27522752

2753-
A `for` expression is a syntactic construct for looping
2754-
over elements provided by an implementation of
2755-
`std::iterator::Iterator`.
2753+
A `for` expression is a syntactic construct for looping over elements
2754+
provided by an implementation of `std::iter::Iterator`.
27562755

27572756
An example of a for loop over the contents of a vector:
27582757

branches/try2/doc/tutorial-container.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -69,7 +69,7 @@ heapsort.
6969
## Iteration protocol
7070

7171
The iteration protocol is defined by the `Iterator` trait in the
72-
`std::iterator` module. The minimal implementation of the trait is a `next`
72+
`std::iter` module. The minimal implementation of the trait is a `next`
7373
method, yielding the next element from an iterator object:
7474

7575
~~~

branches/try2/doc/tutorial.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -759,6 +759,7 @@ different type from `Bar(1, 2)`), and tuple structs' _fields_ do not have
759759
names.
760760

761761
For example:
762+
762763
~~~~
763764
struct MyTup(int, int, f64);
764765
let mytup: MyTup = MyTup(10, 20, 30.0);

branches/try2/src/librustc/driver/driver.rs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -442,7 +442,8 @@ pub fn compile_input(sess: Session, cfg: ast::CrateConfig, input: &input,
442442
};
443443
let analysis = phase_3_run_analysis_passes(sess, &expanded_crate);
444444
if stop_after_phase_3(sess) { return; }
445-
let outputs = build_output_filenames(input, outdir, output, [], sess);
445+
let outputs = build_output_filenames(input, outdir, output,
446+
expanded_crate.attrs, sess);
446447
let trans = phase_4_translate_to_llvm(sess, expanded_crate,
447448
&analysis, outputs);
448449
(outputs, trans)

branches/try2/src/librustc/middle/trans/intrinsic.rs

Lines changed: 24 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -74,14 +74,24 @@ pub fn trans_intrinsic(ccx: @mut CrateContext,
7474
}
7575
}
7676

77-
fn memcpy_intrinsic(bcx: @mut Block, name: &'static str, tp_ty: ty::t, sizebits: u8) {
77+
fn copy_intrinsic(bcx: @mut Block, allow_overlap: bool, tp_ty: ty::t) {
7878
let ccx = bcx.ccx();
7979
let lltp_ty = type_of::type_of(ccx, tp_ty);
8080
let align = C_i32(machine::llalign_of_min(ccx, lltp_ty) as i32);
81-
let size = match sizebits {
82-
32 => C_i32(machine::llsize_of_real(ccx, lltp_ty) as i32),
83-
64 => C_i64(machine::llsize_of_real(ccx, lltp_ty) as i64),
84-
_ => ccx.sess.fatal("Invalid value for sizebits")
81+
let size = machine::llsize_of(ccx, lltp_ty);
82+
let int_size = machine::llbitsize_of_real(ccx, ccx.int_type);
83+
let name = if allow_overlap {
84+
if int_size == 32 {
85+
"llvm.memmove.p0i8.p0i8.i32"
86+
} else {
87+
"llvm.memmove.p0i8.p0i8.i64"
88+
}
89+
} else {
90+
if int_size == 32 {
91+
"llvm.memcpy.p0i8.p0i8.i32"
92+
} else {
93+
"llvm.memcpy.p0i8.p0i8.i64"
94+
}
8595
};
8696

8797
let decl = bcx.fcx.llfn;
@@ -95,14 +105,15 @@ pub fn trans_intrinsic(ccx: @mut CrateContext,
95105
RetVoid(bcx);
96106
}
97107

98-
fn memset_intrinsic(bcx: @mut Block, name: &'static str, tp_ty: ty::t, sizebits: u8) {
108+
fn memset_intrinsic(bcx: @mut Block, tp_ty: ty::t) {
99109
let ccx = bcx.ccx();
100110
let lltp_ty = type_of::type_of(ccx, tp_ty);
101111
let align = C_i32(machine::llalign_of_min(ccx, lltp_ty) as i32);
102-
let size = match sizebits {
103-
32 => C_i32(machine::llsize_of_real(ccx, lltp_ty) as i32),
104-
64 => C_i64(machine::llsize_of_real(ccx, lltp_ty) as i64),
105-
_ => ccx.sess.fatal("Invalid value for sizebits")
112+
let size = machine::llsize_of(ccx, lltp_ty);
113+
let name = if machine::llbitsize_of_real(ccx, ccx.int_type) == 32 {
114+
"llvm.memset.p0i8.i32"
115+
} else {
116+
"llvm.memset.p0i8.i64"
106117
};
107118

108119
let decl = bcx.fcx.llfn;
@@ -399,12 +410,9 @@ pub fn trans_intrinsic(ccx: @mut CrateContext,
399410
let lladdr = InBoundsGEP(bcx, ptr, [offset]);
400411
Ret(bcx, lladdr);
401412
}
402-
"memcpy32" => memcpy_intrinsic(bcx, "llvm.memcpy.p0i8.p0i8.i32", substs.tys[0], 32),
403-
"memcpy64" => memcpy_intrinsic(bcx, "llvm.memcpy.p0i8.p0i8.i64", substs.tys[0], 64),
404-
"memmove32" => memcpy_intrinsic(bcx, "llvm.memmove.p0i8.p0i8.i32", substs.tys[0], 32),
405-
"memmove64" => memcpy_intrinsic(bcx, "llvm.memmove.p0i8.p0i8.i64", substs.tys[0], 64),
406-
"memset32" => memset_intrinsic(bcx, "llvm.memset.p0i8.i32", substs.tys[0], 32),
407-
"memset64" => memset_intrinsic(bcx, "llvm.memset.p0i8.i64", substs.tys[0], 64),
413+
"copy_nonoverlapping_memory" => copy_intrinsic(bcx, false, substs.tys[0]),
414+
"copy_memory" => copy_intrinsic(bcx, true, substs.tys[0]),
415+
"set_memory" => memset_intrinsic(bcx, substs.tys[0]),
408416
"sqrtf32" => simple_llvm_intrinsic(bcx, "llvm.sqrt.f32", 1),
409417
"sqrtf64" => simple_llvm_intrinsic(bcx, "llvm.sqrt.f64", 1),
410418
"powif32" => simple_llvm_intrinsic(bcx, "llvm.powi.f32", 2),

branches/try2/src/librustc/middle/typeck/check/mod.rs

Lines changed: 6 additions & 48 deletions
Original file line numberDiff line numberDiff line change
@@ -3734,7 +3734,7 @@ pub fn check_intrinsic_type(ccx: @mut CrateCtxt, it: @ast::foreign_item) {
37343734
mutbl: ast::MutImmutable
37353735
}))
37363736
}
3737-
"memcpy32" => {
3737+
"copy_nonoverlapping_memory" => {
37383738
(1,
37393739
~[
37403740
ty::mk_ptr(tcx, ty::mt {
@@ -3745,11 +3745,11 @@ pub fn check_intrinsic_type(ccx: @mut CrateCtxt, it: @ast::foreign_item) {
37453745
ty: param(ccx, 0),
37463746
mutbl: ast::MutImmutable
37473747
}),
3748-
ty::mk_u32()
3748+
ty::mk_uint()
37493749
],
37503750
ty::mk_nil())
37513751
}
3752-
"memcpy64" => {
3752+
"copy_memory" => {
37533753
(1,
37543754
~[
37553755
ty::mk_ptr(tcx, ty::mt {
@@ -3760,61 +3760,19 @@ pub fn check_intrinsic_type(ccx: @mut CrateCtxt, it: @ast::foreign_item) {
37603760
ty: param(ccx, 0),
37613761
mutbl: ast::MutImmutable
37623762
}),
3763-
ty::mk_u64()
3763+
ty::mk_uint()
37643764
],
37653765
ty::mk_nil())
37663766
}
3767-
"memmove32" => {
3768-
(1,
3769-
~[
3770-
ty::mk_ptr(tcx, ty::mt {
3771-
ty: param(ccx, 0),
3772-
mutbl: ast::MutMutable
3773-
}),
3774-
ty::mk_ptr(tcx, ty::mt {
3775-
ty: param(ccx, 0),
3776-
mutbl: ast::MutImmutable
3777-
}),
3778-
ty::mk_u32()
3779-
],
3780-
ty::mk_nil())
3781-
}
3782-
"memmove64" => {
3783-
(1,
3784-
~[
3785-
ty::mk_ptr(tcx, ty::mt {
3786-
ty: param(ccx, 0),
3787-
mutbl: ast::MutMutable
3788-
}),
3789-
ty::mk_ptr(tcx, ty::mt {
3790-
ty: param(ccx, 0),
3791-
mutbl: ast::MutImmutable
3792-
}),
3793-
ty::mk_u64()
3794-
],
3795-
ty::mk_nil())
3796-
}
3797-
"memset32" => {
3798-
(1,
3799-
~[
3800-
ty::mk_ptr(tcx, ty::mt {
3801-
ty: param(ccx, 0),
3802-
mutbl: ast::MutMutable
3803-
}),
3804-
ty::mk_u8(),
3805-
ty::mk_u32()
3806-
],
3807-
ty::mk_nil())
3808-
}
3809-
"memset64" => {
3767+
"set_memory" => {
38103768
(1,
38113769
~[
38123770
ty::mk_ptr(tcx, ty::mt {
38133771
ty: param(ccx, 0),
38143772
mutbl: ast::MutMutable
38153773
}),
38163774
ty::mk_u8(),
3817-
ty::mk_u64()
3775+
ty::mk_uint()
38183776
],
38193777
ty::mk_nil())
38203778
}

branches/try2/src/librustpkg/lib.rs

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -696,7 +696,9 @@ impl CtxMethods for BuildContext {
696696
debug!("test: test_exec = {}", test_exec.display());
697697
// FIXME (#9639): This needs to handle non-utf8 paths
698698
let status = run::process_status(test_exec.as_str().unwrap(), [~"--test"]);
699-
os::set_exit_status(status);
699+
if status != 0 {
700+
fail!("Some tests failed");
701+
}
700702
}
701703
None => {
702704
error(format!("Internal error: test executable for package ID {} in workspace {} \

branches/try2/src/librustpkg/tests.rs

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2084,6 +2084,20 @@ fn test_rustpkg_test_output() {
20842084
assert!(output_str.contains("1 passed; 0 failed; 0 ignored; 0 measured"));
20852085
}
20862086
2087+
#[test]
2088+
fn test_rustpkg_test_failure_exit_status() {
2089+
let foo_id = PkgId::new("foo");
2090+
let foo_workspace = create_local_package(&foo_id);
2091+
let foo_workspace = foo_workspace.path();
2092+
writeFile(&foo_workspace.join_many(["src", "foo-0.1", "test.rs"]),
2093+
"#[test] fn f() { assert!('a' != 'a'); }");
2094+
let res = command_line_test_partial([~"test", ~"foo"], foo_workspace);
2095+
match res {
2096+
Fail(_) => {},
2097+
Success(*) => fail!("Expected test failure but got success")
2098+
}
2099+
}
2100+
20872101
#[test]
20882102
fn test_rebuild_when_needed() {
20892103
let foo_id = PkgId::new("foo");
@@ -2105,6 +2119,7 @@ fn test_rebuild_when_needed() {
21052119
}
21062120
21072121
#[test]
2122+
#[ignore] // FIXME (#10257): This doesn't work as is since a read only file can't execute
21082123
fn test_no_rebuilding() {
21092124
let foo_id = PkgId::new("foo");
21102125
let foo_workspace = create_local_package(&foo_id);

branches/try2/src/libstd/c_str.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -330,7 +330,7 @@ fn check_for_null(v: &[u8], buf: *mut libc::c_char) {
330330

331331
/// External iterator for a CString's bytes.
332332
///
333-
/// Use with the `std::iterator` module.
333+
/// Use with the `std::iter` module.
334334
pub struct CStringIterator<'self> {
335335
priv ptr: *libc::c_char,
336336
priv lifetime: &'self libc::c_char, // FIXME: #5922

branches/try2/src/libstd/cast.rs

Lines changed: 2 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -13,26 +13,15 @@
1313
use ptr::RawPtr;
1414
use mem;
1515
use unstable::intrinsics;
16+
use ptr::copy_nonoverlapping_memory;
1617

1718
/// Casts the value at `src` to U. The two types must have the same length.
18-
#[cfg(target_word_size = "32")]
1919
#[inline]
2020
pub unsafe fn transmute_copy<T, U>(src: &T) -> U {
2121
let mut dest: U = intrinsics::uninit();
2222
let dest_ptr: *mut u8 = transmute(&mut dest);
2323
let src_ptr: *u8 = transmute(src);
24-
intrinsics::memcpy32(dest_ptr, src_ptr, mem::size_of::<U>() as u32);
25-
dest
26-
}
27-
28-
/// Casts the value at `src` to U. The two types must have the same length.
29-
#[cfg(target_word_size = "64")]
30-
#[inline]
31-
pub unsafe fn transmute_copy<T, U>(src: &T) -> U {
32-
let mut dest: U = intrinsics::uninit();
33-
let dest_ptr: *mut u8 = transmute(&mut dest);
34-
let src_ptr: *u8 = transmute(src);
35-
intrinsics::memcpy64(dest_ptr, src_ptr, mem::size_of::<U>() as u64);
24+
copy_nonoverlapping_memory(dest_ptr, src_ptr, mem::size_of::<U>());
3625
dest
3726
}
3827

branches/try2/src/libstd/ptr.rs

Lines changed: 42 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -87,7 +87,7 @@ pub fn is_not_null<T,P:RawPtr<T>>(ptr: P) -> bool { ptr.is_not_null() }
8787
* and destination may overlap.
8888
*/
8989
#[inline]
90-
#[cfg(target_word_size = "32")]
90+
#[cfg(target_word_size = "32", stage0)]
9191
pub unsafe fn copy_memory<T,P:RawPtr<T>>(dst: *mut T, src: P, count: uint) {
9292
intrinsics::memmove32(dst,
9393
cast::transmute_immut_unsafe(src),
@@ -101,21 +101,33 @@ pub unsafe fn copy_memory<T,P:RawPtr<T>>(dst: *mut T, src: P, count: uint) {
101101
* and destination may overlap.
102102
*/
103103
#[inline]
104-
#[cfg(target_word_size = "64")]
104+
#[cfg(target_word_size = "64", stage0)]
105105
pub unsafe fn copy_memory<T,P:RawPtr<T>>(dst: *mut T, src: P, count: uint) {
106106
intrinsics::memmove64(dst,
107107
cast::transmute_immut_unsafe(src),
108108
count as u64);
109109
}
110110

111+
/**
112+
* Copies data from one location to another.
113+
*
114+
* Copies `count` elements (not bytes) from `src` to `dst`. The source
115+
* and destination may overlap.
116+
*/
117+
#[inline]
118+
#[cfg(not(stage0))]
119+
pub unsafe fn copy_memory<T,P:RawPtr<T>>(dst: *mut T, src: P, count: uint) {
120+
intrinsics::copy_memory(dst, cast::transmute_immut_unsafe(src), count)
121+
}
122+
111123
/**
112124
* Copies data from one location to another.
113125
*
114126
* Copies `count` elements (not bytes) from `src` to `dst`. The source
115127
* and destination may *not* overlap.
116128
*/
117129
#[inline]
118-
#[cfg(target_word_size = "32")]
130+
#[cfg(target_word_size = "32", stage0)]
119131
pub unsafe fn copy_nonoverlapping_memory<T,P:RawPtr<T>>(dst: *mut T,
120132
src: P,
121133
count: uint) {
@@ -131,7 +143,7 @@ pub unsafe fn copy_nonoverlapping_memory<T,P:RawPtr<T>>(dst: *mut T,
131143
* and destination may *not* overlap.
132144
*/
133145
#[inline]
134-
#[cfg(target_word_size = "64")]
146+
#[cfg(target_word_size = "64", stage0)]
135147
pub unsafe fn copy_nonoverlapping_memory<T,P:RawPtr<T>>(dst: *mut T,
136148
src: P,
137149
count: uint) {
@@ -140,12 +152,26 @@ pub unsafe fn copy_nonoverlapping_memory<T,P:RawPtr<T>>(dst: *mut T,
140152
count as u64);
141153
}
142154

155+
/**
156+
* Copies data from one location to another.
157+
*
158+
* Copies `count` elements (not bytes) from `src` to `dst`. The source
159+
* and destination may *not* overlap.
160+
*/
161+
#[inline]
162+
#[cfg(not(stage0))]
163+
pub unsafe fn copy_nonoverlapping_memory<T,P:RawPtr<T>>(dst: *mut T,
164+
src: P,
165+
count: uint) {
166+
intrinsics::copy_nonoverlapping_memory(dst, cast::transmute_immut_unsafe(src), count)
167+
}
168+
143169
/**
144170
* Invokes memset on the specified pointer, setting `count * size_of::<T>()`
145171
* bytes of memory starting at `dst` to `c`.
146172
*/
147173
#[inline]
148-
#[cfg(target_word_size = "32")]
174+
#[cfg(target_word_size = "32", stage0)]
149175
pub unsafe fn set_memory<T>(dst: *mut T, c: u8, count: uint) {
150176
intrinsics::memset32(dst, c, count as u32);
151177
}
@@ -155,11 +181,21 @@ pub unsafe fn set_memory<T>(dst: *mut T, c: u8, count: uint) {
155181
* bytes of memory starting at `dst` to `c`.
156182
*/
157183
#[inline]
158-
#[cfg(target_word_size = "64")]
184+
#[cfg(target_word_size = "64", stage0)]
159185
pub unsafe fn set_memory<T>(dst: *mut T, c: u8, count: uint) {
160186
intrinsics::memset64(dst, c, count as u64);
161187
}
162188

189+
/**
190+
* Invokes memset on the specified pointer, setting `count * size_of::<T>()`
191+
* bytes of memory starting at `dst` to `c`.
192+
*/
193+
#[inline]
194+
#[cfg(not(stage0))]
195+
pub unsafe fn set_memory<T>(dst: *mut T, c: u8, count: uint) {
196+
intrinsics::set_memory(dst, c, count)
197+
}
198+
163199
/**
164200
* Zeroes out `count * size_of::<T>` bytes of memory at `dst`
165201
*/

0 commit comments

Comments
 (0)