Skip to content

Commit bf33041

Browse files
committed
---
yaml --- r: 95868 b: refs/heads/dist-snap c: 94677c1 h: refs/heads/master v: v3
1 parent f80d221 commit bf33041

File tree

11 files changed

+104
-98
lines changed

11 files changed

+104
-98
lines changed

[refs]

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

branches/dist-snap/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/dist-snap/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/dist-snap/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/dist-snap/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/dist-snap/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/dist-snap/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/dist-snap/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/dist-snap/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
*/

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

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -352,7 +352,7 @@ Section: Iterators
352352
*/
353353

354354
/// External iterator for a string's characters.
355-
/// Use with the `std::iterator` module.
355+
/// Use with the `std::iter` module.
356356
#[deriving(Clone)]
357357
pub struct CharIterator<'self> {
358358
/// The slice remaining to be iterated
@@ -397,7 +397,7 @@ impl<'self> DoubleEndedIterator<char> for CharIterator<'self> {
397397
}
398398

399399
/// External iterator for a string's characters and their byte offsets.
400-
/// Use with the `std::iterator` module.
400+
/// Use with the `std::iter` module.
401401
#[deriving(Clone)]
402402
pub struct CharOffsetIterator<'self> {
403403
/// The original string to be iterated
@@ -439,20 +439,20 @@ impl<'self> DoubleEndedIterator<(uint, char)> for CharOffsetIterator<'self> {
439439
}
440440

441441
/// External iterator for a string's characters in reverse order.
442-
/// Use with the `std::iterator` module.
442+
/// Use with the `std::iter` module.
443443
pub type CharRevIterator<'self> = Invert<CharIterator<'self>>;
444444

445445
/// External iterator for a string's characters and their byte offsets in reverse order.
446-
/// Use with the `std::iterator` module.
446+
/// Use with the `std::iter` module.
447447
pub type CharOffsetRevIterator<'self> = Invert<CharOffsetIterator<'self>>;
448448

449449
/// External iterator for a string's bytes.
450-
/// Use with the `std::iterator` module.
450+
/// Use with the `std::iter` module.
451451
pub type ByteIterator<'self> =
452452
Map<'self, &'self u8, u8, vec::VecIterator<'self, u8>>;
453453

454454
/// External iterator for a string's bytes in reverse order.
455-
/// Use with the `std::iterator` module.
455+
/// Use with the `std::iter` module.
456456
pub type ByteRevIterator<'self> = Invert<ByteIterator<'self>>;
457457

458458
/// An iterator over the substrings of a string, separated by `sep`.
@@ -682,7 +682,7 @@ enum NormalizationForm {
682682
}
683683

684684
/// External iterator for a string's normalization's characters.
685-
/// Use with the `std::iterator` module.
685+
/// Use with the `std::iter` module.
686686
#[deriving(Clone)]
687687
struct NormalizationIterator<'self> {
688688
priv kind: NormalizationForm,

0 commit comments

Comments
 (0)