2013-03-01 21:57:05 -06:00
|
|
|
// Copyright 2012-2013 The Rust Project Developers. See the COPYRIGHT
|
2012-12-10 17:44:02 -06:00
|
|
|
// 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.
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
//! Unsafe pointer utility functions
|
2012-03-10 02:04:09 -06:00
|
|
|
|
2012-12-23 16:41:37 -06:00
|
|
|
use cast;
|
2013-07-02 14:47:32 -05:00
|
|
|
use clone::Clone;
|
2013-08-04 10:10:09 -05:00
|
|
|
use iterator::{range, Iterator};
|
2013-05-18 23:08:27 -05:00
|
|
|
use option::{Option, Some, None};
|
2013-05-31 09:21:29 -05:00
|
|
|
use unstable::intrinsics;
|
2013-07-09 14:22:18 -05:00
|
|
|
use util::swap;
|
2013-07-17 14:32:49 -05:00
|
|
|
|
|
|
|
#[cfg(not(test))] use ops::{Add,Sub};
|
|
|
|
#[cfg(not(test))] use num::Int;
|
2011-12-13 18:25:51 -06:00
|
|
|
|
2013-05-08 06:11:23 -05:00
|
|
|
#[cfg(not(test))] use cmp::{Eq, Ord};
|
2013-02-28 10:57:33 -06:00
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Calculate the offset from a pointer
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-07-29 23:33:52 -05:00
|
|
|
pub fn offset<T>(ptr: *T, count: int) -> *T {
|
|
|
|
unsafe { intrinsics::offset(ptr, count) }
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Calculate the offset from a const pointer
|
|
|
|
#[inline]
|
|
|
|
pub fn const_offset<T>(ptr: *const T, count: int) -> *const T {
|
|
|
|
unsafe { intrinsics::offset(ptr as *T, count) }
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Calculate the offset from a mut pointer
|
|
|
|
#[inline]
|
|
|
|
pub fn mut_offset<T>(ptr: *mut T, count: int) -> *mut T {
|
|
|
|
unsafe { intrinsics::offset(ptr as *T, count) as *mut T }
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Return the offset of the first null pointer in `buf`.
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2012-09-26 19:47:29 -05:00
|
|
|
pub unsafe fn buf_len<T>(buf: **T) -> uint {
|
2012-09-28 23:51:14 -05:00
|
|
|
position(buf, |i| *i == null())
|
2012-04-11 17:46:51 -05:00
|
|
|
}
|
|
|
|
|
2013-07-02 14:47:32 -05:00
|
|
|
impl<T> Clone for *T {
|
2013-08-13 19:37:05 -05:00
|
|
|
#[inline]
|
2013-07-02 14:47:32 -05:00
|
|
|
fn clone(&self) -> *T {
|
|
|
|
*self
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Return the first offset `i` such that `f(buf[i]) == true`.
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-03-07 16:38:38 -06:00
|
|
|
pub unsafe fn position<T>(buf: *T, f: &fn(&T) -> bool) -> uint {
|
2012-09-28 23:51:14 -05:00
|
|
|
let mut i = 0;
|
2012-04-11 17:46:51 -05:00
|
|
|
loop {
|
2013-07-29 23:33:52 -05:00
|
|
|
if f(&(*offset(buf, i as int))) { return i; }
|
2012-09-28 23:51:14 -05:00
|
|
|
else { i += 1; }
|
2012-04-11 17:46:51 -05:00
|
|
|
}
|
|
|
|
}
|
2011-12-13 18:25:51 -06:00
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Create an unsafe null pointer
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-05-31 10:22:51 -05:00
|
|
|
pub fn null<T>() -> *T { 0 as *T }
|
2012-04-03 23:56:16 -05:00
|
|
|
|
2012-09-14 18:12:18 -05:00
|
|
|
/// Create an unsafe mutable null pointer
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-05-31 10:22:51 -05:00
|
|
|
pub fn mut_null<T>() -> *mut T { 0 as *mut T }
|
2012-09-14 18:12:18 -05:00
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Returns true if the pointer is equal to the null pointer.
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-03-21 23:20:48 -05:00
|
|
|
pub fn is_null<T>(ptr: *const T) -> bool { ptr == null() }
|
2012-04-03 23:56:16 -05:00
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Returns true if the pointer is not equal to the null pointer.
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-03-21 23:20:48 -05:00
|
|
|
pub fn is_not_null<T>(ptr: *const T) -> bool { !is_null(ptr) }
|
2012-01-17 19:28:21 -06:00
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/**
|
2013-06-11 18:06:01 -05:00
|
|
|
* Copies data from one location to another.
|
2012-07-04 16:53:12 -05:00
|
|
|
*
|
|
|
|
* Copies `count` elements (not bytes) from `src` to `dst`. The source
|
|
|
|
* and destination may overlap.
|
|
|
|
*/
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-06-20 00:15:50 -05:00
|
|
|
#[cfg(target_word_size = "32")]
|
2013-05-24 12:58:55 -05:00
|
|
|
pub unsafe fn copy_memory<T>(dst: *mut T, src: *const T, count: uint) {
|
2013-07-17 13:04:33 -05:00
|
|
|
intrinsics::memmove32(dst, src as *T, count as u32);
|
2013-05-24 12:58:55 -05:00
|
|
|
}
|
|
|
|
|
2013-06-11 18:06:01 -05:00
|
|
|
/**
|
|
|
|
* Copies data from one location to another.
|
|
|
|
*
|
|
|
|
* Copies `count` elements (not bytes) from `src` to `dst`. The source
|
|
|
|
* and destination may overlap.
|
|
|
|
*/
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-06-20 00:15:50 -05:00
|
|
|
#[cfg(target_word_size = "64")]
|
2013-05-24 12:58:55 -05:00
|
|
|
pub unsafe fn copy_memory<T>(dst: *mut T, src: *const T, count: uint) {
|
2013-07-17 13:04:33 -05:00
|
|
|
intrinsics::memmove64(dst, src as *T, count as u64);
|
2013-05-24 12:58:55 -05:00
|
|
|
}
|
|
|
|
|
2013-06-11 18:06:01 -05:00
|
|
|
/**
|
|
|
|
* Copies data from one location to another.
|
|
|
|
*
|
|
|
|
* Copies `count` elements (not bytes) from `src` to `dst`. The source
|
|
|
|
* and destination may *not* overlap.
|
|
|
|
*/
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-06-20 00:15:50 -05:00
|
|
|
#[cfg(target_word_size = "32")]
|
2013-05-23 21:54:46 -05:00
|
|
|
pub unsafe fn copy_nonoverlapping_memory<T>(dst: *mut T, src: *const T, count: uint) {
|
2013-07-17 13:04:33 -05:00
|
|
|
intrinsics::memcpy32(dst, src as *T, count as u32);
|
2013-05-24 12:58:55 -05:00
|
|
|
}
|
|
|
|
|
2013-06-11 18:06:01 -05:00
|
|
|
/**
|
|
|
|
* Copies data from one location to another.
|
|
|
|
*
|
|
|
|
* Copies `count` elements (not bytes) from `src` to `dst`. The source
|
|
|
|
* and destination may *not* overlap.
|
|
|
|
*/
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-06-20 00:15:50 -05:00
|
|
|
#[cfg(target_word_size = "64")]
|
2013-05-23 21:54:46 -05:00
|
|
|
pub unsafe fn copy_nonoverlapping_memory<T>(dst: *mut T, src: *const T, count: uint) {
|
2013-07-17 13:04:33 -05:00
|
|
|
intrinsics::memcpy64(dst, src as *T, count as u64);
|
2013-05-23 21:54:46 -05:00
|
|
|
}
|
|
|
|
|
2013-05-28 16:35:52 -05:00
|
|
|
/**
|
2013-06-11 16:48:44 -05:00
|
|
|
* Invokes memset on the specified pointer, setting `count * size_of::<T>()`
|
|
|
|
* bytes of memory starting at `dst` to `c`.
|
2013-05-28 16:35:52 -05:00
|
|
|
*/
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-06-20 00:15:50 -05:00
|
|
|
#[cfg(target_word_size = "32")]
|
2013-05-24 17:05:27 -05:00
|
|
|
pub unsafe fn set_memory<T>(dst: *mut T, c: u8, count: uint) {
|
2013-07-17 13:04:33 -05:00
|
|
|
intrinsics::memset32(dst, c, count as u32);
|
2013-05-24 17:05:27 -05:00
|
|
|
}
|
|
|
|
|
2013-05-28 16:35:52 -05:00
|
|
|
/**
|
2013-06-11 16:48:44 -05:00
|
|
|
* Invokes memset on the specified pointer, setting `count * size_of::<T>()`
|
|
|
|
* bytes of memory starting at `dst` to `c`.
|
2013-05-28 16:35:52 -05:00
|
|
|
*/
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-06-20 00:15:50 -05:00
|
|
|
#[cfg(target_word_size = "64")]
|
2013-05-24 17:05:27 -05:00
|
|
|
pub unsafe fn set_memory<T>(dst: *mut T, c: u8, count: uint) {
|
2013-07-17 13:04:33 -05:00
|
|
|
intrinsics::memset64(dst, c, count as u64);
|
2013-05-24 17:05:27 -05:00
|
|
|
}
|
|
|
|
|
2013-06-20 14:13:22 -05:00
|
|
|
/**
|
2013-06-21 04:56:35 -05:00
|
|
|
* Zeroes out `count * size_of::<T>` bytes of memory at `dst`
|
2013-06-20 14:13:22 -05:00
|
|
|
*/
|
|
|
|
#[inline]
|
|
|
|
pub unsafe fn zero_memory<T>(dst: *mut T, count: uint) {
|
|
|
|
set_memory(dst, 0, count);
|
|
|
|
}
|
|
|
|
|
2013-05-31 09:21:29 -05:00
|
|
|
/**
|
|
|
|
* Swap the values at two mutable locations of the same type, without
|
|
|
|
* deinitialising or copying either one.
|
|
|
|
*/
|
|
|
|
#[inline]
|
|
|
|
pub unsafe fn swap_ptr<T>(x: *mut T, y: *mut T) {
|
|
|
|
// Give ourselves some scratch space to work with
|
|
|
|
let mut tmp: T = intrinsics::uninit();
|
|
|
|
let t: *mut T = &mut tmp;
|
|
|
|
|
|
|
|
// Perform the swap
|
2013-07-09 14:22:18 -05:00
|
|
|
copy_nonoverlapping_memory(t, x, 1);
|
|
|
|
copy_memory(x, y, 1); // `x` and `y` may overlap
|
|
|
|
copy_nonoverlapping_memory(y, t, 1);
|
2013-05-31 09:21:29 -05:00
|
|
|
|
|
|
|
// y and t now point to the same thing, but we need to completely forget `tmp`
|
|
|
|
// because it's no longer relevant.
|
|
|
|
cast::forget(tmp);
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Replace the value at a mutable location with a new one, returning the old
|
|
|
|
* value, without deinitialising or copying either one.
|
|
|
|
*/
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-05-31 09:21:29 -05:00
|
|
|
pub unsafe fn replace_ptr<T>(dest: *mut T, mut src: T) -> T {
|
2013-07-09 14:22:18 -05:00
|
|
|
swap(cast::transmute(dest), &mut src); // cannot overlap
|
2013-05-31 09:21:29 -05:00
|
|
|
src
|
|
|
|
}
|
|
|
|
|
2013-06-20 14:13:22 -05:00
|
|
|
/**
|
|
|
|
* Reads the value from `*src` and returns it. Does not copy `*src`.
|
|
|
|
*/
|
|
|
|
#[inline(always)]
|
|
|
|
pub unsafe fn read_ptr<T>(src: *mut T) -> T {
|
|
|
|
let mut tmp: T = intrinsics::uninit();
|
2013-07-09 14:22:18 -05:00
|
|
|
copy_nonoverlapping_memory(&mut tmp, src, 1);
|
2013-06-20 14:13:22 -05:00
|
|
|
tmp
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Reads the value from `*src` and nulls it out.
|
|
|
|
* This currently prevents destructors from executing.
|
|
|
|
*/
|
|
|
|
#[inline(always)]
|
|
|
|
pub unsafe fn read_and_zero_ptr<T>(dest: *mut T) -> T {
|
|
|
|
// Copy the data out from `dest`:
|
|
|
|
let tmp = read_ptr(dest);
|
|
|
|
|
|
|
|
// Now zero out `dest`:
|
|
|
|
zero_memory(dest, 1);
|
|
|
|
|
|
|
|
tmp
|
|
|
|
}
|
|
|
|
|
2013-05-31 10:22:51 -05:00
|
|
|
/// Transform a region pointer - &T - to an unsafe pointer - *T.
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-03-21 23:20:48 -05:00
|
|
|
pub fn to_unsafe_ptr<T>(thing: &T) -> *T {
|
2013-05-31 10:22:51 -05:00
|
|
|
thing as *T
|
2012-09-12 12:38:17 -05:00
|
|
|
}
|
|
|
|
|
2013-05-31 10:22:51 -05:00
|
|
|
/// Transform a const region pointer - &const T - to a const unsafe pointer - *const T.
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-03-21 23:20:48 -05:00
|
|
|
pub fn to_const_unsafe_ptr<T>(thing: &const T) -> *const T {
|
2013-05-31 10:22:51 -05:00
|
|
|
thing as *const T
|
2012-08-02 16:23:04 -05:00
|
|
|
}
|
2012-08-27 18:08:17 -05:00
|
|
|
|
2013-05-31 10:22:51 -05:00
|
|
|
/// Transform a mutable region pointer - &mut T - to a mutable unsafe pointer - *mut T.
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-03-21 23:20:48 -05:00
|
|
|
pub fn to_mut_unsafe_ptr<T>(thing: &mut T) -> *mut T {
|
2013-05-31 10:22:51 -05:00
|
|
|
thing as *mut T
|
2012-09-02 17:54:05 -05:00
|
|
|
}
|
|
|
|
|
2013-02-15 00:16:53 -06:00
|
|
|
/**
|
|
|
|
Given a **T (pointer to an array of pointers),
|
|
|
|
iterate through each *T, up to the provided `len`,
|
|
|
|
passing to the provided callback function
|
|
|
|
|
|
|
|
SAFETY NOTE: Pointer-arithmetic. Dragons be here.
|
|
|
|
*/
|
2013-03-11 17:42:00 -05:00
|
|
|
pub unsafe fn array_each_with_len<T>(arr: **T, len: uint, cb: &fn(*T)) {
|
2013-03-08 14:39:42 -06:00
|
|
|
debug!("array_each_with_len: before iterate");
|
2013-02-15 00:16:53 -06:00
|
|
|
if (arr as uint == 0) {
|
2013-05-05 17:18:51 -05:00
|
|
|
fail!("ptr::array_each_with_len failure: arr input is null pointer");
|
2013-02-15 00:16:53 -06:00
|
|
|
}
|
|
|
|
//let start_ptr = *arr;
|
2013-08-04 10:10:09 -05:00
|
|
|
for e in range(0, len) {
|
2013-07-29 23:33:52 -05:00
|
|
|
let n = offset(arr, e as int);
|
2013-02-15 00:16:53 -06:00
|
|
|
cb(*n);
|
2013-08-04 10:10:09 -05:00
|
|
|
}
|
2013-03-08 14:39:42 -06:00
|
|
|
debug!("array_each_with_len: after iterate");
|
2013-02-15 00:16:53 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
Given a null-pointer-terminated **T (pointer to
|
|
|
|
an array of pointers), iterate through each *T,
|
|
|
|
passing to the provided callback function
|
|
|
|
|
|
|
|
SAFETY NOTE: This will only work with a null-terminated
|
|
|
|
pointer array. Barely less-dodgey Pointer Arithmetic.
|
|
|
|
Dragons be here.
|
|
|
|
*/
|
2013-03-11 17:42:00 -05:00
|
|
|
pub unsafe fn array_each<T>(arr: **T, cb: &fn(*T)) {
|
2013-02-15 00:16:53 -06:00
|
|
|
if (arr as uint == 0) {
|
2013-05-05 17:18:51 -05:00
|
|
|
fail!("ptr::array_each_with_len failure: arr input is null pointer");
|
2013-02-15 00:16:53 -06:00
|
|
|
}
|
|
|
|
let len = buf_len(arr);
|
2013-03-08 14:39:42 -06:00
|
|
|
debug!("array_each inferred len: %u",
|
|
|
|
len);
|
2013-02-15 00:16:53 -06:00
|
|
|
array_each_with_len(arr, len, cb);
|
|
|
|
}
|
|
|
|
|
2013-05-28 16:35:52 -05:00
|
|
|
#[allow(missing_doc)]
|
2013-06-03 12:50:29 -05:00
|
|
|
pub trait RawPtr<T> {
|
2013-06-23 22:44:11 -05:00
|
|
|
fn is_null(&self) -> bool;
|
|
|
|
fn is_not_null(&self) -> bool;
|
|
|
|
unsafe fn to_option(&self) -> Option<&T>;
|
2013-07-29 23:33:52 -05:00
|
|
|
fn offset(&self, count: int) -> Self;
|
2013-08-06 16:44:40 -05:00
|
|
|
unsafe fn offset_inbounds(self, count: int) -> Self;
|
2012-07-11 14:45:54 -05:00
|
|
|
}
|
|
|
|
|
2012-11-07 00:24:29 -06:00
|
|
|
/// Extension methods for immutable pointers
|
2013-06-03 12:50:29 -05:00
|
|
|
impl<T> RawPtr<T> for *T {
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Returns true if the pointer is equal to the null pointer.
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-06-23 22:44:11 -05:00
|
|
|
fn is_null(&self) -> bool { is_null(*self) }
|
2012-04-15 23:46:29 -05:00
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/// Returns true if the pointer is not equal to the null pointer.
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-06-23 22:44:11 -05:00
|
|
|
fn is_not_null(&self) -> bool { is_not_null(*self) }
|
2012-10-01 16:34:53 -05:00
|
|
|
|
2013-05-20 07:07:11 -05:00
|
|
|
///
|
|
|
|
/// Returns `None` if the pointer is null, or else returns the value wrapped
|
|
|
|
/// in `Some`.
|
|
|
|
///
|
|
|
|
/// # Safety Notes
|
|
|
|
///
|
|
|
|
/// While this method is useful for null-safety, it is important to note
|
|
|
|
/// that this is still an unsafe operation because the returned value could
|
|
|
|
/// be pointing to invalid memory.
|
|
|
|
///
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-06-23 22:44:11 -05:00
|
|
|
unsafe fn to_option(&self) -> Option<&T> {
|
2013-05-18 23:08:27 -05:00
|
|
|
if self.is_null() { None } else {
|
2013-05-20 07:07:11 -05:00
|
|
|
Some(cast::transmute(*self))
|
2013-05-18 23:08:27 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-10-01 16:34:53 -05:00
|
|
|
/// Calculates the offset from a pointer.
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-07-29 23:33:52 -05:00
|
|
|
fn offset(&self, count: int) -> *T { offset(*self, count) }
|
2013-08-06 16:44:40 -05:00
|
|
|
|
vec: use `offset_inbounds` for iterators
This allows LLVM to optimize vector iterators to an `getelementptr` and
`icmp` pair, instead of `getelementptr` and *two* comparisons.
Code snippet:
~~~
fn foo(xs: &mut [f64]) {
for x in xs.mut_iter() {
*x += 10.0;
}
}
~~~
LLVM IR at stage0:
~~~
; Function Attrs: noinline uwtable
define void @"_ZN3foo17_68e1b25bca131dba7_0$x2e0E"({ i64, %tydesc*, i8*, i8*, i8 }* nocapture, { double*, i64 }* nocapture) #1 {
"function top level":
%2 = getelementptr inbounds { double*, i64 }* %1, i64 0, i32 0
%3 = load double** %2, align 8
%4 = getelementptr inbounds { double*, i64 }* %1, i64 0, i32 1
%5 = load i64* %4, align 8
%6 = ptrtoint double* %3 to i64
%7 = and i64 %5, -8
%8 = add i64 %7, %6
%9 = inttoptr i64 %8 to double*
%10 = icmp eq double* %3, %9
%11 = icmp eq double* %3, null
%or.cond6 = or i1 %10, %11
br i1 %or.cond6, label %match_case, label %match_else
match_else: ; preds = %"function top level", %match_else
%12 = phi double* [ %13, %match_else ], [ %3, %"function top level" ]
%13 = getelementptr double* %12, i64 1
%14 = load double* %12, align 8
%15 = fadd double %14, 1.000000e+01
store double %15, double* %12, align 8
%16 = icmp eq double* %13, %9
%17 = icmp eq double* %13, null
%or.cond = or i1 %16, %17
br i1 %or.cond, label %match_case, label %match_else
match_case: ; preds = %match_else, %"function top level"
ret void
}
~~~
Optimized LLVM IR at stage1/stage2:
~~~
; Function Attrs: noinline uwtable
define void @"_ZN3foo17_68e1b25bca131dba7_0$x2e0E"({ i64, %tydesc*, i8*, i8*, i8 }* nocapture, { double*, i64 }* nocapture) #1 {
"function top level":
%2 = getelementptr inbounds { double*, i64 }* %1, i64 0, i32 0
%3 = load double** %2, align 8
%4 = getelementptr inbounds { double*, i64 }* %1, i64 0, i32 1
%5 = load i64* %4, align 8
%6 = lshr i64 %5, 3
%7 = getelementptr inbounds double* %3, i64 %6
%8 = icmp eq i64 %6, 0
%9 = icmp eq double* %3, null
%or.cond6 = or i1 %8, %9
br i1 %or.cond6, label %match_case, label %match_else
match_else: ; preds = %"function top level", %match_else
%.sroa.0.0.in7 = phi double* [ %10, %match_else ], [ %3, %"function top level" ]
%10 = getelementptr inbounds double* %.sroa.0.0.in7, i64 1
%11 = load double* %.sroa.0.0.in7, align 8
%12 = fadd double %11, 1.000000e+01
store double %12, double* %.sroa.0.0.in7, align 8
%13 = icmp eq double* %10, %7
br i1 %13, label %match_case, label %match_else
match_case: ; preds = %match_else, %"function top level"
ret void
}
~~~
2013-08-06 17:05:43 -05:00
|
|
|
/// Calculates the offset from a pointer. The offset *must* be in-bounds of
|
|
|
|
/// the object, or one-byte-past-the-end.
|
|
|
|
#[inline]
|
2013-08-06 16:44:40 -05:00
|
|
|
unsafe fn offset_inbounds(self, count: int) -> *T {
|
|
|
|
intrinsics::offset_inbounds(self, count)
|
|
|
|
}
|
2012-04-15 23:46:29 -05:00
|
|
|
}
|
|
|
|
|
2012-11-07 00:24:29 -06:00
|
|
|
/// Extension methods for mutable pointers
|
2013-06-03 12:50:29 -05:00
|
|
|
impl<T> RawPtr<T> for *mut T {
|
2012-11-07 00:24:29 -06:00
|
|
|
/// Returns true if the pointer is equal to the null pointer.
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-06-23 22:44:11 -05:00
|
|
|
fn is_null(&self) -> bool { is_null(*self) }
|
2012-11-07 00:24:29 -06:00
|
|
|
|
|
|
|
/// Returns true if the pointer is not equal to the null pointer.
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-06-23 22:44:11 -05:00
|
|
|
fn is_not_null(&self) -> bool { is_not_null(*self) }
|
2012-11-07 00:24:29 -06:00
|
|
|
|
2013-05-20 07:07:11 -05:00
|
|
|
///
|
|
|
|
/// Returns `None` if the pointer is null, or else returns the value wrapped
|
|
|
|
/// in `Some`.
|
|
|
|
///
|
|
|
|
/// # Safety Notes
|
|
|
|
///
|
|
|
|
/// While this method is useful for null-safety, it is important to note
|
|
|
|
/// that this is still an unsafe operation because the returned value could
|
|
|
|
/// be pointing to invalid memory.
|
|
|
|
///
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-06-23 22:44:11 -05:00
|
|
|
unsafe fn to_option(&self) -> Option<&T> {
|
2013-05-18 23:08:27 -05:00
|
|
|
if self.is_null() { None } else {
|
2013-05-20 07:07:11 -05:00
|
|
|
Some(cast::transmute(*self))
|
2013-05-18 23:08:27 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-11-07 00:24:29 -06:00
|
|
|
/// Calculates the offset from a mutable pointer.
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-07-29 23:33:52 -05:00
|
|
|
fn offset(&self, count: int) -> *mut T { mut_offset(*self, count) }
|
2013-08-06 16:44:40 -05:00
|
|
|
|
vec: use `offset_inbounds` for iterators
This allows LLVM to optimize vector iterators to an `getelementptr` and
`icmp` pair, instead of `getelementptr` and *two* comparisons.
Code snippet:
~~~
fn foo(xs: &mut [f64]) {
for x in xs.mut_iter() {
*x += 10.0;
}
}
~~~
LLVM IR at stage0:
~~~
; Function Attrs: noinline uwtable
define void @"_ZN3foo17_68e1b25bca131dba7_0$x2e0E"({ i64, %tydesc*, i8*, i8*, i8 }* nocapture, { double*, i64 }* nocapture) #1 {
"function top level":
%2 = getelementptr inbounds { double*, i64 }* %1, i64 0, i32 0
%3 = load double** %2, align 8
%4 = getelementptr inbounds { double*, i64 }* %1, i64 0, i32 1
%5 = load i64* %4, align 8
%6 = ptrtoint double* %3 to i64
%7 = and i64 %5, -8
%8 = add i64 %7, %6
%9 = inttoptr i64 %8 to double*
%10 = icmp eq double* %3, %9
%11 = icmp eq double* %3, null
%or.cond6 = or i1 %10, %11
br i1 %or.cond6, label %match_case, label %match_else
match_else: ; preds = %"function top level", %match_else
%12 = phi double* [ %13, %match_else ], [ %3, %"function top level" ]
%13 = getelementptr double* %12, i64 1
%14 = load double* %12, align 8
%15 = fadd double %14, 1.000000e+01
store double %15, double* %12, align 8
%16 = icmp eq double* %13, %9
%17 = icmp eq double* %13, null
%or.cond = or i1 %16, %17
br i1 %or.cond, label %match_case, label %match_else
match_case: ; preds = %match_else, %"function top level"
ret void
}
~~~
Optimized LLVM IR at stage1/stage2:
~~~
; Function Attrs: noinline uwtable
define void @"_ZN3foo17_68e1b25bca131dba7_0$x2e0E"({ i64, %tydesc*, i8*, i8*, i8 }* nocapture, { double*, i64 }* nocapture) #1 {
"function top level":
%2 = getelementptr inbounds { double*, i64 }* %1, i64 0, i32 0
%3 = load double** %2, align 8
%4 = getelementptr inbounds { double*, i64 }* %1, i64 0, i32 1
%5 = load i64* %4, align 8
%6 = lshr i64 %5, 3
%7 = getelementptr inbounds double* %3, i64 %6
%8 = icmp eq i64 %6, 0
%9 = icmp eq double* %3, null
%or.cond6 = or i1 %8, %9
br i1 %or.cond6, label %match_case, label %match_else
match_else: ; preds = %"function top level", %match_else
%.sroa.0.0.in7 = phi double* [ %10, %match_else ], [ %3, %"function top level" ]
%10 = getelementptr inbounds double* %.sroa.0.0.in7, i64 1
%11 = load double* %.sroa.0.0.in7, align 8
%12 = fadd double %11, 1.000000e+01
store double %12, double* %.sroa.0.0.in7, align 8
%13 = icmp eq double* %10, %7
br i1 %13, label %match_case, label %match_else
match_case: ; preds = %match_else, %"function top level"
ret void
}
~~~
2013-08-06 17:05:43 -05:00
|
|
|
/// Calculates the offset from a pointer. The offset *must* be in-bounds of
|
|
|
|
/// the object, or one-byte-past-the-end. An arithmetic overflow is also
|
|
|
|
/// undefined behaviour.
|
|
|
|
///
|
|
|
|
/// This method should be preferred over `offset` when the guarantee can be
|
|
|
|
/// satisfied, to enable better optimization.
|
|
|
|
#[inline]
|
2013-08-06 16:44:40 -05:00
|
|
|
unsafe fn offset_inbounds(self, count: int) -> *mut T {
|
|
|
|
intrinsics::offset_inbounds(self as *T, count) as *mut T
|
|
|
|
}
|
2012-11-07 00:24:29 -06:00
|
|
|
}
|
|
|
|
|
2012-08-27 19:33:22 -05:00
|
|
|
// Equality for pointers
|
2013-05-08 06:11:23 -05:00
|
|
|
#[cfg(not(test))]
|
2013-02-14 13:47:00 -06:00
|
|
|
impl<T> Eq for *const T {
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-03-21 23:20:48 -05:00
|
|
|
fn eq(&self, other: &*const T) -> bool {
|
2013-05-31 10:22:51 -05:00
|
|
|
(*self as uint) == (*other as uint)
|
2012-11-14 20:59:30 -06:00
|
|
|
}
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-05-31 10:22:51 -05:00
|
|
|
fn ne(&self, other: &*const T) -> bool { !self.eq(other) }
|
2012-09-19 20:00:26 -05:00
|
|
|
}
|
2012-08-27 18:26:35 -05:00
|
|
|
|
|
|
|
// Comparison for pointers
|
2013-05-08 06:11:23 -05:00
|
|
|
#[cfg(not(test))]
|
2013-02-14 13:47:00 -06:00
|
|
|
impl<T> Ord for *const T {
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-03-21 23:20:48 -05:00
|
|
|
fn lt(&self, other: &*const T) -> bool {
|
2013-05-31 10:22:51 -05:00
|
|
|
(*self as uint) < (*other as uint)
|
2012-11-14 20:59:30 -06:00
|
|
|
}
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-03-21 23:20:48 -05:00
|
|
|
fn le(&self, other: &*const T) -> bool {
|
2013-05-31 10:22:51 -05:00
|
|
|
(*self as uint) <= (*other as uint)
|
2012-11-14 20:59:30 -06:00
|
|
|
}
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-03-21 23:20:48 -05:00
|
|
|
fn ge(&self, other: &*const T) -> bool {
|
2013-05-31 10:22:51 -05:00
|
|
|
(*self as uint) >= (*other as uint)
|
2012-11-14 20:59:30 -06:00
|
|
|
}
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-03-21 23:20:48 -05:00
|
|
|
fn gt(&self, other: &*const T) -> bool {
|
2013-05-31 10:22:51 -05:00
|
|
|
(*self as uint) > (*other as uint)
|
2012-11-14 20:59:30 -06:00
|
|
|
}
|
2012-09-19 20:00:26 -05:00
|
|
|
}
|
2012-08-27 18:26:35 -05:00
|
|
|
|
2013-07-06 20:24:22 -05:00
|
|
|
#[cfg(not(test))]
|
|
|
|
impl<T, I: Int> Add<I, *T> for *T {
|
|
|
|
/// Add an integer value to a pointer to get an offset pointer.
|
|
|
|
/// Is calculated according to the size of the type pointed to.
|
|
|
|
#[inline]
|
2013-08-09 03:25:24 -05:00
|
|
|
fn add(&self, rhs: &I) -> *T {
|
2013-07-29 23:33:52 -05:00
|
|
|
self.offset(rhs.to_int() as int)
|
2013-07-06 20:24:22 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[cfg(not(test))]
|
|
|
|
impl<T, I: Int> Sub<I, *T> for *T {
|
|
|
|
/// Subtract an integer value from a pointer to get an offset pointer.
|
|
|
|
/// Is calculated according to the size of the type pointed to.
|
|
|
|
#[inline]
|
2013-08-09 03:25:24 -05:00
|
|
|
fn sub(&self, rhs: &I) -> *T {
|
2013-07-29 23:33:52 -05:00
|
|
|
self.offset(-rhs.to_int() as int)
|
2013-07-06 20:24:22 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[cfg(not(test))]
|
|
|
|
impl<T, I: Int> Add<I, *mut T> for *mut T {
|
|
|
|
/// Add an integer value to a pointer to get an offset pointer.
|
|
|
|
/// Is calculated according to the size of the type pointed to.
|
|
|
|
#[inline]
|
2013-08-09 03:25:24 -05:00
|
|
|
fn add(&self, rhs: &I) -> *mut T {
|
2013-07-29 23:33:52 -05:00
|
|
|
self.offset(rhs.to_int() as int)
|
2013-07-06 20:24:22 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[cfg(not(test))]
|
|
|
|
impl<T, I: Int> Sub<I, *mut T> for *mut T {
|
|
|
|
/// Subtract an integer value from a pointer to get an offset pointer.
|
|
|
|
/// Is calculated according to the size of the type pointed to.
|
|
|
|
#[inline]
|
2013-08-09 03:25:24 -05:00
|
|
|
fn sub(&self, rhs: &I) -> *mut T {
|
2013-07-29 23:33:52 -05:00
|
|
|
self.offset(-rhs.to_int() as int)
|
2013-07-06 20:24:22 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-04-15 10:08:52 -05:00
|
|
|
#[cfg(test)]
|
|
|
|
pub mod ptr_tests {
|
|
|
|
use super::*;
|
|
|
|
use prelude::*;
|
|
|
|
|
2013-07-07 15:30:48 -05:00
|
|
|
use c_str::ToCStr;
|
2013-05-24 21:35:29 -05:00
|
|
|
use cast;
|
|
|
|
use libc;
|
|
|
|
use str;
|
|
|
|
use vec;
|
|
|
|
|
2013-04-15 10:08:52 -05:00
|
|
|
#[test]
|
|
|
|
fn test() {
|
|
|
|
unsafe {
|
2013-05-03 01:12:43 -05:00
|
|
|
struct Pair {
|
|
|
|
fst: int,
|
|
|
|
snd: int
|
|
|
|
};
|
2013-04-15 10:08:52 -05:00
|
|
|
let mut p = Pair {fst: 10, snd: 20};
|
|
|
|
let pptr: *mut Pair = &mut p;
|
2013-04-20 09:27:16 -05:00
|
|
|
let iptr: *mut int = cast::transmute(pptr);
|
2013-05-18 21:02:45 -05:00
|
|
|
assert_eq!(*iptr, 10);
|
2013-04-15 10:08:52 -05:00
|
|
|
*iptr = 30;
|
2013-05-18 21:02:45 -05:00
|
|
|
assert_eq!(*iptr, 30);
|
|
|
|
assert_eq!(p.fst, 30);
|
2013-04-15 10:08:52 -05:00
|
|
|
|
|
|
|
*pptr = Pair {fst: 50, snd: 60};
|
2013-05-18 21:02:45 -05:00
|
|
|
assert_eq!(*iptr, 50);
|
|
|
|
assert_eq!(p.fst, 50);
|
|
|
|
assert_eq!(p.snd, 60);
|
2013-04-15 10:08:52 -05:00
|
|
|
|
2013-05-12 19:34:15 -05:00
|
|
|
let v0 = ~[32000u16, 32001u16, 32002u16];
|
2013-04-15 10:08:52 -05:00
|
|
|
let mut v1 = ~[0u16, 0u16, 0u16];
|
|
|
|
|
2013-07-29 23:33:52 -05:00
|
|
|
copy_memory(mut_offset(vec::raw::to_mut_ptr(v1), 1),
|
|
|
|
offset(vec::raw::to_ptr(v0), 1), 1);
|
2013-04-15 10:08:52 -05:00
|
|
|
assert!((v1[0] == 0u16 && v1[1] == 32001u16 && v1[2] == 0u16));
|
|
|
|
copy_memory(vec::raw::to_mut_ptr(v1),
|
2013-07-29 23:33:52 -05:00
|
|
|
offset(vec::raw::to_ptr(v0), 2), 1);
|
2013-04-15 10:08:52 -05:00
|
|
|
assert!((v1[0] == 32002u16 && v1[1] == 32001u16 &&
|
|
|
|
v1[2] == 0u16));
|
2013-07-29 23:33:52 -05:00
|
|
|
copy_memory(mut_offset(vec::raw::to_mut_ptr(v1), 2),
|
2013-04-15 10:08:52 -05:00
|
|
|
vec::raw::to_ptr(v0), 1u);
|
|
|
|
assert!((v1[0] == 32002u16 && v1[1] == 32001u16 &&
|
|
|
|
v1[2] == 32000u16));
|
|
|
|
}
|
2012-06-24 22:18:18 -05:00
|
|
|
}
|
2012-04-11 17:46:51 -05:00
|
|
|
|
2013-04-15 10:08:52 -05:00
|
|
|
#[test]
|
|
|
|
fn test_position() {
|
|
|
|
use libc::c_char;
|
2012-04-11 17:46:51 -05:00
|
|
|
|
2013-08-14 21:21:59 -05:00
|
|
|
do "hello".with_c_str |p| {
|
2013-08-03 19:13:14 -05:00
|
|
|
unsafe {
|
|
|
|
assert!(2u == position(p, |c| *c == 'l' as c_char));
|
|
|
|
assert!(4u == position(p, |c| *c == 'o' as c_char));
|
|
|
|
assert!(5u == position(p, |c| *c == 0 as c_char));
|
|
|
|
}
|
2013-04-15 10:08:52 -05:00
|
|
|
}
|
2012-06-24 22:18:18 -05:00
|
|
|
}
|
2012-04-11 17:46:51 -05:00
|
|
|
|
2013-04-15 10:08:52 -05:00
|
|
|
#[test]
|
|
|
|
fn test_buf_len() {
|
2013-08-14 21:21:59 -05:00
|
|
|
do "hello".with_c_str |p0| {
|
|
|
|
do "there".with_c_str |p1| {
|
|
|
|
do "thing".with_c_str |p2| {
|
2013-04-15 10:08:52 -05:00
|
|
|
let v = ~[p0, p1, p2, null()];
|
2013-07-03 01:34:17 -05:00
|
|
|
do v.as_imm_buf |vp, len| {
|
2013-05-18 21:02:45 -05:00
|
|
|
assert_eq!(unsafe { buf_len(vp) }, 3u);
|
|
|
|
assert_eq!(len, 4u);
|
2013-04-15 10:08:52 -05:00
|
|
|
}
|
2012-04-11 17:46:51 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2012-07-31 19:30:38 -05:00
|
|
|
|
2013-04-15 10:08:52 -05:00
|
|
|
#[test]
|
|
|
|
fn test_is_null() {
|
|
|
|
let p: *int = null();
|
|
|
|
assert!(p.is_null());
|
|
|
|
assert!(!p.is_not_null());
|
|
|
|
|
2013-07-29 23:33:52 -05:00
|
|
|
let q = offset(p, 1);
|
2013-04-15 10:08:52 -05:00
|
|
|
assert!(!q.is_null());
|
|
|
|
assert!(q.is_not_null());
|
|
|
|
|
|
|
|
let mp: *mut int = mut_null();
|
|
|
|
assert!(mp.is_null());
|
|
|
|
assert!(!mp.is_not_null());
|
|
|
|
|
2013-07-29 23:33:52 -05:00
|
|
|
let mq = mp.offset(1);
|
2013-04-15 10:08:52 -05:00
|
|
|
assert!(!mq.is_null());
|
|
|
|
assert!(mq.is_not_null());
|
|
|
|
}
|
2012-11-07 00:24:29 -06:00
|
|
|
|
2013-05-18 23:08:27 -05:00
|
|
|
#[test]
|
|
|
|
fn test_to_option() {
|
2013-05-24 21:35:29 -05:00
|
|
|
unsafe {
|
|
|
|
let p: *int = null();
|
|
|
|
assert_eq!(p.to_option(), None);
|
2013-05-18 23:08:27 -05:00
|
|
|
|
2013-05-24 21:35:29 -05:00
|
|
|
let q: *int = &2;
|
|
|
|
assert_eq!(q.to_option().unwrap(), &2);
|
2013-05-18 23:08:27 -05:00
|
|
|
|
2013-05-24 21:35:29 -05:00
|
|
|
let p: *mut int = mut_null();
|
|
|
|
assert_eq!(p.to_option(), None);
|
2013-05-18 23:08:27 -05:00
|
|
|
|
2013-05-24 21:35:29 -05:00
|
|
|
let q: *mut int = &mut 2;
|
|
|
|
assert_eq!(q.to_option().unwrap(), &2);
|
|
|
|
}
|
2013-05-18 23:08:27 -05:00
|
|
|
}
|
2013-02-15 00:16:53 -06:00
|
|
|
|
2013-07-06 20:24:22 -05:00
|
|
|
#[test]
|
|
|
|
fn test_ptr_addition() {
|
|
|
|
use vec::raw::*;
|
|
|
|
|
|
|
|
unsafe {
|
|
|
|
let xs = ~[5, ..16];
|
|
|
|
let mut ptr = to_ptr(xs);
|
|
|
|
let end = ptr + 16;
|
|
|
|
|
|
|
|
while ptr < end {
|
|
|
|
assert_eq!(*ptr, 5);
|
|
|
|
ptr = ptr + 1u;
|
|
|
|
}
|
|
|
|
|
|
|
|
let mut xs_mut = xs.clone();
|
|
|
|
let mut m_ptr = to_mut_ptr(xs_mut);
|
|
|
|
let m_end = m_ptr + 16i16;
|
|
|
|
|
|
|
|
while m_ptr < m_end {
|
|
|
|
*m_ptr += 5;
|
|
|
|
m_ptr = m_ptr + 1u8;
|
|
|
|
}
|
|
|
|
|
|
|
|
assert_eq!(xs_mut, ~[10, ..16]);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_ptr_subtraction() {
|
|
|
|
use vec::raw::*;
|
|
|
|
|
|
|
|
unsafe {
|
|
|
|
let xs = ~[0,1,2,3,4,5,6,7,8,9];
|
|
|
|
let mut idx = 9i8;
|
|
|
|
let ptr = to_ptr(xs);
|
|
|
|
|
|
|
|
while idx >= 0i8 {
|
|
|
|
assert_eq!(*(ptr + idx), idx as int);
|
|
|
|
idx = idx - 1i8;
|
|
|
|
}
|
|
|
|
|
|
|
|
let mut xs_mut = xs.clone();
|
2013-07-17 14:32:49 -05:00
|
|
|
let m_start = to_mut_ptr(xs_mut);
|
2013-07-06 20:24:22 -05:00
|
|
|
let mut m_ptr = m_start + 9u32;
|
|
|
|
|
|
|
|
while m_ptr >= m_start {
|
|
|
|
*m_ptr += *m_ptr;
|
|
|
|
m_ptr = m_ptr - 1i8;
|
|
|
|
}
|
|
|
|
|
|
|
|
assert_eq!(xs_mut, ~[0,2,4,6,8,10,12,14,16,18]);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-15 00:16:53 -06:00
|
|
|
#[test]
|
2013-04-15 10:08:52 -05:00
|
|
|
fn test_ptr_array_each_with_len() {
|
2013-02-15 00:16:53 -06:00
|
|
|
unsafe {
|
2013-07-07 15:30:48 -05:00
|
|
|
let one = "oneOne".to_c_str();
|
|
|
|
let two = "twoTwo".to_c_str();
|
|
|
|
let three = "threeThree".to_c_str();
|
|
|
|
let arr = ~[
|
|
|
|
one.with_ref(|buf| buf),
|
|
|
|
two.with_ref(|buf| buf),
|
|
|
|
three.with_ref(|buf| buf),
|
2013-02-15 00:16:53 -06:00
|
|
|
];
|
|
|
|
let expected_arr = [
|
|
|
|
one, two, three
|
|
|
|
];
|
2013-07-07 15:30:48 -05:00
|
|
|
|
|
|
|
do arr.as_imm_buf |arr_ptr, arr_len| {
|
|
|
|
let mut ctr = 0;
|
|
|
|
let mut iteration_count = 0;
|
|
|
|
do array_each_with_len(arr_ptr, arr_len) |e| {
|
|
|
|
let actual = str::raw::from_c_str(e);
|
|
|
|
let expected = do expected_arr[ctr].with_ref |buf| {
|
|
|
|
str::raw::from_c_str(buf)
|
|
|
|
};
|
|
|
|
debug!(
|
|
|
|
"test_ptr_array_each_with_len e: %s, a: %s",
|
|
|
|
expected, actual);
|
|
|
|
assert_eq!(actual, expected);
|
|
|
|
ctr += 1;
|
|
|
|
iteration_count += 1;
|
|
|
|
}
|
|
|
|
assert_eq!(iteration_count, 3u);
|
|
|
|
}
|
2013-02-15 00:16:53 -06:00
|
|
|
}
|
|
|
|
}
|
2013-07-07 15:30:48 -05:00
|
|
|
|
2013-02-15 00:16:53 -06:00
|
|
|
#[test]
|
2013-04-15 10:08:52 -05:00
|
|
|
fn test_ptr_array_each() {
|
2013-02-15 00:16:53 -06:00
|
|
|
unsafe {
|
2013-07-07 15:30:48 -05:00
|
|
|
let one = "oneOne".to_c_str();
|
|
|
|
let two = "twoTwo".to_c_str();
|
|
|
|
let three = "threeThree".to_c_str();
|
|
|
|
let arr = ~[
|
|
|
|
one.with_ref(|buf| buf),
|
|
|
|
two.with_ref(|buf| buf),
|
|
|
|
three.with_ref(|buf| buf),
|
2013-02-15 00:16:53 -06:00
|
|
|
// fake a null terminator
|
2013-07-07 15:30:48 -05:00
|
|
|
null(),
|
2013-02-15 00:16:53 -06:00
|
|
|
];
|
|
|
|
let expected_arr = [
|
|
|
|
one, two, three
|
|
|
|
];
|
2013-07-07 15:30:48 -05:00
|
|
|
|
2013-08-17 10:40:53 -05:00
|
|
|
do arr.as_imm_buf |arr_ptr, _| {
|
2013-07-07 15:30:48 -05:00
|
|
|
let mut ctr = 0;
|
|
|
|
let mut iteration_count = 0;
|
|
|
|
do array_each(arr_ptr) |e| {
|
|
|
|
let actual = str::raw::from_c_str(e);
|
|
|
|
let expected = do expected_arr[ctr].with_ref |buf| {
|
|
|
|
str::raw::from_c_str(buf)
|
|
|
|
};
|
|
|
|
debug!(
|
|
|
|
"test_ptr_array_each e: %s, a: %s",
|
|
|
|
expected, actual);
|
|
|
|
assert_eq!(actual, expected);
|
|
|
|
ctr += 1;
|
|
|
|
iteration_count += 1;
|
|
|
|
}
|
|
|
|
assert_eq!(iteration_count, 3);
|
|
|
|
}
|
2013-02-15 00:16:53 -06:00
|
|
|
}
|
|
|
|
}
|
2013-07-07 15:30:48 -05:00
|
|
|
|
2013-02-15 00:16:53 -06:00
|
|
|
#[test]
|
|
|
|
#[should_fail]
|
2013-02-21 00:46:26 -06:00
|
|
|
#[ignore(cfg(windows))]
|
2013-04-15 10:08:52 -05:00
|
|
|
fn test_ptr_array_each_with_len_null_ptr() {
|
2013-02-15 00:16:53 -06:00
|
|
|
unsafe {
|
2013-04-15 10:08:52 -05:00
|
|
|
array_each_with_len(0 as **libc::c_char, 1, |e| {
|
2013-02-15 00:16:53 -06:00
|
|
|
str::raw::from_c_str(e);
|
|
|
|
});
|
|
|
|
}
|
|
|
|
}
|
|
|
|
#[test]
|
|
|
|
#[should_fail]
|
2013-02-21 00:46:26 -06:00
|
|
|
#[ignore(cfg(windows))]
|
2013-04-15 10:08:52 -05:00
|
|
|
fn test_ptr_array_each_null_ptr() {
|
2013-02-15 00:16:53 -06:00
|
|
|
unsafe {
|
2013-04-15 10:08:52 -05:00
|
|
|
array_each(0 as **libc::c_char, |e| {
|
2013-02-15 00:16:53 -06:00
|
|
|
str::raw::from_c_str(e);
|
|
|
|
});
|
|
|
|
}
|
|
|
|
}
|
2013-05-24 17:05:27 -05:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_set_memory() {
|
|
|
|
let mut xs = [0u8, ..20];
|
|
|
|
let ptr = vec::raw::to_mut_ptr(xs);
|
|
|
|
unsafe { set_memory(ptr, 5u8, xs.len()); }
|
|
|
|
assert_eq!(xs, [5u8, ..20]);
|
|
|
|
}
|
2013-02-15 00:16:53 -06:00
|
|
|
}
|